Pith. sign in

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 →

arxiv 2607.21443 v1 pith:3YVWKE3Y submitted 2026-07-23 math.PR

classification math.PR MSC 60K3582C2235R6060F17
keywords averagingprocessKPZequationmultiplicativestochasticheatrandomwalkinenvironmentcriticalexponentDobrushinlocaltimetiltedk-pointmotioninteractingparticlesystem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper's central claim is that the averaging process — the interacting particle system in which neighbouring masses are replaced by their arithmetic mean whenever a Poisson clock rings — has a KPZ critical exponent of 7/8, not the 3/4 that the standard moment criterion predicts. At that scale the tilted quenched density field converges in law to the multiplicative stochastic heat equation with noise coefficient 1/√2, starting from a Dirac mass. The reason the criterion fails is a degeneracy: the first random moment produces a mean-zero correction, so its leading local-time contribution vanishes; the actual critical scale is set by the interplay of that mean-zero fluctuation and the ordinary second-order contribution. The paper also pins down the surroundings of the critical scale: below 7/8 the field concentrates around the annealed profile, above it the second moment diverges, signalling intermittency.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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)
  1. [§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
  2. [§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).
  3. [§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)
  1. [Title] The title as printed reads 'A VERAGING' with an extra space/letter; presumably should be 'AVERAGING'.
  2. [§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.
  3. [§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.
  4. [§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

0 steps flagged · score 2.0 of 10

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 0 free parameters · 3 assumptions · 0 invented entities

The model has no fitted constants: the tilt β_{λ,N} is fixed by the chosen spatial scale, and λ=7/8 is a derived critical exponent. The only load-bearing external inputs are the characterization theorem from [Par25] and the transfer of [DP25] estimates to continuous time.

assumptions (3)
  • domain assumption Moment-based characterization of multiplicative SHE propagators ([Par25, Proposition 1.1])
    The finite-dimensional identification in Proposition 5.2 rests on this external theorem; it is cited, not proved in this preprint.
  • domain assumption Continuous-time analogues of [DP25] occupation-time bounds and invariance principles (Lemmas 3.4 and 3.5)
    The paper asserts these discrete-time results carry over to the tilted continuous-time k-point motions, but does not give the full transfer proof.
  • standard math Standard Itô–Walsh theory for the one-dimensional multiplicative SHE
    Used to interpret the limiting object; standard in the field and not specific to this paper.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 3 linked inside Pith

  1. [1]

    A lecture on the averaging process

    David Aldous and Daniel Lanoue. A lecture on the averaging process. Probab. Surv. , 9:90--102, 2012

  2. [2]

    Stopping times and tightness

    David Aldous. Stopping times and tightness. Ann. Probability , 6(2):335--340, 1978

  3. [3]

    Stopping times and tightness

    David Aldous. Stopping times and tightness. II . Ann. Probab. , 17(2):586--595, 1989

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

Show all 41 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [31]

    Repeated averages on graphs

    Ramis Movassagh, Mario Szegedy, and Guanyang Wang. Repeated averages on graphs. Ann. Appl. Probab. , 34(4):3781--3819, 2024

  24. [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

  25. [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

  26. [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

  27. [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

  28. [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

  29. [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

  30. [38]

    Stochastic heat flow by moments

    Li-Cheng Tsai. Stochastic heat flow by moments. arXiv:2410.14657 , 2024

  31. [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

  32. [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

  33. [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

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.