Equilibrium as a large-deviation minimizer

If macroscopic variables satisfy a large-deviation principle, equilibrium states are characterized as minimizers of the rate function (or maximizers of an entropy functional).
Equilibrium as a large-deviation minimizer

Statement (LDP characterization of equilibrium)

Let (MN)N1(M_N)_{N\ge 1} be a sequence of macroscopic observables (order parameters, empirical measures, energy density, etc.) taking values in a topological space M\mathcal M. Suppose under a sequence of probability measures (PN)(\mathbb P_N) (e.g. finite-volume Gibbs measures) the variables MNM_N satisfy a with speed NN and good I:M[0,]I:\mathcal M\to[0,\infty]:

PN(MNB)exp(NinfmBI(m)). \mathbb P_N(M_N\in B)\approx \exp\big(-N\inf_{m\in B} I(m)\big).

Then:

  1. Any limit point of MNM_N (in probability) lies in the set of global minimizers of II.
  2. If II has a unique minimizer mm^*, then MNmM_N\to m^* in probability and equilibrium is unique at the macroscopic level.
  3. Multiple minimizers of II correspond to macroscopic coexistence (possible symmetry breaking / phase coexistence).

In canonical settings, if the LDP can be written in the form

Iβ(m)=βΦ(m)S(m)+constant, I_\beta(m)=\beta\,\Phi(m)-S(m)+\text{constant},

then equilibrium macrostates maximize S(m)βΦ(m)S(m)-\beta\Phi(m) (a “maximum entropy minus energy” principle), matching the variational structure of the .

Key hypotheses

  • Existence of an LDP for MNM_N under the measures of interest.
  • Exponential tightness / compactness conditions ensuring a good rate function.
  • When using the variational representation of thermodynamic potentials: applicability of (or an appropriate Laplace principle).

Conclusions

  • Equilibrium = minimizers: typical macrostates are precisely the minimizers of the rate function.
  • Fluctuation scale: deviations away from equilibrium have probabilities decaying like exp(N×cost)\exp(-N\times\text{cost}).
  • Phase transitions (macro): nonuniqueness or non-smooth changes in minimizers signal phase transitions.

Proof idea / significance

The LDP upper/lower bounds imply that any neighborhood not containing minimizers of II has exponentially small probability, forcing concentration near argminI\arg\min I. When a partition function or moment generating object is present, Varadhan’s lemma converts logarithmic asymptotics of integrals into a supremum over M\mathcal M, yielding the variational characterization of equilibrium.