pith. sign in

arxiv: 2604.08154 · v2 · submitted 2026-04-09 · 🧮 math.PR

Hydrodynamic limit of the directed exclusion process

Ellen Saada (MAP5 - UMR 8145) , Federico Sau (UNIMI) , Assaf Shapira (UPCit\'e , MAP5 - UMR 8145) This is my paper

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

classification 🧮 math.PR
keywords hydrodynamic limitdirected exclusion processinteracting particle systemsEuler hydrodynamic limithyperbolic conservation lawmulti-process couplingattractivenessmacroscopic stability
0
0 comments X p. Extension

The pith

The directed exclusion process satisfies the Euler hydrodynamic limit via an explicit multi-process coupling.

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

The paper derives that the directed exclusion process, a one-dimensional conservative particle system with rightward bias but preserved particle-hole symmetry, obeys a hyperbolic conservation law at macroscopic scales. The proof constructs an explicit coupling of multiple process copies to obtain strong attractiveness, which orders configurations, and macroscopic stability, which controls the evolution of local densities. A reader would care because this turns the stochastic microscopic rules into a deterministic PDE description of density flow, enabling exact predictions of how particles spread or pile up without tracking individual trajectories. The result applies to initial configurations that are locally finite and shows convergence to the entropy solution of the limit equation.

Core claim

The directed exclusion process satisfies the Euler (hyperbolic) hydrodynamic limit: its empirical density converges to the unique entropy solution of a conservation law whose flux function is determined by the microscopic jump rates, with the proof relying on an explicit multi-process coupling that guarantees a strong form of attractiveness and macroscopic stability.

What carries the argument

An explicit multi-process coupling of the particle system that simultaneously evolves several copies to enforce ordering and to bound the discrepancy between microscopic and macroscopic density profiles.

If this is right

  • The macroscopic particle density evolves according to a first-order hyperbolic conservation law whose flux is explicitly computable from the exclusion rates.
  • Attractiveness implies that the process reaches local equilibrium on the hydrodynamic time scale.
  • The limit holds for a broad class of initial measures with bounded density, including those with discontinuities.
  • Particle-hole symmetry of the microscopic dynamics is inherited by the macroscopic equation.

Where Pith is reading between the lines

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

  • The same coupling construction could be tested on variants of the process that add long-range jumps or site-dependent rates.
  • The result supplies the deterministic backbone needed to study diffusive fluctuations around the hydrodynamic profile in a later scaling limit.
  • Because the bias breaks left-right symmetry while keeping particle-hole symmetry, the method may apply directly to other one-dimensional conservative systems with preferred direction, such as certain traffic models.

Load-bearing premise

The multi-process coupling must guarantee both strong attractiveness, so that ordered initial configurations remain ordered, and macroscopic stability, so that local densities stay close to the PDE solution.

What would settle it

A numerical simulation on a large interval with step-function initial data in which the measured shock speed or rarefaction profile deviates from the value predicted by the conservation law beyond the scale of microscopic fluctuations.

Figures

Figures reproduced from arXiv: 2604.08154 by Assaf Shapira (UPCit\'e, Ellen Saada (MAP5 - UMR 8145), Federico Sau (UNIMI), MAP5 - UMR 8145).

Figure 5.1
Figure 5.1. Figure 5.1: A rarefaction solution at time t = 1 [PITH_FULL_IMAGE:figures/full_fig_p017_5_1.png] view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: A shock solution at time t = 1 [PITH_FULL_IMAGE:figures/full_fig_p017_5_2.png] view at source ↗
Figure 5.3
Figure 5.3. Figure 5.3: A rarefaction-shock solution at time t = 1. Both steps rely on attractiveness and on the characterization of I ∩ S. Let us now quote these two results: Lemma 5.4. ([BGRS02, Lemmas 2.3, 2.4], [AV87, Lemmas 3.1, 3.2]). Let µ be a prob￾ability measure on X such that [PITH_FULL_IMAGE:figures/full_fig_p017_5_3.png] view at source ↗
read the original abstract

We derive the Euler (hyperbolic) hydrodynamic limit for the directed exclusion process (DEP), a one-dimensional conservative interacting particle system that preserves particle-hole symmetry while breaking left-right symmetry. The proof relies on an explicit multi-process coupling, which guarantees a strong form of attractiveness and macroscopic stability for the particle system. Further open questions about DEP are briefly discussed.

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

1 major / 2 minor

Summary. The manuscript derives the Euler (hyperbolic) hydrodynamic limit for the directed exclusion process (DEP), a one-dimensional conservative interacting particle system that preserves particle-hole symmetry while breaking left-right symmetry. The proof relies on an explicit multi-process coupling, which guarantees a strong form of attractiveness and macroscopic stability for the particle system. Further open questions about DEP are briefly discussed.

Significance. If the coupling indeed supplies uniform L1 contraction even across shocks, the result would be a useful addition to the hydrodynamic-limit literature for asymmetric particle systems. The explicit construction of the coupling and the preservation of particle-hole symmetry are concrete strengths that could be leveraged in related models.

major comments (1)
  1. [Coupling and macroscopic stability] The coupling construction (described after the model definition): while attractiveness and order preservation are established, the manuscript does not supply an explicit contraction rate or compensated-compactness estimate that controls the L1 distance between empirical measures when the macroscopic profile contains discontinuities. In the Euler regime such jumps are generic, so the passage from microscopic stability to the hydrodynamic limit requires a uniform bound independent of the shock location; this step is load-bearing for the central claim but is not verified.
minor comments (2)
  1. [Introduction] The abstract and introduction would benefit from a short comparison with the standard asymmetric simple exclusion process to clarify what the directed variant adds beyond the usual left-right asymmetry.
  2. [Model and notation] Notation for the empirical measure and the hydrodynamic density should be introduced once and used consistently; a small table summarizing the scaling parameters would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed review and for highlighting the need for an explicit contraction estimate in the coupling argument. We address this point below and will incorporate the necessary details in the revised manuscript.

read point-by-point responses

  1. Referee: [Coupling and macroscopic stability] The coupling construction (described after the model definition): while attractiveness and order preservation are established, the manuscript does not supply an explicit contraction rate or compensated-compactness estimate that controls the L1 distance between empirical measures when the macroscopic profile contains discontinuities. In the Euler regime such jumps are generic, so the passage from microscopic stability to the hydrodynamic limit requires a uniform bound independent of the shock location; this step is load-bearing for the central claim but is not verified.

    Authors: We acknowledge that the current manuscript does not explicitly derive the uniform L1 contraction rate across discontinuities. However, the multi-process coupling is constructed in such a way that the attractiveness property yields a contraction that is independent of the positions of shocks, thanks to the preservation of particle-hole symmetry. In the revision, we will add a dedicated lemma providing the explicit bound on the L1 distance between the empirical measures of two coupled processes, which holds uniformly even when the limiting profiles have jumps. This will complete the passage from microscopic stability to the Euler hydrodynamic limit. revision: yes

Circularity Check

0 steps flagged

No circularity: coupling construction is independent of the target hydrodynamic limit

full rationale

The derivation chain begins with an explicit multi-process coupling constructed for the directed exclusion process. This coupling is asserted to deliver attractiveness and L1 macroscopic stability directly from its definition, without any equation in the provided abstract or context reducing the hydrodynamic limit back to a fitted parameter or self-cited uniqueness theorem. No self-definitional loop, fitted-input prediction, or ansatz-smuggling via prior work by the same authors is exhibited. The central claim therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract contains no information on free parameters, axioms, or invented entities; the result is framed as a derivation relying on a coupling construction.

pith-pipeline@v0.9.0 · 5362 in / 973 out tokens · 36880 ms · 2026-05-10T17:53:24.222425+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

27 extracted references · 27 canonical work pages

  1. [1]

    Hydrodynamic equations for attractive particle systems on Z

    Enrique Daniel Andjel and Maria Eul\' a lia Vares. Hydrodynamic equations for attractive particle systems on Z . J. Statist. Phys. , 47(1-2):265--288, 1987

    work page 1987

  2. [2]

    Donald P. Ballou. Solutions to nonlinear hyperbolic C auchy problems without convexity conditions. Trans. Amer. Math. Soc. , 152:441--460 (1971), 1970

    work page 1971

  3. [3]

    Bahadoran, H

    C. Bahadoran, H. Guiol, K. Ravishankar, and E. Saada. A constructive approach to E uler hydrodynamics for attractive processes. A pplication to k -step exclusion. Stochastic Process. Appl. , 99(1):1--30, 2002

    work page 2002

  4. [4]

    Bahadoran, H

    C. Bahadoran, H. Guiol, K. Ravishankar, and E. Saada. Euler hydrodynamics of one-dimensional attractive particle systems. Ann. Probab. , 34(4):1339--1369, 2006

    work page 2006

  5. [5]

    Strong hydrodynamic limit for attractive particle systems on \( Z \)

    Christophe Bahadoran, Herv \'e Guiol, Krishnamurthi Ravishankar, and Ellen Saada. Strong hydrodynamic limit for attractive particle systems on \( Z \) . Electron. J. Probab. , 15:1--43, 2010. Id/No 1

    work page 2010

  6. [6]

    Constructive Euler hydrodynamics for one-dimensional attractive particle systems

    Christophe Bahadoran, Herv \'e Guiol, Krishnamurthi Ravishankar, and Ellen Saada. Constructive Euler hydrodynamics for one-dimensional attractive particle systems. In Sojourns in probability theory and statistical physics. III. Interacting particle systems and random walks, a festschrift for Charles M. Newman , pages 43--89. Singapore: Springer; Shanghai:...

    work page 2019

  7. [7]

    van Beijeren, R

    H. van Beijeren, R. Kutner, and H. Spohn. Excess noise for driven diffusive systems. Phys. Rev. Lett. , 54(18):2026--2029, 1985

    work page 2026

  8. [8]

    Binder, M

    P.-M. Binder, M. Paczuski, and Mustansir Barma. Scaling of fluctuations in one-dimensional interface and hopping models. Phys. Rev. E , 49(2):1174, 1994

    work page 1994

  9. [9]

    Invariance principle for push \ tagged particles for a T oom interface

    Nick Crawford and Wojciech De Roeck. Invariance principle for push \ tagged particles for a T oom interface. arXiv:1610.07765 , 2016

    work page arXiv 2016

  10. [10]

    The stationary AKPZ equation: logarithmic superdiffusivity

    Giuseppe Cannizzaro, Dirk Erhard, and Fabio Toninelli. The stationary AKPZ equation: logarithmic superdiffusivity. Comm. Pure Appl. Math. , 76(11):3044--3103, 2023

    work page 2023

  11. [11]

    The T oom interface via coupling

    Nicholas Crawford and Gady Kozma. The T oom interface via coupling. J. Stat. Phys. , 179(2):408--447, 2020

    work page 2020

  12. [12]

    Derrida, J

    B. Derrida, J. L. Lebowitz, E. R. Speer, and H. Spohn. Dynamics of an anchored T oom interface. J. Phys. A , 24(20):4805--4834, 1991

    work page 1991

  13. [13]

    Mathematical methods for hydrodynamic limits , volume 1501 of Lecture Notes in Mathematics

    Anna De Masi and Errico Presutti. Mathematical methods for hydrodynamic limits , volume 1501 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1991

    work page 1991

  14. [14]

    Devillard and H

    P. Devillard and H. Spohn. Universality class of interface growth with reflection symmetry. J. Statist. Phys. , 66(3-4):1089--1099, 1992

    work page 1992

  15. [15]

    Ten lectures on particle systems

    Rick Durrett. Ten lectures on particle systems. In Lectures on probability theory. Ecole d'\'et\'e de probabilit\'es de Saint-Flour XXIII - 1993. Lectures given at the summer school in Saint- Flour, France, August 18-September 4, 1993 , pages 97--201. Berlin: Springer-Verlag, 1995

    work page 1993

  16. [16]

    Couplings and attractiveness for general exclusion processes

    Thierry Gobron and Ellen Saada. Couplings and attractiveness for general exclusion processes. In Couplings and attractiveness for general exclusion processes , volume 38 of Ensaios Mat. , pages 263--313. Soc. Brasil. Mat., Rio de Janeiro, 2023

    work page 2023

  17. [17]

    T. E. Harris. Nearest-neighbor Markov interaction processes on multidimensional lattices. Adv. Math. , 9:66--89, 1972

    work page 1972

  18. [18]

    T. E. Harris. Additive set-valued Markov processes and graphical methods. Ann. Probab. , 6:355--378, 1978

    work page 1978

  19. [19]

    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

    work page 1999

  20. [20]

    C. Landim. Conservation of local equilibrium for attractive particle systems on Z ^d . Ann. Probab. , 21(4):1782--1808, 1993

    work page 1993

  21. [21]

    Thomas M. Liggett. Stochastic interacting systems: contact, voter and exclusion processes , volume 324 of Grundlehren Math. Wiss. Berlin: Springer, 1999

    work page 1999

  22. [22]

    Thomas M. Liggett. Interacting particle systems . Classics in Mathematics. Springer-Verlag, Berlin, 2005. Reprint of the 1985 original

    work page 2005

  23. [23]

    Maya Paczuski, Mustansir Barma, S. N. Majumdar, and T. Hwa. Fluctuations of a nonequililbrium interface. Phys. Rev. Lett. , 69(18):2735, 1992

    work page 1992

  24. [24]

    Drift causes anomalous exponents in growth processes

    Gunnar Pruessner. Drift causes anomalous exponents in growth processes. Phys. Rev. Lett. , 92(24):246101, 2004

    work page 2004

  25. [25]

    Systems of conservation laws

    Denis Serre. Systems of conservation laws. 1 . Cambridge University Press, Cambridge, 1999. Hyperbolicity, entropies, shock waves, Translated from the 1996 French original by I. N. Sneddon

    work page 1999

  26. [26]

    Nonlinear fluctuating hydrodynamics for anharmonic chains

    Herbert Spohn. Nonlinear fluctuating hydrodynamics for anharmonic chains. J. Stat. Phys. , 154(5):1191--1227, 2014

    work page 2014

  27. [27]

    Anchored advected interfaces, O slo model, and roughness at depinning

    Assaf Shapira and Kay J\"org Wiese. Anchored advected interfaces, O slo model, and roughness at depinning. J. Stat. Mech. Theory Exp. , (6):Paper No. 063202, 25, 2023

    work page 2023