Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 49 1 v Solution Created 2026-10-03 Updated 2026-10-07
In a smooth scalar Landau free energy, a line of coexistence between two distinct minima can end by those minima and the intervening maximum coalescing. At a generic endpoint with no competing third phase,The first condition is stationarity, the second removes the inverse susceptibility, and the third is needed because nonzero cubic curvature at a zero-quadratic point would prevent it being a stable minimum. After shifting and mixing two control parameters, the local potential is , . Its two-phase coexistence line reaches , with and diverging magnetic susceptibility. This is the familiar critical endpoint of a quartic Landau free energy.
The word “must” needs the two-phase endpoint assumptions. A first-order line can instead end at a triple point or a boundary of the available control parameters. There is an explicit scalar counterexample in the sextic potential: fix and vary . The coexistence line at , ends when the phase also becomes globally stable. At that triple point the nonzero minima remain ; their jump does not vanish. Thus the literal unrestricted assertion is false. The continuous-endpoint argument above establishes the intended case and distinguishes it from this counterexample.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 42 1 iii Solution Created 2026-10-03 Updated 2026-10-06
Along an isolated two-phase coexistence line, two distinct stable minima have equal free energy. If this line ends at an ordinary interior endpoint without encountering another phase, the distinction between the two phases must disappear: their minima and the intervening barrier merge. For separated nondegenerate minima, their stationary values are smooth functions of the controls. The difference has . The implicit function theorem therefore continues the equation as a local coexistence curve. It cannot end while those distinct stable minima persist.
At the merger the potential satisfiesThe third-derivative condition is essential: a stationary zero-curvature point with nonzero third derivative is an inflection, not a stable equilibrium. Shifting to gives an ordinary quartic Landau free energy with two independent control directions, temperature-like and field-like. The curvature and the order-parameter discontinuity vanish, the magnetic susceptibility diverges, and the correlation length diverges. The endpoint is therefore associated with a continuous transition. This is the critical endpoint of a quartic Landau free energy mechanism.
In the symmetric quartic example, the coexistence line is . Its jump vanishes at , where . This supplies a concrete realization. The word “must” requires the stated ordinary-endpoint assumptions: a first-order line can instead meet a third phase, a multicritical point, a boundary of parameter space, or continue without a finite endpoint. A spinodal point alone is not an equilibrium critical endpoint.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 42 1 Solution 2026-10-06
The scaling hypothesis for critical phenomena says that the singular part of the equilibrium free energy is a generalized homogeneous function of its thermal and field-like controls. Smooth backgrounds must first be removed; the hypothesis does not claim that the entire free energy, including arbitrary regular terms, has a pure scaling form.
For the ordinary scalar quartic LG theory, set with and , and rescale the uniform order parameter asThe order-parameter-dependent free-energy density becomesDefine as the minimum of the braces, with the sign of the quadratic term respectively positive or negative. ConsequentlyFor an extensive , additionally contains the system volume. The printed double-inequality subscript labels the two temperature branches: the upper-temperature function is and the lower-temperature function is . It does not classify positive and negative magnetic fields. In particular and ; below the transition the field dependence has a cusp at zero, so derivatives are taken on a selected branch.
For the following derivatives, take to be a density, so is the magnetization density; for total free energy the derivative gives total magnetization instead. Differentiate this mean-field scalar free-energy scaling form. The magnetization is , giving and . The magnetic susceptibility is , giving . At zero field the nonzero curvature amplitudes are and .
To allow nonclassical critical exponents, replace the fixed powers byThe heat-capacity critical exponent is defined by ; temperature differentiation gives the thermal exponent in . The order-parameter critical exponent has , and the magnetic-susceptibility critical exponent has . Differentiating the scaling form givesEliminating proves the Rushbrooke scaling relationThe critical-isotherm exponent is defined by . At fixed small , the limit requires , so that the temperature factors cancel. Therefore , yielding . But the two differentiated identities also give , and hence the Widom scaling relationThese are relations among the leading power indices. At marginal dimensions, multiplicative logarithms can accompany them, and an additive analytic background must not be mistaken for the singular scaling contribution.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 303 1 a Solution Created 2026-10-03 Updated 2026-10-06
Use inverse temperature , reserving without a subscript for the critical exponent. Write ; each undirected bond occurs once, so the number of bonds is . In the mean-field theory of the Ising model, write each Ising spin as and neglect the product of fluctuations:The resulting independent-spin statistical Hamiltonian isThe constant corrects the double counting of interaction energy. The Ising spin sums now factorize and can all be evaluated:This is the approximate partition function at an assumed mean field; equilibrium fixes self-consistently. The corresponding Ising auxiliary mean-field free energy isIts equilibrium value gives the mean-field Helmholtz free energy in the imposed field. Away from a stationary point its parameter is an assumed field variable, not necessarily the actual mean Ising spin of that independent-spin distribution.
For the full small- expansion at fixed , set and . Differentiating gives successive derivatives , , , and at . ThereforeAt zero field, spin inversion symmetry eliminates odd powers and this simplifies toThe quadratic coefficient changes sign and the quartic coefficient is positive atThus the zero-field mean-field prediction is a continuous, continuous phase transition: the stable zero spin magnetization develops two symmetry-related nonzero minima continuously below .
Both requested routes give the same mean-field self-consistency equation. First, the one-spin expectation in the effective field isSecond, differentiating the Ising auxiliary mean-field free energy giveswhose stationary condition is precisely that mean-field self-consistency equation. Choose its stable, lowest-free-energy branch rather than every algebraic solution.
An equally useful mean-field approximation parametrizes the trial distribution by its actual mean Ising spin. Its probabilities are , giving the Bragg-Williams free energy of the Ising modelThis energy-minus-entropy function has expansionIts stationary equation is , again equivalent to the mean-field self-consistency equation. The two functions differ away from equilibrium, but agree on stationary branches: for and , the entropy bracket equals . Their small- coefficients therefore need not agree at arbitrary temperature; at they have the same leading critical quartic coefficient . This distinction prevents confusing the auxiliary-field expansion with the physical-magnetization variational expansion.
For the order-parameter critical exponent, expand the equation of state at :On a nonzero stable branch,Hence . The spontaneous magnetization is understood by selecting a branch with an infinitesimal field after the thermodynamic limit; a finite symmetric sample has zero exact zero-field mean Ising spin.
For the magnetic susceptibility per site, define with in energy units. Implicit differentiation givesAbove , and . Below , evaluated on a selected ordered branch, the expansion of gives . Thus the magnetic-susceptibility critical exponent is on both sides, with different amplitudes. At , the equation of state becomesso the critical-isotherm exponent is . These are mean-field critical exponents, not a claim that neglecting fluctuations gives the exact Ising transition in every dimension.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 303 1 c Solution Created 2026-10-03 Updated 2026-10-05
These are mean-field critical exponents at a tricritical point. Hold the other control at its tricritical value and take the coefficients to be real analytic functions of temperature along a thermal approach with , , , and or . At fixed tricritical , a generic real analytic temperature path with nonzero thermal slope has and meets the last condition. Paths tangent to a scaling direction can have different apparent temperature powers.
At zero field on the ordered side with , stationarity gives ; under the more general approach , this relation holds to leading order. Thus the order-parameter critical exponent isFor the zero-quartic representative, putting this minimum into the Landau free energy gives the singular order-parameter contribution (and the leading asymptotic contribution under the stated negligible-quartic approach)Using at fixed other control yields , specifically to leading order. HenceThis heat-capacity critical exponent refers to the nonzero ordered-side singular amplitude; in this mean-field approximation to Landau theory, the disordered global minimum contributes zero singular free energy, while any regular background remains. Fluctuation corrections lie outside the present approximation.
In the disordered phase, differentiating the equation of state at gives the magnetic susceptibility . On the ordered branch its curvature is , so . Both give the magnetic-susceptibility critical exponentAt the tricritical temperature with both lower coefficients zero, , so and the critical-isotherm exponent isThe Widom scaling relation and Rushbrooke scaling relation both check these powers. Their validity here is a mean-field conclusion, not a claim that fluctuations in every spatial dimension preserve them.
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 1 34D Solution Created 2026-09-24 Updated 2026-10-06
The microcanonical ensemble assigns equal probability to accessible quantum states in a narrow energy shell of an isolated system with fixed energy, particle number and external parameters. To derive the canonical ensemble, put a small system in weak thermal contact with a much larger isolated bath. If the small-system state has energy , its probability is proportional to the number of bath states. Expanding the bath entropy gives , since . Negligible interaction energy and an effectively constant bath temperature therefore give . The microcanonical ensemble suits an isolated fixed-energy system; the canonical ensemble suits a system exchanging energy with a thermostat at fixed temperature, with particle number still fixed.
For one atom, summing the finite geometric series over gives the partition functionAt the ratio is understood by continuity as . Logarithmic differentiation gives the mean magnetic dipole momentThis is odd in , has small- expansion , and saturates at . The requested common graph is plotted in units of : its ordinate is , so multiplication by gives . The normalized slopes at zero are and the limits are .
The magnetic susceptibility isEquivalently it is . For , the apparent singular terms cancel, yielding Curie lawFor fixed nonzero , and integer , the first excited magnetic level is separated from the aligned ground state by . Its exponentially small occupation givesThe moments are saturated, so changing the magnetic field hardly changes their alignment. This is a fixed-nonzero-field low-temperature limit. At exactly , differentiating first gives the Curie expression for every , which diverges as ; the two limits do not commute in this noninteracting model. For both moment and susceptibility vanish identically.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 303 1 c Solution 2026-09-28
At the tricritical point, and the zero-field Landau free energy is . Below , minimization givesSince , the order-parameter critical exponent isAt this minimum, is proportional to . Comparing this with gives the heat-capacity critical exponentAfter adding the magnetic contribution , the inverse zero-field magnetic susceptibility is the curvature . Above it is , while below it is , so and the magnetic-susceptibility critical exponent isFinally, exactly at the equation of state is . Hence and the critical-isotherm exponent is
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 3 35A c Solution Created 2026-09-24 Updated 2026-09-25
Let denote the total density of states, including both spin directions. The field lowers one spin energy by and raises the other by the same amount. To first order in , each spin population changes by the one-spin density times the displacement of its Fermi edge. The population imbalance is thereforeMultiplying by the Bohr magneton carried by each excess aligned electron givesThus, with this total-density convention,The zero-temperature magnetic susceptibility isThis weak positive response is Pauli paramagnetism. If susceptibility per unit volume is required, both and are divided by .
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 303 1 a ii Solution Created 2026-09-24 Updated 2026-09-25
Put , so . At zero field the stationary equation factors asFor , is the unique minimum. For , it is unstable and the two minima areThe order parameter therefore tends continuously to zero, and its order-parameter critical exponent is .
At either ordered minimum the singular free-energy density iswhereas it is zero for . Two temperature derivatives give a singular heat capacity proportional to below the transition and zero above it, so the heat-capacity critical exponent is .
The inverse magnetic susceptibility at a stable minimum is the curvature . Below ,and hence and . Above , however, the curvature at vanishes for every . Indeed, at small field , so and the linear susceptibility is already infinite away from the critical point. Consequently the usual magnetic-susceptibility critical exponent is not defined for this exceptional free energy; assigning it a finite value would incorrectly assume a quadratic term.
At , the equation of state is , so and the critical-isotherm exponent is . Thus the transition is continuous, although its missing quadratic term makes the high-temperature linear response singular throughout that phase.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 303 1 b ii Solution Created 2026-09-24 Updated 2026-09-25
Write , take with , and include the magnetic term . At , minimizing the Landau free energy gives for andfor , so the order-parameter critical exponent is . Substitution gives a singular free-energy density proportional to below , whose second temperature derivative has a finite jump, so the heat-capacity exponent is . Above , the equation gives the magnetic susceptibility , hence . At , , so and .
A smooth scalar Landau free energy can end a two-phase phase coexistence curve by merging two minima and their intervening maximum. At a generic stable endpoint, its first three derivatives vanish and its fourth derivative is positive. A field shift and two mixed control parameters reduce the local form to a quartic Landau free energy; the order-parameter jump then vanishes and the magnetic susceptibility diverges. This conclusion assumes there is no competing third phase and that the endpoint lies inside the control-parameter domain. It is not a general theorem about every first-order line: a sextic potential with fixed negative quartic coefficient has a symmetry-related ordered coexistence line that ends at a triple point with a finite jump.
