08.07.01 · stat-mech / path-integral

Path integral formulation of statistical mechanics

shipped3 tiersLean: none

Anchor (Master): Feynman-Hibbs; Kardar QFT notes §4

Intuition [Beginner]

Path integral formulation of statistical mechanics is a continuum weighted sum over field configurations. It is a way to turn many microscopic possibilities into a small number of macroscopic predictions.

Think of a huge board of tiny magnets. Each magnet can point one way or the other, and neighboring magnets may prefer to agree. Statistical mechanics asks which large patterns dominate when all allowed boards are weighted.

The central habit is to compare energy with temperature. Low temperature favors low-energy patterns. High temperature lets many patterns compete.

Visual [Beginner]

The lattice on the left represents microscopic states. The block on the right represents a coarser description that keeps large-scale behavior.

The picture emphasizes scale: local rules can produce long-distance order or critical fluctuations.

Worked example [Beginner]

Use four tiny magnets in a row. Each magnet can point up or down.

If all four point up, every neighboring pair agrees. If the directions alternate, every neighboring pair disagrees. A rule that rewards agreement gives the all-up pattern a larger weight at low temperature.

At high temperature, disagreement is less costly, so many mixed patterns contribute.

What this tells us: statistical mechanics predicts typical large-scale behavior by weighting many microscopic states.

Check your understanding [Beginner]

## Formal definition [Intermediate+]

Fix inverse temperature $eta=1/(k_B T)$ . In this strand the Boltzmann weight convention is

\exp(-eta H).

The concept path integral formulation of statistical mechanics is formulated by a state space $Ω$ , an energy or action functional $H$ or $S$ , and expectations computed from normalized weights. The prerequisites used here are 08.01.01, 08.06.01, 03.04.08. For a finite system,

Z = σ \in Ω \sum e^{- β H (σ)}

is the partition function ^{[Feynman-Hibbs]}. In field-theoretic notation the same role is played by a functional integral with weight $e^{- S}$ .

Lattice spacing is denoted by $a$ . Continuum limits are written $a \to 0$ , usually after tuning a coupling toward a critical point.

Key theorem with proof [Intermediate+]

Theorem (saddle-point expansion around a stationary configuration). For a finite statistical system with partition function $Z (β) = \sum_{σ} e^{- β H (σ)}$ , the mean energy is

⟨ H ⟩ = - \frac{\partial}{\partial β} lo g Z .

Proof. Differentiate the partition function:

\frac{\partial Z}{\partial β} = σ \sum - H (σ) e^{- β H (σ)} .

Divide by $Z$ :

\frac{\partial}{\partial β} lo g Z = \frac{1}{Z} \frac{\partial Z}{\partial β} = - \frac{1}{Z} σ \sum H (σ) e^{- β H (σ)} .

The right-hand side is $- ⟨ H ⟩$ by the definition of canonical expectation. $□$

Bridge. The construction here builds toward 08.09.01 (quantum-classical correspondence (wick rotation)), where the same data is developed in the next layer of the strand. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

## Advanced results [Master]

The finite-volume partition function is the generating object for equilibrium thermodynamics. Derivatives of $lo g Z$ give connected cumulants, and singularities arise only after an infinite-volume or continuum limit. This is why lattice models can be finite-dimensional at each cutoff while still producing phase transitions.

Renormalisation-group language organizes the dependence on the lattice spacing $a$ . Couplings flow under changes of scale, fixed points describe scale-invariant limits, and relevant directions determine how a microscopic model must be tuned to remain near criticality ^{[Feynman-Hibbs]}.

In field theory notation, Euclidean weights use $e^{- S_{E}}$ . Wick rotation relates the Euclidean statistical weight to quantum time evolution by continuing real time to imaginary time; the canonical convention is recorded in 08.09.01.

