pith. sign in

arxiv: 2603.29923 · v2 · submitted 2026-03-31 · 🧮 math.PR

Stochastic Cahn--Hilliard Equations from One-Dimensional Ising--Kac--Kawasaki Dynamics

Qi Zhang This is my paper

Pith reviewed 2026-05-13 23:21 UTC · model grok-4.3

classification 🧮 math.PR MSC 60H1582C22
keywords stochastic Cahn-HilliardIsing-Kac-Kawasakiscaling limitconserved noiseone-block estimatetwo-block estimatephi^4 measureH^{-1} tightness
0
0 comments X

The pith

The Kac coarse-grained field from one-dimensional Ising-Kac-Kawasaki dynamics converges to the stochastic Cahn-Hilliard equation with conserved noise.

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

This paper derives the macroscopic limit of a one-dimensional lattice model where spins interact through a Kac potential and evolve under conservative Kawasaki dynamics. It begins with a martingale formulation for the coarse-grained field X_gamma and separates the evolution into a deterministic drift and a stochastic martingale. The drift is replaced by a cubic nonlinearity through a conservative multiscale scheme using one-block and two-block estimates. The martingale's quadratic variation is shown to converge to a divergence-form Gaussian noise, and uniform bounds in the H inverse one norm close the argument for convergence in law. A reader would care because the result supplies a microscopic justification for a mass-conserving stochastic model of phase separation.

Core claim

The paper proves that the Kac coarse-grained field X_gamma converges to the solution of the one-dimensional stochastic Cahn-Hilliard equation with conserved noise. The dynamics are decomposed into a discrete conservative drift that becomes the cubic term -Delta(u^3 - u) after replacement and a Dynkin martingale whose predictable quadratic variation converges to the covariance of a divergence-form space-time white noise. Uniform H^{-1} energy estimates yield tightness, allowing passage to the limit and establishing that the associated equilibrium measures converge weakly to the phi^4_1 measure on the conserved-mass hyperplane.

What carries the argument

The conservative multiscale replacement scheme based on one-block and two-block estimates that converts the microscopic drift into the macroscopic cubic nonlinearity.

If this is right

  • The macroscopic equation conserves total mass because both the cubic drift and the noise appear in divergence form.
  • The equilibrium distribution of the limit process is the phi^4_1 measure restricted to fixed total mass.
  • The convergence holds in the topology of processes with values in the negative Sobolev space H^{-1}.
  • Tightness of the sequence X_gamma follows directly from the uniform H^{-1} bounds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar replacement schemes might produce stochastic Cahn-Hilliard limits from conservative particle systems in two or three dimensions if the corresponding block estimates can be proved uniformly.
  • The derivation indicates that strict microscopic conservation automatically produces conserved noise at the hydrodynamic scale.
  • Direct comparison of two-point correlation functions between the lattice process and numerical solutions of the limit SPDE would test the rate of convergence.

Load-bearing premise

The one-block and two-block estimates must hold uniformly so that the nonlinear drift can be replaced by the exact cubic term without residual errors that would prevent closing the limit.

What would settle it

A calculation showing that the quadratic variation of the Dynkin martingale fails to converge to the expected divergence-form noise measure would disprove the claimed limit equation.

read the original abstract

This paper investigates the scaling limit of one--dimensional lattice Ising--Kac--Kawasaki dynamics. Starting from a martingale formulation for the Kac coarse-grained field $X_\gamma$, we decompose the dynamics into a discrete conservative drift and a Dynkin martingale. The nonlinear drift is analyzed via a conservative multiscale replacement scheme based on one--block and two--block estimates, which yields a cubic conservative term in the macroscopic limit. For the stochastic component, we characterize the predictable quadratic variation to obtain a divergence-form Gaussian noise. By establishing uniform $H^{-1}$ energy estimates, we prove that $X_\gamma$ converges to a one--dimensional stochastic Cahn--Hilliard equation with conserved noise. Furthermore, we show that the associated canonical equilibrium measure $\mu_\gamma$ converges weakly to the $\phi^4_1$ measure on the conserved-mass hyperplane.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript derives the scaling limit of one-dimensional Ising-Kac-Kawasaki dynamics to the stochastic Cahn-Hilliard equation with conserved noise. Starting from the martingale formulation of the Kac coarse-grained field X_γ, the dynamics are decomposed into a discrete conservative drift and a Dynkin martingale. The nonlinear drift is handled using a conservative multiscale replacement scheme with one-block and two-block estimates to obtain the cubic term. The stochastic part is characterized by its quadratic variation as divergence-form Gaussian noise. Uniform H^{-1} energy estimates are established to prove convergence of X_γ to the target SPDE, and the equilibrium measures μ_γ converge weakly to the φ^4_1 measure on the conserved-mass hyperplane.

Significance. If the technical estimates hold, this provides a rigorous microscopic derivation of a stochastic PDE with conservation laws from lattice dynamics, advancing the theory of hydrodynamic limits for interacting particle systems with noise. The application of replacement lemmas and H^{-1} bounds in the stochastic conserved setting is a non-trivial extension of deterministic techniques, offering a template for similar derivations.

