Notes on Hydrodynamic Limits and Related Topics

Abstract: In these lecture notes, we discuss various hydrodynamic LLN' andCLT' scaling limits, among others, in types of stochastic interacting particle systems, connecting microscopic' behaviors to continuum laws. Viashort stories', the aim is to present some of the basics' for students and those entering the field, as a complement to books such as Kipnis-Landim 1999, Komorowski-Landim-Olla 2012, Liggett 1985, Liggett 1999. To be concrete, attention is restricted to a fewmass conservative' systems on discrete spaces, namely exclusion and zero-range processes, that have proved robust in the study of different phenomena. After preliminaries, we discuss the entropy' andrelative entropy' methods to prove hydrodynamic limits of the bulk mass in finite volume, as well as other items such as construction of systems in infinite volume and the structure of their invariant measures, and scaling limits of local functionals, such as occupation times of sites and the motion of a tagged particle. In the last part, we also discuss equilibrium fluctuations of the bulk mass when the process starts from an invariant measure.

• The paper develops hydrodynamic limit theory for exclusion and zero-range processes using empirical-measure martingales, GPV entropy, relative entropy, and replacement lemmas to derive diffusion and conservation laws.
• It proves key results including symmetric exclusion convergence, zero-range hydrodynamics, TASEP limits under smoothness assumptions, the Kipnis–Varadhan central limit theorem, and anomalous t^{1/4} tagged-particle fluctuations in one dimension.
• The notes clarify major limitations and open problems, including deterministic Euler limits, non-attractive systems, KPZ-scale variance predictions, nonreversible central limit theorems, and complete invariant-measure classification.

Scope and aims

These lecture notes, authored by Sunder Sethuraman (University of Arizona), provide a pedagogical but technically substantive introduction to hydrodynamic scaling limits of stochastic interacting particle systems. The stated aim is to present the "basics" for students and researchers entering the field, complementing standard references such as Kipnis–Landim and Liggett's volumes. The treatment is deliberately restricted to mass-conservative systems on discrete spaces—exclusion processes and zero-range processes—chosen because they are robust enough to illustrate essentially all of the main proof technologies: the empirical-measure/martingale approach, the Guo–Papanicolaou–Varadhan (GPV) entropy method, Yau's relative entropy method, infinite-volume construction, invariant measure theory, and fluctuation results via the Kipnis–Varadhan central limit theorem. Topics such as large deviations, metastability, condensation, non-equilibrium fluctuations, KPZ, and integrable probability are explicitly acknowledged as outside the scope, though referenced.

Hydrodynamics as a law of large numbers

The notes open with Markov chain preliminaries and a fully computable model: independent random walks on the torus $\mathbb{T}^d_N$. Starting from an inhomogeneous product of Poisson measures $\nu^N_{\rho_0(\cdot)}$ encoding a density profile $\rho_0$, the distribution at time $t$ remains product-Poisson with intensity $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$—a feature of independence that fails for genuinely interacting systems. Choosing the diffusive scale $v(N) = N^2$ when the drift $m = \sum_x x p(x)$ vanishes, and the hyperbolic scale $v(N) = N$ otherwise, the mean profile converges respectively to solutions of the heat equation $\partial_t\rho = \triangle_C \rho$ or the transport equation $\partial_t\rho + m\cdot\nabla\rho = 0$.

This mean-value computation is then recast in terms of the scaled empirical measure $\nu^N_{\rho_0(\cdot)}$0, and hydrodynamics is defined as convergence in probability of $\nu^N_{\rho_0(\cdot)}$1 to a deterministic measure $\nu^N_{\rho_0(\cdot)}$2. This formulation is the correct one for interacting systems, where occupation variables cease to be independent even if they start so.

Exclusion processes and the martingale method

