- The paper introduces the Jensen slope formulation, linking the right derivative of a logarithmically averaged free energy near the Lee–Yang edge to the edge exponent.
- It derives monodromy properties showing that analytic continuation around the singularity produces a multiplier determined by the rational value of the exponent, exemplified in the 2D Ising model.
- It establishes a rigorous connection between renormalization group scaling in conformal field theory and the Lee–Yang edge, enabling unconditional calculations of critical exponents through density asymptotics.
The Lee--Yang Edge Exponent via Logarithmic Averaging
Overview
This paper rigorously investigates the Lee--Yang edge singularity in the context of the ferromagnetic Ising model. The principal contribution is a novel formulation of the edge exponent σ via the slope of a Jensen-type average of the thermodynamic free energy. The work provides new, unconditional derivations of critical exponents, establishes the monodromy structure at the Lee--Yang edge, and demonstrates universal predictions for a wide class of conformal field theories (CFTs) at renormalization group (RG) fixed points displaying the Lee--Yang property.
Theoretical Foundations
The classical Lee--Yang theorem asserts that all zeros of the ferromagnetic Ising model partition function in the fugacity variable z lie on the unit circle, and, in the thermodynamic limit, accumulate on an arc whose endpoints are termed the Lee--Yang edges. At these edges, the free energy develops a singularity characterized by a universal exponent σ through the asymptotic expansion F(z)=F(zc)+B(z−zc)σ+1+o(∣z−zc∣σ+1) with zc on the unit circle. The exponent σ is dimension-dependent: it takes the exact value −1/6 for d=2 (as known from Virasoro minimal model M(2,5) and the thermodynamic Bethe ansatz), $1/2$ for mean-field (z0), and approximately z1 for z2.
Main Results
Jensen Slope Characterization (Theorem A)
A central innovation is the definition of the Jensen average z3 centered at the Lee--Yang edge. Theorem A demonstrates that the right derivative at z4 is precisely the Lee--Yang edge exponent plus one: z5. This follows from a careful application of Jensen's formula, and leverages the analytic structure of z6 without reliance on algebraic-geometric constructs such as Newton polytopes. The result provides a direct analytic observable for extracting the edge exponent from thermodynamic data.
Monodromy (Theorem B)
The paper establishes that analytic continuation of the free energy z7 around the edge singularity z8 induces a monodromy transformation on the singular part, multiplying it by z9. When σ0 is rational, the operation corresponds to a root of unity whose order equals the denominator of σ1 in lowest terms, which for the 2D Ising model is σ2.
For 2D CFTs at RG fixed points with a relevant operator σ3 of conformal weight σ4, the paper proves that σ5, with monodromy order given by σ6. This result is independent of traditional field-theoretic treatments and is derived strictly from the RG scaling property of the singular free energy, together with the Lee--Yang condition. Explicit values are derived for the entire infinite series of minimal models σ7, providing a direct bridge between the scaling dimensions and analytic structure at the edge.
Derivation from Density Asymptotics
The paper proves that the edge singularity expansion is a consequence of the local density of zeros, σ8, through a Mellin transform argument, providing an explicit formula for the coefficient σ9 in terms of F(z)=F(zc)+B(z−zc)σ+1+o(∣z−zc∣σ+1)0 and F(z)=F(zc)+B(z−zc)σ+1+o(∣z−zc∣σ+1)1. This closes the logical structure, enabling all main theorems to be established unconditionally (in particular, for the F(z)=F(zc)+B(z−zc)σ+1+o(∣z−zc∣σ+1)2 Ising model).
Methodological Advancements
The analytic techniques presented are notably robust. By framing the Jensen slope as a universal observable, the calculation of exponents is reduced to log-averaging procedures well-suited to both analytic and possibly numerical approaches. The clean separation of the regular and singular parts of the free energy expansion, and the exact computation of monodromy, are of significant technical interest, as is the bypassing of algebraic geometric apparatus in favor of harmonic and complex analytic arguments.
Implications and Future Directions
The analytic identification of the edge exponent via logarithmic averaging offers a new, practical approach to computing critical exponents in statistical mechanics systems, with direct extensions to systems beyond the Ising universality class. The monodromy structure revealed has implications for the study of analytic continuation and Riemann surface structures arising in partition function analyses. The RG/CFT prediction for F(z)=F(zc)+B(z−zc)σ+1+o(∣z−zc∣σ+1)3 provides an explicit correspondence between CFT data (conformal weight) and singularity structure, suggesting avenues for the identification of critical behavior in non-integrable and higher dimensional models.
Potential future directions include the extension of these analytic techniques to quantum lattice systems, models with more complex zero loci, or situations where the edge expansion has additional logarithmic corrections. The framework also suggests possible links to logarithmic CFTs and models with nontrivial Stokes phenomena in their free energy.
Conclusion
This paper delivers a rigorous, analytic framework for understanding the Lee--Yang edge singularity, the associated edge exponent, and monodromy properties, with unconditional results for the two-dimensional Ising model and predictive power in two-dimensional conformal field theory. The methodology primes additional analyses in statistical physics, field theory, and the mathematics of critical phenomena.