major comments (2)
  1. [Nonlinear drift analysis via replacement scheme] The conservative multiscale replacement scheme (one-block and two-block estimates) used to identify the cubic nonlinear drift term: these estimates must hold uniformly in γ and in probability under the full stochastic generator driven by the conserved noise; the H^{-1} bounds are invoked to close the error terms, but it is not evident that the remainders vanish in the required topology once fluctuations are included, which is load-bearing for the limit identification.
  2. [H^{-1} energy estimates section] Uniform H^{-1} energy estimates: the derivation needs to explicitly verify that the stochastic fluctuations from the conserved noise do not prevent the uniform bound in γ, as this closes the tightness and convergence arguments for X_γ.
minor comments (2)
  1. [Abstract] The abstract sketches the proof outline clearly but could include the precise form of the limiting SPDE (e.g., the exact coefficients in the divergence-form noise) for immediate readability.
  2. [Introduction] Notation for the coarse-graining parameter γ and the field X_γ should be introduced with a brief definition in the introduction to aid readers new to Kac potentials.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript deriving the scaling limit of one-dimensional Ising-Kac-Kawasaki dynamics to the stochastic Cahn-Hilliard equation with conserved noise. We address each major comment point by point below, providing clarifications based on the existing arguments and indicating revisions where they strengthen the presentation.

read point-by-point responses

  1. Referee: [Nonlinear drift analysis via replacement scheme] The conservative multiscale replacement scheme (one-block and two-block estimates) used to identify the cubic nonlinear drift term: these estimates must hold uniformly in γ and in probability under the full stochastic generator driven by the conserved noise; the H^{-1} bounds are invoked to close the error terms, but it is not evident that the remainders vanish in the required topology once fluctuations are included, which is load-bearing for the limit identification.

    Authors: We thank the referee for this important observation. In Section 4, the one-block and two-block estimates are established uniformly in γ by applying the replacement scheme to the conservative drift under the full stochastic generator; the H^{-1} energy bounds from Section 5 are used to control the fluctuation terms arising from the conserved noise, ensuring the error remainders vanish in the H^{-1} topology in probability as γ → 0. The tightness of X_γ then closes the argument. To make the uniformity under the stochastic generator and the vanishing of remainders more transparent, we will add a short subsection in the revision detailing the adaptation of the estimates to the martingale part. revision: partial

  2. Referee: [H^{-1} energy estimates section] Uniform H^{-1} energy estimates: the derivation needs to explicitly verify that the stochastic fluctuations from the conserved noise do not prevent the uniform bound in γ, as this closes the tightness and convergence arguments for X_γ.

    Authors: Section 5 derives the uniform H^{-1} bounds via Itô's formula applied to the energy functional, where the drift contribution is controlled by the dissipative structure and the martingale term (from the conserved noise) is estimated using its quadratic variation, which is of divergence form and bounded by the energy itself. This yields the desired uniformity in γ without blow-up. We will revise the section to include an expanded step-by-step verification of the stochastic integral estimates and their independence from γ to address the concern explicitly. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds from martingale formulation through independent estimates

full rationale

The paper begins with an explicit martingale problem for the coarse-grained field X_γ, decomposes the generator into conservative drift plus Dynkin martingale, applies one-block and two-block replacement lemmas to identify the cubic nonlinearity, computes the quadratic variation of the noise term directly from the microscopic dynamics, and closes the limit via uniform H^{-1} energy bounds. None of these steps reduce by definition or by self-citation to the target SPDE; the replacement estimates and energy bounds are derived from the microscopic generator and stated assumptions without presupposing the macroscopic equation. The equilibrium-measure convergence is likewise obtained from the same estimates rather than fitted or renamed inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard tools of stochastic analysis and hydrodynamic limits with no new free parameters or invented entities visible from the abstract.

axioms (2)
  • standard math Martingale formulation for the Kac coarse-grained field X_γ
    Standard starting point for particle system limits in probability.
  • domain assumption One-block and two-block estimates hold uniformly for the replacement scheme
    Central technical assumption invoked for the nonlinear drift analysis.

