Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 51 1 b Solution Created 2026-10-03 Updated 2026-10-14
In a first-order phase transition, two distinct global minima of the Landau free energy have equal values and exchange stability. The equilibrium order parameter jumps, and a first derivative of the equilibrium free energy is discontinuous. Depending on the direction through the phase diagram, that derivative can be magnetization, entropy or another conjugate quantity; a first-order transition need not have latent heat along every chosen path.
In a continuous phase transition, the equilibrium order parameter changes continuously while the curvature at the critical minimum vanishes. For and , is stable for , but for the stable minima have . The order parameter therefore goes continuously to zero at ; the inverse magnetic susceptibility vanishes there.
For , the sextic term stabilizes the Landau free energy. The nonzero minima can become favorable while still has positive curvature. At they coexist with , so the order parameter jumps to magnitude . Finding a stationary point alone does not locate the transition: equilibrium requires comparing the values of all competing minima. Spinodal boundaries describe loss of local stability, not coexistence.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 51 1 c Solution Created 2026-10-03 Updated 2026-10-14
Universality of critical phenomena means that many microscopic models approach the same long-distance renormalization-group fixed point. After repeated coarse-graining, irrelevant operators lose influence, whereas a few relevant operators describe deviations from criticality. Models with the same spatial dimension, order parameter symmetry, interaction range and appropriate relevant controls can therefore have the same universality class despite very different microscopic constituents.
The critical exponents, appropriately normalized scaling functions and certain amplitude ratios are universal. The transition temperature, individual amplitudes, microscopic length scale and analytic background in the free energy are generally nonuniversal. The numerical value assigned to an order parameter also depends on normalization. Landau-Ginzburg theory expresses this distinction by using a common symmetry-allowed functional form while allowing its coefficients to depend on the material. Computing the true critical exponents below the upper critical dimension requires retaining fluctuations, rather than merely minimizing that functional.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 51 1 d Solution Created 2026-10-03 Updated 2026-10-14
The relevant comparison is a short-range, uniaxial Ising ferromagnet and the liquid–gas critical point of water in three dimensions. Both have one real scalar order parameter: magnetization in the ferromagnet and the appropriately shifted density in the fluid. The magnetic field and a suitable pressure/chemical-potential combination provide the corresponding fields conjugate to an order parameter.
The fluid has no exact microscopic spin-reversal symmetry. Nevertheless, at the liquid–gas critical point the first three derivatives of the local thermodynamic potential can be eliminated or tuned by shifting the density and mixing the thermodynamic control variables. The leading stable expansion is then quartic, with the same long-distance renormalization-group fixed point as the three-dimensional short-range Ising model. The microscopic asymmetry produces corrections and analytic mixing of observables, rather than a different leading universality class.
Thus the scalar liquid–gas critical point and the short-range Ising ferromagnet share a universality class. This does not assert that every ferromagnet does: an isotropic vector-spin magnet or one dominated by long-range dipolar interactions can have different critical behavior. Nor does it identify every phase transition of water with its liquid–gas critical point.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 51 1 f Solution Created 2026-10-03 Updated 2026-10-14
A tricritical point requires two independent even coefficients in the Landau free energy to vanish: , with providing stability. At , the ordinary critical line meets the tricritical three-phase line . The order parameter discontinuity along the first-order line is , which goes to zero at their meeting.
The positive sextic coefficient makes this a different leading local potential from an ordinary quartic critical point. Consequently its mean-field critical exponents, crossover behavior and upper critical dimension differ. There are two relevant even tuning directions near the tricritical point, in addition to the conjugate odd field. The root solution and labelled phase diagram display the three controls and the tricritical wings; varying can give a first-order reversal within the ordered coexistence sheet, a first-order weak/strong transition on a wing, or a continuous transition at a wing's ordinary critical edge.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 51 1 Solution 2026-10-14
A phase diagram partitions a space of thermodynamic controls into regions with distinct equilibrium phases. Its boundaries indicate phase coexistence or continuous phase transitions; a critical point is a termination of coexistence where the distinction between phases disappears. A concrete three-dimensional control space is for the Blume–Capel model: a spin can be or , the exchange favors aligned nonzero spins, and controls the energetic cost of nonzero spins. Varying changes the balance between a continuous ordering transition and a first-order phase transition. Their meeting is a tricritical point.
Locally, the same structure is displayed by the Landau free energywith three controls . For , the line consists of ordinary critical points. For , equal free energies of and a nonzero stationary point requireEliminating gives the tricritical three-phase lineHere and both signs of coexist, with a discontinuous order parameter. Below this line, or below when , the plane is an ordered phase coexistence sheet: crossing it reverses the sign of . Two tricritical wings also extend to nonzero , separating weakly and strongly magnetized states of the same sign. Their ordinary critical points satisfy . Since , their tricritical wing critical edges areAt these edges , giving an ordinary quartic critical expansion around . All these structures end at the tricritical point . The diagrams show both the zero-field section and the genuinely three-dimensional coexistence structure.
For the final critical exponent calculation, take with , , and hold the other controls fixed. At an ordinary critical point, the quartic term dominates the sextic term. For and ,whereas on the disordered side the singular contribution is zero. Two temperature derivatives give a finite jump in heat capacity, so . At , the equation of state is , so .
Along the tricritical trajectory , the nonzero minimum obeys andThus two temperature derivatives produce . At , . Therefore the mean-field critical exponents areWith the thermodynamic free energy, the physical sign is , rather than the positive sign printed in the paper. This correction affects the sign of the heat capacity, not its critical exponent. The tricritical result assumes that the independent quartic control is tuned to zero; a generic trajectory through nearby ordinary critical points need not have these exponents.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 51 3 f Solution Created 2026-10-03 Updated 2026-10-14
Let be the thermal and magnetic scaling fields, with eigenvalues and . After discarding irrelevant variables whose vanishing is nonsingular, the homogeneous singular free-energy density satisfiesChoose . ThenTwo thermal derivatives give the heat-capacity critical exponent; one and two field derivatives give the order-parameter critical exponent and magnetic-susceptibility critical exponent. The correlation-length critical exponent follows directly from the length rescaling. ThusAt , choose . Differentiating gives , so . The order parameter has scaling dimension ; therefore its critical connected correlation function has power . Comparing with yieldsThese formulas express the requested critical exponents in terms of the relevant scaling exponents. Their hyperscaling assumptions must be respected: above an upper critical dimension, a dangerously irrelevant coupling can invalidate the free-energy homogeneity used here. Applying the formulas to the Gaussian thinning transformation in the root solution gives the requested Gaussian indices and their physical qualifications.
Past exam of the mathematics course of the University of Cambridge 2005 ii Paper 4 35B Solution Created 2026-09-24 Updated 2026-10-14
There is a sign inconsistency in the printed starting energy: its kinetic term uses , while the requested field equation, current and later zero-covariant-derivative condition use . Both conventions can be derived explicitly. Set for ; the intended later equations take , whereas the literal printed energy takes .
The magnetic term is , because . Vary independently with compactly supported variations. Integration by parts in the kinetic term givesIn particular gives the requested equation. Its conjugate follows from variation in .
For variation in , . The kinetic variation is , whereThe magnetic variation is after integration by parts. ThereforeFor this current equals the two displayed forms in the question. For the literal plus-sign energy, , the phase-gradient current term has the opposite sign and the field equation contains . Thus the requested set follows after correcting that one energy sign, not from silently varying inconsistent expressions. This is the gauge-coupling sign in Ginzburg-Landau superconductivity.
Now use the intended convention and write with . Dividing by separates real and imaginary parts:Thus is constant on each connected region. The remaining field equation requires , so for ,The current is . Taking the curl locally gives , hence also solves the Maxwell equation.
For a closed curve on which the order parameter is nonzero and , Stokes' theorem givesSingle-valuedness of permits phase change , so the flux quantum magnitude is (for Cooper pairs, ). There is an important geometric qualification: if the entire spanning surface lies in the smooth zero-field superconducting region assumed above, its flux and the total boundary winding are zero. Nonzero quantized flux occurs through a hole or vortex core where those assumptions do not hold over the spanning surface. More generally, without along the curve, the exact quantized quantity is the fluxoidThus fluxoid and flux quantization in a superconductor are related but are not interchangeable without the current condition.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 51 1 a Solution Created 2026-10-03 Updated 2026-10-14
An order parameter distinguishes phases by a macroscopic quantity that changes at the transition. For an Ising model ferromagnet it is the magnetization per Ising spin, . At zero magnetic field the statistical Hamiltonian is invariant under spin inversion symmetry. The disordered phase preserves this symmetry, whereas a selected ordered phase has and a spin-reversed partner with . At finite volume with symmetric boundary conditions the expected value is zero even below the transition; spontaneous magnetization means taking the thermodynamic limit before sending a symmetry-breaking field to zero.
Landau-Ginzburg theory introduces a coarse-grained local order parameter and a symmetry-constrained free-energy functional. For a short-range system with scalar spin inversion symmetry, a useful expansion isThe coefficients vary smoothly with microscopic control parameters at the level of the Landau approximation; normally with . The gradient term penalizes spatial variation. The magnetic field is conjugate to the order parameter, and odd powers at are excluded by spin inversion symmetry. With , the sextic term may be omitted locally; with , a stabilizing positive is essential. The equilibrium uniform order parameter minimizes the local potential , givingThis equation of state follows from minimization, rather than being imposed as an independent assumption. Vector or tensor order parameters and their allowed invariants describe other symmetry classes.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 51 1 c Solution Created 2026-10-03 Updated 2026-10-14
At a continuous phase transition the equilibrium order parameter tends continuously to its critical value, there is no latent heat, and the correlation length diverges. For at zero field, minimizing gives when and when . These minima join continuously at . The minimized singular free-energy density is zero above and below, so its first thermal derivative is continuous, while its second derivative has a finite jump in mean-field approximation.
A first-order phase transition instead has competing minima whose free energies cross while their order parameters remain distinct. The first derivatives of the equilibrium free energy generally jump; along a temperature-driven crossing this gives latent heat. For the symmetric sextic potential with , let . At phase coexistence, the stationary points and equality of the two free energies requireEliminating gives , henceAt coexistence , proving that all three degenerate minima are global. The equilibrium order parameter jumps from zero to one of the two nonzero values even though . The disordered minimum loses local stability at , and the nonzero stationary points first appear at . These spinodal points delimit metastability and are not the equilibrium transition line. Cubic terms, when symmetry permits them, provide another common route to a first-order transition.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 51 1 Solution 2026-10-14
The mean-field approximation replaces each site's fluctuating surroundings by a self-consistent average. On a cubic lattice each spin has coordination number of a lattice , even though summing only over positive basis directions counts each bond once. Write and drop products of deviations. Each Ising bond becomes , so the approximate statistical Hamiltonian isThe constant corrects counting each bond twice. The resulting independent-spin partition function is , where . The one-spin probabilities giveEquating this average with the assumed givesHere is assumed; a ferromagnetic order parameter is not the appropriate choice for an antiferromagnetic coupling. Put . For , at any , so only is possible. For , the function has positive slope at zero, is strictly concave on and is negative at . It therefore has exactly one positive zero and a spin-reversed negative zero. Expanding at the bifurcation givesThe transition is continuous, with order-parameter critical exponent . Stability can also be checked from the Bragg-Williams free energy of the Ising model per Ising spin:Its derivative is , giving the same self-consistency equation. Near zero,The quartic coefficient is positive at , the stable minima approach zero continuously, and the minimized free energy has no first-derivative jump. Thus mean-field approximation predicts a second-order transition at . This is the mean-field Ising critical bifurcation.
For short-range interactions, large dimension gives many neighbours and suppresses the relative fluctuations of their average. More quantitatively, Gaussian field theory fluctuations averaged over a correlation volume have variance of order , while the squared ordinary mean-field order parameter is of order . Their ratio is proportional to . The Ginzburg criterion therefore makes neglect of critical fluctuations asymptotically consistent above four dimensions, inconsistent below four, and marginal at four, where logarithms occur. Large dimension is a route to validity; sufficiently long-range or infinite-range interactions can also produce mean-field behaviour. In low-dimensional short-range systems even the existence and location of a transition can differ from this approximation.
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.

