Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 51 3 Solution Created 2026-10-03 Updated 2026-10-14
A partition function sums the Boltzmann weights of all states: for discrete states, or the corresponding integral for continuous fields. It normalizes equilibrium probabilities. Its physical Helmholtz free energy is , and its free-energy density is . With a momentum ultraviolet cutoff , a scalar-field example isThe normalization of the functional measure and field-independent energy terms must be tracked when discussing absolute free energy.
Choose a smaller cutoff and split the field into retained modes with and eliminated modes with . Define the Wilsonian coarse-grained statistical Hamiltonian bySubstitution into the partition function proves for every intermediate cutoff. A source retained in this definition similarly preserves long-wavelength connected correlation functions and response. Thus the coefficients in a Hamiltonian density must run with : the dependence induced by eliminated modes compensates the dependence of the remaining field integral. Holding the original bare coefficients fixed while changing the cutoff would generally change the system. Exact integration generates all interactions allowed by symmetry, including higher powers, derivative terms and an additive constant; a local derivative expansion or a truncation to a few couplings is an extra approximation.
Cutoff independence makes arbitrary intermediate coarse-graining scales unphysical. It allows calculations at the scale of the observable, avoids repeatedly resolving irrelevant short-distance details and exposes the renormalization-group fixed points responsible for universality. A microscopic cutoff, such as a Bravais lattice spacing, can still label a physical microscopic model; taking it to infinity as a continuum limit requires tuning appropriate bare couplings. This is distinct from lowering an intermediate Wilsonian cutoff in a fixed model.
To interpret the zero-cutoff limit, define , the spatially uniform mode of the order parameter. Keep this mode fixed and integrate the others, rather than integrating over too. Write , with , and define the constrained order-parameter free energy byIn a finite periodic box, once is below the smallest nonzero momentum, all nonconstant modes have been eliminated. The remaining effective energy is , so its defining integral is exactly . Therefore, with consistent normalization,When denotes this uniform effective Hamiltonian density, this is the stated identification of with its zero-cutoff limit. It requires a free-energy density constrained at fixed , not the unconstrained extensive free energy; all integrated fluctuations and additive constants are included, the zero mode in field theory is retained, and a density for the uniform configuration is well defined. The finite-volume argument avoids an interchange of the thermodynamic and cutoff limits without justification. On a homogeneous pure-phase branch one may use a local potential description, while a thermodynamic limit allowing phase separation can convexify the constrained potential. A bare nonconvex Landau polynomial is accordingly a homogeneous-branch approximation, not a claim that the exact equilibrium Legendre potential stays nonconvex.
In a field , the remaining integral is , up to the consistently chosen zero-mode measure. The thermodynamic saddle then gives and selects the equilibrium magnetization. Landau theory assumes that the relevant uniform potential can be approximated by a regular analytic expansion in , with symmetry-constrained coefficients, and minimizes it. At tree level the integrated fluctuations are neglected, recovering the familiar bare polynomial. With fluctuations retained, the coefficients run and can become singular near criticality; the zero-cutoff identification of constrained free energy alone does not justify mean-field critical exponents.
For an ordinary short-range scalar thermodynamic critical point, the leading interaction is quartic. Absorb inverse temperature and the gradient coefficient into field normalization and writeScale and to leave the gradient term invariant. The quartic term changes to , so its engineering scaling exponent is . It is irrelevant at the Gaussian fixed point for , relevant for , and marginal for . HenceThe loop expansion makes the breakdown concrete. A quartic-vertex correction is proportional to , whereFor , rescaling gives , diverging as . At , radial integration giveswhich is logarithmically divergent. Above four dimensions its infrared limit is finite; the leading cutoff-dependent constant can be absorbed into a coupling renormalization. The effective expansion parameter is thus of order below four, or at four, since . It eventually becomes large for any fixed bare interaction in the lower-dimensional critical limit, defeating the uncorrected mean-field expansion. The Ginzburg criterion gives the same threshold by comparing correlation-volume fluctuations with the squared mean order parameter.
Below four dimensions an interacting renormalization-group fixed point can replace the Gaussian fixed point and change critical exponents, provided a continuous transition exists. At four dimensions the interaction is marginal and produces logarithmic corrections: the leading power exponents can remain their mean-field values, so “breakdown” there means that pure mean-field power laws omit those corrections, rather than necessarily that every power exponent changes. Above four the stabilizing quartic interaction is dangerously irrelevant for the ordered phase, explaining why mean-field thermodynamic exponents need not obey naive hyperscaling with the spatial dimension.