pith-pipeline@v0.9.0 · 5448 in / 1286 out tokens · 30218 ms · 2026-05-13T23:21:43.889052+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    J. W. Cahn and J. E. Hilliard. Free energy of a nonuniform system. I. interfacial free energy.The Journal of Chemical Physics, 28(2):258–267, 1958

    work page 1958

  2. [2]

    Cui and J

    J. Cui and J. Hong. Wellposedness and regularity estimates for stochastic Cahn–Hilliard equa- tion with unbounded noise diffusion.Stochastics and Partial Differential Equations: Analysis and Computations, 11(4):1635–1671, 2023

    work page 2023

  3. [3]

    Da Prato and A

    G. Da Prato and A. Debussche. Stochastic Cahn–Hilliard equation.Nonlinear Analysis: Theory, Methods & Applications, 26(2):241–263, 1995

    work page 1995

  4. [4]

    Da Prato and J

    G. Da Prato and J. Zabczyk.Stochastic Equations in Infinite Dimensions, volume 45 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, 1992

    work page 1992

  5. [5]

    Di Primio, M

    A. Di Primio, M. Grasselli, and L. Scarpa. Stochastic Cahn–Hilliard and conserved Allen–Cahn equations with logarithmic potential and conservative noise.Nonlinearity, 37(12):125005, 2024

    work page 2024

  6. [6]

    T. Funaki. Derivation of the hydrodynamical equation for one-dimensional ginzburg-landau model. Probab. Theory Relat. Fields, 82:39–93, 1989

    work page 1989

  7. [7]

    T. Funaki. The reversible measures of multi-dimensional ginzburg-landau type continuum model. Osaka J. Math., 28:463–494, 1991

    work page 1991

  8. [8]

    T. Funaki. Hydrodynamic limit for exclusion processes.Communications in Mathematics and Statistics, 6(4):417–480, 2018

    work page 2018

  9. [9]

    B. Gess, W. Liu, and A. Schenke. Random attractors for locally monotone stochastic partial differ- ential equations.Journal of Differential Equations, 269(4):3414–3455, 2020

    work page 2020

  10. [10]

    Giacomin and J

    G. Giacomin and J. L. Lebowitz. Phase segregation dynamics in particle systems with long range interactions. i. macroscopic limits.Journal of Statistical Physics, 87(1–2):37–61, 1997

    work page 1997

  11. [11]

    Gouden` ege and B

    L. Gouden` ege and B. Xie. Ergodicity of stochastic Cahn–Hilliard equations with logarithmic poten- tials driven by degenerate or nondegenerate noises.Journal of Differential Equations, 269(9):6988– 7014, 2020

    work page 2020

  12. [12]

    Grazieschi, K

    P. Grazieschi, K. Matetski, and H. Weber. The dynamical Ising-Kac model in 3 D converges to Φ 4 3. Probability Theory and Related Fields, 191(1):671–778, 2025

    work page 2025

  13. [13]

    Gubinelli and M

    M. Gubinelli and M. Hofmanov´ a. A PDE construction of the Euclidean Φ 4 3 quantum field theory. Communications in Mathematical Physics, 384:1–75, 2021

    work page 2021

  14. [14]

    M. Z. Guo, G. C. Papanicolaou, and S. R. S. Varadhan. Nonlinear diffusion limit for a system with nearest neighbor interactions.Communications in Mathematical Physics, 118(1):31–59, 1988

    work page 1988

  15. [15]

    P. C. Hohenberg and B. I. Halperin. Theory of dynamic critical phenomena.Reviews of Modern Physics, 49(3):435–479, 1977

    work page 1977

  16. [16]

    Kawasaki

    K. Kawasaki. Diffusion constants near the critical point for time-dependent Ising models. I.Physical Review, 145(1):224–230, 1966

    work page 1966

  17. [17]

    Kipnis and C

    C. Kipnis and C. Landim.Scaling Limits of Interacting Particle Systems, volume 320 ofGrundlehren der mathematischen Wissenschaften. Springer, 1999. 37

    work page 1999

  18. [18]

    Kipnis and S

    C. Kipnis and S. R. S. Varadhan. Central limit theorem for additive functionals of reversible Markov processes and applications to simple exclusions.Communications in Mathematical Physics, 104(1):1–19, 1986

    work page 1986

  19. [19]

    Y. Kwon, G. Menz, and K. Nam. Hydrodynamic limit of the Kawasaki dynamics on the 1d-lattice with strong, finite-range interaction.Annales Henri Poincar´ e, 24(7):2483–2536, 2023

    work page 2023

  20. [20]

    Mourrat and H

    J.-C. Mourrat and H. Weber. Convergence of the two-dimensional dynamic Ising-Kac model toϕ 4 2. Communications on Pure and Applied Mathematics, 70(4):717–812, 2017

    work page 2017

  21. [21]

    Onuki.Phase Transition Dynamics

    A. Onuki.Phase Transition Dynamics. Cambridge University Press, 2002

    work page 2002

  22. [22]

    R¨ ockner, H

    M. R¨ ockner, H. Yang, and X. Zhu. Conservative stochastic two-dimensional Cahn–Hilliard equation: Markov uniqueness and invariant measures.The Annals of Applied Probability, 31(3):1280–1325, 2021

    work page 2021

  23. [23]

    Spohn.Large Scale Dynamics of Interacting Particles

    H. Spohn.Large Scale Dynamics of Interacting Particles. Texts and Monographs in Physics. Springer, 1991

    work page 1991

  24. [24]

    H.-T. Yau. Relative entropy and hydrodynamics of Ginzburg–Landau models.Letters in Mathe- matical Physics, 22(1):63–80, 1991

    work page 1991

  25. [25]

    Zhu and X

    R. Zhu and X. Zhu. Lattice approximation to the dynamical Φ 4 3 model.Annals of Probability, 46(1):397–455, 2018. 38

    work page 2018