Metadata
Abstract
Consider some matrix waiting for its coefficients to be written. For each column, sample independently a Bernoulli random variable of some parameter $p$. Seeing all this and possibly using extra randomness, Alice then chooses one spot in each column, in any way she wants. When the Bernoulli random variable of some column is equal to 1, the number 1 is written in the chosen spot. When the Bernoulli random variable of a column is 0, nothing is done on this column. We prove that, using extra randomness, it is possible for Bob to fill the empty entries with well chosen 0’s and 1’s so that the entries of the matrix are independent Bernoulli random variables of parameter $p$. We investigate various generalisations and variations of this problem, and use this result to revisit and generalise (nonstrict) monotonicity of the percolation threshold $p_c$ with respect to a form of graph-quotienting, namely fibrations. We also use this result to revisit the BK inequality.
In a second part, which is independent of the first one, we revisit strict monotonicity of $p_c$ with respect to fibrations, a result that naturally requires more assumptions than its nonstrict counterpart. We reprove the bond-percolation case of the result of Martineau–Severo without resorting to essential enhancements, using couplings instead.
References
[AG91] Strict monotonicity for critical points in percolation and ferromagnetic models, J. Stat. Phys., Volume 63 (1991) no. 5-6, pp. 817-835 | DOI | Zbl | MR
[Arm16] A Short Proof of Strassen’s Theorem Using Convex Analysis (2016) | arXiv | Zbl
[BBR14] Essential enhancements revisited (2014) | arXiv | Zbl
[BH57] Percolation processes: I. Crystals and mazes, Proc. Camb. Philos. Soc., Volume 53 (1957) no. 3, pp. 629-641 | Zbl | DOI | MR
[BK85] Inequalities with applications to percolation and reliability, J. Appl. Probab., Volume 22 (1985) no. 3, pp. 556-569 | Zbl | DOI | MR
[BLPS99] Group-invariant percolation on graphs, Geom. Funct. Anal., Volume 9 (1999) no. 1, pp. 29-66 | Zbl | DOI | MR
[BN11] On monochromatic arm exponents for 2D critical percolation, Ann. Probab., Volume 39 (2011) no. 4, pp. 1286-1304 | DOI | Zbl | MR
[BS96] Percolation Beyond $\mathbb{Z}^d$, Many Questions And a Few Answers, Electron. Commun. Probab., Volume 1 (1996), pp. 71-82 | DOI | Zbl | MR
[CMT23] Locality of percolation for graphs with polynomial growth, Electron. Commun. Probab., Volume 28 (2023), 1, 9 pages | DOI | Zbl | MR
[CTSS24] A min-max random game on a graph that is not a tree (2024) | arXiv | Zbl
[DC18] Sixty years of percolation, Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018, World Scientific; Sociedade Brasileira de Matemática (2018), pp. 2829-2856 | DOI | Zbl | MR
[GM25] Comparison of arm exponents in planar FK-percolation, ALEA, Lat. Am. J. Probab. Math. Stat., Volume 22 (2025) no. 2, pp. 1053-1065 | arXiv
[Lin99] On Strassen’s Theorem on Stochastic Domination, Electron. Commun. Probab., Volume 4 (1999), pp. 51-59 | DOI | Zbl | MR
[MS19] Strict monotonicity of percolation thresholds under covering maps, Ann. Probab., Volume 47 (2019) no. 6, pp. 4116-4136 | DOI | Zbl | MR
[Rei00] Proof of the van den Berg–Kesten conjecture, Comb. Probab. Comput., Volume 9 (2000) no. 1, pp. 27-32 | DOI | Zbl | MR
[RT26] Strict inequalities for arm exponents in planar percolation, Probab. Theory Relat. Fields, Volume 195 (2026) no. 1-2, pp. 659-688 | DOI | Zbl | MR
[Str65] The existence of probability measures with given marginals, Ann. Math. Stat., Volume 36 (1965) no. 2, pp. 423-439 | DOI | Zbl | MR
[Van25] Exponential decay of the volume for Bernoulli percolation: a proof via stochastic comparison, Ann. Henri Lebesgue, Volume 8 (2025), pp. 101-112 | DOI | Zbl