REVIEW 6 minor 47 references
A perturbative approach to the macroscopic fluctuation theory
T0 review · 0 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read A perturbative calculation gives the non-equilibrium large-deviation functional for general diffusive systems near equilibrium, showing that long-range density correlations are generic.
desk verdict A genuinely new perturbative MFT result for small boundary driving, with a coherent but formal derivation and real checks; worth a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the quasi-potential formulation of macroscopic fluctuation theory, in which $S(\varphi)$ is the minimum over trajectories of the dynamical cost (2.9) subject to the optimal-equation pair (2.10)--(2.11); the control field $H(t,x)$ equals the functional derivative of $S$ along the optimal path. The perturbative ansatz (3.11) splits $H$ into the local equilibrium chemical-potential difference $\int_{\bar\rho(x)}^{\rho(t,x)} 2D(u)/\sigma(u)\,du$ plus a small correction $h(t,x)$ that vanishes with $J$. The correction obeys the backward heat-like equation (3.14) with an $O(J^2)$ source; integrating it with the Green function (3.16) fixes the initial data $h(0,x)$, and the functional derivative of the non-local term $V$ is shown to equal $h(0,x)$, completing the identification of $S$ at order $J^3$. This converts the variational problem into a deterministic relaxation integral along the solution of the autonomous equation (3.6).
What would settle it
Take $D=1$, a one-dimensional domain with two reservoirs, and a non-quadratic conductivity such as $\sigma(\rho)=\rho(1-\rho)(1+\lambda\rho)$; solve the full optimal equations (3.8) numerically for several small $J$ and check that $S(\varphi)-S_{\mathrm{local}}(\varphi)-V(\varphi)$ is indeed $O(J^4)$ for a fixed smooth $\varphi$. Alternatively, measure the three-point density cumulant in a boundary-driven lattice gas with this $\sigma$: the predicted $\log a$ divergence as the three points coalesce (with coefficient $\sigma'''(\bar\rho)J^2/(4L^2)$ in $d=1$) is a sharp signature that would confirm or refute the whole construction.
Extended reading notes
Core claim
The central claim is Claim 3.1: for a diffusive system on a domain $D \subset \mathbb{R}^d$ with $D(\rho) \ge c > 0$ and reservoirs imposing a small stationary current ($\sup_x |\bar J(x)| = J \ll 1$), the large-deviation cost of a density profile $\varphi$ is $S(\varphi) = S_{\mathrm{local}}(\varphi) + V(\varphi) + O(J^4)$, with $S_{\mathrm{local}}$ as in (3.3) and $V$ as the non-local functional in (3.5). The derivation shows that near equilibrium the optimal excitation path differs from the time-reversed relaxation path by a correction $h(t,x)$ obeying an unstable linear equation with a source of order $J^2$; the requirement that $h(0,x)$ equals the functional derivative of the correction $V$ identifies $V$ uniquely. For $D=1$, expanding $V$ gives the explicit $k$-point cumulant formula (4.10), whose Green function satisfies $\Delta G = -\bar J^2(x_1) \delta_{x_1=\cdots=x_k}$, leading to the diagonal singularity (4.13) in one dimension. The paper thereby explains why the previously known solvable models showed only pair correlations: that happens exactly when $\sigma$ is quadratic (or more generally a low-degree polynomial), whereas generic $\sigma$ produces all higher cumulants at order $J^2$.
Load-bearing premise
Everything rests on the ansatz (3.11) that the optimal control field along the most likely fluctuation is exactly the local chemical-potential difference plus a small correction $h$ that vanishes with the driving; if the true optimum contains additional $O(J^2)$ terms, such as density-gradient corrections or a nonzero $h$ at order $J$, the reduced equations (3.12) and the identification $h(0)=\delta V/\delta\varphi$ would miss them.
Editorial extensions
If this is right
- For any diffusive lattice-gas dynamics in any dimension, the non-equilibrium large-deviation functional can now be computed order by order in the driving, extending a result previously restricted to exactly solvable one-dimensional models.
- At order $J^2$ and for $D(\rho)=1$, all $k$-point long-range correlations are generically nonzero; they are forced to vanish above degree $p$ only when $\sigma$ is a polynomial of degree $p$, which is why the SSEP and KMP models show only pair correlations.
- In one dimension, $k$-point cumulants with $k \ge 3$ diverge as the observation points coalesce, as $\log a$ for $k=3$ and as $a^{-(k-3)/2}$ for $k \ge 4$, with the sign set by $\sigma^{(k)}(\bar\rho)$ and the scale set by the lattice mesh cutoff.
- The non-local term $V$ vanishes identically when $\sigma'(\rho) = 2D(\rho)$, i.e. for Zero-Range-type transport coefficients, matching the known absence of long-range correlations in those models.
Reading between the lines
- Because the perturbative scheme only needs $D$, $\sigma$ and the free energy, it suggests a practical route to extracting derivatives of $\sigma$ from measured $k$-point correlation amplitudes in non-gradient models.
- The same splitting of the optimal control into a local equilibrium part plus a small correction should carry over to bulk forcing by a weak external field, giving an analogous $V$ for field-driven systems.
- The diagonal divergence (4.13) sets a concrete numerical test: in a one-dimensional lattice gas with cubic $\sigma$, the three-point cumulant should grow logarithmically as the three points approach, with the lattice spacing as the lower cutoff.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper develops a perturbative approach to the macroscopic fluctuation theory for diffusive systems driven out of equilibrium by boundary reservoirs with a small stationary current J. The main result, Claim 3.1, asserts that the stationary large deviation functional has the form S(φ) = S_local(φ) + V(φ) + O(J^4), where S_local is a local free-energy functional and V is a nonlocal functional defined as an integral of transport coefficients along the time-reversed relaxation path (3.5)-(3.6). The derivation is based on an ansatz for the optimal control H in the macroscopic fluctuation theory, rewriting the optimal evolution equations in terms of a correction h, solving the time-reversed h-equation by a Green function, and identifying h(0) with the functional derivative of V. The paper then derives the long-range correlations at order J^2, showing that generically all k-point cumulants are nonzero, with a logarithmic divergence for k=3 and an algebraic divergence for k≥4 when the points coalesce. The results are checked against the exact SSEP pair correlation and the vanishing of V for zero-range processes.
Significance. If the claim holds, this is the first general perturbative expression for the non-equilibrium large deviation functional that goes beyond exactly solvable models, and it yields falsifiable predictions for the structure of long-range correlations in arbitrary diffusive systems. The derivation is internally consistent: the ansatz is an exact decomposition of H, the Green function representation solves the leading h-equation, and the functional derivative of V matches h(0) term by term. The independent checks against the SSEP pair correlation and the zero-range-process cancellation provide strong support at the leading nontrivial order. The main limitation is that the derivation is formal; the O(J^4) remainder is not controlled rigorously, so the claim should be read as an asymptotic expansion rather than a proven bound.
minor comments (6)
- [Section 3.1, Eq. (3.5)] The formula for V contains an ambiguous term correctly read as a fraction: it should be written with explicit parentheses as σ(ρ(s)) - σ(¯ρ) - [(Γ(ρ(s)) - Γ(¯ρ))/D(¯ρ)] σ'(¯ρ); the current notation 'Γ(ρ(s)) − Γ(¯ρ) D(¯ρ) σ′(¯ρ)' could be misread as a product.
- [Section 3.2, Eqs. (3.16)-(3.17)] The Green function initial condition in (3.16) is written as G(s,x|s,y)=δ(x−y), but the use in (3.20) implies that G(s,y|0,x) is the kernel from initial x to final y; the arguments in (3.16) should be reversed for consistency.
- [Section 3.2, after Eq. (3.20)] The displayed limit 'lim_{φ→0} 1/δ (V(φ+δψ)−V(φ))' should be 'lim_{δ→0} 1/δ (V(φ+δψ)−V(φ))'; as written, the limit variable is misstated.
- [Section 4, Eq. (4.11)] The Laplacian ∆ = ∑_{i=1}^k ∆_{x_i} is introduced, but the boundary conditions for G on ∂(D^k) are not stated; adding a sentence specifying that G vanishes on the boundary would make the Poisson equation well-posed.
- [Abstract and Section 4] The abstract's statement that 'all the long range correlation functions are not equal to 0' is a little broad; the body shows that for polynomial σ of degree p, correlations with more than p points vanish at order J^2, so a more precise phrasing would avoid overstatement.
- [Section 3.1] The claim (3.7) gives no explicit norm for the O(J^4) remainder; a remark that the expansion is asymptotic and that uniformity in φ is not proved would help calibrate the statement for readers.
Circularity Check
No significant circularity: the non-local functional V is constructed explicitly and matched to the optimal-path control h through an adjoint Green's function identity, with the only self-citations used as independent benchmarks.
full rationale
Claim 3.1 is not obtained by fitting or by presupposing the target result. The paper's ansatz (3.11), H = ∫_{\barρ(x)}^{ρ(t,x)} 2D(u)/σ(u) du + h(t,x), is an exact decomposition: for any control H the correction h is defined by that equation, so no term of the true optimal control is lost from the ansatz itself. Appendix D then substitutes this decomposition into the MFT optimal equations (3.8) and derives the exact evolution equations (3.12) for h by direct algebra; no external or self-cited uniqueness principle is invoked there. The perturbative reduction keeps the source of order J^2 in the h-equation and drops the h-feedback and (∇h)^2 terms, which contribute only at O(J^4), so the O(J^4) error estimate in Claim 3.1 is internally consistent. The solution (3.17) for h(0) is the unique source-driven solution of the unstable adjoint equation with the boundary condition h→0 at s→∞; it is not a fitted value. The functional V in (3.5) is defined independently as an integral along the relaxation path (3.6). Differentiating V with respect to the initial profile φ and using the linearized evolution (3.19) with the Green function (3.16) produces exactly the same integral appearing in (3.17), giving the identity h(0)=δV/δφ. This is a mathematical identity, not a circular identification, because V was not defined as the functional whose derivative equals h(0); it was defined first and its derivative is computed. Combining h(0)=δV/δφ with the MFT identity (3.10), δS/δφ=H(0)=δS_local/δφ+h(0), and the fact that both S and S_local+V vanish at φ=ρbar, yields S=S_local+V+O(J^4) to the accuracy of the truncation. The comparison with the SSEP pair correlation in (4.12) and the vanishing for the Zero-Range process use exact results from the literature ([22], [24], [27], [45]) as external benchmarks, not as inputs to the derivation. The only self-citation of a coauthor is [24], a review by Derrida used for the standard equilibrium Gibbs free-energy formula alongside Lanford and Ellis and for the SSEP correlation originally due to Spohn; this is not load-bearing. The residual risk is the unproved uniformity of the O(J^4) remainder and the formal nature of the unstable-semigroup selection, which is a rigor gap rather than a circular step.
Assumptions & free parameters
assumptions (5)
- domain assumption The macroscopic fluctuation theory variational formula (2.7) and optimal path equations (2.10),(2.11) describe the steady state large deviation functional.
- domain assumption The equilibrium large deviation functional has the local Gibbs form (1.3), i.e., short-range interactions and no phase transitions.
- ad hoc to paper The ansatz (3.11), H = local equilibrium potential plus h with h vanishing with J, is complete to the orders needed for Claim 3.1.
- ad hoc to paper The time reversed equation (3.14) for h admits a unique solution given by the Green function representation (3.17), with the unstable mode killed by the choice of h(0).
- domain assumption Smoothness and ellipticity: D(ρ) ≥ c > 0, σ(ρ) > 0, and D, σ, f are sufficiently smooth so that solutions of (3.6) and (3.15) exist on bounded domains and ρ(s) converges to \barρ fast enough for V to converge.
Cite this review
Pith. "Pith review of A perturbative approach to the macroscopic fluctuation theory." pith.science (2026). https://pith.science/paper/DLRJTXYI
@misc{pith2026241213991,
author = {Pith},
title = {Pith review of: A perturbative approach to the macroscopic fluctuation theory},
year = {2026},
howpublished = {\url{https://pith.science/paper/DLRJTXYI}},
note = {Machine review of arXiv:2412.13991}
}
abstract
In this paper, we study the stationary states of diffusive dynamics driven out of equilibrium by reservoirs. For a small forcing, the system remains close to equilibrium and the large deviation functional of the density can be computed perturbatively by using the macroscopic fluctuation theory. This applies to general domains in $\mathbb{R}^d$ and diffusive dynamics with arbitrary transport coefficients. As a consequence, one can analyse the correlations at the first non trivial order in the forcing and show that, in general, all the long range correlation functions are not equal to 0, in contrast to the exactly solvable models previously known.
Figures
Reference graph
Works this paper leans on
-
[1]
Arita C., Krapivsky, P. L., Mallick K., (2017). Variational calculation of transport coefficients in diffusive lattice gases, Phys. Rev. E 95, 032121
work page 2017
-
[2]
Baek, Y., Kafri, Y. (2015). Singularities in large deviation functions. Journal of Statistical Mechanics: Theory and Experiment, 2015(8), P08026
work page 2015
-
[3]
Bertini, L., De Sole, A., Gabrielli, D., Jona-Lasinio, G., Landim, C. (2001). Fluctuations in stationary nonequi- librium states of irreversible processes. Physical Review Letters, 87(4), 040601
work page 2001
-
[4]
L. Bertini, A. De Sole, D. Gabrielli, G. Jona–Lasinio, C. Landim, Macroscopic fluctuation theory for stationary non equilibrium states , J. Stat, Phys. 107, 635-675 (2002)
work page 2002
-
[5]
Bertini, L., De Sole, A., Gabrielli, D., Jona-Lasinio, G., Landim, C. (2001). Large deviations for the boundary driven symmetric simple exclusion process Math. Phys. Anal. Geom. 6, no. 3, 231–267
work page 2001
-
[6]
Bertini, L., De Sole, A., Gabrielli, D., Jona-Lasinio, G., Landim, C. (2006). Large deviation approach to non equilibrium processes in stochastic lattice gases. Bulletin of the Brazilian Mathematical Society, 37, 611-643
2006
-
[7]
L. Bertini, A. De Sole, D. Gabrielli, G. Jona Lasinio, C. Landim, Stochastic interacting particle systems out of equilibrium, J. Stat. Mech. P07014. (2007)
work page 2007
-
[8]
Bertini, L., De Sole, A., Gabrielli, D., Jona-Lasinio, G., Landim, C. (2010). Lagrangian phase transitions in nonequilibrium thermodynamic systems. Journal of Statistical Mechanics: Theory and Experiment, 2010(11), L11001
work page 2010
Show all 47 references
-
[9]
Bertini, L., De Sole, A., Gabrielli, D., Jona-Lasinio, G., Landim, C. (2015). Macroscopic fluctuation theory. Reviews of Modern Physics, 87(2), 593-636
2015
-
[10]
, Landim, C
Bertini, L., Gabrielli, D. , Landim, C. (2009). Strong asymmetric limit of the quasi-potential of the boundary driven weakly asymmetric exclusion process, Comm. Math. Phys. 289, n 1, 311-334
2009
-
[11]
, Gabrielli, D
Bertini, L. , Gabrielli, D. , Lebowitz J.L. (2005). Large deviations for a stochastic model of heat flow, Journal of statistical physics, 121 (5), 843-885
2005
-
[12]
Bertini, L., Landim, C., Mourragui, M. (2009). Dynamical large deviations for the boundary driven weakly asymmetric exclusion process, Ann. Probab. 37, N. 6
2009
-
[13]
A., Evans, M
Blythe, R. A., Evans, M. R. (2007). Nonequilibrium steady states of matrix-product form: a solver’s guide. Journal of Physics A: Mathematical and Theoretical, 40(46), R333
2007
-
[14]
Bodineau, T., Giacomin, G. (2004). From dynamic to static large deviations in boundary driven exclusion particle systems. Stochastic processes and their applications, 110(1), 67-81
2004
-
[15]
Bouley, A., Erignoux, C., Landim, C. (2021). Steady state large deviations for one-dimensional, symmetric exclusion processes in weak contact with reservoirs. arXiv preprint arXiv:2107.06606
2021 arXiv
-
[16]
Bunin, G., Kafri, Y., Podolsky, D. (2012). Non-differentiable large-deviation functionals in boundary-driven diffusive systems. Journal of Statistical Mechanics: Theory and Experiment, 2012(10), L10001
2012
-
[17]
Bunin, G., Kafri, Y., Podolsky, D. (2013). Cusp singularities in boundary-driven diffusive systems. Journal of Statistical Physics, 152, 112-135
2013
-
[18]
Capanna, M., Gabrielli, D., Tsagkarogiannis, D. (2024). On a class of solvable stationary non equilibrium states for mass exchange models. Journal of Statistical Physics, 191(2), 25
2024
-
[19]
Carinci, G., Giardin` a, C., Giberti, C., Redig, F. (2013). Duality for stochastic models of transport. Journal of Statistical Physics, 152, 657-697
2013
-
[20]
Carinci, G., Franceschini, C., Gabrielli, D., Giardin` a, C., Tsagkarogiannis, D. (2024). Solvable stationary non equilibrium states. Journal of Statistical Physics, 191(1), 10
2024
-
[21]
Large Deviations Techniques and Applications
Dembo, A., Zeitouni, O., (2010). Large Deviations Techniques and Applications. Springer
2010
-
[22]
De Masi, A., Ferrari, P. (1984). A remark on the hydrodynamics of the zero-range processes. J Stat Phys 36, 81–87
1984
-
[23]
De Masi, A., Ferrari P., Gabrielli, D. (2023). Hidden temperature in the KMP model arXiv preprint arXiv:2310.01672
2023 arXiv
-
[24]
Derrida, Non-equilibrium steady states: fluctuations and large deviations of the density and of the current, J
B. Derrida, Non-equilibrium steady states: fluctuations and large deviations of the density and of the current, J. Stat. Mech. P07023 (2007) 18 BODINEAU AND DERRIDA
2007
-
[25]
Derrida, B., Hirschberg, O., Sadhu, T. (2021). Large deviations in the symmetric simple exclusion process with slow boundaries. Journal of Statistical Physics, 182, 1-13
2021
-
[26]
L., Speer, E
Derrida, B., Lebowitz, J. L., Speer, E. R. (2001). Free energy functional for nonequilibrium systems: an exactly solvable case. Physical Review Letters, 87(15), 150601
2001
-
[27]
Derrida, J
B. Derrida, J. L. Lebowitz, E. Speer, Large deviation of the density profile in the steady state of the open symmetric simple exclusion process. Journal of statistical physics, 107(3), 599-634 (2002)
2002
-
[28]
L., Speer, E
Derrida, B., Lebowitz, J. L., Speer, E. R. (2002). Exact free energy functional for a driven diffusive open stationary nonequilibrium system. Physical review letters, 89(3), 030601
2002
-
[29]
L., Speer, E
Derrida, B., Lebowitz, J. L., Speer, E. (2003). Exact large deviation functional of a stationary open driven diffusive system: the asymmetric exclusion process. Journal of statistical physics, 110(3), 775-810
2003
-
[30]
L., Speer, E
Derrida, B., Lebowitz, J. L., Speer, E. (2007). Entropy of open lattice systems. Journal of Statistical Physics 126 : 1083-1108
2007
-
[31]
Dorfman, T.R
J.R. Dorfman, T.R. Kirkpatrick, J.V. Sengers, Generic long-range correlations in molecular fluids , Annual Review of Physical Chemistry 45 213-239 (1994)
1994
-
[32]
Enaud, C., Derrida, B. (2004). Large deviation functional of the weakly asymmetric exclusion process. Journal of statistical physics, 114, 537-562
2004
-
[33]
Springer, 2007
Ellis, Richard, Entropy, large deviations, and statistical mechanics. Springer, 2007
2007
-
[34]
Preprint, arXiv:0908.1798 (2009)
Farfan, J., Static large deviations of boundary driven exclusion processes. Preprint, arXiv:0908.1798 (2009)
2009 arXiv
-
[35]
Farfan, J., Landim, C., Tsunoda, K. (2019). Static large deviations for a reaction-diffusion model. Probability Theory and Related Fields, 174, 49-101
2019
-
[36]
Freidlin, A
M. Freidlin, A. Wentzell, Random perturbations of dynamical systems. Springer-Verlag, (1998)
1998
-
[37]
Giardina, C., Kurchan, J., Redig, F. (2007). Duality and exact correlations for a model of heat conduction. Journal of mathematical physics, 48(3)
2007
-
[38]
Kipnis, C
C. Kipnis, C. Landim, Scaling limits of interacting particle systems , 320 Springer (2013)
2013
-
[39]
Kipnis, S
C. Kipnis, S. Olla, S. Varadhan, Hydrodynamics and large deviations for simple exclusion processes , Commun. Pure Appl. Math. 42, 115-137 (1989)
1989
-
[40]
Landim, C., Velasco, S. (2023). Dynamic and static large deviations of a one dimensional SSEP in weak contact with reservoirs. arXiv preprint arXiv:2308.10895
2023 arXiv
-
[41]
Lanford, Entropy and equilibrium states in classical statistical mechanics , Statistical Mechanics and Mathe- matical Problems”, 1–113, Springer, 1973
O. Lanford, Entropy and equilibrium states in classical statistical mechanics , Statistical Mechanics and Mathe- matical Problems”, 1–113, Springer, 1973
1973
-
[42]
Onsager, S
L. Onsager, S. Machlup, Fluctuations and irreversible processes. Physical Rev. 91 (1953), 1505-1512; Physical Rev. 91 (1953), 1512-1515
1953
-
[43]
Saha, S., Sadhu, T. (2024). Large deviations in the symmetric simple exclusion process with slow boundaries: A hydrodynamic perspective. SciPost Physics, 17(2), 033
2024
-
[44]
Spohn, Large scale dynamics of interacting particles , Springer-Verlag, Berlin (1991)
H. Spohn, Large scale dynamics of interacting particles , Springer-Verlag, Berlin (1991)
1991
-
[45]
Spohn, Long range correlations for stochastic lattice gases in a non-equilibrium steady state , J
H. Spohn, Long range correlations for stochastic lattice gases in a non-equilibrium steady state , J. Phys. A 16 4275-4291 (1983)
1983
-
[46]
Tailleur, J., Kurchan, J., Lecomte, V. (2008). Mapping out-of-equilibrium into equilibrium in one-dimensional transport models. Journal of Physics A: Mathematical and Theoretical, 41(50), 505001
2008
-
[47]
Van Wijland, F., R´ acz, Z. (2005). Large deviations in weakly interacting boundary driven lattice gases. Journal of statistical physics, 118, 27-54. (†) I.H.E.S., 35 Route de Chartres, 91440 Bures-sur-Yvette, France (♣) Coll`ege de France, 11 place Marcelin Berthelot, 75005 P...
2005
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.