Ergodic properties of the harmonic process
Pith reviewed 2026-05-10 05:39 UTC · model grok-4.3
The pith
In the boundary-driven harmonic model, the non-equilibrium steady state as a mixture of geometric distributions supports law of large numbers, central limit theorems, and large deviation results for fields of general local functions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the boundary driven harmonic model the non-equilibrium steady state is a mixture of products of geometric distributions whose local parameters are distributed as uniform order statistics. For such a NESS we prove law of large numbers, central limit theorem and large deviation results for fields of a general local functions (generalizing the density field). We also obtain quantitative results on the deviation from local equilibrium.
What carries the argument
The non-equilibrium steady state defined as a mixture of products of geometric distributions whose local parameters are distributed as uniform order statistics.
If this is right
- Law of large numbers holds for fields of arbitrary local functions in this steady state.
- Central limit theorem applies to the same general local function fields.
- Large deviation principles are valid for these fields.
- Quantitative bounds on deviation from local equilibrium follow directly from the mixture structure.
Where Pith is reading between the lines
- The same mixture representation could be used to derive hydrodynamic scaling limits in related open systems.
- Numerical sampling of the uniform order statistics might offer an efficient way to simulate the predicted fluctuations.
- The approach may extend to other models whose steady states admit comparable product-mixture descriptions.
Load-bearing premise
The non-equilibrium steady state is exactly a mixture of products of geometric distributions whose local parameters are distributed as uniform order statistics.
What would settle it
A simulation or explicit calculation that shows the local parameters in the steady state do not match the uniform order statistics distribution would falsify the applicability of the law of large numbers, central limit theorem, and large deviation results.
read the original abstract
In this paper we study detailed fluctuation results for a class of non-equilibrium steady states. The main example is the boundary driven harmonic model \cite{frassek2022exact}. In this model, the non-equilibrium steady state (NESS) is a mixture of products of geometric distributions, of which the local parameters are in turn distributed as uniform order statistics. For such a NESS, we prove law of large numbers, central limit theorem and large deviation results for fields of a general local functions (generalizing the density field). We also obtain quantitative results on the deviation from local equilibrium.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies fluctuation properties of non-equilibrium steady states for the boundary-driven harmonic model. The NESS is a mixture of product geometric distributions whose local parameters are distributed as uniform order statistics. Under this measure, the authors establish the law of large numbers, central limit theorem, and large deviation principle for fields of general local functions (extending the density field case), together with quantitative bounds on the deviation from local equilibrium.
Significance. If the claims hold, the work supplies a complete set of fluctuation theorems for a solvable NESS, obtained by conditioning on the order-statistics parameters, applying classical i.i.d. limit theorems conditionally, and integrating against the uniform-order law. The quantitative deviation-from-equilibrium estimates are a concrete strength, as are the parameter-free derivations and the uniform bound that extends the results from the density field to arbitrary local functions. These features make the manuscript a useful reference point for non-equilibrium statistical mechanics.
major comments (1)
- [§4] §4 (fluctuation theorems): the uniform bound on the local-function class (Assumption 4.1) is invoked to pass limits inside the integral over the order-statistics measure; the argument is sketched but an explicit verification that the bound is preserved for non-linear local functions (e.g., products or quadratic forms of the density) would confirm that no additional moment hypotheses are required for the CLT and LDP statements.
minor comments (3)
- [§2] The notation for the local-function field and its dependence on the configuration should be introduced once in §2 and used consistently thereafter.
- [§5] In the LDP section, the explicit form of the integrated rate function could be displayed after the statement of the theorem rather than left implicit.
- [§3] A short self-contained paragraph recalling why the marginal parameter distribution is exactly that of uniform order statistics (even if the full derivation is in the cited reference) would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and the recommendation of minor revision. We address the single major comment below.
read point-by-point responses
-
Referee: [§4] §4 (fluctuation theorems): the uniform bound on the local-function class (Assumption 4.1) is invoked to pass limits inside the integral over the order-statistics measure; the argument is sketched but an explicit verification that the bound is preserved for non-linear local functions (e.g., products or quadratic forms of the density) would confirm that no additional moment hypotheses are required for the CLT and LDP statements.
Authors: We agree that an explicit verification strengthens the presentation. In the revised manuscript we will insert a short paragraph (or remark) immediately after Assumption 4.1 showing that the uniform bound is preserved under the operations needed for non-linear local functions. The argument uses only that geometric random variables possess all moments finite and uniformly bounded on the compact parameter interval [0,1] that arises from the order statistics; hence expectations of products or quadratic forms remain bounded by constants independent of the conditioning parameters. This confirms that the passage of limits inside the integral over the order-statistics measure requires no extra moment hypotheses beyond those already stated for the density field. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper defines the NESS explicitly as a mixture of product geometric distributions whose parameters follow uniform order statistics (established via the external boundary-driven construction in the cited reference). It then derives the LLN, CLT, and LDP for general local functions by conditioning on the parameters, applying standard product-measure limit theorems, and integrating over the order-statistics distribution; quantitative deviation bounds follow from direct moment calculations on the ordered uniforms. No step equates a claimed result to its inputs by construction, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content is unverified or tautological. The central claims are independent consequences of the given NESS description plus classical probability tools.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Lorenzo Bertini, Alberto De Sole, Davide Gabrielli, Giovanni Jona-Lasinio, and Clau- dio Landim. Stochastic interacting particle systems out of equilibrium.Journal of Statistical Mechanics: Theory and Experiment, 2007(07):P07014, 2007
work page 2007
-
[2]
Lorenzo Bertini, Davide Gabrielli, and Joel L Lebowitz. Large deviations for a stochastic model of heat flow.Journal of statistical physics, 121(5):843–885, 2005
work page 2005
-
[3]
Large deviations and additivity principle for the open harmonic process
Gioia Carinci, Chiara Franceschini, Rouven Frassek, Cristian Giardin` a, and Frank Redig. Large deviations and additivity principle for the open harmonic process. Communications in Mathematical Physics, 406(5):103, 2025
work page 2025
-
[4]
Solvable stationary non equilibrium states.Journal of Sta- tistical Physics, 191(1):10, 2024
Gioia Carinci, Chiara Franceschini, Davide Gabrielli, Cristian Giardin` a, and Dim- itrios Tsagkarogiannis. Solvable stationary non equilibrium states.Journal of Sta- tistical Physics, 191(1):10, 2024
work page 2024
-
[5]
Hidden temperature in the kmp model.Journal of Statistical Physics, 191(11):150, 2024
Anna De Masi, Pablo A Ferrari, and Davide Gabrielli. Hidden temperature in the kmp model.Journal of Statistical Physics, 191(11):150, 2024
work page 2024
-
[6]
Bernard Derrida. An exactly soluble non-equilibrium system: the asymmetric simple exclusion process.Physics Reports, 301(1-3):65–83, 1998
work page 1998
-
[7]
Duffy, Claudio Macci, and Giovanni Luca Torrisi
Ken R. Duffy, Claudio Macci, and Giovanni Luca Torrisi. Sample path large devia- tions for order statistics.Journal of applied probability, 48(1):238–257, 2011
work page 2011
-
[8]
Integrable heat con- duction model.Journal of Mathematical Physics, 64(4), 2023
Chiara Franceschini, Rouven Frassek, and Cristian Giardina. Integrable heat con- duction model.Journal of Mathematical Physics, 64(4), 2023
work page 2023
-
[9]
Rouven Frassek and Cristian Giardin` a. Exact solution of an integrable non- equilibrium particle system.Journal of Mathematical Physics, 63(10), 2022
work page 2022
-
[10]
Rouven Frassek, Cristian Giardin` a, and Jorge Kurchan. Non-compact quantum spin chains as integrable stochastic particle processes.Journal of Statistical Physics, 180(1):135–171, 2020
work page 2020
-
[11]
Hans-Otto Georgii.Gibbs measures and phase transitions, volume 9. Walter de Gruyter, 2011
work page 2011
-
[12]
Cristian Giardin` a, Frank Redig, and Berend van Tol. Intertwining and propagation of mixtures for generalized kmp models and harmonic models.Journal of Statistical Physics, 192(2):21, 2025
work page 2025
-
[13]
Complete convergence for arrays.Periodica Mathematica Hungarica, 25(1):51–75, 1992
Allan Gut. Complete convergence for arrays.Periodica Mathematica Hungarica, 25(1):51–75, 1992
work page 1992
-
[14]
A.M. Mathai and S.B. Provost. On product moments of order statistics.Statistical Methods, 4:75–98, 2002
work page 2002
-
[15]
M.H. Neumann. A central limit theorem for triangular arrays of weakly dependent random variables, with applications in statistics.ESAIM: Probability and Statistics, 17:120–134, 2013. 27
work page 2013
-
[16]
Galen R. Shorack and Jon A. Wellner.Empirical processes with applications to statistics. SIAM, 2009. 28
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.