pith. sign in

arxiv: 2312.04099 · v3 · submitted 2023-12-07 · 🧮 math.PR · math-ph· math.MP

Continuity of the critical value and a shape theorem for long-range percolation

Johannes B\"aumler This is my paper

Pith reviewed 2026-05-24 05:41 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP
keywords long-range percolationshape theoremcritical value continuityinfinite clustersupercritical regimeZ^d lattice
0
0 comments X

The pith

In supercritical long-range percolation the critical value varies continuously with the connection rule and the infinite cluster obeys a shape theorem.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for long-range percolation on the d-dimensional lattice with connection probabilities decaying like distance to the power minus s where s exceeds 2d, the critical threshold for an infinite cluster changes continuously when the exact form of those probabilities is altered. It also shows that, conditioned on the origin belonging to the infinite cluster, the set of sites reachable in at most n steps converges after scaling by n to a deterministic limiting shape. These statements apply in all dimensions d at least 2. A reader would care because the continuity result indicates that the phase transition is stable under small model changes, while the shape theorem supplies a precise geometric description of cluster growth.

Core claim

Conditioned that the origin is in the infinite cluster, the set of points reachable within n steps from the origin satisfies a shape theorem. As part of the proof, the critical value for long-range percolation with polynomially decaying connection probabilities depends continuously on the precise specifications of the model in dimensions d at least 2.

What carries the argument

The infinite cluster in the supercritical regime, whose n-step reachable set obeys a deterministic shape after scaling and whose existence threshold varies continuously with the connection probabilities.

If this is right

  • Small modifications to the connection probabilities preserve whether the model sits above or below criticality.
  • After scaling by n the reachable set inside the infinite cluster converges to a fixed convex body.
  • The results apply uniformly for all dimensions two and higher under polynomial decay.
  • The same continuity and shape properties hold when the decay exponent s is only slightly larger than 2d.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Continuity of the threshold could let results proved for one explicit long-range kernel transfer to nearby kernels without separate arguments.
  • The shape limit supplies a deterministic background on which one could study random walk or other processes restricted to the cluster.
  • Analogous continuity statements may hold for long-range models on other lattices or with mild inhomogeneities.

Load-bearing premise

The probability that two vertices are connected decays asymptotically like their Euclidean distance to a fixed power s greater than twice the dimension.

What would settle it

An explicit family of connection probabilities differing by an arbitrarily small amount for which the critical value jumps by a positive fixed amount, or for which the scaled n-step reachable set fails to converge in shape.

Figures

Figures reproduced from arXiv: 2312.04099 by Johannes B\"aumler.

