Six-vertex model

Six-vertex model
Name	Six-vertex model
Type	Statistical mechanics model
Introduced	1960s
Contributors	Pauling, Elliott Lieb, Rodney Baxter

Six-vertex model The six-vertex model is an exactly studied lattice model in Statistical mechanics and Mathematical physics describing arrow configurations on a square lattice with local constraints. Originating from studies of water ice and lattice gases, it became central to developments involving the Bethe ansatz, Yang–Baxter equation, and integrable models studied by figures such as Elliott Lieb, Rodney Baxter, and Ludwig Faddeev. The model connects to problems in Combinatorics, Conformal field theory, and Condensed matter physics, and underlies mappings to spin chains studied in contexts like the Heisenberg model and the XXZ model.

Introduction

The model was motivated by Pauling's analysis of ice and later formalized in the work of Elliott Lieb for two-dimensional lattices, drawing interest from researchers in Statistical mechanics, Mathematical physics, and Combinatorics. It established links between exact solutions developed by Bethe and algebraic structures introduced by Yang and Baxter, becoming a paradigm in studies influenced by the Yang–Baxter equation and the quantum inverse scattering method of Leningrad school contributors like Ludwig Faddeev.

Definition and Ice Rule

The six-vertex model is defined on a square lattice whose edges carry oriented arrows; at each vertex exactly two arrows point in and two point out, the local constraint originally proposed to capture the hydrogen-bonding arrangement in ice. Each allowed vertex configuration is assigned one of three Boltzmann weights (commonly denoted a, b, c), and the constraint is often called the "ice rule" reflecting its origin in Pauling's description. Boundary conditions such as periodic boundaries on a torus, reflecting boundaries studied by Sklyanin, or domain wall boundaries introduced by Korepin crucially affect solvability and combinatorial enumerations related to objects studied by Propp and others.

Solvable Cases and Bethe Ansatz

Integrability of the six-vertex model arises when weights satisfy relations tied to solutions of the Yang–Baxter equation, enabling application of the Bethe ansatz originally formulated by Bethe for the Heisenberg model and adapted by Lieb and Sutherland. The anisotropic regime maps to the XXZ model and is solvable by the algebraic Bethe ansatz techniques developed in the Quantum inverse scattering method by contributors including Faddeev, Takhtajan, and Sklyanin. Special parameter choices yield free fermion points and connections to the Ising model and to results obtained by Onsager in the two-dimensional Ising model.

Partition Function and Free Energy

The partition function of the model on finite lattices with periodic or domain wall boundaries can be expressed using transfer matrices introduced by Lieb and diagonalized via techniques from the Algebraic Bethe ansatz and Quantum groups investigated by Drinfeld and Jimbo. For the thermodynamic limit the free energy was computed by Lieb in several regimes and refined by methods analogous to those used by Yang and C. N. Yang and C. P. Yang in related models. Domain wall boundary partition functions admit determinant formulas due to Izergin and connect to enumerative results proved by Zeilberger and collaborators in the study of alternating sign matrices.

Correlation Functions and Order Parameters

Correlation functions and order parameters in the six-vertex model characterize phases such as ferroelectric, antiferroelectric, and disordered regimes identified by Lieb and analyzed through methods developed by Baxter in his treatment of integrable models. Long-distance behavior relates to predictions of Conformal field theory and scaling limits studied by Belavin, Polyakov, and Zamolodchikov. Dynamical correlation functions and form factors have been computed using the algebraic Bethe ansatz and the bootstrap program advanced by researchers such as Smirnov and Korepin.

Applications and Related Models

The six-vertex model maps to the XXZ model spin chain and has applications in Crystal growth models, dimer coverings, and Alternating sign matrices enumerations pivotal to combinatorialists like Mills, Robbins, and Rumsey and Zeilberger. It informs studies of Quantum spin liquids and low-dimensional Condensed matter physics phenomena investigated by researchers at institutions such as Princeton University, Cambridge University, and Institute for Advanced Study. Extensions include the eight-vertex model solved by Baxter and stochastic variants related to KPZ studied by teams at Courant Institute and Princeton University. The model continues to influence active research areas spanning Representation theory of Quantum groups, exactly solved models in Statistical mechanics, and combinatorial identities pursued by mathematicians at organizations like the American Mathematical Society.

Category:Statistical mechanics models