Infinite-volume Gibbs measure
Fix a lattice spin system with single-spin space given by the spin space and configuration space given by the lattice configuration space (elements are spin configurations ). Let be the Gibbs specification associated with a chosen interaction potential , finite-volume Hamiltonians , and (possibly) an external field at inverse temperature .
An infinite-volume Gibbs measure for is a probability measure on such that for every finite region and every bounded measurable function depending only on spins in (a local observable),
Equivalently, satisfies the DLR equation : for each finite , the conditional law of given the outside configuration is , where is the same kernel that defines the finite-volume Gibbs measure with boundary condition .
Key properties
Local equilibrium / consistency: The defining feature is local: every finite window sees the outside world only through the specification kernel. This is the infinite-system analogue of sampling from a finite-volume Gibbs law with an induced boundary condition.
Thermodynamic-limit realization: For standard interactions (e.g. finite-range interactions ), infinite-volume Gibbs measures arise as subsequential limits of finite-volume Gibbs measures as the region grows (a form of thermodynamic limit ).
Convexity: The set of all infinite-volume Gibbs measures for a fixed specification is convex: mixtures of solutions are still solutions (see mixtures of Gibbs measures ).
Uniqueness vs multiplicity: If there is exactly one infinite-volume Gibbs measure at given parameters, boundary conditions do not affect infinite-volume local statistics. Multiple distinct Gibbs measures indicate a Gibbs phase transition .
Symmetries: If the interaction is translation-invariant (and similarly for other symmetries), then there exist Gibbs measures that inherit these symmetries, though symmetry-invariant measures need not be extremal .
Physical interpretation
An infinite-volume Gibbs measure represents an equilibrium state of an infinite lattice system: any finite subsystem is in thermal equilibrium with the remainder of the lattice acting as a “heat bath,” encoded by the specification. Measurable predictions (magnetization, energy density, etc.) are computed as ensemble averages under , and the presence of multiple such measures corresponds to the coexistence of distinct macroscopic phases.