Yang–Lee circle theorem

Yang–Lee circle theorem
Name	Yang–Lee circle theorem
Field	Statistical mechanics
Introduced	1952
Authors	C. N. Yang; T. D. Lee
Statement	Zeros of the grand canonical partition function for certain ferromagnetic Ising models lie on the unit circle in the complex fugacity plane
Implications	Phase transitions, Lee–Yang zeros

Yang–Lee circle theorem

The Yang–Lee circle theorem is a foundational result in Statistical mechanics and Mathematical physics asserting that, for a class of ferromagnetic Ising models, the zeros of the grand canonical partition function in the complex fugacity (or complex magnetic field) plane lie exactly on the unit circle. The theorem, proved by Chen-Ning Yang and Tsung-Dao Lee in 1952, connects rigorous complex analysis with phenomena studied in Ludwig Boltzmann-informed statistical ensembles, influencing research by figures and institutions such as Kurt Gödel-era mathematical physics groups, the Institute for Advanced Study, and research programs at Princeton University and Harvard University.

Introduction

The theorem concerns models like the ferromagnetic Ising model on lattices studied in the tradition of Lenz, Ising, and later work influenced by Onsager and Lars Onsager. It frames phase transitions through the distribution of zeros of the partition function, relating to concepts explored by James Clerk Maxwell-era statistical thinkers, later formalized in work by Rudolf Peierls, Lev Landau, and the renormalization ideas of Kenneth G. Wilson. The Yang–Lee result provided a rigorous anchor for the heuristic Lee–Yang picture of phase transition loci that was later expanded by researchers at centers such as Bell Labs and universities including Cambridge University and University of Chicago.

Statement of the theorem

In the setting of a finite ferromagnetic Ising model with spin variables on a finite graph or lattice, consider the grand canonical partition function Z as a polynomial in the fugacity variable exp(−2βh), where β is inverse temperature and h is the complex magnetic field. Yang and Lee proved that, under ferromagnetic nearest-neighbor coupling and symmetry assumptions used by C. N. Yang and T. D. Lee, all zeros of Z in the complex fugacity plane lie on the unit circle. This statement relates to earlier and contemporaneous rigorous results by Mark Kac and later elaborations by researchers at institutions like Princeton University and University of California, Berkeley.

Historical context and motivation

Yang and Lee published their theorem in the early 1950s, a period shaped by postwar developments in quantum field theory and condensed matter physics led by figures such as Richard Feynman, Julian Schwinger, and Sin-Itiro Tomonaga. Motivations included clarifying rigorous underpinnings for phase transitions in models previously studied by Lars Onsager and informed by experiments at industrial and academic laboratories like Bell Labs and MIT. The Lee–Yang approach offered an alternative to the mean-field narratives associated with Lev Landau and connected to exact solutions and correlator methods developed by Onsager and later by groups around Harvard University and Cornell University.

Mathematical proof sketch

Yang and Lee used symmetry properties of the ferromagnetic Ising Hamiltonian and analytic properties of polynomials to constrain the locus of zeros. Key steps involve expressing the partition function as a product over contributions from spin configurations, employing combinatorial identities reminiscent of those used by George Pólya and invoking properties of real polynomials studied by Szegő and Gábor Szegő-style orthogonal polynomial theory. The proof uses mapping between the fugacity variable and complex phase factors, Perron–Frobenius-type positivity arguments similar to techniques by Oskar Perron and Georg Frobenius, and rotational symmetry reminiscent of methods in works by Emil Artin and analysts at École Normale Supérieure.

Physical implications and applications

The theorem gave a precise description of how zeros approach the real axis in the thermodynamic limit, providing a rigorous mechanism for phase transition singularities studied in experiments by groups at Bell Labs and Los Alamos National Laboratory. It underpins Lee–Yang theory of phase transitions used in analyzing magnetic systems, lattice gas models related to John Lennard-Jones potentials, and connections to percolation studies influenced by Broadbent and Hammersley. Subsequent applications include numerical studies of Lee–Yang zeros in lattice quantum chromodynamics at institutions like CERN and statistical investigations by teams at Stanford University and University of Cambridge.

Extensions and generalizations

Generalizations of the original Yang–Lee circle theorem include results for multicomponent spins, complex external fields, and nonnearest-neighbor interactions pursued by researchers at Princeton University, ETH Zurich, and Saclay. Notable extensions are the Fisher zeros framework by Michael E. Fisher, the study of zeros for quantum spin chains examined by groups led by Hans Bethe-inspired techniques, and rigorous treatments of zeros for models with continuous symmetry connected to work at Institute for Advanced Study and Paris-Sud University. Further algebraic generalizations use Hurwitz and Schur stability criteria studied by mathematicians like Issai Schur and applied in collaborations between mathematical departments at University of Illinois and Rutgers University.

Examples and special cases

Classic examples illustrating the theorem include the one-dimensional Ising chain with periodic boundary conditions analyzed with transfer-matrix methods popularized by Rudolf Peierls and solved explicitly by techniques used by Lars Onsager for two dimensions. Finite-size lattice examples on square, triangular, and Bethe lattices were studied numerically by teams at Los Alamos National Laboratory and IBM Research. Special cases also include lattice gas interpretations connected to Thomas H. Huxley-style combinatorics and exactly solvable models examined in work linked to Baxter and later developments in integrable systems at University of Cambridge.

Category:Mathematical theorems Category:Statistical mechanics