Superdiffusive Invariance Principle for the two-dimensional Asymmetric Simple Exclusion Process

Core Contribution

The paper proves a superdiffusive invariance principle for the stationary density fluctuation field of the two-dimensional ASEP at fixed, non-vanishing asymmetry. The ASEP has finite-range jump rates, uniaxial asymmetry, and any density in (0,1). Under anisotropic scaling (√τ·log(τ)^{1/3} along the drift, √τ transversally), the field converges in Skorokhod space to a Gaussian conservative stochastic heat equation (an Ornstein–Uhlenbeck process). This is the same Gaussian fixed point recently found for the 2D stochastic Burgers equation (SBE) by Cannizzaro–Moulard–Toninelli. Two corollaries follow:

The paper reports this as the first space-time scaling limit for a non-equilibrium interacting particle system at the critical dimension with fixed coupling. It is a dynamical analogue of Gaussianity with log corrections for the 4D Ising and φ⁴₄ models.

Technically, the paper makes three contributions:

1. Sharp generator comparison. It compares the ASEP, soft-core and SBE generators, via bridge operators between the hard-core discrete, soft-core discrete and continuum Fock spaces. It improves the Landim–Quastel–Salmhofer–Yau hard-core removal estimate from an H¹ input to H^{1+γ} and anisotropic H¹ inputs. This is combined with new H^{1+γ} estimates on the SBE Ansatz showing that the Dirichlet energy lives at large, drift-elongated scales. As a result, the Ansatz of CMT25 is a faithful description of the ASEP.

2. Approximate fluctuation–dissipation relation with an explicit corrector, built from the transferred Ansatz.

3. A tightness argument that bypasses the Itô trick, which fails at superdiffusive scales (the H⁻¹ norm of the asymmetric term diverges as log^{1/6}). The argument has several parts:

- Exponentially weighted chaos estimates.

- Hypercontractivity for Lp moments of Dynkin martingales that have jumps.

- A corrector whose Ansatz parameter µ=(τ|t−s|)^{-1} is chosen adaptively to the time window.

- A Kolmogorov–Chentsov criterion.

Methodological Rigor

The proofs are long, detailed and appear internally consistent. Each step is a quantitative bound with explicit exponents, and the logic is modular: comparison theorem, corrector estimates, semigroup convergence, finite-dimensional laws, tightness, then the corollaries. Lemma-level proofs are given in full, including the replacement lemmas, the hypercontractivity constants, the Möbius/Hermite combinatorics showing that Bernoulli chaos converges to Gaussian chaos, and a careful treatment of Skorokhod-topology cylinder approximation. The uniaxial asymmetry assumption is used in exactly one place, estimate (3.23), and the paper states what survives without it (two-sided log^{2/3} bounds and tightness). The quenched-in-initial-data version (1.20) is also handled. The paper builds heavily on CMT25, which is not yet peer reviewed, so correctness depends on that line of work. The convergence rate is only log^{-1/6}. The result is stationary and one-species.

Potential Impact

This closes a roughly 20-year-old programme: Yau 2004 on the log^{2/3} law, the mode-coupling prediction of 1985, and numerics by Krug et al. It settles that the 2D ASEP fluctuation field is Gaussian at the critical dimension. Within probability and mathematical statistical mechanics it is a landmark result, and it supports the universality picture linking the ASEP to the 2D SBE and to nonlinear fluctuating hydrodynamics. The method (sharp generator comparison via bridges, Ansatz transfer, and tightness via adaptive correctors and hypercontractivity) is likely to be reused. The author names asymmetric zero-range and speed-change ASEP as candidates. Tightness for the SBE itself is also covered, upgrading CMT25 and CKM26 from finite-dimensional to full invariance principles. Applied or translational impact is essentially nil. Interest from physics is moderate, as a rigorous confirmation of a classic prediction.

Timeliness

This is a hot topic in critical-dimension SPDEs and particle systems (stochastic heat flow, 2D KPZ and AKPZ, Brownian motion in the curl of the GFF). The paper arrives immediately after the SBE results that made it possible.

Strengths

Limitations

Overall

This is a high-impact paper for mathematical probability: a long-awaited, sharp, rigorous result with transferable techniques. The audience is a specialist community, but within it the result is likely to become a standard reference.

```json

{

"score": 8.5,

"score_reason": "Settles a 20-year-old critical-dimension problem for 2D ASEP with exact constants and a full process-level Gaussian limit, using methods likely to be reused; audience is specialist.",

"significance": 8.5,

"significance_reason": "First space-time scaling limit for a driven particle system at the critical dimension, confirming the van Beijeren–Kutner–Spohn prediction and upgrading Yau's 2004 Tauberian bounds to sharp asymptotics.",

"rigor": 8.5,

"rigor_reason": "Fully quantitative modular proofs with explicit lemmas (generator comparison, corrector estimates, hypercontractivity, tightness); the uniaxial assumption is isolated to one estimate; reliance on companion preprints is the only caveat.",

"novelty": 8.5,

"novelty_reason": "Introduces sharp ASEP–SBE generator comparison with H^{1+γ} refinement, and a tightness scheme with adaptive-µ correctors that circumvents the failure of the Itô trick at superdiffusive scales.",

"clarity": 6.5,

"clarity_reason": "Introduction and roadmap are well organised and candid about difficulties, but the extremely dense Fock-space machinery and heavy dependence on CMT25 make the body hard to follow.",

"difficulty": 9.5,

"difficulty_reason": "Requires expertise in resolvent and Fock-space methods for ASEP, Wiener chaos, hypercontractivity, martingale tightness in Skorokhod space, and critical-dimension SPDE analysis.",

"surprisingness": 3.5,

"surprisingness_reason": "The result confirms the long-standing mode-coupling prediction and the expected SBE universality; the surprise is that it can be proved with exact constants.",

"reproducibility": 7.5,

"reproducibility_reason": "Purely theoretical, with complete proofs, explicit constants and appendices; a specialist could verify the argument, though it depends on the SBE Ansatz of CMT25.",

"translational_potential": 1.5,

"translational_potential_reason": "Pure mathematical physics with no direct application beyond validating nonlinear fluctuating hydrodynamics.",

"evidence_strength": 8.5,

"evidence_strength_reason": "Theorems are fully proved with explicit error rates (log^{-1/6}) and cover finite-dimensional laws, tightness and the quenched version; limitations are the assumptions (uniaxial asymmetry, stationarity).",

"generalisability": 6.0,

"generalisability_reason": "Holds for all densities and finite-range kernels with uniaxial asymmetry, and the methods likely extend to related systems, but the sharp results are limited to d=2 and uniaxial asymmetry.",

"interdisciplinarity": 3.0,

"interdisciplinarity_reason": "Mainly probability and mathematical statistical mechanics, with some link to non-equilibrium physics (KPZ-type universality, driven diffusive systems).",

"refutation_value": 1.5,

"refutation_value_reason": "Confirms rather than contests prior claims, though it removes the divergent correction factors in Yau's bounds.",

"replication_value": 3.0,

"replication_value_reason": "Rigorously corroborates the 1985 mode-coupling prediction for the prefactor and Gaussian profile by an independent route, though as a proof rather than a replication.",

"resource_intensity": 2.0,

"resource_intensity_reason": "Pure theory, requiring only researcher time, though years of specialist expertise.",

"foundationality": 7.0,

"foundationality_reason": "The generator-comparison bridges, Ansatz transfer and tightness machinery are explicitly reusable for other critical-dimension particle systems and for upgrading SBE results."

}

```