REVIEW 5 minor 1 cited by
Limit theorems for the number of sign and level-set clusters of the Gaussian free field
T0 review · 0 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read For the Gaussian free field on $\mathbb{Z}^d$, the number of sign and level-set clusters in a large box has Gaussian fluctuations in $d\ge 4$ at every non-critical level, while in $d=3$ a non-Gaussian Hermite law appears exactly at…
desk verdict First limit theorems for GFF cluster counts, built on a new semi-local chaos expansion; the proof is long and leans on heavy percolation input, but the central argument holds up and the paper deserves serious refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the chaos expansion of the level-set functional, whose $m$-th coefficient is the pivotal intensity $P(y)=\mathbb{E}[d_y\Xi(f-\ell)|f(y)=\ell]\varphi_{f(y)}(\ell)$; by Proposition 2.7 this equals the $m$-th mixed derivative of $\mathbb{E}[\Xi(f-\ell)]$. The proof's main work is semi-localisation: percolation truncated-arm decay, extended to conditioned fields by a de-pinning argument, shows $P$ can be replaced by a stationary, exponentially decaying $P_\infty$, so each chaos becomes a sum over Wick products with rapidly decaying coefficients. The identity connecting sums of $P_\infty$ to derivatives of $\mu$ then converts analytic properties of $\mu$ into variance asymptotics and limit laws. The tail of the expansion is controlled by an iterated interpolation formula that expresses the tail variance through joint pivotal intensities of a fixed order, avoiding the lack of smoothness of the level-set functional.
What would settle it
Compute (rigorously or numerically) the cluster density $\mu$ near level 0 in dimension $d=3$. If $\mu''(0)\neq 0$, the normalized sign-cluster count should converge to the order-2 Hermite law with variance $\sim (\beta_{3,2}(\mu''(0))^2/2)R^4$; if $\mu''(0)=\mu'''(0)=0$, it should converge to a Gaussian with variance $\sim\sigma^2R^3$. Finding any zero of $\mu'$ with $\mu''\neq 0$ would confirm that the non-Gaussian regime exists, and finding $\mu'(\ell_c)\neq 0$ would confirm the critical lower bound.
Extended reading notes
Core claim
Write $N_R(\ell)$ for the number of bounded clusters of $\{f>\ell\}$ and $\{f<\ell\}$ in the box $\Lambda_R$, and let $\mu(\ell)$ be the cluster density from the law of large numbers. The paper proves that for every $\ell\neq \pm\ell_c$ the $m$-th chaos $Q_m$ of $N_R$ has variance governed by the stationary pivotal intensity $P_\infty$, in the explicit form $\sum_{x_2,\ldots,x_m} P_\infty(0,x_2,\ldots,x_m)=(-1)^m \mu^{(m)}(\ell)$. Hence the dominant chaos is the first with a non-vanishing derivative of $\mu$: $\mu'(\ell)\neq 0$ gives a Gaussian limit driven by the first chaos; in $d=3$, $\mu'(\ell)=0$ and $\mu''(\ell)\neq 0$ gives a non-Gaussian order-2 Hermite limit driven by the second chaos; and if the first three derivatives vanish, the variance drops to volume order and the limit is again Gaussian. In $d\ge 4$ all remaining chaoses are Gaussian by the high-order chaos central limit principle, so the whole count is Gaussian at every non-critical level. The sign clusters are covered because $\mu'(0)=0$ by symmetry.
Load-bearing premise
The proof leans on the sharp percolation estimate that, at every non-critical level, the probability of a bounded cluster of the GFF excursion set reaching radius $R$ decays faster than any polynomial; without this truncated arm decay, the pivotal intensities cannot be shown to localise and the variance asymptotics collapse.
Editorial extensions
If this is right
- For $d\ge 4$, at every non-critical level including sign clusters, $(N_R(\ell)-\mathbb{E}N_R)/\sqrt{\operatorname{Var}N_R}$ converges to a standard Gaussian.
- For $d=3$, non-Gaussian order-2 Hermite fluctuations occur exactly at levels where $\mu''(\ell)\neq 0$ and $\mu'(\ell)=0$; whether the sign level $\ell=0$ falls there is left open.
- The variance asymptotics give explicit orders: for example, in $d\ge 5$, $\operatorname{Var}N_R(\ell)\sim \beta_{d,1}(\mu'(\ell))^2R^{d+2}$ if $\mu'(\ell)\neq 0$ and $\sim\sigma^2R^d$ otherwise, with a logarithmic factor in the $d=4$ borderline case.
- At the critical level the variance lies between $c_1R^d$ and $c_2R^{d+2}$, and if $\mu'(\ell_c)\neq 0$ the lower bound is actually $\beta_{d,1}(\mu'(\ell_c))^2R^{d+2}(1+o(1))$.
- The method applies to other level-set functionals of the same field and to any stationary Gaussian field with covariance $|x|^{-(d-2)}$ plus an i.i.d. component, wherever uniform truncated arm decay holds.
Reading between the lines
- The open question of whether $\mu''(0)$ vanishes in $d=3$ is exactly the question of whether sign clusters have a non-Gaussian limit; a computation of the cluster density near zero would settle it, since the paper reduces the law to this derivative.
- The same pivotal-intensity machinery should transfer to other semi-local functionals such as the volume of the unbounded component above the critical level; monotonicity of that functional suggests only Gaussian limits there.
- For covariance decays $\alpha<d-2$, the mechanism predicts Hermite limits of every order $2\le m<d/\alpha$ with additional boundary contributions, so the Gaussian/non-Gaussian split found here is the $\alpha=d-2$ case of a broader classification.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves limit theorems for the number of sign and level-set clusters of the discrete Gaussian free field (GFF) in large boxes. The main results are: (i) in dimension d ≥ 4, the centered and normalized cluster count converges to a standard Gaussian at every non-critical level (Theorem 1.1); (ii) in dimension d = 3, the limit is Gaussian except at non-degenerate critical points of the cluster density μ, where an order-2 Hermite distribution appears (Theorem 1.2); (iii) variance asymptotics for all non-critical levels, exhibiting Berry-cancellation suppression at levels where μ' = 0 (Theorem 1.4); and (iv) volume-order lower and R^{d+2}-order upper variance bounds at criticality (Theorem 1.6). The proof combines a Wiener-Itô chaos expansion for level-set functionals (Theorem 2.9), semi-localization of the chaotic components via truncated arm-decay estimates (Section 3), extensions of Breuer-Major/Dobrushin-Major theory to semi-local functionals (Appendix B), and a general modular theorem under a uniform arm-decay assumption (Theorem 1.10).
Significance. If correct, these results constitute the first limit theorems for the cluster count of the GFF and reveal a genuinely dimension-dependent Gaussian/non-Gaussian transition. The methodological contribution is substantial: the paper introduces a tractable chaos expansion for non-local functionals of strongly correlated Gaussian fields, links the coefficients to pivotal intensities, and shows how percolation-theoretic arm decay controls the tail of the expansion. The variance suppression for sign clusters (Berry cancellation) is a new geometric phenomenon for the GFF. The paper is honest about its limitations (e.g., Questions 1.3, 1.5, 1.7) and isolates the external DGRS23 arm-decay input cleanly. The proofs are detailed and internally coherent, with machine-checkable algebra in the appendices and clearly stated assumptions.
minor comments (5)
- [Section 4.2 (proof of Proposition 4.1, critical levels)] In the paragraph following the mean-value theorem, the text states that taking ε→0 shows the right derivative of μ at ℓ_c is P∞(ℓ_c;0), and then concludes μ′(ℓ_c)=P∞(ℓ_c;0). However, the displayed equation in the same paragraph gives μ′(ℓ_c+ε̃)=−P∞(ℓ_c+ε̃;0), so the right derivative should be −P∞(ℓ_c;0), and the conclusion should read μ′(ℓ_c)=−P∞(ℓ_c;0), consistent with (4.1) for non-critical levels.
- [Proof of Proposition 3.4] The sentence before (3.27) claims the terms vanish "unless each point of x and y is within distance r of ∂Λ_R". This is stronger than what Lemmas 3.11 and 3.17 provide (only one point in each tuple needs to be near the boundary, together with the diameter support condition), and the displayed bound (3.27) appears to contain typos: the summation index "x2" should presumably be "y1", and the summation range over boundary-layer points should be spelled out. Please clarify the argument.
- [Proposition 5.2] The displayed bound for φ_{f(x),f^t(y)}(ℓ,ℓ) is garbled ("1√ 1 − t2Corr(f (x), f(y)"). Please display the correct expression, for example using the bivariate normal density and the fact that Corr(f(x), f^t(y)) = tG(x−y)/G(0), so that the subsequent integration in t is transparent.
- [Throughout] The paper repeatedly writes "Weiner-Itô" (Abstract, Section 1.4.1, and elsewhere); this should be "Wiener-Itô".
- [Theorem 1.2] The statement "Z if ℓ ∈ R \ C′" includes levels where μ′(ℓ)=0 with μ″(ℓ)=0 (e.g., flat critical points). The limit is indeed Gaussian in those cases, but a short remark explaining this (and pointing to the third and fourth cases of Theorem 1.4) would help readers connect the two theorems.
Circularity Check
No significant circularity: the cluster-count limit theorems are derived from the chaos expansion, semi-localization estimates, and external percolation theorems rather than from the target limits.
full rationale
The central claims are new theorems proved from the paper's own definitions together with external, non-overlapping mathematical inputs. The chaos expansion for level-set functionals (Theorem 2.9) expresses each chaotic component through pivotal intensities; Proposition 4.1 derives the derivatives of the cluster density mu from those same intensities; the variance asymptotics in Theorem 1.4 and the limit theorems in Theorems 1.1 and 1.2 then follow from the semi-local Breuer-Major / Dobrushin-Major theory developed in Appendix B, after Section 3 verifies the required stationarity, summability, and decay properties using pinned truncated arm decay. The only heavy external input, the truncated arm decay of DGRS23, is a published theorem by a disjoint set of authors, so citing it is independent evidence rather than a self-citation chain. Self-citations to BMM22 and BMM24b appear mainly for context, for an upper-bound remark, and for an alternative variance argument; the paper supplies its own proof of extensivity (Proposition 5.1) and of the general variance upper bound (Proposition 5.2), so those citations are not load-bearing. No fitted parameter is renamed as a prediction: the set C' is defined via the cluster density, the constants sigma are limits of explicitly defined variances, and the paper transparently states in Theorem 1.10 which conclusions hold under only the a priori property T_l instead of the full DGRS23 input. No equation is found to be equivalent to another by construction, and no claimed prediction reduces to its own inputs.
Assumptions & free parameters
assumptions (6)
- domain assumption The GFF on Z^d, d≥3, satisfies Assumptions 1.8 and 1.9: covariance decays as c|x|^{-(d-2)} and the field has an i.i.d. Gaussian component.
- domain assumption At every ℓ≠±ℓ_c, the truncated arm events for {f>ℓ} and {f<ℓ} have super-polynomial decay (DGRS23, Theorem 3.13).
- domain assumption Two-arm decay / uniqueness of the unbounded component for supercritical levels, equation (3.6), from HJ06.
- domain assumption The cluster density μ is real-analytic on R\{±ℓ_c} (PS22).
- standard math Wiener-Itô chaos expansion and diagram formula (Janson 1997; Nualart-Peccati 2012).
- standard math Classical Dobrushin-Major and Breuer-Major limit theorems for local additive functionals.
Cite this review
Pith. "Pith review of Limit theorems for the number of sign and level-set clusters of the Gaussian free field." pith.science (2026). https://pith.science/paper/LZU6KM6N
@misc{pith2026250114707,
author = {Pith},
title = {Pith review of: Limit theorems for the number of sign and level-set clusters of the Gaussian free field},
year = {2026},
howpublished = {\url{https://pith.science/paper/LZU6KM6N}},
note = {Machine review of arXiv:2501.14707}
}
abstract
We study the limiting fluctuations of the number of sign and level-set clusters of the Gaussian free field on $\mathbb{Z}^d$, $d \ge 3$, that are contained in a large domain. In dimension $d \ge 4$ we prove that the fluctuations are Gaussian at all non-critical levels, while in dimension $d=3$ we show that fluctuations may be Gaussian or non-Gaussian depending on the level. We also show that the sign clusters experience a form of Berry cancellation in all dimensions, that is, the fluctuations of the sign cluster count is suppressed compared to generic levels. Our proof is based on controlling the Weiner-It\^{o} chaos expansion of the cluster count using percolation theoretic inputs; to our knowledge this is the first time that chaos expansion techniques have been applied to analyse a non-local functional of a strongly correlated Gaussian field.
Figures
Forward citations
Cited by 1 Pith paper
-
Central limit theorems for non-linear functionals of Gaussian fields via Wiener chaos decomposition
A field-level Breuer-Major CLT is proposed via Wiener chaos, with applications to powers of the discrete GFF, but the odd-power GFF limit uses an incorrect normalization.
Reference graph
Works this paper leans on
-
[1]
write newline
" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...
-
[2]
M. Aizenman, H. Kesten, and C. M. Newman. Uniqueness of the infinite cluster and continuity of connectivity functions for short and long range percolation. Comm. Math. Phys. , 111(4):505--531, 1987
work page 1987
-
[3]
M. V. Berry. Statistics of nodal lines and points in chaotic quantum billiards: perimeter corrections, fluctuations, curvature. J. Phys. A. , 35(13):3025--3038, 2002
work page 2002
-
[4]
M. Biskup. Extrema of the two-dimensional discrete Gaussian free field , pages 163--407. Springer Proceedings in Mathematics & Statistics, Vol 304 (ed. M. Barlow and G. Slade), 2020
work page 2020
-
[5]
J. Bricmont, J. L. Lebowitz, and C. Maes. Percolation in strongly correlated systems: the massless G aussian field. Jour. Stat. Phys. , 48(5--6):1249--1268, 1987
work page 1987
-
[6]
P. Breuer and P. Major. Central limit theorems for non-linear functionals of G aussian fields. J. Mult. Anal. , pages 425--441, 1983
work page 1983
-
[7]
D. Beliaev, M. McAuley, and S. Muirhead. Fluctuations of the number of excursion sets of planar G aussian fields. Prob. Math. Phys. , 3(1):105–144, 2022
work page 2022
-
[8]
D. Beliaev, M. McAuley, and S. Muirhead. A central limit theorem for the number of excursion set components of G aussian fields. Ann. Probab. , 52(3):882--922, 2024
work page 2024
Show all 53 references
-
[9]
Beliaev, M
D. Beliaev, M. McAuley, and S. Muirhead. A covariance formula for the number of excursion set components of G aussian fields and applications. Ann. Inst. Henri Poincar \' e Probab. Stat. (to appear) , 2024
2024
-
[10]
Buckley and A
J. Buckley and A. Nishry. Gaussian complex zeroes are not always normal: limit theorems on the disc. Probab. Math. Phys. , 3(3):675--706, 2022
2022
-
[11]
J. T. Cox and G. Grimmett. Central limit theorems for associated random variables and the percolation model. Ann. Probab. , 12(2):514--528, 1984
1984
-
[12]
Chatterjee
S. Chatterjee. Chaos, concentration, and multiple valleys. arXiv preprint arXiv:0810.4221 , 2008
2008 arXiv
-
[13]
Chiarini and M
A. Chiarini and M. Nitzschner. Entropic repulsion for the G aussian free field conditioned on disconnection by level-sets. Probab. Theory Related Fields , 177(1):525--575, 2020
2020
-
[14]
Duminil-Copin, S
H. Duminil-Copin, S. Goswami, P.-F. Rodriguez, and F. Severo. Equality of critical parameters for percolation of G aussian free field level-sets. Duke Math. J. , 172(5):839--913, 2023
2023
-
[15]
R. L. Dobrushin and P. Major. Non-central limit theorems for non-linear functionals of G aussian fields. Wahrsch. Verw. Gebiete , 50:27--52, 1979
1979
-
[16]
R. L. Dobrushin. G aussian and their subordinated self-similar random fields. Ann. Probab. , 7(1):1--28, 1979
1979
-
[17]
Drewitz, A
A. Drewitz, A. Pr \' e vost, and P.-F. Rodriguez. The sign clusters of the massless G aussian free field percolate on Z ^ d , d 3 (and more). Commun. Math. Phys. , 362(1), 2018
2018
-
[18]
Estrade and J
A. Estrade and J. R. Le\' o n. A central limit theorem for the E uler characteristic of a G aussian excursion set. Ann. Probab. , 44(6):3849--3878, 2016
2016
-
[19]
S. J. L. v. Eijndhoven and J. L. H. Meyers. New orthogonality relations for the H ermite polynomials and related H ilbert spaces. J. Math. Anal. Appl. , 146:89--98, 1990
1990
-
[20]
Fox and M
R. Fox and M. S. Taqqu. Central limit theorems for quadratic forms in random variables having long range dependence. Probab. Theory Related Fields , 74:213--248, 1987
1987
-
[21]
G. R. Grimmett. Percolation . Springer, 1999
1999
-
[22]
Goswami, P.-F
S. Goswami, P.-F. Rodriguez, and F. Severo. On the radius of G aussian free field excursion clusters. Ann. Probab. , 50(5):1675--1724, 2022
2022
-
[23]
a ggstr \
O. H \" a ggstr \" o m and J. Jonasson. Uniqueness and non-uniqueness in percolation theory. Probab. Surveys , 3:289--344, 2006
2006
-
[24]
Houdr\' e and V
C. Houdr\' e and V. P\' e rez-Abreu. Covariance identities and inequalities for functionals on W einer and P oisson spaces. Ann. Probab. , 23(1):400--419, 1995
1995
-
[25]
S. Janson. Gaussian H ilbert spaces , volume 129 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1997
1997
-
[26]
G. F. Lawler and V. Limic. Random walk: A modern introduction . Cambridge University Press, 2012
2012
-
[27]
J. L. Lebowitz and H. Saleur. Percolation in strongly correlated systems. Phys. A , 138:194--205, 1986
1986
-
[28]
T. Lupu. From loop clusters and random interlacements to the free field. Ann. Probab. , 44(3):2117--2146, 2016
2016
-
[29]
P. K. M. Krishnapur and I. Wigman. Nodal length fluctuations for arithmetic random waves. Ann. Math. , 177(2):699--737, 2013
2013
-
[30]
Marinucci, G
D. Marinucci, G. Peccati, M. Rossi, and I. Wigman. Non-universality of nodal length distribution for arithmetic random waves. Geom. Funct. Anal. , 26(3):926--960, 2016
2016
-
[31]
Marinucci, M
D. Marinucci, M. Rossi, and I. Wigman. The asymptotic equivalence of the sample trispectrum and the nodal length for random spherical harmonics. Ann. Inst. Henri Poincar \' e Probab. Stat. , 56(1):374--390, 2020
2020
-
[32]
Muirhead and F
S. Muirhead and F. Severo. Percolation of strongly correlated G aussian fields I . D ecay of subcritical connection probabilities. Prob. Math. Phys. , 5(2):357--412, 2024
2024
-
[33]
Marinucci and I
D. Marinucci and I. Wigman. The defect variance of random spherical harmonics. J. Phys. A: Math. Theor. , 44(35), 2011
2011
-
[34]
Nitzschner
M. Nitzschner. Disconnection by level sets of the discrete G aussian free field and entropic repulsion. Electron. J. Probab. , 23:1--21, 2018
2018
-
[35]
Nualart and G
D. Nualart and G. Peccati. Central limit theorems for sequences of multiple stochastic integrals. Ann. Probab. , 33(1):177--193, 2005
2005
-
[36]
Nualart and G
D. Nualart and G. Peccati. Normal approximation with Malliavin calculus: From Stein's method to universality . Cambridge University Press, 2012
2012
-
[37]
Nourdin, G
I. Nourdin, G. Peccati, and M. Rossi. Nodal statistics of planar random waves. Commun. Math. Phys. , 369(1):99--151, 2019
2019
-
[38]
Nazarov and M
F. Nazarov and M. Sodin. On the number of nodal domains of random spherical harmonics. Amer. J. Math. , 131(5):1337--1357, 2009
2009
-
[39]
Nazarov and M
F. Nazarov and M. Sodin. Asymptotic laws for the spatial distribution and the number of connected components of zero sets of G aussian random functions. J. Math. Phys. Anal. Geo. , 12(3):205--278, 2016
2016
-
[40]
Nazarov and M
F. Nazarov and M. Sodin. Fluctuations in the number of nodal domains. J. Math. Phys. , 61(12):123302, 39, 2020
2020
-
[41]
M. D. Penrose. A central limit theorem with applications to percolation, epidemics and B oolean models. Ann. Probab. , 29(4):1515--1546, 2001
2001
-
[42]
Popov and B
S. Popov and B. R\' a th. On decoupling inequalities and percolation of the excursion sets of the G aussian free field. J. Stat. Phys. , 159:312--320, 2015
2015
-
[43]
Panagiotis and F
C. Panagiotis and F. Severo. Analyticity of G aussian free field percolation observables. Commun. Math. Phys. , 396:187--223, 2022
2022
-
[44]
S. Rahman. W iener-- H ermite polynomial expansion for multivariate G aussian probability measures. J. Math. Anal. Appl. , 454(1):303--334, 2017
2017
-
[45]
Rodriguez and A.-S
P.-F. Rodriguez and A.-S. Sznitman. Phase transition and level-set percolation for the G aussian free field. Comm. Math. Phys. , 320(2):571--601, 2013
2013
-
[46]
E. Slud. Multiple W iener- I t\^ o integral expansions for level-crossing-count functionals. Probab. Theory Relat. Fields , 87:349--364, 1991
1991
-
[47]
E. Slud. MWI representation of the number of curve-crossings by a differentiable G aussian process. Ann. Probab. , 22:1355--1380, 1994
1994
-
[48]
Sznitman
A.-S. Sznitman. Disconnection and level-set percolation for the G aussian free field. J. Math. Soc. Japan , 67(4):1801--1843, 2015
2015
-
[49]
Sznitman
A.-S. Sznitman. On macroscopic holes in some supercritical strongly dependent percolation models. Ann. Probab. , 47(4):2459--2493, 2019
2019
-
[50]
Terrin and M
N. Terrin and M. S. Taqqu. A noncentral limit theorem for quadratic forms of G aussian stationary sequences. J. Theo. Probab. , 3(3):449--475, 1990
1990
-
[51]
I. Wigman. Fluctuations of the nodal length of random spherical harmonics. Commun. Math. Phys. , 298(3):787--831, 2010
2010
-
[52]
Werner and E
W. Werner and E. Powell. Lecture notes on the Gaussian free field . Soci\' e t\' e math\' e matique de France, 2022
2022
-
[53]
Y. Zhang. A martingale approach in the study of percolation clusters on the Z ^d lattice. J. Theoret. Probab. , 14(1):165--187, 2001
2001
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.