For symmetric simple exclusion, the generator admits a symmetric form permitting summation by parts, which closes the evolution equation for $\nu^N_{\rho_0(\cdot)}$3 against the discrete Laplacian; the martingale term has quadratic variation $\nu^N_{\rho_0(\cdot)}$4 and is negligible. For asymmetric exclusion, closure formally yields Burgers' equation $\nu^N_{\rho_0(\cdot)}$5, whose solution is identified later as the entropy (vanishing viscosity) solution. The mean-zero asymmetric case is flagged as non-gradient: no second summation by parts is available, and one must appeal to a homogenization of a local function $\nu^N_{\rho_0(\cdot)}$6, yielding a nonlinear heat equation—a substantially harder theory only sketched here.

A valuable section motivates the term "hydrodynamics" via deterministic Newtonian systems of $\nu^N_{\rho_0(\cdot)}$7 particles on a torus, where conserved quantities (mass, momentum, energy) lead formally to Euler equations. The notes state plainly that the rigorous passage from deterministic dynamics to Euler flow remains open in general; the best results require added noise to restore ergodicity for local averaging. This frames the field's guiding philosophy, attributed to Varadhan: rather than approximating an exact problem, solve exactly an approximate problem.

Rigorous hydrodynamics for symmetric exclusion

The full proof follows the GPV three-step scheme: (1) tightness of trajectory laws $\nu^N_{\rho_0(\cdot)}$8 on Skorohod space $\nu^N_{\rho_0(\cdot)}$9—in fact in the stronger uniform topology; (2) identification of limit points as weak solutions of $\rho_0$0 via time-dependent test functions; (3) absolute continuity of limit measures, using the exclusion bound $\rho_0$1. Uniqueness of bounded weak solutions then forces all subsequential limits to coincide, giving convergence in probability at fixed times. The tightness argument, based on Doob's inequality applied over partitions of $\rho_0$2, is carried out in detail, and the topological machinery (Prokhorov's theorem, moduli of continuity, effective tightness criteria for measure-valued paths) is developed carefully—an instructive feature for newcomers.

Entropy, Dirichlet forms, and zero-range hydrodynamics

Zero-range processes, where particles at a site jump at rate $\rho_0$3, introduce a genuine difficulty absent in exclusion: the drift term involves averages of $\rho_0$4, which does not close in terms of the empirical measure. The notes develop the required toolkit systematically: variational definition and properties of relative entropy, its monotonicity under the semigroup, Dirichlet forms $\rho_0$5, and the basic coupling establishing attractiveness when $\rho_0$6 is increasing. Under simplifying assumptions ($\rho_0$7 Lipschitz, bounded, increasing; nearest-neighbor symmetric $\rho_0$8), the hydrodynamic equation is

$\rho_0$9

proved via the replacement estimate replacing spatial averages of $t$0 by $t$1 of the coarse-grained density. The proof rests on the celebrated 1-block and 2-block lemmas of GPV. The 1-block argument reduces, through control of the Dirichlet form of the time-averaged Radon–Nikodym density ($t$2), to an equilibrium LLN plus a local central limit theorem normalization. The 2-block lemma requires connecting two separated blocks; since jumps are nearest-neighbor, the notes insert an artificial long bond into the localized Dirichlet form, costing $t$3—an estimate that crucially uses the diffusive scaling $t$4. The notes emphasize this dependence: under hyperbolic scaling the 2-block estimate is not generally available, a structural limitation of the method for asymmetric models.

Relative entropy method and TASEP

Yau's relative entropy method is presented for TASEP in $t$5 at the Euler scale. The strategy compares the true distribution $t$6 with the explicit product measure $t$7 built from the classical solution of $t$8, existing up to a short time $t$9 for smooth profiles bounded away from $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$0 and $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$1. The core estimate is $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$2, obtained by differentiating the entropy against the adjoint dynamics, Taylor-expanding the log-ratio of the product measure along jumps, invoking a 1-block-type replacement (which suffices at the Euler scale, needing only $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$3), and closing with a subgaussian concentration inequality and Gronwall's lemma. The entropy inequality then transfers the $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$4 entropy bound into convergence in probability of $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$5.