Figure 1
Figure 1. Figure 1: An illustration of the statement of Lemma [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Connecting m-pads (the blue boxes) in the proof of Lemma 2.7. We first find a path from Bm(0) (the blue box on the left side) to A = Bm(z) (the middle blue box). From A, we find a path to an m-pad A˜ ⊂ F δ m(ne1) (in the picture, A˜ is the blue box on the right side). Concatenating these two paths gives a path from Bm(0) to F δ m(ne1). Proof. By the symmetry of the kernel J it suffices to prove the result … view at source ↗
Figure 3
Figure 3. Figure 3: An illustration of the statement of Corollary [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: An illustration of the statement of Corollary [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
read the original abstract

Consider supercritical long-range percolation on $\Z^d$ where two vertices $x,y \in \Z^d$ are connected with probability asymptotic to $\|x-y\|^{-s}$ for some $s>2d$. Conditioned that the origin is in the infinite cluster, we prove a shape theorem for the set of points that can be reached within $n$ steps from the origin. As part of the proof, we show that for long-range percolation with polynomially decaying connection probabilities in dimensions $d\geq 2$, the critical value depends continuously on the precise specifications of the model.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes continuity of the critical probability p_c for long-range percolation on Z^d (d ≥ 2) under perturbations of polynomially decaying connection probabilities, and proves a shape theorem for the chemical ball of radius n (vertices reachable in at most n steps) conditioned on the origin belonging to the infinite cluster, in the supercritical regime where connection probabilities decay as ||x-y||^{-s} for s > 2d.

Significance. If the results hold, they extend classical shape theorems and continuity statements from nearest-neighbor percolation to long-range models with power-law tails. The continuity of p_c supplies a robustness result under small changes to the connection kernel, while the shape theorem describes the asymptotic geometry of the infinite cluster in the chemical metric. Both follow from standard applications of subadditive ergodic theory and stochastic domination once the moment condition s > 2d is granted; the work therefore fills a natural gap in the long-range percolation literature.

minor comments (2)
  1. [Abstract] The abstract states the continuity result for d ≥ 2 but does not explicitly indicate whether the shape theorem requires the same restriction or holds for d = 1 as well; a clarifying sentence would help readers.
  2. [Introduction] Notation for the chemical distance and the conditioned infinite cluster should be introduced with a short display equation or definition in the introduction to improve readability before the main theorems are stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation for minor revision. The report contains no specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper is a pure mathematical proof in probability theory establishing continuity of the critical percolation threshold pc under perturbations of polynomially decaying connection probabilities and a shape theorem for the chemical ball in the infinite cluster. The argument relies on subadditive ergodic theory, stochastic domination, and moment conditions from s > 2d; these are external to the target statements and do not reduce any claimed result to a fitted parameter, self-definition, or load-bearing self-citation. No equations or steps equate a prediction to its own input by construction, and the derivation chain remains independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axioms of probability theory and the definition of long-range percolation on Z^d; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Z^d is the d-dimensional integer lattice equipped with the Euclidean norm and the usual graph structure.
    The model is defined on this lattice; the assumption is invoked implicitly when stating the connection probabilities and the reachable-set geometry.
  • domain assumption Connection probabilities are translation-invariant and decay asymptotically as ||x-y||^{-s} with s>2d.
    This is the model specification required for the supercritical regime and for both continuity and shape results.

pith-pipeline@v0.9.0 · 5620 in / 1405 out tokens · 35650 ms · 2026-05-24T05:41:40.861511+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The truncation property and continuity for the long-range contact process on $\mathbb{Z}^d$

    math.PR 2026-04 unverdicted novelty 5.0

    Under general decay conditions on long-range interactions, the supercritical contact process on Z^d remains supercritical after truncation and the probability of never recovering is continuous.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Michael Aizenman and Charles M. Newman. Discontinuity o f the percolation density in one- dimensional 1 /|x − y|2 percolation models. Communications in Mathematical Physics , 107(4) (1986) 611–647

    work page 1986

  2. [2]

    Michael Aizenman, Harry Kesten, and Charles M. Newman. U niqueness of the infinite cluster and continuity of connectivity functions for short and long ran ge percolation. Communications in Math- ematical Physics, 111(4):505–531, 1987

    work page 1987

  3. [3]

    Strict monotoni city for critical points in percolation and ferromagnetic models

    Michael Aizenman and Geoffrey Grimmett. Strict monotoni city for critical points in percolation and ferromagnetic models. Journal of Statistical Physics , 63:817–835, 1991. 41

    work page 1991

  4. [4]

    On the chemical distan ce for supercritical bernoulli percolation

    Peter Antal and Agoston Pisztora. On the chemical distan ce for supercritical bernoulli percolation. The Annals of Probability , 24(2):1036–1048, 1996

    work page 1996

  5. [5]

    Behavior of the distance exponent fo r 1 /∥x − y∥2d long-range percolation

    Johannes B¨ aumler. Behavior of the distance exponent fo r 1 /∥x − y∥2d long-range percolation. arXiv preprint arXiv:2208.04793 , 2022

    work page arXiv 2022

  6. [6]

    Distances in 1 /∥x − y∥2d percolation models for all dimensions

    Johannes B¨ aumler. Distances in 1 /∥x − y∥2d percolation models for all dimensions. Commun. Math. Phys. (2023) https://doi.org/10.1007/s00220-023-04861-z

    work page doi:10.1007/s00220-023-04861-z 2023

  7. [7]

    Recurrence and transience of symmet ric random walks with long-range jumps

    Johannes B¨ aumler. Recurrence and transience of symmet ric random walks with long-range jumps. Electronic Journal of Probability , 28:1–24, 2023

    work page 2023

  8. [8]

    Truncation of long-range percolati on with non-summable interactions in dimen- sions d ≥ 3

    Johannes B¨ aumler. Truncation of long-range percolati on with non-summable interactions in dimen- sions d ≥ 3. arXiv preprint arXiv:2410.00303 , 2024

    work page arXiv 2024

  9. [9]

    Barsky, Geoffrey R

    David J. Barsky, Geoffrey R. Grimmett, and Charles M. Newm an. Percolation in half-spaces: equality of critical densities and continuity of the percolation pro bability. Probability Theory and Related Fields, 90(1):111–148, 1991

    work page 1991

  10. [10]

    The diameter of long-ra nge percolation clusters on finite cycles

    Itai Benjamini and Noam Berger. The diameter of long-ra nge percolation clusters on finite cycles. Random Structures & Algorithms , 19(2):102–111, 2001

    work page 2001

  11. [11]

    Transience, recurrence and critical beha vior for long-range percolation

    Noam Berger. Transience, recurrence and critical beha vior for long-range percolation. Communica- tions in mathematical physics , 226(3):531–558, 2002

    work page 2002

  12. [12]

    A lower bound for the chemical distance in sparse long-range percolation models

    Noam Berger. A lower bound for the chemical distance in s parse long-range percolation models. arXiv preprint math/0409021 , 2004

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  13. [13]

    On the scaling of the chemical distance in long-range percolation models

    Marek Biskup. On the scaling of the chemical distance in long-range percolation models. The Annals of Probability, 32(4):2938–2977, 2004

    work page 2004

  14. [14]

    Graph diameter in long-range percolatio n

    Marek Biskup. Graph diameter in long-range percolatio n. Random Structures & Algorithms , 39(2):210–227, 2011

    work page 2011

  15. [15]

    Sharp asymptotic for the ch emical distance in long-range percolation

    Marek Biskup and Jeffrey Lin. Sharp asymptotic for the ch emical distance in long-range percolation. Random Structures & Algorithms , 55(3):560–583, 2019

    work page 2019

  16. [16]

    Burton and Michael Keane

    Robert M. Burton and Michael Keane. Density and uniquen ess in percolation. Communications in mathematical physics , 121:501–505, 1989

    work page 1989

  17. [17]

    Weak shape theorem in first passage percolation with infinite passage times

    Rapha¨ el Cerf and Marie Th´ eret. Weak shape theorem in first passage percolation with infinite passage times. Annales de l’Institut Henri Poincar´ e, Probabilit´ es et Statistiques, 52(3):1351 – 1381, 2016

    work page 2016

  18. [18]

    Chayes, Lincoln Chayes, and Charles M Newma n

    Jennifer T. Chayes, Lincoln Chayes, and Charles M Newma n. Bernoulli percolation above threshold: an invasion percolation analysis. The Annals of Probability , pages 1272–1287, 1987

    work page 1987

  19. [19]

    Supercritical percolation on graphs of polynomial growth

    Daniel Contreras, S´ ebastien Martineau, and Vincent T assion. Supercritical percolation on graphs of polynomial growth. arXiv preprint arXiv:2107.06326 , 2021

    work page arXiv 2021

  20. [20]

    Locality of percolation for graphs with polynomial growth

    Daniel Contreras, S´ ebastien Martineau, and Vincent T assion. Locality of percolation for graphs with polynomial growth. Electronic Communications in Probability , 28:1–9, 2023

    work page 2023

  21. [21]

    The diameter of a long-range percolation graph

    Don Coppersmith, David Gamarnik, and Maxim Sviridenko . The diameter of a long-range percolation graph. In Mathematics and computer science II , pages 147–159. Springer, 2002

    work page 2002

  22. [22]

    Almost sharp sharp ness for poisson boolean percolation

    Barbara Dembin and Vincent Tassion. Almost sharp sharp ness for poisson boolean percolation. arXiv preprint arXiv:2209.00999 , 2022

    work page arXiv 2022

  23. [23]

    Surfac e order large deviations for high-density percolation

    Jean-Dominique Deuschel and Agoston Pisztora. Surfac e order large deviations for high-density percolation. Probability Theory and Related Fields , 104(4):467–482, 1996

    work page 1996

  24. [24]

    A new proof of t he sharpness of the phase transition for bernoulli percolation and the ising model

    Hugo Duminil-Copin and Vincent Tassion. A new proof of t he sharpness of the phase transition for bernoulli percolation and the ising model. Communications in Mathematical Physics , 343(2) (2016) 725–745. 42

    work page 2016

  25. [25]

    A new proof of t he sharpness of the phase transition for bernoulli percolation on Zd

    Hugo Duminil-Copin and Vincent Tassion. A new proof of t he sharpness of the phase transition for bernoulli percolation on Zd. L’Enseignement math´ ematique, 62(1) (2017) 199–206

    work page 2017

  26. [26]

    Long-range models in 1d revisited

    Hugo Duminil-Copin, Christophe Garban, and Vincent Ta ssion. Long-range models in 1d revisited. arXiv preprint arXiv:2011.04642 , 2020

    work page arXiv 2011

  27. [27]

    Schonmann

    Richard Durrett and Roberto H. Schonmann. Large deviat ions for the contact process and two dimensional percolation. Probability theory and related fields , 77(4):583–603, 1988

    work page 1988

  28. [28]

    The critical percolati on probability is local

    Philip Easo and Tom Hutchcroft. The critical percolati on probability is local. arXiv preprint arXiv:2310.10983, 2023

    work page arXiv 2023

  29. [29]

    Sacha Friedli, Bernardo N. B. de Lima, and Vladas Sidora vicius. On Long Range Percolation with Heavy Tails. Electronic Communications in Probability , 9:175 – 177, 2004

    work page 2004

  30. [30]

    Sacha Friedli and Bernardo N. B. De Lima. On the truncati on of systems with non-summable interactions. Journal of statistical physics , 122(6):1215–1236, 2006

    work page 2006

  31. [31]

    Asymptotic shape f or the chemical distance and first-passage percolation on the infinite bernoulli cluster

    Olivier Garet and R´ egine Marchand. Asymptotic shape f or the chemical distance and first-passage percolation on the infinite bernoulli cluster. ESAIM: Probability and Statistics , 8:169–199, 2004

    work page 2004

  32. [32]

    Grimmett and John M

    Geoffrey R. Grimmett and John M. Marstrand. The supercri tical phase of percolation is well be- haved. Proceedings of the Royal Society of London. Series A: Mathem atical and Physical Sciences , 430(1879):439–457, 1990

    work page 1990

  33. [33]

    Grimmett, Harry Kesten, and Yu Zhang

    Geoffrey R. Grimmett, Harry Kesten, and Yu Zhang. Random walk on the infinite cluster of the percolation model. Probability Theory and Related Fields , 96:33–44, 1993

    work page 1993

  34. [34]

    Grimmett

    Geoffrey R. Grimmett. Percolation, volume 321 of. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] , 1999

    work page 1999

  35. [35]

    Progress in high-dimensional percolation and random graphs

    Markus Heydenreich and Remco Van der Hofstad. Progress in high-dimensional percolation and random graphs. Springer, 2017

    work page 2017

  36. [36]

    Structures in supercritical scale-free perco- lation

    Markus Heydenreich, Tim Hulshof, and Joost Jorritsma. Structures in supercritical scale-free perco- lation. The Annals of Applied Probability , 27(4):2569 – 2604, 2017

    work page 2017

  37. [37]

    The probability of a large fini te cluster in supercritical bernoulli percolation

    Harry Kesten and Yu Zhang. The probability of a large fini te cluster in supercritical bernoulli percolation. The Annals of Probability , pages 537–555, 1990

    work page 1990

  38. [38]

    First-passage percolation

    Harry Kesten. First-passage percolation. From classical to modern probability: CIMPA Summer School 2001 , pages 93–143, 2003

    work page 2001

  39. [39]

    Subadditive ergodic theory

    John Kingman. Subadditive ergodic theory. The Annals of Probability , 1(6):883–899, 1973

    work page 1973

  40. [40]

    Ronald Meester and Jeffrey E. Steif. On the continuity of the critical value for long range percolation in the exponential case. Communications in mathematical physics , 180(2):483–504, 1996

    work page 1996

  41. [41]

    A note on two-dimensional truncated long-range percolation

    Mikhail Menshikov, Vladas Sidoravicius, and Marina Va chkovskaia. A note on two-dimensional truncated long-range percolation. Advances in Applied Probability , 33(4):912–929, 2001

    work page 2001

  42. [42]

    Inhomogeneous long-range percolat ion in the weak decay regime

    Christian M¨ onch. Inhomogeneous long-range percolat ion in the weak decay regime. arXiv preprint arXiv:2303.02027, 2023

    work page arXiv 2023

  43. [43]

    Newman and Lawrence S

    Charles M. Newman and Lawrence S. Schulman. One dimensi onal 1/|j − i|s percolation models: The existence of a transition for s ≤ 2. Communications in Mathematical Physics , 104(4):547–571, 1986

    work page 1986

  44. [44]

    Penrose and Agoston Pisztora

    Mathew D. Penrose and Agoston Pisztora. Large deviatio ns for discrete and continuous percolation. Advances in applied probability , 28(1):29–52, 1996

    work page 1996

  45. [45]

    Surface order large deviations for i sing, potts and percolation models

    Agoston Pisztora. Surface order large deviations for i sing, potts and percolation models. Probability Theory and Related Fields , 104(4):427–466, 1996

    work page 1996

  46. [46]

    Vladas Sidoravicius, Donatas Surgailis, and Maria E. V ares. On the truncated anisotropic long-range percolation on Z2. Stochastic processes and their applications , 81(2):337–349, 1999. 43

    work page 1999

  47. [47]

    Schulman

    Lawrence S. Schulman. Long range percolation in one dim ension. Journal of Physics A: Mathematical and General , 16(17):L639, 1983

    work page 1983

  48. [48]

    Random walk on the r andom connection model

    Ercan S¨ onmez and Arnaud Rousselle. Random walk on the r andom connection model. Indagationes Mathematicae, 33(5):1049–1060, 2022. 44

    work page 2022