Central limit theorem for the Allen-Cahn equation with supercritical random initial conditions

Colin Piernot; Kexing Ying

arxiv: 2604.08623 · v1 · submitted 2026-04-09 · 🧮 math.PR · math.AP

Central limit theorem for the Allen-Cahn equation with supercritical random initial conditions

Colin Piernot , Kexing Ying This is my paper

Pith reviewed 2026-05-10 17:44 UTC · model grok-4.3

classification 🧮 math.PR math.AP

keywords Allen-Cahn equationcentral limit theoremsupercritical regimerandom initial conditionswhite noiseheat equationMalliavin calculus

0 comments

The pith

The rescaled solution to the Allen-Cahn equation converges to the heat equation started from white noise whose intensity depends on both the initial randomness and the nonlinearity.

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

The paper proves a central limit theorem for solutions of the Allen-Cahn equation started from short-range correlated Gaussian random fields in dimensions three and higher. Under diffusive rescaling the nonlinear reaction term becomes negligible at large scales, so the solution behaves like the linear heat equation driven by white noise. The limiting white noise is modified by both the original randomness and the specific form of the nonlinearity, rather than being the same as the initial data. This matters because it shows how a nonlinear stochastic PDE can simplify to a linear one on large scales while the fluctuations still carry microscopic information. The argument combines comparison principles for the PDE with Malliavin calculus to control the stochastic fluctuations.

Core claim

We prove that the diffusively rescaled solution to the Allen-Cahn equation with short-range dependent Gaussian initial data in dimension d ≥ 3 converges in law to the solution of the heat equation started from a white noise. The covariance of this limiting white noise depends non-trivially on both the law of the initial data and on the nonlinear potential. The proof uses estimates from comparison principles and Malliavin calculus.

What carries the argument

Diffusive rescaling under which the nonlinearity formally vanishes on large scales, with Gaussianity of the limit obtained via comparison principles and Malliavin calculus.

Load-bearing premise

That the nonlinear term becomes negligible compared with diffusion under diffusive rescaling for short-range dependent initial data when the dimension is at least three.

What would settle it

A direct numerical computation in dimension three of the rescaled Allen-Cahn solution for a concrete nonlinearity and initial covariance, followed by a check of whether the field statistics match those of the heat equation started from the predicted white noise.

read the original abstract

We study the large-scale behavior of solutions to the Allen-Cahn reaction-diffusion equation with Gaussian initial data. We consider the case of short-range dependence in the associated supercritical regime with spatial dimension $d \ge 3$. Under diffusive rescaling, the non-linearity formally vanishes on large scales in this case. Accordingly, we prove a central limit theorem for the rescaled solution, more precisely, that it converges to the solution of the heat equation started from a white noise. These initial conditions for the limit depend non-trivially both on the source of randomness and on the non-linearity. Our proof uses estimates obtained by a combination of comparison principles and Malliavin calculus, initiated by Castillo and Dunlap in arXiv:2509.06260 in the critical case. However, the result there is not a fluctuation result but rather an $L^2_\mathbf{P}$ comparison to a McKean-Vlasov problem with Gaussian solutions. Hence the mechanism behind the Gaussianity of the limit differs, and the proof requires new ideas that should be further applicable to other supercritical problems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves a CLT for the Allen-Cahn equation in the supercritical regime, with the rescaled solution converging to the heat equation started from white noise whose covariance depends on both the initial randomness and the nonlinearity.

read the letter

The key takeaway is that this paper establishes a central limit theorem for the Allen-Cahn equation with supercritical short-range Gaussian initial conditions in d ≥ 3. Under diffusive scaling the solution converges in law to the heat equation with white-noise initial data, but the covariance of that noise depends on both the original randomness and the nonlinearity. They achieve this by showing the nonlinearity vanishes at large scales and then applying estimates from comparison principles together with Malliavin calculus. This differs from the cited critical-case result, which used an L2 comparison to a McKean-Vlasov problem; here the Gaussianity mechanism is new and the proof needs fresh ideas to handle the fluctuation directly. The paper does well in making the dependence on the nonlinearity explicit in the limit and in avoiding any fitting or self-referential arguments. The logic flows from the abstract without internal contradictions. A minor concern is that the abstract does not detail how the Malliavin calculus controls the approximation errors or the tightness, so the manuscript needs to deliver on those estimates. If the bounds hold as claimed, the result stands; otherwise the convergence might only be in a weaker sense. This is for researchers focused on large-scale behavior of nonlinear SPDEs and fluctuation theorems. A reader who knows the critical case or Malliavin methods in this area would get the most out of it and see how the supercritical setting requires different tools. It deserves a serious referee. The claim is novel, the approach is grounded in established techniques, and the result organizes the behavior in a regime that was not covered before. I would send it for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript proves a central limit theorem for the diffusively rescaled solution of the Allen-Cahn equation with short-range Gaussian initial data in dimensions d ≥ 3. It shows convergence in law to the solution of the linear heat equation whose initial condition is a white noise whose covariance is modified non-trivially by both the original randomness and the nonlinearity. The proof combines comparison principles with Malliavin calculus, extending techniques from the critical-case work of Castillo and Dunlap while using a distinct mechanism to obtain the Gaussian limit.

