REVIEW 3 major objections 4 minor 41 references
The critical KPZ scale for the Averaging Process
T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read At scale 7/8, the averaging process converges to a multiplicative SHE with noise coefficient 1/√2, above the predicted 3/4.
desk verdict Genuinely new result — the averaging process has critical KPZ scale 7/8, not 3/4 — but the proof leans on unproved continuous-time analogues and a sketchy supercritical argument; still deserves a serious referee. 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 gap process X = R¹ − R² of the tilted two-particle motion, a symmetric random walk whose tilted coordinates have opposite drifts but whose gap is unbiased. Its exponential functional decomposes into Φ₁(x) = 1_{x=0} − ½(1_{x=1} + 1_{x=−1}), a mean-zero function that produces fluctuations at the finer N^{−1/4} scale through a classical local-time invariance principle for mean-zero additive functionals, and Φ₂(x) = 1_{x=0}, a non-zero-mean function producing the standard N^{−1/2} local time. Both terms reach order one exactly at λ = 7/8 and their combination yields the noise coefficient 1/√2. For higher moments the argument extends to tilted k-point motions, with heat-
What would settle it
Compute, by simulation or exact diagonalization, the second moment E[Y_{7/8,N}(t,1)²] for large N at λ = 7/8: if it does not approach E[ exp( L_t^{BM}/2 ) ] — equivalently, if the limiting noise coefficient is not 1/√2 — the central claim is false.
Extended reading notes
Core claim
Theorem 1.1 establishes that for λ = 7/8 the normalized tilted density field Y_{λ,N} of the averaging process converges in law in D([0,∞); M_f(R)) to the unique Itô–Walsh solution of ∂_t Y = ½ ∂_z² Y + (1/√2) Y ξ, with initial condition δ_0. Because 7/8 exceeds the moment-criterion value λ_{c,1} = 3/4, this is the first example in the RWRE setting where the actual critical KPZ scale is strictly larger than the one predicted by the general moment criterion. The critical contribution arises from two simultaneous fluctuation mechanisms, one driven by a mean-zero additive functional and one by a non-zero-mean functional, which become critical at the same scale 7/8.
Load-bearing premise
The proof depends on two imported estimate packages: the continuous-time analogues of the heat-kernel and occupation-time bounds for tilted multi-particle motions, and the moment-based uniqueness characterization of multiplicative SHE propagators; if either fails at the required N^{−1/4} scale, the finite-dimensional convergence and hence the main theorem collapse.
Editorial extensions
If this is right
- The averaging process has critical KPZ exponent λ_c = 7/8, not the 3/4 given by the general moment criterion, providing the first counterexample to the identification λ_c = λ_{c,1}.
- At λ < 7/8 the tilted field concentrates around the local Gaussian profile, while at λ > 7/8 the second moment diverges, sharply separating subcritical from supercritical behaviour.
- The limiting noise coefficient in the multiplicative SHE is the sum of a mean-zero Dobrushin contribution and an ordinary local-time contribution; each component alone would predict a different scale.
- Subcritical fluctuations of the tilted field, for λ ∈ (1/2, 7/8) and λ ≤ 1/2, are described by additive SHE limits with explicit noise coefficients, as adaptations of earlier methods would show.
Reading between the lines
- The same two-contribution mechanism should appear in any averaging-type model where the update rule forces quenched gradients to be locally smooth; a testable prediction is that block-averaging variants (averaging over intervals of size k ≥ 2) also exhibit a critical exponent larger than the moment-criterion value.
- If the cancellation of the first-order local-time term is robust, then the phenomenon extends to higher-order hierarchies only when a mean-zero p-th level and a non-zero-mass 2p-th level resonate; the paper's formal reasoning suggests such resonances may be impossible under space-time i.i.d. environments for p ≥ 2.
- A direct simulation or exact computation of the second moment of Y_{7/8,N} — checking that it approaches the SHE prediction exp(L_t^{BM}/2) averaged over Brownian motion — would give a clean numerical test of the whole critical-scale picture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the one-dimensional averaging process viewed as a random walk in a space-time random environment, and considers tilted quenched density fields Y_{λ,N} at spatial scale N^λ with diffusive window N^{1/2}. The main theorem (Theorem 1.1) states that at λ=7/8 the field converges in law in D([0,∞); M_f(R)) to the Itô–Walsh solution of ∂_t Y = (1/2)∂_z^2 Y + (1/√2)Y ξ with initial condition δ_0. The proof is built on a moment representation via tilted k-point motions, a Dobrushin-type local-time invariance principle for mean-zero additive functionals, refined heat-kernel and collision estimates, and an imported moment-based characterization of multiplicative SHE propagators. The paper also states Theorem 1.3: for λ<7/8 the variance of the tilted field vanishes, while for λ>7/8 it diverges.
Significance. If Theorem 1.1 is correct, the paper gives the first rigorous example where the true KPZ critical exponent λ_c=7/8 exceeds the moment-criterion value λ_{c,1}=3/4, and it exhibits a new mechanism in which a mean-zero Dobrushin fluctuation and an ordinary local-time contribution jointly produce the SHE noise coefficient. The moment computations are explicit and the noise coefficient 1/√2 is derived from σ^2(Φ_1)=2 and γ_2(Φ_2)=1, not fitted. The proof contains substantial nontrivial material: the renewal-equation estimates for the gradient field, the heat-kernel bootstrap in Lemma 4.1, and the tightness argument via Aldous criteria. These are genuine strengths. However, the paper’s central limit identification depends on several results that are either imported without proof or only sketched, and one step in the supercritical variance divergence appears incorrect as written.
major comments (3)
- [§5, Proposition 5.1] Lemmas 3.4 and 3.5 are stated as continuous-time analogues of results from [Par26, DP25] but no proof is given. These lemmas are load-bearing: Lemma 3.4 supplies the uniform integrability used in Proposition 4.4 and the exponential occupation-time bound used throughout, and Lemma 3.5 is used in Proposition 3.7 and Theorem 3.6 to identify γ2(h)=Σh and the joint local-time limits. For k≥3 the tilted k-point motion is non-reversible and the pair gap R^i−R^j is not Markovian; the asserted scalings require control of time spent near third coordinates. The paper later develops exactly such estimates in Corollary 4.2, but those are proved after Lemma 3.5 is invoked, and the relevant k≥3 statement is not literally contained in the cited discrete-time/reversible results. The authors should either provide full proofs of Lemmas 3.4 and 3.5 in the continuous-time, tilted, k≥3 setting, or state preci
- [§7, Eq. (7.1)] The proof of the supercritical half of Theorem 1.3 (λ>7/8) uses the claimed almost-sure inequality E_{βλ,N,2}(T) ≥ (E_{β7/8,N,2}(T))^{N^ε}. This inequality is not valid because Φ_1 takes negative values: for a path that spends most of its time at gap ±1, the exponent on the left contains −(1/2)(c_{βλ}−1)T, while the right-hand exponent is approximately −(1/2)N^ε(c_{β7/8}−1)T. Since c_{βλ}−1 ≈ N^{2ε}(c_{β7/8}−1), the left side is smaller, not larger, for large N. Thus the divergence of Var(Y_{λ,N}(t,1)) for λ>7/8 is not established by this argument. The supercritical part of Theorem 1.3 needs a different proof (or should be removed from the main claims if it is not needed for Theorem 1.1).
- [§4.2, Theorem 4.3] The proof of Theorem 4.3 begins: 'By the general results of [DP25], the first marginals satisfy...' and then uses Lemma 3.4/3.5-type bounds for the non-reversible tilted process. Since Theorem 4.3 is the key step for all higher moments k≥3, the paper should isolate the precise external theorem being applied and verify its hypotheses, especially the short-range interaction and uniform mixing conditions for the β-tilted process with |β|≤C N^{-1/8}. If the continuous-time extension is not already in [DP25], this is a substantial missing proof rather than a routine adaptation.
minor comments (4)
- [Title] The title as printed reads 'A VERAGING' with an extra space/letter; presumably should be 'AVERAGING'.
- [§1.4.2] The paragraph after Theorem 1.3 states that the subcritical fluctuation regime is 'well understood' via [DP25], but no precise theorem or verification of hypotheses is supplied. Since these statements are not used in the proof of Theorem 1.1, they could be compressed or made conditional.
- [§6.4] In the compact-containment proof, the family X^α_N(t) is called a martingale with mean one; this is correct for each fixed α, but the argument that the exponential prefactor is uniformly bounded for t∈[0,T] should spell out the cancellation of the linear term more explicitly, since that cancellation is essential.
- [§2.1] In Definition 2.2, the displayed line 'p_t(y−x)=p_t(x−y)=p^{(1)}_t(x,y)' has a probability kernel on the left and a transition probability on the right; this is understandable but slightly abusive notation. Also, the phrase 'in Z^k' after 'p^{(1)}_t' is a typo for 'on Z'.
Circularity Check
No constructively circular step: the critical exponent and noise coefficient are derived, not fitted; self-cited tools are load-bearing but not reductions to inputs.
full rationale
The derivation chain for Theorem 1.1 is not circular in any exhibited, constructional sense. The critical exponent λ=7/8 is obtained from a scaling balance, not imposed: after computing that the mean-zero term Φ₁ contributes at scale N^{-1/4} via the Dobrushin theorem while Φ₂ contributes at N^{-1/2}, the paper forces matching by solving N^{-2(1-λ)}=N^{-1/4}, giving λ=7/8 (Section 1.5.3). The noise coefficient γ=1/√2 is likewise computed from σ²(Φ₁)=2 (equation (3.18)) and γ₂(Φ₂)=1 (equation (3.4)), then combined in Proposition 4.4 to obtain the SHE moment formula with total local-time coefficient 1/2, i.e. γ²=1/2. These are numerical outputs of the model-specific computations, not fitted parameters. The main imported ingredients—Proposition 5.1 from [Par25] and Lemmas 3.4–3.5 as continuous-time analogues of [DP25]—are self-citations that are load-bearing, but they are general-purpose results about SHE propagators and short-range interaction Markov chains, stated with assumptions that do not contain the target theorem, and they are used as tools rather than being re-derived from the present model. The paper itself flags that Lemmas 3.4–3.5 are recorded without proof as continuous-time analogues; this is a missing-support/correctness risk, not a circular step. No fitted input is relabeled as a prediction, no ansatz is smuggled in via citation to disguise a definition, and no known result is merely renamed. The proof has independent content: the moment asymptotics for the tilted k-point motions, the heat-kernel refinements at the N^{-1/4} scale, and the computation of the simultaneous Φ₁/Φ₂ contribution are new and do not reduce to the imported theorems by construction.
Assumptions & free parameters
assumptions (3)
- domain assumption Moment-based characterization of multiplicative SHE propagators ([Par25, Proposition 1.1])
- domain assumption Continuous-time analogues of [DP25] occupation-time bounds and invariance principles (Lemmas 3.4 and 3.5)
- standard math Standard Itô–Walsh theory for the one-dimensional multiplicative SHE
Cite this review
Pith. "Pith review of The critical KPZ scale for the Averaging Process." pith.science (2026). https://pith.science/paper/3YVWKE3Y
@misc{pith2026260721443,
author = {Pith},
title = {Pith review of: The critical KPZ scale for the Averaging Process},
year = {2026},
howpublished = {\url{https://pith.science/paper/3YVWKE3Y}},
note = {Machine review of arXiv:2607.21443}
}
abstract
KPZ-type extremal fluctuations have recently been proved for several models of random walks in space-time random environments (RWRE) in $1+1$ dimensions. A general moment criterion predicts the spatial scale at which this behavior should occur, but does not by itself guarantee non-trivial fluctuations at that scale. In this paper, we show that the averaging process provides an instance in which this criterion is not sharp: because of a degeneracy in the update mechanism, the actual KPZ limit appears only beyond the predicted scale. The relevant critical contribution arises from the interplay of two distinct fluctuation mechanisms, a phenomenon that appears to be rather special within the RWRE setting. Our proof builds on Dobrushin-type local-time limit theorems for zero-sum additive functionals, refined estimates for tilted $k$-point motions, and the recent moment-based axiomatic characterization of Cole--Hopf solutions to the one-dimensional KPZ equation. We also identify the behavior on the two sides of the critical scale, thereby sharply separating the subcritical, critical, and supercritical regimes of the model.
Reference graph
Works this paper leans on
-
[1]
A lecture on the averaging process
David Aldous and Daniel Lanoue. A lecture on the averaging process. Probab. Surv. , 9:90--102, 2012
2012
-
[2]
Stopping times and tightness
David Aldous. Stopping times and tightness. Ann. Probability , 6(2):335--340, 1978
1978
-
[3]
Stopping times and tightness
David Aldous. Stopping times and tightness. II . Ann. Probab. , 17(2):586--595, 1989
1989
-
[4]
Random-walk in beta-distributed random environment
Guillaume Barraquand and Ivan Corwin. Random-walk in beta-distributed random environment. Probab. Theory Related Fields , 167(3-4):1057--1116, 2017
2017
-
[5]
Entropy inequalities for random walks and permutations
Alexandre Bristiel and Pietro Caputo. Entropy inequalities for random walks and permutations. Ann. Inst. Henri Poincar\' e Probab. Stat. , 60(1):54--81, 2024
2024
-
[6]
Convergence of the KMP model to the KPZ equation
Guillaume Barraquand and Francesco Casini. Convergence of the KMP model to the KPZ equation. arXiv:2507.19222 , 2025
arXiv 2025
-
[7]
Randomized gossip algorithms
Stephen Boyd, Arpita Ghosh, Balaji Prabhakar, and Devavrat Shah. Randomized gossip algorithms. IEEE Trans. Inform. Theory , 52(6):2508--2530, 2006
2006
-
[8]
Convergence of probability measures
Patrick Billingsley. Convergence of probability measures . Wiley Series in Probability and Statistics: Probability and Statistics. John Wiley & Sons, Inc., New York, second edition, 1999. A Wiley-Interscience Publication
1999
Show all 41 references
-
[9]
Moderate deviations for diffusion in time dependent random media
Guillaume Barraquand and Pierre Le Doussal. Moderate deviations for diffusion in time dependent random media. J. Phys. A , 53(21):215002, 2020
2020
-
[10]
Large deviations for sticky B rownian motions
Guillaume Barraquand and Mark Rychnovsky. Large deviations for sticky B rownian motions. Electron. J. Probab. , 25:Paper No. 119, 52, 2020
2020
-
[11]
org o , Ant\'onia F\
Endre Cs\'aki, Mikl\' o s Cs\"org o , Ant\'onia F\"oldes, and P\'al R\'ev\'esz. Random walk local time approximated by a B rownian sheet combined with an independent B rownian motion. Ann. Inst. Henri Poincar\'e Probab. Stat. , 45(2):515--544, 2009
2009
-
[12]
A phase transition for repeated averages
Sourav Chatterjee, Persi Diaconis, Allan Sly, and Lingfu Zhang. A phase transition for repeated averages. Ann. Probab. , 50(1):1--17, 2022
2022
-
[13]
Campos, Tertuliano Franco, Markus Heydenreich, and Marcel Schrocke
Alberto M. Campos, Tertuliano Franco, Markus Heydenreich, and Marcel Schrocke. Hydrodynamic limit for repeated averages on the complete graph. Electron. Commun. Probab. , 30:Paper No. 99, 13, 2025
2025
-
[14]
Cutoff for the averaging process on the hypercube and complete bipartite graphs
Pietro Caputo, Matteo Quattropani, and Federico Sau. Cutoff for the averaging process on the hypercube and complete bipartite graphs. Electron. J. Probab. , 28:Paper No. 100, 31, 2023
2023
-
[15]
The critical 2d stochastic heat flow
Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. The critical 2d stochastic heat flow. Invent. Math. , 233(1):325--460, 2023
2023
-
[16]
Singularity and regularity of the critical 2d stochastic heat flow
Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. Singularity and regularity of the critical 2d stochastic heat flow. arXiv:2504.06128 , 2025
2025 arXiv
-
[17]
K PZ equation limit of sticky B rownian motion
Sayan Das, Hindy Drillick, and Shalin Parekh. K PZ equation limit of sticky B rownian motion. J. Funct. Anal. , 287(10):Paper No. 110609, 90, 2024
2024
-
[18]
Multiplicative SHE limit of random walks in space-time random environments
Sayan Das, Hindy Drillick, and Shalin Parekh. Multiplicative SHE limit of random walks in space-time random environments. Probab. Theory Related Fields , 194(1-2):833--915, 2026
2026
-
[19]
R. L. Dobrushin. Two limit theorems for the simplest random walk on a line. Uspehi Mat. Nauk (N.S.) , 10(3(65)):139--146, 1955
1955
-
[20]
Random walks in space-time random media in all spatial dimensions: the full subcritical fluctuation regime
Hindy Drillick and Shalin Parekh. Random walks in space-time random media in all spatial dimensions: the full subcritical fluctuation regime. arXiv:2510.22155 , 2025
2025
-
[21]
Ethier and Thomas G
Stewart N. Ethier and Thomas G. Kurtz. Markov processes. Characterization and convergence . Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics. John Wiley & Sons, Inc., New York, 1986
1986
-
[22]
The edge-averaging process on graphs with random initial opinions
Dor Elboim, Yuval Peres, and Ron Peretz. The edge-averaging process on graphs with random initial opinions. Proc. Natl. Acad. Sci. USA , 122(33):Paper No. e2423947122, 9, 2025
2025
-
[23]
A universality property for large deviations of RWRE close to the axis
Pablo Groisman, Alejandro F Ram \' rez, Santiago Saglietti, and Sebasti \'a n Zaninovich. A universality property for large deviations of RWRE close to the axis. arXiv:2601.19024 , 2026
2026
-
[24]
The averaging process on infinite graphs
Nina Gantert and Timo Vilkas. The averaging process on infinite graphs. ALEA Lat. Am. J. Probab. Math. Stat. , 22(1):815--823, 2025
2025
-
[25]
Super-universal behavior of outliers diffusing in a space-time random environment
Jacob Hass. Super-universal behavior of outliers diffusing in a space-time random environment. arXiv:2505.01533 , 2025
2025 arXiv
-
[26]
Coincidence of critical points for directed polymers for general environments and random walks
Stefan Junk and Hubert Lacoin. Coincidence of critical points for directed polymers for general environments and random walks. Orbita Math. , 3(1):89--125, 2026
2026
-
[27]
Shiryaev
Jean Jacod and Albert N. Shiryaev. Limit theorems for stochastic processes , volume 288 of Grundlehren der mathematischen Wissenschaften . Springer-Verlag, Berlin, second edition, 2003
2003
-
[28]
Scaling limits of interacting particle systems , volume 320 of Grundlehren der Mathematischen Wissenschaften
Claude Kipnis and Claudio Landim. Scaling limits of interacting particle systems , volume 320 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, 1999
1999
-
[29]
Dynamic scaling of growing interfaces
Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang. Dynamic scaling of growing interfaces. Phys. Rev. Lett. , 56(9):889--892, 1986
1986
-
[30]
Diffusion in time-dependent random media and the K ardar- P arisi- Z hang equation
Pierre Le Doussal and Thimoth\'ee Thiery. Diffusion in time-dependent random media and the K ardar- P arisi- Z hang equation. Phys. Rev. E , 96:010102(R), 2017
2017
-
[31]
Repeated averages on graphs
Ramis Movassagh, Mario Szegedy, and Guanyang Wang. Repeated averages on graphs. Ann. Appl. Probab. , 34(4):3781--3819, 2024
2024
-
[32]
Moment-based approach for two erratic KPZ scaling limits
Shalin Parekh. Moment-based approach for two erratic KPZ scaling limits. Electron. J. Probab. , 30:Paper No. 59, 24, 2025
2025
-
[33]
Hierarchy of KPZ limits arising from directed random walk models in random media
Shalin Parekh. Hierarchy of KPZ limits arising from directed random walk models in random media. Forum Math. Sigma , 14:Paper No. e74, 2026
2026
-
[34]
Mixing of the averaging process and its discrete dual on finite-dimensional geometries
Matteo Quattropani and Federico Sau. Mixing of the averaging process and its discrete dual on finite-dimensional geometries. Ann. Appl. Probab. , 33(2):936--971, 2023
2023
-
[35]
Concentration and local smoothness of the averaging process
Federico Sau. Concentration and local smoothness of the averaging process. Electron. J. Probab. , 29:1--26, 2024
2024
-
[36]
Tiny fluctuations of the averaging process around its degenerate steady state
Federico Sau. Tiny fluctuations of the averaging process around its degenerate steady state. Ann. Probab. , 53(5):1919--1957, 2025
1919
-
[37]
Exact solution for a random walk in a time-dependent 1D random environment: the point-to-point B eta polymer
Thimoth \'e e Thiery and Pierre Le Doussal. Exact solution for a random walk in a time-dependent 1D random environment: the point-to-point B eta polymer. J. Phys. A , 50(4):045001, 2016
2016
-
[38]
Stochastic heat flow by moments
Li-Cheng Tsai. Stochastic heat flow by moments. arXiv:2410.14657 , 2024
2024
-
[39]
Large deviations for random walk in a space-time product environment
Atilla Yilmaz. Large deviations for random walk in a space-time product environment. Ann. Probab. , 37(1):189--205, 2009
2009
-
[40]
Differing averaged and quenched large deviations for random walks in random environments in dimensions two and three
Atilla Yilmaz and Ofer Zeitouni. Differing averaged and quenched large deviations for random walks in random environments in dimensions two and three. Comm. Math. Phys. , 300(1):243--271, 2010
2010
-
[41]
Directed polymers in a random environment: a review of the phase transitions
Nikos Zygouras. Directed polymers in a random environment: a review of the phase transitions. Stochastic Process. Appl. , 177:Paper No. 104431, 34, 2024
2024
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.