A random walk approach to high-dimensional critical phenomena
Pith reviewed 2026-05-22 08:45 UTC · model grok-4.3
The pith
A short list of assumptions on two-point functions lets random walk methods prove their mean-field decay in dimensions above two.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors prove that any family of functions on Z^d for d greater than 2 that satisfies a short list of assumptions must obey the decay bound |x| to the power of minus d plus 2 plus epsilon, times exp of minus c times |x| divided by xi, for every epsilon greater than zero. The proof proceeds by comparing the functions to random-walk paths and controlling the resulting sums. The same argument therefore yields mean-field near-critical behavior for the two-point functions of self-avoiding walk, percolation, Ising and XY spins, phi-four fields, and lattice trees once their respective assumptions are verified.
What carries the argument
The black-box argument that turns a short list of assumptions on two-point functions into random-walk estimates controlling the decay.
If this is right
- Mean-field decay holds for self-avoiding walk in dimensions five and higher once its assumptions are confirmed.
- The same bound applies to percolation in dimensions seven and higher.
- Ising and XY models receive the decay estimate above four dimensions.
- Lattice trees obey the bound above eight dimensions.
- The argument replaces separate analytic or combinatorial proofs with one probabilistic comparison.
Where Pith is reading between the lines
- The method could be tested on other high-dimensional models whose two-point functions are already known to satisfy similar assumptions.
- If the assumptions turn out to be necessary as well as sufficient, the decay form would characterize mean-field behavior for a wide class of lattice systems.
- The random-walk comparison may suggest new ways to bound higher-order correlation functions in the same regime.
Load-bearing premise
The two-point functions of each model must satisfy a short list of properties that can be checked by standard methods.
What would settle it
An explicit lattice model in dimension greater than two whose two-point functions meet all the listed assumptions yet fail to obey the stated power-plus-exponential decay.
Figures
read the original abstract
We present a "black box" proof of mean-field near-critical behaviour for a family of functions on $\mathbb Z^d$ (${d>2}$) satisfying a short list of assumptions. The functions represent two-point functions of a lattice statistical mechanical model in the subcritical or critical regimes, and are proved to have decay of the form $|x|^{-d+2+\varepsilon}\exp[-c|x|/\xi]$, for any $\varepsilon>0$. The black box applies to several models for which commonplace methods can be used to verify the assumptions. Applications include models of self-avoiding walk, percolation, spins (Ising, XY, $|\varphi|^4$), and lattice trees, all above their upper critical dimensions. The proof is based on random walk techniques, and provides a new, unified, probabilistic, and relatively simple proof of mean-field near-critical behaviour.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents a black-box argument that converts a short list of assumptions on a two-point function G(x) (positivity, submultiplicativity, and a random-walk comparison) into the near-critical decay |x|^{-(d-2)+ε} exp(-c|x|/ξ) for any ε>0 on Z^d with d>2. The assumptions are claimed to be verifiable by standard methods (lace expansion, infrared bounds, or direct comparison with simple random walk) for self-avoiding walk, percolation, Ising/XY/|φ|^4 spins, and lattice trees above their upper critical dimensions. The proof is probabilistic and uses random-walk techniques to obtain the stated stretched-exponential decay.
Significance. If the black-box argument is correct and the assumptions hold, the manuscript supplies a unified, probabilistic proof of mean-field near-critical behavior that applies across several models. The approach avoids model-specific analytic machinery and yields a decay with an arbitrary ε>0 loss in the power, which is a standard form in high-dimensional critical phenomena. The explicit separation between verifiable assumptions and the random-walk derivation is a structural strength.
major comments (2)
- [§3, Theorem 1.1] §3, Theorem 1.1: the statement that the random-walk construction yields the decay for any ε>0 relies on an iterative comparison whose error accumulation is controlled only up to a fixed number of steps; it is not immediate that the same constant c works uniformly in the iteration when the submultiplicative constant is close to 1.
- [§2.2, Assumption (A4)] §2.2, Assumption (A4): the random-walk-type comparison is stated in terms of a one-step transition probability; the passage from this inequality to the full Green-function bound in the proof of Proposition 3.3 appears to require an additional uniform integrability step that is not spelled out.
minor comments (2)
- [§1.3] The notation for the correlation length ξ is introduced in the abstract but first defined only in §1.3; a forward reference would help.
- [§5] In the applications section (§5), the verification of Assumption (A3) for the Ising model is sketched in one paragraph; a short explicit inequality would make the claim easier to check.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and recommendation of minor revision. The two major comments identify places where the argument can be clarified without altering the main results. We address each point below and will incorporate the necessary explanations in the revised manuscript.
read point-by-point responses
-
Referee: [§3, Theorem 1.1] §3, Theorem 1.1: the statement that the random-walk construction yields the decay for any ε>0 relies on an iterative comparison whose error accumulation is controlled only up to a fixed number of steps; it is not immediate that the same constant c works uniformly in the iteration when the submultiplicative constant is close to 1.
Authors: We agree that the dependence of the constant c on the submultiplicative constant requires explicit tracking to ensure uniformity across iterations. In the revised proof of Theorem 1.1 we will fix the iteration depth in terms of ε and d first, then choose c > 0 depending only on the (finite) submultiplicative constant appearing in assumption (A3) and on the random-walk comparison constant in (A4). Because the number of iterations is bounded independently of how close the submultiplicative constant is to 1, the accumulated error remains controlled and the same c works for the entire iteration. We will add a short paragraph making this parameter dependence transparent. revision: yes
-
Referee: [§2.2, Assumption (A4)] §2.2, Assumption (A4): the random-walk-type comparison is stated in terms of a one-step transition probability; the passage from this inequality to the full Green-function bound in the proof of Proposition 3.3 appears to require an additional uniform integrability step that is not spelled out.
Authors: The referee correctly notes that the extension from the one-step comparison to the Green-function bound is not written out in full detail. The argument relies on the positivity and submultiplicativity assumptions to justify dominated convergence (or monotone convergence) when summing the iterated kernels. In the revised manuscript we will insert a brief lemma immediately before Proposition 3.3 that spells out this uniform-integrability step, using the comparison with simple random walk and the fact that the one-step kernel is bounded by a multiple of the simple-random-walk transition probability. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper frames its main result as a black-box argument that takes a short list of externally verifiable assumptions on two-point functions (positivity, submultiplicativity, random-walk comparison) and outputs the stated decay via random-walk techniques. These assumptions are presented as independently checkable by standard tools (lace expansion, infrared bounds) for the listed models above their upper critical dimensions. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the random-walk construction is internal but does not presuppose the target decay. The argument is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms and estimates of random-walk theory on Z^d
Reference graph
Works this paper leans on
- [1]
-
[2]
M. Aizenman and D.J. Barsky. Sharpness of the phase transition in percolation models.Commun. Math. Phys.,108:489–526, (1987)
work page 1987
-
[3]
Marginaltrivialityofthescalinglimitsofcritical 4DIsing andλϕ4 4 models.Ann
M.AizenmanandH.Duminil-Copin. Marginaltrivialityofthescalinglimitsofcritical 4DIsing andλϕ4 4 models.Ann. Math.,194:163–235, (2021)
work page 2021
-
[4]
M. Aizenman and R. Fernández. On the critical behavior of the magnetization in high dimensional Ising models.J. Stat. Phys.,44:393–454, (1986)
work page 1986
-
[5]
M. Aizenman and R. Graham. On the renormalized coupling constant and the sus- ceptibility inϕ4 4 field theory and the Ising model in four dimensions.Nucl. Phys. B, 225:261–288, (1983)
work page 1983
-
[6]
M. Aizenman and C.M. Newman. Tree graph inequalities and critical behavior in percolation models.J. Stat. Phys.,36:107–143, (1984)
work page 1984
-
[7]
D.J. Barsky and M. Aizenman. Percolation critical exponents under the triangle condition.Ann. Probab.,19:1520–1536, (1991)
work page 1991
-
[8]
R. Bauerschmidt, D.C. Brydges, and G. Slade. Scaling limits and critical behaviour of the4-dimensionaln-component|φ|4 spin model.J. Stat. Phys,157:692–742, (2014)
work page 2014
-
[9]
R. Bauerschmidt, D.C. Brydges, and G. Slade. Critical two-point function of the 4- dimensional weakly self-avoiding walk.Commun. Math. Phys.,338:169–193, (2015)
work page 2015
-
[10]
R. Bauerschmidt, D.C. Brydges, and G. Slade. Logarithmic correction for the sus- ceptibility of the 4-dimensional weakly self-avoiding walk: a renormalisation group analysis.Commun. Math. Phys.,337:817–877, (2015)
work page 2015
-
[11]
R. Bauerschmidt, D.C. Brydges, and G. Slade.Introduction to a Renormalisation Group Method. Springer, Singapore, (2019). Lecture Notes in Mathematics Vol. 2242
work page 2019
-
[12]
R. Bauerschmidt, H. Duminil-Copin, J. Goodman, and G. Slade. Lectures on self- avoiding walks. In D. Ellwood, C. Newman, V. Sidoravicius, and W. Werner, editors, Probability and Statistical Physics in Two and More Dimensions, pages 395–467. Clay Mathematics Proceedings, vol. 15, Amer. Math. Soc., Providence, RI, (2012)
work page 2012
-
[13]
E. Bolthausen, R. van der Hofstad, and G. Kozma. Lace expansion for dummies. Ann. I. Henri Poincaré Probab. Statist.,54:141–153, (2018)
work page 2018
- [14]
- [15]
-
[16]
D.C. Brydges, J. Fröhlich, and A.D. Sokal. The random walk representation of classi- cal spin systems and correlation inequalities. II. The skeleton inequalities.Commun. Math. Phys.,91:117–139, (1983)
work page 1983
-
[17]
D.C. Brydges, J. Fröhlich, and T. Spencer. The random walk representation of clas- sical spin systems and correlation inequalities.Commun. Math. Phys.,83:123–150, (1982)
work page 1982
-
[18]
D.C. Brydges, T. Helmuth, and M. Holmes. The continuous-time lace expansion. Commun. Pure Appl. Math.,74:2251–2309, (2021)
work page 2021
-
[19]
D.C. Brydges and T. Spencer. Self-avoiding walk in 5 or more dimensions.Commun. Math. Phys.,97:125–148, (1985)
work page 1985
-
[20]
M. Cabezas, A. Fribergh, M. Holmes, and E. Perkins. Historical lattice trees.Com- mun. Math. Phys.,401:435–496, (2023)
work page 2023
-
[21]
S. Chatterjee, J. Hanson, and P. Sosoe. Subcritical connectivity and some exact tail exponents in high dimensional percolation.Commun. Math. Phys.,403:83–153, (2023)
work page 2023
-
[22]
Thescalinglimitoflatticetreesinhighdimensions.Commun
E.DerbezandG.Slade. Thescalinglimitoflatticetreesinhighdimensions.Commun. Math. Phys.,193:69–104, (1998)
work page 1998
-
[23]
H. Duminil-Copin. Lectures on the Ising and Potts models on the hypercubic lattice. In M.T. Barlow and G. Slade, editors,Random Graphs, Phase Transitions, and the Gaussian Free Field, pages 35–161, (2020). Springer Proceedings in Mathematics and Statistics, Volume 304
work page 2020
-
[24]
H. Duminil-Copin and R. Panis. An alternative approach for the mean-field behaviour of spread-out Bernoulli percolation in dimensionsd >6.Probab. Theory Related Fields, (2025).https://doi.org/10.1007/s00440-025-01416-2
-
[25]
H. Duminil-Copin and R. Panis. An alternative approach for the mean-field behaviour of weakly self-avoiding walks in dimensionsd >4.Probab. Theory Related Fields, (2025).https://doi.org/10.1007/s00440-025-01415-3
-
[26]
H. Duminil-Copin and R. Panis. New lower bounds for the (near) critical Ising and φ4 models’ two-point functions.Commun. Math. Phys.,406:56, (2025)
work page 2025
-
[27]
Anewproofofthesharpnessofthephasetransition for Bernoulli percolation and the Ising model.Commun
H.Duminil-CopinandV.Tassion. Anewproofofthesharpnessofthephasetransition for Bernoulli percolation and the Ising model.Commun. Math. Phys.,43:725–745, (2016)
work page 2016
-
[28]
D. van Engelenburg, C. Garban, R. Panis, and F. Severo. One-arm exponents of the high-dimensional Ising model. Preprint,https://arxiv.org/pdf/2510.23423, (2025)
-
[29]
C.-G. Esseen. On the Kolmogorov–Rogozin inequality for the concentration function. Z. Wahrsch. verw. Gebiete,5:210–216, (1966)
work page 1966
-
[30]
J. Feldman, J. Magnen, V. Rivasseau, and R. Sénéor. Construction and Borel summa- bility of infraredΦ4 4 by a phase space expansion.Commun. Math. Phys.,109:437–480, (1987). 81
work page 1987
-
[31]
R. Fernández, J. Fröhlich, and A.D. Sokal.Random Walks, Critical Phenomena, and Triviality in Quantum Field Theory. Springer, Berlin, (1992)
work page 1992
-
[32]
R. Fitzner and R. van der Hofstad. Mean-field behavior for nearest-neighbor perco- lation ind>10.Electron. J. Probab.,22:1–65, (2017)
work page 2017
- [33]
-
[34]
J. Fröhlich, R. Israel, E.H. Lieb, and B. Simon. Phase transitions and reflection positivity. I. General theory and long range lattice models.Commun. Math. Phys., 62:1–34, (1978)
work page 1978
-
[35]
J. Fröhlich, B. Simon, and T. Spencer. Infrared bounds, phase transitions, and con- tinuous symmetry breaking.Commun. Math. Phys.,50:79–95, (1976)
work page 1976
-
[36]
K. Gaw¸ edzki and A. Kupiainen. Massless latticeφ4 4 theory: Rigorous control of a renormalizable asymptotically free model.Commun. Math. Phys.,99:199–252, (1985)
work page 1985
-
[37]
J. Ginibre. General formulation of Griffiths’ inequalities.Commun. Math. Phys., 16:310–328, (1970)
work page 1970
- [38]
- [39]
- [40]
-
[41]
T. Hara. A rigorous control of logarithmic corrections in four dimensionalφ4 spin systems. I. Trajectory of effective Hamiltonians.J. Stat. Phys.,47:57–98, (1987)
work page 1987
-
[42]
T. Hara. Decay of correlations in nearest-neighbor self-avoiding walk, percolation, lattice trees and animals.Ann. Probab.,36:530–593, (2008)
work page 2008
-
[43]
T. Hara, R. van der Hofstad, and G. Slade. Critical two-point functions and the lace expansion for spread-out high-dimensional percolation and related models.Ann. Probab.,31:349–408, (2003)
work page 2003
-
[44]
Mean-fieldcriticalbehaviourforpercolationinhighdimensions
T.HaraandG.Slade. Mean-fieldcriticalbehaviourforpercolationinhighdimensions. Commun. Math. Phys.,128:333–391, (1990)
work page 1990
-
[45]
T. Hara and G. Slade. On the upper critical dimension of lattice trees and lattice animals.J. Stat. Phys.,59:1469–1510, (1990)
work page 1990
-
[46]
T. Hara and G. Slade. The number and size of branched polymers in high dimensions. J. Stat. Phys.,67:1009–1038, (1992)
work page 1992
-
[47]
T. Hara and G. Slade. Self-avoiding walk in five or more dimensions. I. The critical behaviour.Commun. Math. Phys.,147:101–136, (1992). 82
work page 1992
-
[48]
R. van der Hofstad and A. Sakai. Critical points for spread-out self-avoiding walk, percolation and the contact process.Probab. Theory Related Fields,132:438–470, (2005)
work page 2005
-
[49]
T. Hutchcroft. Percolation on hyperbolic graphs.Geom. Funct. Anal.,29:766–810, (2019)
work page 2019
-
[50]
T. Hutchcroft. On the derivation of mean-field percolation critical exponents from the triangle condition.J. Stat. Phys.,189:6, (2022)
work page 2022
-
[51]
T. Hutchcroft. Critical long-range percolation I: High effective dimension. Preprint, https://arxiv.org/pdf/2508.18807, (2025)
-
[52]
T. Hutchcroft. Critical long-range percolation II: Low effective dimension. Preprint, https://arxiv.org/pdf/2508.18808, (2025)
-
[53]
T. Hutchcroft. Critical long-range percolation III: The upper critical dimension. Preprint,https://arxiv.org/pdf/2508.18809, (2025)
-
[54]
T. Hutchcroft, E. Michta, and G. Slade. High-dimensional near-critical percolation and the torus plateau.Ann. Probab.,51:580–625, (2023)
work page 2023
-
[55]
N. Kawamoto and A. Sakai. Spread-out limit of the critical points for lattice trees and lattice animals in dimensionsd>8.Combin. Probab. Comput.,33:238–269, (2024)
work page 2024
- [56]
-
[57]
G.F. Lawler and V. Limic.Random Walk: A Modern Introduction. Cambridge University Press, Cambridge, (2010)
work page 2010
- [58]
- [59]
-
[60]
E.H. Lieb. A refinement of Simon’s correlation inequality.Commun. Math. Phys., 77:127–136, (1980)
work page 1980
-
[61]
Y. Liu. Continuous-time weakly self-avoiding walk onZhas strictly monotone escape speed.Ann Appl. Probab.,34:5522–5555, (2024)
work page 2024
-
[62]
Y. Liu. A general approach to massive upper bound for two-point function with application to self-avoiding walk torus plateau.Electr. J. Probab.,30:110, (2025)
work page 2025
-
[63]
Y. Liu, R. Panis, and G. Slade. The torus plateau for the high-dimensional Ising model.Commun. Math. Phys.,406:159, (2025)
work page 2025
-
[64]
Y. Liu and G. Slade. Gaussian deconvolution and the lace expansion.Probab. Theory Related Fields, (2024).https://doi.org/10.1007/s00440-024-01350-9
- [65]
-
[66]
Crossover from subcritical to critical decay: random walk, self-avoiding walk, percolation
Y. Liu and G. Slade. Crossover from subcritical to critical decay: random walk, self- avoiding walk, percolation. Preprint,https://arxiv.org/abs/2605.15545, (2026). 83
work page internal anchor Pith review Pith/arXiv arXiv 2026
- [67]
-
[68]
N. Madras and G. Slade.The Self-Avoiding Walk. Birkhäuser, Boston, (1993)
work page 1993
-
[69]
Expansioninhighdimensionforthegrowthconstants of lattice trees and lattice animals.Combin
Y.MejíaMirandaandG.Slade. Expansioninhighdimensionforthegrowthconstants of lattice trees and lattice animals.Combin. Probab. Comput.,22:527–565, (2013)
work page 2013
- [70]
-
[71]
E. Michta and G. Slade. Asymptotic behaviour of the lattice Green function.ALEA, Lat. Am. J. Probab. Math. Stat.,19:957–981, (2022)
work page 2022
-
[72]
L.S. Ornstein and F. Zernike. Accidental deviations of density and opalescence at the critical point of a single substance.K. Akad. Amsterdam,17:793–806, (1914)
work page 1914
-
[73]
Panis.Applications of path expansions to statistical mechanics
R. Panis.Applications of path expansions to statistical mechanics. PhD thesis, Uni- versity of Geneva, (2024)
work page 2024
-
[74]
R. Panis. The incipient infinite cluster of the FK-Ising model in dimensionsd≥3 and the susceptibility of the high-dimensional Ising model.Probab. Theory Related Fields, (2025).https://doi.org/10.1007/s00440-025-01452-y
-
[75]
R. Panis. Triviality of the scaling limits of critical Ising andφ4 models with effective dimension at least four.Ann. Probab.,54:892–972, (2026)
work page 2026
-
[76]
M.D. Penrose. Self-avoiding walks and trees in spread-out lattices.J. Stat. Phys., 77:3–15, (1994)
work page 1994
- [77]
-
[78]
A. Sakai. Lace expansion for the Ising model.Commun. Math. Phys.,272:283–344, (2007). Correction: A. Sakai. Correct bounds on the Ising lace-expansion coefficients. Commun. Math. Phys.,392:783–823, (2022)
work page 2007
-
[79]
A. Sakai. Application of the lace expansion to theφ4 model.Commun. Math. Phys., 336:619–648, (2015)
work page 2015
-
[80]
B. Simon. Correlation inequalities and the decay of correlations in ferromagnets. Commun. Math. Phys.,77:111–126, (1980)
work page 1980
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.