Two contrasts with the GPV method are worth noting. First, the relative entropy method proves uniqueness of classical solutions but presupposes smoothness a priori; the entropy method yields existence of weak solutions without such a hypothesis. Second, explicit knowledge of invariant measures is not needed—the key lemma holds for any convenient reference measure. The notes also record honestly that hydrodynamics for all times, for drifted processes lacking attractiveness/basic coupling, is an open problem.

Infinite-volume construction and invariant measures

The construction of zero-range processes on $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$6 follows Liggett–Spitzer and Andjel. Because unbounded Lipschitz $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$7 can make rates large, the process is constructed not on the full configuration space but on $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$8 with the weight $\psi_{N,t}(x) = E[\rho_0(N^{-1}(x - Z^N_t))]$9; configurations outside $v(N) = N^2$0 may be influenced by particles "at infinity." The semigroup is obtained as a uniform limit of finite-cube semigroups, with Lipschitz constants controlled via a comparison to a multitype branching process ($v(N) = N^2$1). Kolmogorov extension then identifies finite-dimensional distributions, and the process stays in $v(N) = N^2$2 almost surely.

On the invariant-measure side, the product measures $v(N) = N^2$3 are shown invariant in infinite volume (via a doubly stochastic truncation $v(N) = N^2$4 of $v(N) = N^2$5 and dominated convergence) and extremal when the symmetrized jump law is irreducible. Extremality is proved by showing bounded harmonic functions are invariant under all finite particle permutations, hence constant by Hewitt–Savage. The equivalence of extremality, triviality of the shift-invariant sigma-field, and ergodicity of the path measure is established abstractly via von Neumann's ergodic theorem and a decomposition of $v(N) = N^2$6. The notes concede that classifying all extremal invariant measures remains unresolved in general settings, though complete classifications exist in $v(N) = N^2$7 for increasing $v(N) = N^2$8.

Additive functionals and the Kipnis–Varadhan CLT

For additive functionals $v(N) = N^2$9 started from equilibrium, the variance asymptotics exhibit strong dimension dependence. Using duality for symmetric exclusion, $m = \sum_x x p(x)$0, giving:

Dimension	Order of $m = \sum_x x p(x)$1
$m = \sum_x x p(x)$2	$m = \sum_x x p(x)$3
$m = \sum_x x p(x)$4	$m = \sum_x x p(x)$5
$m = \sum_x x p(x)$6	$m = \sum_x x p(x)$7

For asymmetric exclusion with nonzero drift, the correlation structure is analyzed through the second-class particle $m = \sum_x x p(x)$8: $m = \sum_x x p(x)$9 holds iff $v(N) = N$0 (or $v(N) = N$1), while at $v(N) = N$2 the variance grows at least as $v(N) = N$3... more precisely the notes give lower bounds $v(N) = N$4 in $v(N) = N$5 and $v(N) = N$6 in $v(N) = N$7, with expected orders $v(N) = N$8 and $v(N) = N$9 tied to KPZ-class behavior. These superdiffusive orders rest on a Gaussian ansatz relating return probabilities of $\partial_t\rho = \triangle_C \rho$0 to its variance, whose verification the notes list as open, with only a weak form known in $\partial_t\rho = \triangle_C \rho$1.

The Kipnis–Varadhan theorem is proved in full: for reversible ergodic $\partial_t\rho = \triangle_C \rho$2 and $\partial_t\rho = \triangle_C \rho$3 with $\partial_t\rho = \triangle_C \rho$4, $\partial_t\rho = \triangle_C \rho$5. The proof develops the $\partial_t\rho = \triangle_C \rho$6/$\partial_t\rho = \triangle_C \rho$7 Hilbert space framework, resolvent estimates, Mazur's theorem to upgrade weak to strong convergence in $\partial_t\rho = \triangle_C \rho$8, and a martingale approximation with vanishing remainder. A notable subtlety recorded in the notes: in nonreversible situations, finiteness of $\partial_t\rho = \triangle_C \rho$9 does not imply finiteness of the symmetrized $\partial_t\rho + m\cdot\nabla\rho = 0$0 norm (e.g., $\partial_t\rho + m\cdot\nabla\rho = 0$1 at $\partial_t\rho + m\cdot\nabla\rho = 0$2 in $\partial_t\rho + m\cdot\nabla\rho = 0$3), and proving a CLT under a general nonreversible $\partial_t\rho + m\cdot\nabla\rho = 0$4 condition is posed as an open problem.

