Lee-Yang Zeros And Particle Fluctuations

Technical Summary: Lee-Yang Zeros And Particle Fluctuations

Problem Statement
The paper investigates the relationship between boundary conditions and macroscopic thermodynamic quantities in classical particle systems within the grand canonical ensemble. While it is well-established that the thermodynamic pressure $p(\mu)$ is independent of the boundary condition $b$ for stable, tempered interactions, the behavior of higher-order derivatives of the pressure (such as density and particle-number variance) is less clear. Specifically, the authors address whether the thermodynamic limit of finite-volume derivatives commutes with differentiation at a given fugacity, and whether the limiting values of these derivatives (and consequently the compressibility) are unique across different coexisting phases or boundary conditions.

This question is critical for understanding "hyperuniformity"—states where particle number fluctuations grow sub-extensively (slower than volume). While general lower bounds on compressibility exist for repulsive potentials, the uniqueness of the limiting variance per unit volume for different Gibbs measures remains an open problem. The authors seek to determine if the convergence of finite-volume derivatives to the thermodynamic derivative holds universally, provided certain conditions on the partition function's analytic structure are met.

Methodology
The study employs rigorous statistical mechanics and complex analysis, focusing on the analytic properties of the grand canonical partition function $\Xi(\mu; \Lambda, b)$ in the complex fugacity plane $z = e^{\beta\mu}$.

1. Model Setup: The authors consider classical particles in the continuum with a pair potential $\phi$ that is stable, tempered, and lower-regular (in the sense of Ruelle). They analyze the system on a sequence of cubes $\Lambda_L$ as $L \to \infty$.
2. Boundary Conditions: The primary focus is on boundary conditions of uniformly bounded density ($B_{\bar{\rho}}$). The analysis is extended in the appendices to include unbounded density conditions (Procacci and Yuhjtman) and Ruelle's tempered boundary conditions, provided the potential satisfies a stronger "super-stable" condition.
3. Analytic Tools:
   • Partition Function Bounds: The authors establish uniform upper bounds on the partition function for admissible boundary conditions (Lemma 2.1 and Appendices A, B). This ensures the finite-volume pressures are well-behaved.
   • Lee-Yang Zeros: The core of the argument relies on the distribution of the zeros of $\Xi(z; \Lambda, b)$ in the complex plane. Following Lee and Yang, the authors note that phase transitions correspond to the accumulation of these zeros on the positive real axis.
   • Vitali's Theorem: The proof utilizes Vitali's convergence theorem. By assuming the Lee-Yang zeros remain bounded away from a specific real point $z_0$ for all sufficiently large volumes, the authors demonstrate that the sequence of finite-volume pressures is locally uniformly bounded and converges to a holomorphic limit.
   • Cauchy's Estimates: Once uniform convergence of the pressure is established, Cauchy's integral formula is used to prove the uniform convergence of all derivatives.

Key Contributions and Results
The central result is Theorem 1.1, which establishes the commutativity of the thermodynamic limit and differentiation under specific zero-free conditions:

• Main Theorem: If the Lee-Yang zeros of the partition function stay bounded away from a real point $z_0 > 0$ for all sufficiently large volumes, then the thermodynamic limit and differentiation commute at $z_0$. Specifically, for every $n \ge 1$:
  $$\lim_{L \to \infty} \partial_z^n p(z_0; \Lambda_L, b) = \partial_z^n p(z_0)$$
  This convergence is uniform in a neighborhood of $z_0$ and is independent of the boundary condition $b$, provided $b$ belongs to an admissible collection.
• Physical Implications:
  • The limiting density ($\beta^{-1}\partial_\mu p$) and particle-number variance per unit volume ($\beta^{-2}\partial^2_\mu p$) converge to values determined solely by the thermodynamic pressure, regardless of the boundary condition.
  • This implies that for systems where the zeros are bounded away from the real axis, different coexisting Gibbs measures (which may have distinct local correlation functions) must share the same compressibility and particle-number fluctuations.
  • The result extends previous non-hyperuniformity bounds (e.g., by Ginibre and Dereudre/Flimmel) by proving that the limiting variance is identical across all coexisting phases in these regimes.

Significance and Scope
The paper claims that its main result ties the Lee-Yang theory of phase transitions directly to the convergence of arbitrary derivatives of the grand canonical partition function. The significance lies in clarifying that the "bulk" observable of particle number variance is determined by the pressure alone, provided the system is in a region free of phase transitions (indicated by the absence of Lee-Yang zeros near the real axis).

The authors explicitly note the methodological limitation: Theorem 1.1 assumes the location of the zeros as a hypothesis rather than deriving it. Consequently, the results are currently restricted to regimes where zero-freeness is already known via other methods, such as:

• Low fugacity (high temperature) via cluster expansions.
• Ferromagnetic spin systems with non-zero magnetic fields (Lee-Yang circle theorem).
• Hard-core lattice systems at large fugacity (via Pirogov-Sinai theory).
• Exactly solvable models.

The paper does not claim to prove zero-freeness for general systems or to resolve the existence of hyperuniform states in general. Instead, it provides a rigorous framework showing that if a system is in a zero-free region, then the thermodynamic limit of fluctuations is unique and independent of boundary conditions. The authors identify the quantitative control of Lee-Yang zeros (specifically their density and approach rate to the real axis) as the necessary next step to extend these conclusions to broader regimes, including critical points and potential hyperuniform states.