Finite-volume Gibbs measure

The equilibrium probability distribution on spin configurations in a finite region, defined from the Hamiltonian and temperature with a chosen boundary condition.
Finite-volume Gibbs measure

Let ΛZd\Lambda \Subset \mathbb{Z}^d be finite, with spin space S\mathcal S ( ) and configuration space SΛ\mathcal S^\Lambda ( ). Fix an inverse temperature β\beta (see ) and a boundary condition η\eta ( ).

Given a finite-volume Hamiltonian HΛ(σΛη)H_\Lambda(\sigma_\Lambda\mid \eta) ( ), the finite-volume Gibbs measure on SΛ\mathcal S^\Lambda is

μΛ,βη(σΛ)=1ZΛ,βηexp ⁣(βHΛ(σΛη)), \mu_{\Lambda,\beta}^{\eta}(\sigma_\Lambda) = \frac{1}{Z_{\Lambda,\beta}^{\eta}} \exp\!\bigl(-\beta\, H_\Lambda(\sigma_\Lambda\mid \eta)\bigr),

where the normalizing constant

ZΛ,βη=σΛSΛexp ⁣(βHΛ(σΛη)) Z_{\Lambda,\beta}^{\eta} =\sum_{\sigma_\Lambda\in \mathcal S^\Lambda} \exp\!\bigl(-\beta\, H_\Lambda(\sigma_\Lambda\mid \eta)\bigr)

is the (for discrete spins; replace the sum by an integral for continuous spins).

Key properties

  1. Boltzmann form and normalization. μΛ,βη\mu_{\Lambda,\beta}^{\eta} is a probability measure: σΛμΛ,βη(σΛ)=1\sum_{\sigma_\Lambda}\mu_{\Lambda,\beta}^{\eta}(\sigma_\Lambda)=1 by definition of ZΛ,βηZ_{\Lambda,\beta}^{\eta}.
  2. Dependence on boundary conditions. For finite Λ\Lambda, changing η\eta changes μΛ,βη\mu_{\Lambda,\beta}^{\eta} through boundary interaction terms; this dependence typically decays into the bulk away from Λ\partial\Lambda when correlations are short-ranged.
  3. Domain Markov / consistency property. If ΔΛ\Delta \subset \Lambda, then conditioning μΛ,βη\mu_{\Lambda,\beta}^{\eta} on the spins in ΛΔ\Lambda\setminus\Delta yields a Gibbs measure in Δ\Delta with boundary condition given by the conditioned exterior configuration. This is the finite-volume precursor of the consistency.
  4. Thermodynamic limit and phases. Along an increasing sequence of volumes ΛnZd\Lambda_n \uparrow \mathbb{Z}^d, subsequential weak limits of μΛn,βη\mu_{\Lambda_n,\beta}^{\eta} (if they exist) are candidates for . Different η\eta can lead to different limits in the presence of a .

Physical interpretation

μΛ,βη\mu_{\Lambda,\beta}^{\eta} is the equilibrium distribution of a finite sample in contact with a heat bath at temperature T=1/βT=1/\beta (up to constants), with the outside world modeled by the boundary condition η\eta. Observables are computed as ensemble averages under this measure (compare ), and the sensitivity of bulk behavior to η\eta distinguishes single-phase regimes from coexistence of multiple phases.