Tagged particle motion

The final technical chapter treats a tagged particle in symmetric exclusion, exploiting the fact that the environment process $\partial_t\rho + m\cdot\nabla\rho = 0$5 is itself Markovian and drives $\partial_t\rho + m\cdot\nabla\rho = 0$6. The LLN gives velocity $\partial_t\rho + m\cdot\nabla\rho = 0$7 almost surely. For the CLT, the drift function $\partial_t\rho + m\cdot\nabla\rho = 0$8 is shown to lie in $\partial_t\rho + m\cdot\nabla\rho = 0$9 (via reversibility and a Cauchy–Schwarz argument), so the Kipnis–Varadhan decomposition applies to the compensator term, and the martingale CLT yields $\nu^N_{\rho_0(\cdot)}$00. Nondegeneracy of $\nu^N_{\rho_0(\cdot)}$01 holds except in the case $\nu^N_{\rho_0(\cdot)}$02 with nearest-neighbor $\nu^N_{\rho_0(\cdot)}$03; there, the two martingale contributions cancel completely.

In that exceptional case the motion is subdiffusive: $\nu^N_{\rho_0(\cdot)}$04 with $\nu^N_{\rho_0(\cdot)}$05, and the functional limit is fractional Brownian motion with Hurst parameter $\nu^N_{\rho_0(\cdot)}$06. The proof connects $\nu^N_{\rho_0(\cdot)}$07 to the current $\nu^N_{\rho_0(\cdot)}$08 across a bond, decomposes the current via the stirring representation into $\nu^N_{\rho_0(\cdot)}$09 exchange variables, uses negative association to get $\nu^N_{\rho_0(\cdot)}$10, and reduces to a conditional CLT for i.i.d. summands. The result that particle ordering in one dimension slows a tracer to $\nu^N_{\rho_0(\cdot)}$11 fluctuations is among the sharpest quantitative statements in the notes.

Limitations and open questions

The notes are candid about boundaries. Within the text, several assumptions are made for tractability—bounded increasing $\nu^N_{\rho_0(\cdot)}$12 and nearest-neighbor symmetric $\nu^N_{\rho_0(\cdot)}$13 in the zero-range chapter, short-time existence of smooth Burgers solutions for TASEP, translation-invariant jump laws throughout—and extensions to weaker hypotheses are deferred to cited literature. Open problems stated include: rigorous Euler limits for deterministic Newtonian systems; hydrodynamics for all times for non-attractive drifted processes; verification of the KPZ-order variance ansatz for occupation functionals at $\nu^N_{\rho_0(\cdot)}$14 in $\nu^N_{\rho_0(\cdot)}$15; a general nonreversible Kipnis–Varadhan-type CLT; fluctuation limits for mean-zero asymmetric systems in $\nu^N_{\rho_0(\cdot)}$16; and complete classification of extremal invariant measures. The 2-block lemma's reliance on diffusive scaling is a structural constraint of the entropy method highlighted explicitly.

Conclusion

These notes assemble, in a self-contained progression, the principal techniques of hydrodynamic limit theory—empirical measures and martingales, GPV entropy with block replacements, Yau's relative entropy method, infinite-volume construction, invariant measure theory, and equilibrium fluctuation analysis—illustrated on the two canonical mass-conservative models. Their value lies both in the completeness of the proofs presented and in the precise demarcation of what remains unproven, making them a suitable entry point to a literature whose harder corners (KPZ-class fluctuations, non-gradient homogenization, condensation) are deliberately left to specialized sources.