Large Deviations and Phase Coexistence
Large-deviation theory quantifies exponentially rare macroscopic fluctuations. If an intensive observable obeys , the rate function identifies typical phases by its minima and encodes the exponential cost of atypical values. At coexistence, canonical convexification, metastable constrained branches, and subextensive interface costs must be kept separate; a two-peaked finite sample is not by itself a large-deviation result.
The rate-function construction, contraction principle, and ensemble caveats used here are reviewed by Touchette 2009, §§ 2–4, pp. 6–37.
Required background. Partition Functions and Thermodynamic Response defines cumulant generators. Thermodynamic Limits, Phases, and Ensemble Equivalence fixes the infinite-volume and coexistence logic.
Scaled cumulants and rate functions
Section titled “Scaled cumulants and rate functions”For random variable , define the scaled cumulant-generating function
When the limit exists and is differentiable under the hypotheses of the Gärtner–Ellis theorem, satisfies a large-deviation principle with convex rate function
Then , and its zero set contains the typical macrostates. Near a unique smooth minimum ,
so and the central-limit variance is recovered from the curvature. Large deviations extend beyond that local Gaussian region.
Nondifferentiable signals competing exposed macrostates. The Legendre–Fenchel transform remains valid as a convex dual, but it can lose nonconvex information carried by constrained or metastable descriptions. One must not reconstruct a unique microscopic landscape by simply inverting the convex transform.
Coexistence and interface cost
Section titled “Coexistence and interface cost”At a first-order transition in a short-range system, two bulk phases may have equal free-energy density. A finite periodic volume can exhibit
with peaks near and . Intermediate values can require an interface. In spatial dimensions the leading mixed-phase suppression is often
for a periodic box that supports two interfaces, with geometry-dependent corrections. This cost is subextensive compared with . It can therefore disappear from a speed- convex rate function even while controlling tunneling and finite-size rounding.
The Maxwell construction is the thermodynamic convexification associated with phase mixtures. It does not prove a dynamical decay path or a nucleation rate. Metastable decay requires local dynamics and saddle prefactors, developed in Thermal Phases, Metastability, and Nucleation.
A two-state diagnostic model
Section titled “A two-state diagnostic model”Suppose takes values with weights
Then
At , has a cusp at , reflecting phase coexistence. Its convex dual vanishes throughout , because a speed- description cannot see the lower-order interface cost. This simple example shows why the bulk rate function, constrained free energy, and finite-volume barrier answer different questions.
Evidence tests for a claimed rate function
Section titled “Evidence tests for a claimed rate function”- Speed. Demonstrate whether the exponent scales as , , time, or another declared parameter.
- Normalization. Check that the empirical rate function is shifted so its minimum is zero without changing relative barriers.
- Sampling. Establish overlap among biased windows or trajectories; an unsampled valley is not a measured barrier.
- Convexity. State whether the object is a canonical Legendre rate function, a constrained potential, or a finite-volume histogram transform.
- Limit order. Vary , source, bin width, and observation time independently.
- Dynamics. Do not turn a static probability suppression into a transition time without specifying the stochastic or microscopic evolution.
Finite-sample bimodality. A mixture model can be bimodal with no thermodynamic limit at all. Require scaling of peak positions, widths, weights, and interface barrier.
Metastable branch recovery. A Legendre transform of equilibrium data returns a convex envelope. Recovering a metastable branch requires constrained or analytically continued information and adds assumptions.
The schematic below organizes the relationships used on this page. Inspect it with this question in mind: How do ensembles, partition functions, response derivatives, Legendre transforms, and phase probabilities connect?
The finite-volume partition function generates response, Legendre transforms change controlled variables, and large-deviation rate functions encode phase weights only after the thermodynamic-limit order is declared. Solid connections show the primary relation; dashed outlines or arrows mark qualifications and failure boundaries. The diagram is schematic and not to scale.
The surrounding discussion supplies the relevant equations and checks in text form; the figure is a navigational summary.
Exercise
Section titled “Exercise”Let be the sum of independent spins taking with equal probability. Find and the rate function.
Solution
, so . The stationary condition gives and
for , with the convention . Its curvature reproduces variance for the mean magnetization.
References
Section titled “References”- Ellis, Richard S. Entropy, Large Deviations, and Statistical Mechanics. New York: Springer, 1985. doi:10.1007/978-1-4613-8533-2.
- Gärtner, Jürgen. “On Large Deviations from the Invariant Measure.” Theory of Probability & Its Applications 22, no. 1 (1977): 24–39. doi:10.1137/1122003.
- Touchette, Hugo. “The Large Deviation Approach to Statistical Mechanics.” Physics Reports 478, nos. 1–3 (2009): 1–69. doi:10.1016/j.physrep.2009.05.002; Open PDF.