REVIEW 5 minor
Lee-Yang Zeros And Particle Fluctuations
T0 review · 0 major / 5 minor · reviewed 2026-07-30 · grok-4.5
Pith's one-line read If Lee–Yang zeros stay clear of a real fugacity, every derivative of the finite-volume pressure converges to the thermodynamic one, independently of boundary condition.
desk verdict Clean conditional theorem: zero-free disks give BC-independent limiting variance and full derivative commutation in continuum GC ensembles. 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
A zero-free disk around a real fugacity z0, together with a uniform upper bound on the partition function (admissibility of the boundary-condition class). Local boundedness plus real-axis convergence let Vitali’s theorem produce holomorphic convergence of the pressures; Cauchy estimates then give uniform convergence of all derivatives.
What would settle it
Exhibit an admissible continuum system and a real fugacity at which the thermodynamic pressure is smooth, yet the finite-volume particle-number variance per volume either fails to converge to the second derivative of that pressure or converges to different values for two different admissible boundary conditions.
Extended reading notes
Core claim
If the Lee–Yang zeros of the grand-canonical partition function remain outside a fixed complex neighborhood of a real point z0 > 0 for all large cubes, then the finite-volume pressure extends holomorphically near z0 and every derivative of that pressure converges, uniformly in a neighborhood of z0, to the corresponding derivative of the limiting thermodynamic pressure. The limiting derivatives do not depend on the boundary condition among admissible boundaries that obey the same zero-free hypothesis. In particular the density and the particle-number variance per unit volume converge to β⁻¹∂μp and β⁻²∂²μp.
Load-bearing premise
The argument needs the finite-volume partition functions to have no zeros in a fixed complex neighborhood of the chosen real fugacity for every large enough box; the paper does not itself locate those zeros.
Editorial extensions
If this is right
- Wherever the zero-free hypothesis holds, density and compressibility are identical for every coexisting infinite-volume Gibbs measure arising from admissible boundaries.
- Regimes already known to be zero-free—low fugacity, ferromagnetic systems off the unit circle, and high-fugacity hard-core lattice gases—automatically inherit boundary-independent limiting fluctuations.
- Existing non-hyperuniformity lower bounds can be sharpened, in those regimes, to equality of the limiting variance across phases.
- Convexity alone already exchanges the limit with the first derivative away from first-order transitions; the zero-free condition is what secures the second and higher derivatives.
Reading between the lines
- Quantitative bounds on how densely zeros may approach the real axis could weaken the strict zero-free hypothesis and cover every real analyticity point of the pressure.
- The same zero-controlled argument may apply to other bulk observables whose generating functions are governed by partition-function zeros.
- At critical points or in long-range Coulomb systems where compressibility vanishes, failure of the hypothesis is consistent with sub-extensive number fluctuations; variance scaling could therefore serve as a diagnostic of zero accumulation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies classical continuum particles in the grand canonical ensemble with stable, tempered, lower-regular pair potentials. For admissible boundary conditions (uniformly bounded density in the main text; Procacci–Yuhjtman and Ruelle tempered classes under super-stability in the appendices), it proves that if the Lee–Yang zeros of Ξ(·; Λ_L, b) stay outside a fixed disk B_δ(z_0) about a real fugacity z_0 > 0 for all large cubes, then the finite-volume pressure admits a holomorphic branch there, converges locally uniformly to the common thermodynamic pressure p, and all derivatives ∂_z^n p(·; Λ_L, b) converge uniformly on a smaller disk to ∂_z^n p (Theorem 1.1). In particular the density and particle-number variance per unit volume converge to β^{-1}∂_µ p and β^{-2}∂²_µ p, independently of any boundary condition that satisfies the zero-free hypothesis. The argument combines a uniform partition-function bound (Lemma 2.1 / A.1 / B.1), Borel–Carathéodory local boundedness, Vitali’s theorem, and Cauchy estimates.
Significance. The result cleanly links the classical Lee–Yang picture of phase transitions to the commutation of thermodynamic limit and differentiation for all derivatives of the pressure, and therefore to the boundary-condition independence of the limiting compressibility. It strengthens the non-hyperuniformity theorems of Ginibre and of Dereudre–Flimmel by showing that, wherever zeros are known to stay away from the real axis, coexisting phases share the same limiting variance per unit volume. The proof is elementary, self-contained, and correctly extended to the unbounded-density classes of Procacci–Yuhjtman and Ruelle under super-stability. The zero-free hypothesis is external and explicitly flagged; the paper therefore supplies a sharp conditional theorem rather than a circular claim, and it correctly identifies the regimes (cluster expansions, circle theorem, Pirogov–Sinai) where the hypothesis is already available.
minor comments (5)
- [Introduction] Page 4, line after (9): “Appenix B” should be “Appendix B”.
- [Theorem 1.1] Theorem 1.1 statement mixes “b ∈ B_ρ̄” with the more general admissible class B. A single sentence clarifying that the main-text proof is written for B_ρ̄ while the appendices verify admissibility for B*_g and tempered BC would remove a small notational friction.
- [§2] In the display after Lemma 2.1 the limit arrow is written with a broken underbrace (“|Λ|→∞ − − − − − →”); a standard \xrightarrow or \to notation would improve readability.
- [Remark 2.1 / Introduction] Remark 2.1 correctly notes that convexity alone gives first-derivative convergence away from first-order transitions. Cross-referencing this remark from the discussion of hyperuniformity in the introduction would help readers who care only about density (not variance).
- [References] References [10] and [42] are cited as “published online” / “arXiv preprint”; once final bibliographic data are available they should be updated.
Circularity Check
No significant circularity: Theorem 1.1 is a conditional complex-analysis result whose zero-free hypothesis is an external input, not derived from the claimed derivative limits.
full rationale
The derivation chain is: (i) admissibility bound (9) on |Λ|^{-1} log Ξ from stability/super-stability (Lemma 2.1, Apps. A–B); (ii) external hypothesis that Ξ(·; Λ_L, b) has no zeros in a fixed disk B_δ(z_0) for large L; (iii) Borel–Carathéodory + Vitali give local-uniform convergence of finite-volume pressures to a holomorphic limit; (iv) Cauchy estimates upgrade that to uniform convergence of all derivatives. None of these steps defines the output in terms of itself. Zero-freeness is not inferred from ∂^n p existing; it is assumed and explicitly flagged in §4 as supplied by independent tools (cluster expansions, Lee–Yang circle theorem, Pirogov–Sinai). Common thermodynamic pressure independent of b is imported from classical Ruelle/Fisher literature, not from the variance conclusion. Author self-citations ([21], [41], [42]) appear only as examples of known zero-free regimes in §3, not as load-bearing uniqueness or ansatz justifications for the proof. No fitted parameters, no renaming of known empirical patterns, no self-definitional identities. The result is non-tautological: if zeros approach z_0 the commutation can fail even when p is continuous. Score 0 is appropriate.
Assumptions & free parameters
assumptions (6)
- domain assumption Pair potential ϕ is stable, tempered, and lower-regular (Ruelle): ϕ ≥ −BN; decay |x|^{-(d+ε)} at infinity; integrable negative tail ψ.
- domain assumption For superstable extensions, ϕ ≥ A N² − B N with A>0 (eq. 6), enabling Procacci–Yuhjtman and Ruelle tempered BC.
- domain assumption Admissible BC collections satisfy uniform upper bound |Λ|^{-1} log Ξ(|z|;Λ,b) ≤ c1|z|+c2 for large cubes (eq. 9), and share a common thermodynamic pressure p(x) for x>0 independent of b.
- ad hoc to paper Zero-free hypothesis: Ξ(·;Λ_L,b) has no zeros in B_δ(z0) for all sufficiently large L.
- standard math Vitali’s theorem, Borel–Carathéodory inequality, and Cauchy integral estimates for holomorphic functions (Titchmarsh).
- standard math Grand-canonical coefficients of z^N are non-negative, so Ξ is entire, Ξ(x)≥1 for x≥0, and |Ξ(z)|≤Ξ(|z|).
Cite this review
Pith. "Pith review of Lee-Yang Zeros And Particle Fluctuations." pith.science (2026). https://pith.science/paper/TW6L27WF
@misc{pith2026260726975,
author = {Pith},
title = {Pith review of: Lee-Yang Zeros And Particle Fluctuations},
year = {2026},
howpublished = {\url{https://pith.science/paper/TW6L27WF}},
note = {Machine review of arXiv:2607.26975}
}
abstract
We consider classical particles in the continuum in the grand canonical ensemble, with a stable, tempered and lower-regular pair potential and boundary conditions of uniformly bounded density. We prove that if the Lee--Yang zeros of the grand canonical partition function in the complex fugacity plane $z = e^{\beta\mu}$ remain bounded away from a real point $z_0 > 0$ for all sufficiently large volumes, then along cubes the thermodynamic limit and differentiation commute at $z_0$: every derivative of the finite-volume pressure in the chemical potential converges, uniformly in a neighborhood of $z_0$, to the corresponding derivative of the limiting pressure. The limiting values of all derivatives are independent of the boundary condition; in particular, the density and the particle-number variance per unit volume converge to $\beta^{-1}\partial_\mu p$ and $\beta^{-2}\partial^{2}_{\mu} p$, respectively. The result extends to the unbounded boundary conditions of Procacci and Yuhjtman for super-stable potentials in addition to Ruelle's tempered boundary conditions.
Reviewed July 30, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.