Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 64 1 a Solution Created 2026-10-03 Updated 2026-10-14
An order parameter distinguishes thermodynamic phases. For a ferromagnet it is the magnetization; for a fluid near its liquid-gas critical point it can be the density relative to its critical value. In a system with a scalar order parameter, introduce a slowly varying real scalar field whose spatial average represents that order parameter. The Landau-Ginzburg theory organizes the effective free energy as a local expansion consistent with the symmetry:Here is the stiffness in the gradient energy, and is the field conjugate to an order parameter. The even powers assume a symmetry at . Without that symmetry further terms, including a cubic term, may be allowed. The coefficients are smooth functions of temperature and other controls; near a mean-field transition one usually writes with . A positive highest retained even coefficient makes the local potential bounded below.
The partition function is obtained by weighting configurations with . The Landau approximation replaces this functional average by minimization, taking a uniform in a homogeneous phase. In a symmetric finite system the zero-field average can vanish even below the transition because it averages both signs of . The spontaneous order parameter selects a pure thermodynamic phase by taking the thermodynamic limit before removing the conjugate field:Thus the order parameter measures the ordering of a selected thermodynamic phase, rather than the average over all symmetry-related phases.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 64 1 b Solution Created 2026-10-03 Updated 2026-10-14
A first-order phase transition has a discontinuity in a first derivative of the equilibrium free energy, such as entropy or the order parameter; a thermal first-order transition normally has latent heat. At a continuous phase transition the order parameter goes continuously to zero and there is no latent heat, although response functions and higher derivatives of the free energy can be singular.
For the symmetric scalar Landau free energy at zero conjugate field, minimizeIf , the sixth-order term is unnecessary near . For the minimum is , whereas for there are two symmetry-related minima with to leading order. The order parameter vanishes continuously as . The equilibrium free-energy density changes from zero to , so its first temperature derivative is continuous and its second derivative has a jump. This is the ordinary mean-field continuous phase transition.
If , keep for stability. A nonzero stationary order parameter, with , obeys . For phase coexistence with its free energy must also vanish. Substituting into givesThe nonzero solution of is thereforeThe competing minima exchange stability at positive , with a finite jump of the order parameter. This is a first-order phase transition. The metastability region is also visible: nonzero stationary points first appear at the spinodal , and the disordered local minimum loses stability at .
For example, holding fixed and taking , the ordered phase has entropy lower than the disordered phase by at coexistence. Heating through the transition absorbs latent heat per volume . More generally the temperature dependence of all coefficients contributes to this entropy difference. With no inversion symmetry, a cubic term can also produce a first-order phase transition, as comparison of the competing minima of the Landau free energy shows.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 64 1 e Solution Created 2026-10-03 Updated 2026-10-14
The relevant boundary here is the upper critical dimension: above it the critical interactions become negligible at long distances and the ordinary mean-field critical exponents apply; at it there can be logarithmic corrections. This differs from the lower critical dimension, below which a particular kind of ordering may fail to exist.
Normalize the coefficient of in the Landau-Ginzburg theory. Under a change of length scale , its invariance gives the engineering dimension . The quartic interaction then scales asIt is a relevant operator below four dimensions and an irrelevant operator above four. Thus the ordinary scalar transition has upper critical dimension . At a tricritical point, where the quartic interaction is tuned away, the sextic coupling scales as , giving the tricritical upper critical dimension . This is the upper critical dimension of an even scalar interaction applied to powers four and six.
The Ginzburg criterion makes the reason for failure of the Landau approximation quantitative. In the ordered quartic theory, , and . The fluctuation of the order parameter averaged over a correlation volume has the scaleCompared with the squared mean order parameter, the Ginzburg criterion therefore givesFor this ratio grows without bound as the correlation length diverges. The assumption that fluctuations are small relative to the ordered value fails arbitrarily near the transition, and the interacting renormalization-group fixed point determines the critical exponents. For the ratio tends to zero. At scale counting is marginal, and the running quartic coupling produces logarithms.
Similarly, at the tricritical point , so the multicritical Ginzburg ratio scales as . The Landau-Ginzburg theory remains a useful effective description below its upper critical dimension; it is its fluctuation-free exponent calculation that fails, not the possibility of including fluctuations in the theory.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 69 1 Solution 2026-10-14
Spontaneous symmetry breaking occurs when the statistical Hamiltonian is invariant under a symmetry but a chosen equilibrium pure state is not. A small selecting field or a boundary condition chooses one of several states related by the symmetry. For a finite unconstrained system the symmetric ensemble generally has zero order parameter; spontaneous order is defined by taking the thermodynamic limit before removing the selecting field. A ferromagnet with a selected magnetization direction is the standard example.
If the broken symmetry is continuous, nearby symmetry-related states cost no energy for a uniform displacement along the manifold of states. Locality and a nonzero stiffness then make a slowly varying displacement cost gradient energy rather than a mass term. These gapless long-wavelength fluctuations are Goldstone modes. In the conventional relativistic internal-symmetry setting their count is the number of broken generators. Nonrelativistic dynamics can pair broken generators, as in a ferromagnet; gauge symmetries and broken space-time symmetries require additional qualifications. A discrete broken symmetry alone does not produce a Goldstone mode.
For an interface with a selected mean height, the continuous displacement is a rigid translation normal to the mean plane. The tension gives a stiffness for spatially varying translations. The following calculation concerns this static Goldstone sector. It determines the excitation energy and equilibrium fluctuations, but a frequency dispersion requires a separate inertial or dissipative dynamics. In low dimensions thermal roughness also limits the existence of a strictly localized flat interface in an infinite system.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 69 3 a Solution Created 2026-10-03 Updated 2026-10-14
The scaling hypothesis for critical phenomena describes the singular part of the equilibrium free-energy density, rather than its analytic background. For an isotropic system in spatial dimension , with thermal scaling field and conjugate field , writeThis follows from coarse graining near a renormalization-group fixed point: a correlation volume is enlarged by , while the relevant thermal and field perturbations grow with their eigenvalues. Choosing givesThe two functions describe the two sides of the transition. Nonuniversal metric factors multiplying must be allowed when comparing microscopic models. Exponents and suitably normalized scaling functions or amplitude ratios characterize a universality class.
Differentiating the free-energy density gives the order parameter , magnetic susceptibility and singular heat capacity proportional to . ThusThe subscript distinguishes the order-parameter exponent from inverse temperature. At , choose to obtain , with . These derivatives imply the Rushbrooke scaling relation and the Widom scaling relation . Equivalently, the equation of state has , with .
The correlation length scales as , . At criticality the connected correlation function behaves as , giving . Integrating over a correlation volume gives and hence the Fisher scaling relation . The hyperscaling relation expresses one singular free-energy contribution per correlation volume.
These laws organize measurements: plotting against collapses near-critical curves onto the appropriate scaling function. A finite system replaces the divergent length by its size ; the corresponding prediction is under the same scaling assumptions. Finite size rounds a sharp thermodynamic singularity.
The hypothesis has a domain of validity. At a renormalization-group fixed point one generally needs , including other scaling fields. Ordinary irrelevant couplings can be set to zero in a nonsingular limiting scaling function. A dangerously irrelevant coupling cannot: above the upper critical dimension of scalar quartic theory, the quartic term is irrelevant at the Gaussian point but still stabilizes the ordered phase. Consequently naive hyperscaling fails there even though other exponent relations can remain valid. Marginal variables can produce logarithms, anisotropic systems require the appropriate volume exponent, and the Berezinskii–Kosterlitz–Thouless transition has an essential correlation-length singularity instead of a finite power-law . Scaling theory relates observables through a small number of fixed-point dimensions; it does not make analytic backgrounds, marginal logarithms or dangerously irrelevant variables disappear.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 69 3 b Solution Created 2026-10-03 Updated 2026-10-14
The Berezinskii–Kosterlitz–Thouless transition is a defect-unbinding transition of a two-dimensional system with a compact continuous phase, such as the short-range XY model. At long wavelengths, smooth spin waves have energywhere is the phase stiffness. Gaussian averaging givesThus smooth fluctuations already destroy true nonzero magnetization in an infinite two-dimensional system, in accordance with the Mermin-Wagner theorem. The low-temperature phase instead has quasi-long-range order, with algebraically decaying correlations. The stiffness in its asymptotic exponent is the renormalized long-distance stiffness, not merely the microscopic coupling.
The phase is periodic modulo , so it also permits topological defects with integer winding . A phase vortex has , and integration givesA singly charged phase vortex can be placed in roughly locations, giving entropy . This energy-entropy balance suggests that isolated vortices become favorable when the effective stiffness falls to . Below the transition, vortex-antivortex binding predominates; above it their unbinding screens the logarithmic interaction and produces a finite correlation length. A single-vortex estimate identifies the mechanism but does not include screening by smaller pairs.
The dilute-vortex vortex-pair renormalization flow incorporates this screening. With and dimensionless core fugacity , one conventional leading-order normalization givesThe first equation says polarizable phase vortex pairs reduce stiffness. The second compares the phase vortex's position scaling dimension two with its logarithmic energy cost . Numerical coefficients in depend on its definition, but the zero-fugacity threshold is invariant. For , sufficiently small fugacity flows to zero, leaving a line of Gaussian spin-wave renormalization-group fixed points with varying algebraic exponent. On the other side of the separatrix, fugacity grows and the dilute approximation eventually ceases to apply.
Near the endpoint set and . To leading order and , so is invariant. The critical separatrix approaches . Just on the disordered side this invariant is , proportional to the reduced temperature deviation for a generic path through the transition. Hence , whose integration gives a time in logarithmic scale of order . Stopping when the fugacity becomes order one yieldswith nonuniversal . This derives the essential singularity and explains why assigning a finite ordinary correlation-length exponent is inappropriate.
At the transition the limiting stiffness from below has the universal stiffness jumpAbove , the thermodynamic long-distance stiffness vanishes and correlations decay exponentially. The singular free-energy contribution is of order and is exponentially small in , so this infinite-order transition is unlike a Landau transition with a discontinuous order parameter or an ordinary power-law heat-capacity singularity. The renormalization mechanism is developed in Kosterlitz's original vortex analysis. The transition separates bound vortices and algebraic order from unbound vortices and short-range order, while neither finite-temperature phase has conventional spontaneous XY magnetization.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 69 3 c Solution Created 2026-10-03 Updated 2026-10-14
The Landau-Ginzburg theory for a scalar order parameter supplements a local symmetry-allowed potential with a gradient penalty. For a symmetry at zero field, a stable quartic model iswith near a mean-field transition. Equilibrium fluctuations have weight . In the Landau approximation, minimize the functional. A uniform stationary state obeys . At zero field the minimum is for and for . The latter pair is spontaneous symmetry breaking of the discrete symmetry.
The uniform free-energy density at its minimum is zero above the transition and below, up to regular backgrounds. Differentiating the equation of state gives and . At , . Gaussian fluctuations around the minimum have inverse covariance above and below. Their correlation lengths are and . These results give the usual mean-field critical exponentsThe heat capacity has a finite jump rather than a power-law divergence. Negative quartic coefficient requires higher stabilizing terms and can produce a first-order transition; a vanishing quartic coefficient requires a tricritical analysis. Thus the assumed positivity of matters.
The Ginzburg criterion tests whether this saddle description is self-consistent. Below the transition compare fluctuations of the order parameter averaged over a correlation volume with its squared mean-field value . Modes with dominate this coarse-grained fluctuation estimate:where the positive dimensionless depends on the averaging window and the factor of two used in . Dividing by givesIt is the fluctuation of a correlation-volume average, not the full cutoff-dominated microscopic variance, that should be compared with the mean-field order parameter.
For , diverges as , so the asymptotic critical region is fluctuation dominated. Away from it, mean-field theory can still work whenFor , the long-wavelength ratio tends to zero near criticality, consistently with Gaussian control and mean-field thermodynamic exponents. At , quartic coupling is marginal; scale-dependent logarithms require a renormalization-group analysis rather than interpreting a constant bare ratio as a proof of no corrections. This identifies four as the upper critical dimension of the short-range scalar quartic model.
The Landau-Ginzburg theory is valuable because symmetries restrict a manageable list of local operators, the gradient term describes correlations and interfaces, and the Ginzburg criterion identifies when neglected fluctuations become decisive. Below the upper critical dimension an interacting renormalization-group fixed point, rather than the bare saddle, determines universal exponents. For continuous order parameters the manifold of ordered minima also has Goldstone modes, and lower-critical-dimension fluctuations require separate attention. Mean-field minimization supplies an approximation; the Ginzburg ratio decides whether its neglect of fluctuations is justified.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 46 1 a Solution Created 2026-10-03 Updated 2026-10-14
An order parameter distinguishes equilibrium thermodynamic phases. For a scalar magnetic system, a slowly varying coarse-grained scalar field represents local magnetization, and its uniform expectation is the order parameter. Under spin inversion symmetry, and . The disordered phase has at , while a pure ordered phase has . In a finite symmetric system the average still vanishes at ; spontaneous symmetry breaking means taking the thermodynamic limit before or to select a pure thermodynamic phase.
Landau-Ginzburg theory assigns a local free-energy functionalSpin inversion symmetry forbids odd powers at zero conjugate field; locality and slow variation motivate the gradient expansion. The gradient energy penalizes interfaces and determines long-wavelength response. Integrating over fields includes fluctuations, whereas the Landau approximation replaces that integral by its stable stationary configuration. For a uniform phase this reduces to minimizing . If is the equilibrium free-energy density, then , so the order parameter is also the thermodynamic response to its conjugate field.