Significance. If the result holds, the paper provides a rigorous justification that the nonlinearity vanishes at large scales under diffusive rescaling in the supercritical regime, yielding a genuine fluctuation theorem rather than an L² comparison. The explicit dependence of the limiting initial covariance on the nonlinearity is a notable feature, and the authors correctly distinguish their Gaussianity mechanism from the prior critical-case argument. The suggested applicability of the ideas to other supercritical problems is a strength.

minor comments (2)

[§1] §1, paragraph following the statement of the main theorem: the precise form of the rescaled initial condition and the modified covariance should be displayed explicitly rather than left to the reader to reconstruct from the abstract and the proof sketch.
[Introduction] The statement that the nonlinearity 'formally vanishes' is used to motivate the result; a brief remark clarifying why the comparison principle plus Malliavin estimates suffice to make this rigorous (without circularity) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, which correctly identifies the central limit theorem for the diffusively rescaled Allen-Cahn equation in the supercritical regime d ≥ 3, the role of the modified white noise initial condition, and the distinction from the L² comparison in the critical case. We appreciate the recognition of the proof techniques and potential broader applicability. As no major comments were raised in the report, we have no specific points to rebut and will incorporate any minor revisions as recommended.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes the central limit theorem via a direct argument combining comparison principles and Malliavin calculus. The cited prior work (Castillo-Dunlap arXiv:2509.06260) is by non-overlapping authors, concerns a different (critical-case) L² comparison rather than fluctuations, and is explicitly distinguished as requiring new ideas here. No step reduces the target limit to a fitted parameter, self-defined quantity, or self-citation chain; the vanishing of the nonlinearity under diffusive rescaling is asserted as proven rather than assumed by construction. The modified white-noise initial condition is presented as an output feature of the limit.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard comparison principles for parabolic PDEs and Malliavin calculus for Gaussian fields; no new entities or fitted parameters are introduced.

axioms (2)

domain assumption Comparison principles hold for the Allen-Cahn equation with the given initial data
Invoked to obtain a priori estimates on the solution
standard math Malliavin calculus applies to the Gaussian initial condition and the resulting stochastic flow
Used to establish the Gaussianity of the limiting white noise

pith-pipeline@v0.9.0 · 5489 in / 1241 out tokens · 65068 ms · 2026-05-10T17:44:21.951487+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Under diffusive rescaling... the non-linearity formally vanishes on large scales in this case... converges to the solution of the heat equation started from a white noise... d ≥ 3
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Malliavin derivative solves the linearized equation... maximum principle... Poincaré inequality... Wiener chaos

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

[1]

Random Initial Condi- tions for Semi-Linear PDEs

[] Dirk Blömker, Giuseppe Cannizzaro, and Marco Romito. “Random Initial Condi- tions for Semi-Linear PDEs”. In: Proceedings of the Royal Society of Edinburgh Section A . (), pp. –. arXiv: 1707.04956 [math.PR]. [] Giuseppe Cannizzaro, Dirk Erhard, and Philipp Schönbauer. “D Anisotropic KPZ at Stationarity: Scaling, Tightness and Nontrivi...

work page doi:10.1214/20-aop1446 2025

[1] [1]

Random Initial Condi- tions for Semi-Linear PDEs

[] Dirk Blömker, Giuseppe Cannizzaro, and Marco Romito. “Random Initial Condi- tions for Semi-Linear PDEs”. In: Proceedings of the Royal Society of Edinburgh Section A . (), pp. –. arXiv: 1707.04956 [math.PR]. [] Giuseppe Cannizzaro, Dirk Erhard, and Philipp Schönbauer. “D Anisotropic KPZ at Stationarity: Scaling, Tightness and Nontrivi...

work page doi:10.1214/20-aop1446 2025