Abstract
We prove upper bounds on the one-arm exponent \(\eta _1\) for a class of dependent percolation models which generalise Bernoulli percolation; while our main interest is level set percolation of Gaussian fields, the arguments apply to other models in the Bernoulli percolation universality class, including Poisson–Voronoi and Poisson–Boolean percolation. More precisely, in dimension \(d=2\) we prove that \(\eta _1 \le 1/3\) for continuous Gaussian fields with rapid correlation decay (e.g. the Bargmann–Fock field), and in \(d \ge 3\) we prove \(\eta _1 \le d/3\) for finite-range fields, both discrete and continuous, and \(\eta _1 \le d-2\) for fields with rapid correlation decay. Although these results are classical for Bernoulli percolation (indeed they are best-known in general), existing proofs do not extend to dependent percolation models, and we develop a new approach based on exploration and relative entropy arguments. The proof also makes use of a new Russo-type inequality for Gaussian fields, which we apply to prove the sharpness of the phase transition and the mean-field bound for finite-range fields.
This is a preview of subscription content, access via your institution.


Notes
The argument is attributed to van den Berg.
Although this lemma is stated for differentiable functions, it is easy to check that the proof goes through without differentiability since it only uses \(f(b) - f(a) \ge \int _a^b \frac{d^-}{d x} f(x) dx\).
References
Adler, R.J., Taylor, J.E.: Random Fields and Geometry. Springer, Berlin (2007)
Aizenman, M., Barsky, D.J.: Sharpness of the phase transition in percolation models. Commun. Math. Phys. 108(3), 489–526 (1987)
Aizenman, M., Newman, C.M.: Tree graph inequalities and critical behavior in percolation models. J. Stat. Phys. 36, 107–143 (1984)
Alexander, K.S.: Boundedness of level lines for two-dimensional random fields. Ann. Probab. 24(4), 1653–1674 (1996)
Beffara, V., Gayet, D.: Percolation of random nodal lines. Publ. Math. IHES 126(1), 131–176 (2017)
Beliaev, D., McAuley, M., Muirhead, S.: Smoothness and monotonicity of the excursion set density of planar Gaussian fields. Electron. J. Probab. 25(93), 1–37 (2020)
Beliaev, D., McAuley, M., Muirhead, S.: Fluctuations in the number of excursion sets of planar Gaussian fields. Probab. Math. Phys. 3(1), 69 (2022)
Beliaev, D., Muirhead, S., Rivera, A.: A covariance formula for topological events of smooth Gaussian fields. Ann. Probab. 48(6), 2845–2893 (2020)
Benjamini, I., Schramm, O., Wilson, D.B.: Balanced Boolean functions that can be evaluated so that every input bit is unlikely to be read. In: STOC’05: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, pp. 244–250 (2005)
Borgs, C., Chayes, J.T., Kesten, H., Spencer, J.: Uniform boundedness of critical crossing probabilities implies hyperscaling. Random Struct. Algoritm. 15(3–4), 368–413 (1999)
Chayes, J.T., Chayes, L.: Finite-size scaling and correlation lengths for disordered systems. Phys. Rev. Lett. 57(24), 2999–3002 (1986)
Chayes, J.T., Chayes, L.: Inequality for the infinite-cluster density in Bernoulli percolation. Phys. Rev. Lett. 56(16), 1619–1622 (1986)
Dewan, V., Gayet, D.: Random pseudometrics and applications (2020). arXiv preprint arXiv:2004.05057
Dewan, V., Muirhead, S.: Mean field bounds for Poisson–Boolean percolation (2021). arXiv preprint arXiv:2111.09031
Drewitz, A., Prévost, A., Rodriguez, P.-F.: Critical exponents for a percolation model on transient graphs (2021). arXiv preprint arXiv:2101.05801
Duminil-Copin, H., Goswami, S., Rodriguez, P.-F., Severo, F.: Equality of critical parameters for percolation of Gaussian free field level-sets. Duke. Math. J. (2020)
Duminil-Copin, H., Manolescu, I., Tassion, V.: Planar random-cluster model: fractal properties of the critical phase. Probab. Theory Relat. Fields 181, 401–449 (2021)
Duminil-Copin, H., Raoufi, A., Tassion, V.: Exponential decay of connection probabilities for subcritical Voronoi percolation in \({\mathbb{R} }^d\). Probab. Theory Relat. Fields 173(1–2), 479–490 (2019)
Duminil-Copin, H., Raoufi, A., Tassion, V.: Sharp phase transition for the random-cluster and Potts models via decision trees. Ann. Math. 189(1), 75–99 (2019)
Duminil-Copin, H., Raoufi, A., Tassion, V.: Subcritical phase of \(d\)-dimensional Poisson–Boolean percolation and its vacant set. Ann. H. Lebesgue 3, 677–700 (2020)
Duminil-Copin, H., Tassion, V.: A new proof of the sharpness of the phase transition for Bernoulli percolation and the Ising model. Commm. Math. Phys 343, 725–745 (2016)
Ehm, W., Gneiting, T., Richards, D.: Convolution roots of radial positive definite function with compact support. Trans. Am. Math. Soc. 356(11), 4655–4685 (2004)
Fitzner, R., van der Hofstad, R.: Mean-field behavior for nearest-neighbor percolation in \(d > 10\). Electron. J. Probab. 22, 65 (2017)
Gandolfi, A., Keane, M., Russo, L.: On the uniqueness of the infinite occupied cluster in dependent two-dimensional site percolation. Ann. Probab. 16(3), 1147–1157 (1988)
Garban, C., Pete, G., Schramm, O.: The Fourier spectrum of critical percolation. Acta Math. 205(1), 19–104 (2010)
Garban, C., Vanneuville, H.: Bargmann–Fock percolation is noise sensitive. Electron. J. Probab. 25, 1–20 (2020)
Goswami, S., Rodriguez, P.-F., Severo, F.: On the radius of Gaussian free field excursion clusters. Ann. Probab. (2022)
Grimmett, G.R.: Percolation. Springer, Berlin (1999)
Hammersley, J.M.: Percolation processes: lower bounds for the critical probability. Ann. Math. Stat. 28, 790–795 (1957)
Hara, T.: Mean-field critical behaviour for correlation length for percolation in high dimensions. Probab. Theory Relat. Fields 86, 337–385 (1990)
Hara, T.: Decay of correlations in nearest-neighbor self-avoiding walk, percolation, lattice trees and animals. Ann. Probab. 36(2), 530–593 (2008)
Harris, T.E.: A lower bound for the critical probability in a certain percolation process. Proc. Camb. Philos. Soc. 56, 13–20 (1960)
Kesten, H.: Percolation theory for mathematicians. In: Progress in Probability and Statistics, vol. 2, Springer (1982)
Kesten, H.: Scaling relations for \(2\)D-percolation. Commun. Math. Phys 109, 109–156 (1987)
Köhler-Schindler, L., Tassion, V.: Crossing probabilities for planar percolation. arXiv preprint arXiv:2011.04618 (2020)
Kozma, G., Nachmias, A.: Arm exponents in high dimensional percolation. J. Am. Math. Soc. 24(2), 375–409 (2011)
Kullback, S.: Information Theory and Statistics, Dover (1978)
Ledoux, M.: A short proof of the Gaussian isoperimetric inequality. In: Eberlein, E., Hahn, M., Talagrand, M. (eds.), High Dimensional Probability. Progress in Probability, vol 43, Birkhäuser, Basel, pp. 229–232 (1998)
Menshikov, M.: Coincidence of critical points in percolation problems. Sov. Math. Dokl. 33, 856–859 (1986)
Molchanov, S.A., Stepanov, A.K.: Percolation in random fields. I. Theor. Math. Phys. 55(2), 478–484 (1983)
Molchanov, S.A., Stepanov, A.K.: Percolation in random fields. II. Theor. Math. Phys. 55(3), 592–599 (1983)
Muirhead, S., Rivera, A., Vanneuville, H.: (with an appendix by L. Köhler-Schindler). The phase transition for planar Gaussian percolation models without FKG (2020). arXiv preprint arXiv:2010.11770
Muirhead, S., Vanneuville, H.: The sharp phase transition for level set percolation of smooth planar Gaussian fields. Ann. I. Henri Poincaré Probab. Stat. 56(2), 1358–1390 (2020)
O’Donnell, R., Saks, M., Schramm, O., Servedio, R.A.: Every decision tree has an influential variable. In: 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05), pp. 31–39 (2005)
O’Donnell, R., Servedio, R.A.: Learning monotone decision trees in polynomial time. SIAM J. Comput. 37(3), 827–844 (2007)
Pitt, L.D.: Positively correlated normal variables are associated. Ann. Probab. 10(2), 496–499 (1982)
Rivera, A.: Talagrand’s inequality in planar Gaussian field percolation. Electron. J. Probab. 26, 1–25 (2021)
Rivera, A., Vanneuville, H.: Quasi-independence for nodal lines. Ann. Inst. H. Poincaré Probab. Stat. 55(3), 1679–1711 (2019)
Rivera, A., Vanneuville, H.: The critical threshold for Bargmann–Fock percolation. Ann. Henri Lebesgue 3, 169 (2020)
Rodriguez, P.-F.: A \(0\)-\(1\) law for the massive Gaussian free field. Probab. Theory Relat. Fields 169(3–4), 901 (2017)
Rudin, W.: An extension theorem for positive-definite functions. Duke Math. J. 37(1), 49–53 (1970)
Schramm, O., Smirnov, S.: (with an appendix by C. Garban) On the scaling limits of planar percolation. Ann. Probab. 39(5), 1768–1814 (2011)
Smirnov, S., Werner, W.: Critical exponents for two-dimensional percolation. Math. Res. Lett. 8(5), 729–744 (2001)
Tasaki, H.: Hyperscaling inequalities for percolation. Commun. Math. Phys 113(1), 49–65 (1987)
van den Berg, R., Don, H.: A lower bound for point-to-point connection probabilities in critical percolation. Electron. Commun. Probab. 47, 1 (2020)
van den Berg, R., Nolin, P.L .: On the four-arm exponent for \(2d\) percolation at criticality. In: Vares, M.E., Fernández, R., Fontes, L.R., Newman, C.M. (eds.), In and Out of Equilibrium 3: Celebrating Vladas Sidoravicius, Progress in Probability, vol. 77, Springer, pp. 125–145 (2021)
Weinrib, A.: Long-range correlated percolation. Phys. Rev. B 29(1), 387 (1984)
Acknowledgements
The second author was partially supported by the Australian Research Council (ARC) Discovery Early Career Researcher Award DE200101467. The authors thank Damien Gayet, Tom Hutchcroft, Ioan Manolescu and Hugo Vanneuville for helpful discussions, comments on an earlier draft, and for pointing out references [17] (Ioan) and [9, 55] (Hugo), and an anonymous referee for valuable comments that helped improve the presentation of the paper. This work was initiated while the first author was visiting the second author at Queen Mary University of London and we thank the University for its hospitality.
Funding
The second author was partially supported by the Australian Research Council (ARC) Discovery Early Career Researcher Award DE200101467.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Orthogonal decomposition of \(f_S\)
Appendix A: Orthogonal decomposition of \(f_S\)
For completeness we present a classical orthogonal decomposition of the Gaussian field on \(\mathbb {X}^d\), \(\mathbb {X}\in \{\mathbb {R}, \mathbb {Z}\}\),
where \(S \subset \mathbb {T}^d\) is a compact domain, \(q \in L^2(\mathbb {T}^d)\), and W is the white noise on \(\mathbb {T}^d\). In the case \(\mathbb {X}= \mathbb {R}\) we also assume that \(f_S\) is continuous.
Proposition A.1
(Orthogonal decomposition of \(f_S\)) Let \((Z_i)_{i \ge 1}\) be a sequence of i.i.d. standard normal random variables and let \((\varphi _i)_{i \ge 1}\) be an orthonormal basis of \(L^2(S)\). Then, as \(n \rightarrow \infty \),
in law with respect to the \(C^0(\mathbb {X}^d)\)-topology on compact sets. In particular,
where g is a Gaussian field independent of \(Z_1\).
Proof
Consider the case \(\mathbb {X}=\mathbb {R}\). Remark that, for each \(x \in \mathbb {R}^d\), \(f^n_S(x) \Rightarrow f_S(x)\) in law since they are centred Gaussian random variables and
by Parseval’s identity. Note also that the functions \(q \star \varphi _i\) are continuous (as a convolution of \(L^2\) functions), and so each \(f^n_S\) is continuous. Hence the first statement of the proposition follows by an application of Lemma A.2 below. For the second statement, set \(\varphi _1\) to be constant on S.
The case \(\mathbb {X}= \mathbb {Z}\) is similar but simpler; in fact \(L^2(S)\) is finite-dimensional in that case, so \(f_S^n {\mathop {=}\limits ^{d}} f_S\) for sufficiently large n. \(\square \)
Lemma A.2
Let \((f_i)_{i \ge 1}\) be a sequence of independent continuous centred Gaussian fields on \(\mathbb {R}^d\) and define \(g_n:=\sum ^n_{i \ge 1} f_i\). Suppose there exists a continuous Gaussian field g on \(\mathbb {R}^d\) such that, for each \(x \in \mathbb {R}^d\), \(g_n(x) \Rightarrow g(x)\) in law. Then \(g_n \Rightarrow g\) in law with respect to the \(C^0\)-topology on compact sets.
Proof
We follow the proof of [1, Theorem 3.1.2]. Since \(g_n(x)\) is a sum of independent random variables converging in law, by Levy’s equivalence theorem we may define g(x) as the almost sure limit of \(g_n(x)\). Fix a compact set \(\Omega \subset \mathbb {R}^d\), and consider \((g_n)_{n \ge 1}\) as elements of the Banach space \(C(\Omega )\) of continuous functions on \(\Omega \) equipped with the \(C_0\)-topology. By the Itô-Nisio theorem [1, Theorem 3.1.3], it suffices to show that
in mean (and so in probability) for every finite signed Borel measure \(\mu \) on \(\Omega \). Define the continuous functions \(u_n(x):= \mathbb {E}[g_n(x)^2]\) and \(u(x):= \mathbb {E}[g(x)^2]\). Then
Since \(u_n \rightarrow u\) monotonically, by Dini’s theorem the convergence is uniform on \(\Omega \), so we have that \( \mathbb {E}[ | \int _\Omega g \, d \mu - \int _\Omega g_n \, d \mu | ] \rightarrow 0\) as required. \(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Dewan, V., Muirhead, S. Upper bounds on the one-arm exponent for dependent percolation models. Probab. Theory Relat. Fields 185, 41–88 (2023). https://doi.org/10.1007/s00440-022-01176-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-022-01176-3
Keywords
- Percolation
- Critical exponents
- Gaussian fields
Mathematics Subject Classification
- Primary 60G60
- Secondary 60F99