Lee–Yang theorem

Lee–Yang theorem
Name	Lee–Yang theorem
Discoverers	T. D. Lee; C. N. Yang
Year	1952
Field	Statistical mechanics; Mathematical physics
Keywords	Partition function zeros; Phase transitions; Ising model; Analyticity

Lee–Yang theorem The Lee–Yang theorem is a fundamental result in Statistical mechanics and Mathematical physics that characterizes the locations of zeros of the partition function in the complex plane for certain models, establishing rigorous connections between analytic properties and phase transitions. The theorem, originating from work by T. D. Lee and C. N. Yang in 1952 and stimulated by developments associated with the Ising model, has influenced research in Rigorous statistical mechanics, Complex analysis, Quantum field theory, and studies led by institutions such as Princeton University and Institute for Advanced Study.

Statement and Historical Background

Lee and Yang formulated their result in the context of the ferromagnetic Ising model on lattices studied earlier by Lars Onsager and follower work by O. Bratteli and D. Ruelle. Their original statement, known as the Lee–Yang circle theorem, asserts that for certain ferromagnetic interactions the zeros of the grand canonical partition function in the complex fugacity or magnetic field plane lie on the unit circle; this connected to contemporaneous investigations by Rudolf Peierls, Lifshitz, and problems considered at Bell Laboratories and Brookhaven National Laboratory. The historical development involved exchanges among researchers at Cornell University, University of Chicago, and Harvard University, and was recognized alongside foundational contributions by Kac and Ward to lattice models.

Mathematical Formulation

The theorem is formulated for finite-volume lattice systems with ferromagnetic coupling matrices satisfying symmetry conditions used by Lee and Yang; mathematically it constrains zeros of the partition function Z(z) as a polynomial or analytic function in complex variable z (fugacity or e^{−2βh}) where β is inverse temperature related to Lenz model parameters. Precise formulations employ concepts from Complex analysis used by G. H. Hardy and Pólya, as well as operator methods developed by John von Neumann and Israel Gelfand, and invoke positivity conditions akin to those exploited in work by Marshall H. Stone and E. H. Lieb. Subsequent rigorous restatements use the language of correlation inequalities pioneered by Oded Schramm's predecessors and monotonicity results associated with Edwin Thompson Jaynes-type ensembles.

Proof and Key Ideas

The original proof by T. D. Lee and C. N. Yang employs combinatorial identities, symmetry under spin-flip, and factorization properties of finite-lattice partition functions, together with complex conjugation and reflection principles used by Riemann and Weierstrass. Key steps rely on the ferromagnetic Griffiths inequalities introduced by Robert B. Griffiths and on rearrangement techniques reminiscent of methods of Perron and Frobenius for positive matrices; the argument is also informed by analytic continuation methods developed in the legacy of S. R. Srinivasa Varadhan and Michael Fisher. Later proofs and simplifications invoked the Lee–Yang circle property via cluster expansion techniques from David Ruelle and via algebraic approaches related to the determinant identities studied by Harold Widom.

Physical Implications and Applications

Physically, the Lee–Yang theorem links zeros of Z(z) to phase transitions studied in Condensed matter physics experiments at facilities like CERN and theoretical analyses in contexts including the Ising model criticality explored by Leo Kadanoff and Kenneth G. Wilson. It provides rigorous grounding for the interpretation of singularities in thermodynamic limits as accumulation points of zeros, an idea applied in investigations of magnetization in materials examined by Pierre Curie-inspired studies and in the analysis of critical exponents in renormalization group work by Wilson and Michael Fisher. The theorem has practical uses in numerical studies performed at Los Alamos National Laboratory and in Monte Carlo analyses developed by Nicholas Metropolis's community, influencing applied inquiries at Bell Labs and industrial research by linking finite-size scaling to zero distributions.

Extensions and Generalizations

Generalizations of Lee–Yang results extend to a variety of lattice and continuum models, including ferromagnetic Potts models with developments by Francesco Potts-inspired researchers, classical lattice gas formulations studied by John Hubbard-lineage authors, and Bose gas analyses related to Satyendra Nath Bose and Albert Einstein condensates. Mathematicians such as B. Simon and Elliott H. Lieb advanced extensions to quantum models and to nonzero chemical potential problems studied in Quantum chromodynamics contexts by Gerard 't Hooft-influenced groups. Further work explored multivariate polynomials and stability properties using techniques from László Lovász's combinatorial theory and graph polynomials investigated by Alexander Tutte-related schools, producing the Heilmann–Lieb theorem lineage and connections to results by Alfred Heilmann and Elliott H. Lieb.

Examples and Models Demonstrating the Theorem

Canonical examples demonstrating the Lee–Yang theorem include the two-dimensional Ising model solved exactly by Lars Onsager whose finite-lattice partition function zeros distribute on the unit circle in the complex fugacity plane, and one-dimensional models analyzed by Kac and Ward where zeros can be explicitly computed. Other tractable instances involve the Husimi cactus and Bethe lattice studies by Husimi and Hans Bethe respectively, and mean-field Curie–Weiss models associated with Pierre Curie and developed in probabilistic settings by Erdős-flavored researchers. Numerical explorations of zero distributions have been executed in computational projects at Sandia National Laboratories and by teams associated with IBM Research to illustrate finite-size scaling and to compare with renormalization-group predictions by Leo P. Kadanoff and Kenneth G. Wilson.

Category:Statistical mechanics