Synthesis. The path integral formulates the partition function as a sum over field configurations weighted by $e^{- S [ϕ]}$ where $S$ is the Euclidean action, generalising the discrete sum over spin states to the continuum. This representation is the bridge between statistical mechanics and quantum field theory: the Boltzmann weight $e^{- β H}$ of a $d$ -dimensional classical system is reinterpreted as the Euclidean amplitude $e^{- S_{E}}$ of a $(d - 1)$ -dimensional quantum system via Wick rotation 08.09.01. Perturbation theory expands $e^{- S}$ around the Gaussian saddle 08.06.01, producing Feynman diagrams whose renormalisation is controlled by the beta function 08.04.03; nonperturbative effects (instantons, confinement in lattice gauge theory 08.08.01) are accessible only through the full functional integral. The measure, regularisation, and continuum limit are the three technical pillars that make the path integral a well-defined mathematical object in the renormalisable case.

Full proof set [Master]

Proposition. The second derivative of $lo g Z$ is the variance of the energy.

From the Intermediate theorem, $\partial_{β} lo g Z = - ⟨ H ⟩$ . A second differentiation gives

\frac{\partial ^{2}}{\partial β ^{2}} lo g Z = ⟨ H^{2} ⟩ - ⟨ H ⟩^{2} .

The right-hand side is the variance of $H$ , hence nonnegative. It is the energy fluctuation in the canonical ensemble.

Proposition. Connected two-point functions are obtained by differentiating the logarithm of a source-dependent partition function.

Let $Z [J] = \sum_{σ} e^{- β H (σ) + J_{1} O_{1} (σ) + J_{2} O_{2} (σ)}$ . Differentiating $lo g Z [J]$ first in $J_{1}$ and then in $J_{2}$ , then setting $J = 0$ , gives

⟨ O_{1} O_{2} ⟩ - ⟨ O_{1} ⟩ ⟨ O_{2} ⟩ .

Thus $lo g Z$ generates connected correlations.

Connections [Master]

The probability and function language uses 00.02.05, while linear transfer operators use vector spaces 01.01.03 and bounded operators 02.11.01.
Critical scaling connects to conformal field theory 03.10.02, especially in two dimensions.
Gauge-lattice units connect to Yang-Mills action 03.07.05 through plaquette approximations to curvature.
This unit links directly to 08.01.01, 08.06.01, and 03.04.08 inside Strand E.
The Dyson series of 08.10.03 gives the perturbative expansion of the path integral developed here. Expanding the interacting weight $e^{- S_{I}}$ around the Gaussian free-field measure produces the Wick contraction sums and the Feynman-diagram catalogue of φ⁴ theory; see 08.10.03 §sub-section on the Wick-rotated correspondence for the explicit Minkowski $\leftrightarrow$ Euclidean dictionary that lifts the diagrammatics from the path-integral generating functional $Z [J]$ to the operator-side Dyson time-ordered exponential.

Historical & philosophical context [Master]

Boltzmann and Gibbs introduced the probabilistic ensembles that make thermodynamics emerge from microscopic state counting. Onsager's 1944 solution of the two-dimensional Ising model gave an exact critical point and non-mean-field behavior ^{[Onsager 1944]}.

Kadanoff's block-spin picture and Wilson's renormalisation group recast critical phenomena as scale-dependent flow of effective descriptions ^{[Kadanoff 1966]} ^{[Wilson-Kogut 1974]}. Wilson's lattice gauge theory later supplied a nonperturbative regulator for gauge fields ^{[Wilson 1974]}.

Bibliography [Master]

@article{Onsager1944CrystalStatistics,
  author = {Onsager, Lars},
  title = {Crystal Statistics. I. A Two-Dimensional Model with an Order-Disorder Transition},
  journal = {Physical Review},
  volume = {65},
  year = {1944},
  pages = {117--149}
}

@article{WilsonKogut1974RG,
  author = {Wilson, Kenneth G. and Kogut, John},
  title = {The Renormalization Group and the epsilon Expansion},
  journal = {Physics Reports},
  volume = {12},
  year = {1974},
  pages = {75--199}
}

@article{BPZ1984,
  author = {Belavin, A. A. and Polyakov, A. M. and Zamolodchikov, A. B.},
  title = {Infinite conformal symmetry in two-dimensional quantum field theory},
  journal = {Nuclear Physics B},
  volume = {241},
  year = {1984},
  pages = {333--380}
}