Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 209 3 i Solution 2026-09-28
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 209 3 a Solution Created 2026-09-24 Updated 2026-09-25
For a finite graph , the random-cluster model iswhere is the number of open edges and the number of open connected components. In the Edwards-Sokal coupling, first sample , assign an independent uniform spin to each open cluster, and give every vertex its cluster's spin. The resulting spin law is the Ising model withConversely, from an Ising configuration, close every edge joining unequal spins and independently open each edge joining equal spins with probability .
Statistical Hamiltonian 2026-10-06
A statistical Hamiltonian assigns an energy to a microscopic configuration. Its Boltzmann weight defines the canonical ensemble, and summing or integrating that weight gives a partition function. A reduced Hamiltonian absorbs inverse temperature into its coefficients, so the weight is . An Ising model uses discrete Ising spin configurations, while Landau-Ginzburg theory uses a coarse scalar field.
Statistical physics Created 2026-09-24 Updated 2026-10-13
Statistical physics explains collective behavior using probability distributions over microscopic possibilities. Its central surprise is that incomplete microscopic knowledge can still produce precise predictions for internal energy, entropy and heat capacity. The bridge is statistical mechanics: specify the available microstates, assign their probabilities, then compute the expected values of measured quantities.
A two-level system already displays the idea. Warming it makes its higher energy more likely; its heat capacity first rises, then falls as the two probabilities approach equality. With two distinguishable units, merely counting microstates explains why the middle energy has twice the state degeneracy. These small examples expose the machinery before the much larger sums needed for a photon gas or an Ising model.
The appeal is economical: the same microscopic energies and probabilities explain both an average reading and its variance. A measurement's spread therefore becomes useful physical information rather than an inconvenience to discard.
For independent bit flips, summing the probabilities of all error chains in one syndrome and logical class equals, up to a class-independent factor, the partition function of a random-bond Ising model. A reference error fixes bond signs and products of star stabilizers become Ising spin configurations.
For finite-range interactions and bounded wall couplings, only sites within an interaction range of the wall have altered local environments. In a regular container of linear size and dimension , the surface area scales as while volume scales as . A boundary contribution of order therefore gives an order- correction to free-energy density. Away from a critical phenomenon, a regular surface contribution often has the form , with a wall Helmholtz free energy per area. Critical finite-size rounding, edges and long-range interactions require separate care; vanishing relative boundary size does not guarantee a simple surface expansion in every regime.
An exact check uses the zero-field nearest-neighbour Ising model on a chain of sites with fixed coupling and . The open chain has bonds, while the periodic ring has . Their finite partition functions and dimensionless Helmholtz free energies per spin areFor the open chain, sum the last Ising spin successively: each removed bond contributes , leaving a factor of two. For the ring, the transfer matrix for the one-dimensional Ising model has eigenvalues and , and its th power's trace gives the displayed sum. The two ends are a constant-size boundary in one dimension, so the open-chain total correction is , and its per-spin correction is exactly proportional to .
Both sets of finite results approach the same at the fixed plotted . Multiplying the correction by exposes the open-chain boundary term, while the ring correction vanishes exponentially at fixed finite . This model's thermodynamic limit remains a real analytic function at every positive temperature: having a thermodynamic limit does not require a phase transition.
Symmetry-breaking order of limits 2026-10-14
At zero field and with spin inversion symmetry in its boundary conditions, a finite Ising model pairs every configuration with its spin-reversed configuration. Their equal Boltzmann weights force the expected value of its spin magnetization to vanish. Below a model's ordering critical temperature, an arbitrarily small positive field can instead select the positive spontaneous magnetization if size is taken to infinity first:The distinction is the order of limits and the stated symmetric boundary conditions; plus boundary conditions already break spin inversion symmetry. A zero-field symmetric mixture of the two ordered states can retain zero mean spin magnetization even in the thermodynamic limit. Also, in a finite system is not by itself proof of spontaneous symmetry breaking.[ref]
1 From Spins to Fields. §1.2.1, Spontaneous Symmetry Breaking: displayed nested limit and the immediately following explanation
Thermodynamic limit Created 2026-09-28 Updated 2026-10-13
The thermodynamic limit describes a sequence of larger systems, not a single enormous specimen: particle number and volume tend to infinity with number density fixed. Hold the chosen intensive and extensive thermodynamic quantities such as temperature and an applied magnetic field fixed along that sequence. In the canonical ensemble the controls are ; in the grand canonical ensemble one instead fixes and chemical potential, and the limiting number density is a result, possibly with a jump at phase coexistence. These are different specifications of a limiting experiment.
The useful limit is usually an intensive and extensive thermodynamic quantities normalization of the Helmholtz free energy, not a finite limit of the total extensive quantity itself:Here is the canonical partition function, is the Boltzmann constant, is free-energy density, and is Helmholtz free energy per particle. Thus when the limit exists; finite systems need not be exactly extensive quantities because of the surface correction to thermodynamic free energy.
Specify the interactions and the growing containers too. For a conventional fluid, use a fixed stable pair potential with a tempered pair potential tail, and containers whose boundary layer of any fixed thickness occupies a vanishing fraction of the volume; uniformly enlarged cubes work, a tube of fixed cross-section does not give the same bulk limit. For a finite-range Ising model, keep the lattice spacing and bond coupling fixed while enlarging all intended spatial directions. Ordinary bounded wall interactions or periodic boundary conditions can then give the same bulk free-energy density, although boundary conditions can select different spontaneous symmetry breaking states. This is a set of hypotheses, not a theorem that every interaction has a boundary-independent limit.[ref]
The large deviation approach to statistical mechanics by Hugo Touchette. §V.F, printed pp. 55–57: stable and tempered interactions and existence of the thermodynamic limit
The Curie–Weiss model below deliberately uses a different limiting prescription: its all-to-all coupling is divided by . Without that factor its interaction energy would grow as , rather than as an extensive quantity. The model has no spatial wall or correlation length to compare with a container; it is an exactly summable illustration of finite-size rounding, not a quantitative model of the fluid experiment below.
