Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-14
Changing the ultraviolet cutoff changes which fluctuations remain explicit. Integrating out a shell of Fourier modes shifts the coefficients of all symmetry-allowed operators and a field-independent constant. Hence the cutoff-dependent coefficients are chosen so that the remaining partition function and long-distance observables reproduce the same microscopic system. This is the Wilsonian coarse-grained statistical Hamiltonian; retaining only the printed operators is a local derivative expansion, not an exact closure.
In a massive symmetric phase, the quadratic long-wavelength inverse two-point function has the form . Its Landau scalar correlation length satisfies in this approximation. For canonical normalization of a scalar gradient term, set ; then the mass and quartic coefficients become and . With this normalization the infrared mass is the inverse correlation length, , within the massive quadratic or one-loop approximation. More generally the decay rate is a pole mass, whereas the zero-momentum inverse magnetic susceptibility is a curvature mass; an anomalous dimension or nontrivial momentum dependence can distinguish them. In the ordered phase one must first expand about a selected stable equilibrium magnetization, rather than identify a negative quadratic coefficient at the unstable origin with a squared inverse correlation length. Thus the intended mass identification includes a field normalization and a stable-phase qualification.
For momentum-shell renormalization group, split , retaining and eliminating . DefineTaking a logarithm gives the cumulant expansion of a coarse-grained free energy. For a centered fast Gaussian measure with , the first quartic cumulant isThe Wick contractions give a mass shift and an identity-operator contribution, while leaving the quartic term at this order. The second cumulant produces higher interactions and a quartic correction. After the length and field rescalings and , the gradient coefficient remains one, andThe one-loop shell mass renormalization in scalar quartic theory explicitly shows why the critical bare mass is shifted by fluctuations.
Assume short-range interactions, an analytic even local potential, a positive gradient coefficient, and a weak-coupling trajectory in the basin of the Gaussian fixed point. Above four dimensions the quartic interaction has negative engineering dimension and its dimensionless strength decreases under coarse graining; higher local powers and higher derivative terms also decrease. After absorbing analytic short-distance shifts into the coefficients, long-wavelength fluctuations are small compared with the ordered order parameter. The remaining coarse Landau free energy can therefore be evaluated at its stable saddle:The quartic stabilizer must still be retained for the ordered minimum even though it is dangerously irrelevant. Stationarity, , gives the ordinary Landau-Ginzburg theory and its mean-field critical exponents. This derives the saddle approximation from decreasing fluctuation strength under the stated RG assumptions; it does not assume that every exact coarse-grained functional becomes a quartic polynomial. Below four dimensions the quartic coupling grows, long-wavelength loop corrections cease to be small, and the argument fails. At four dimensions the interaction is marginal and generates logarithmic corrections. The tuned sextic theory has the analogous boundary at three dimensions.
Use a consistent Fourier transform pair for the connected correlation function:The printed forward-transform expression integrates over while leaving free; that integration variable is an error. The above convention resolves it and produces the loop measure used below. At zero magnetization, ; otherwise the disconnected product of expectations must be subtracted.
In the inverse-propagator identity used here, the truncated two-point function means the full one-particle-irreducible two-point vertex, including its free quadratic part. This convention differs from using “truncated” for a connected cumulant. To derive the inverse relation, introduce , and the effective action . Then and the chain rule gives . Since is the connected correlation function, translation invariance gives .
Now use canonically normalized coefficients, denoting the cutoff mass by and the renormalized infrared mass by . Choose the free propagator and put in the interaction as a quadratic counterterm. With the Euclidean self-energy convention in which an insertion changes the connected propagator by , the perturbative series beginsThe self-energy sums one-particle-irreducible loop insertions; the explicit mass counterterm is kept separate. Repeated insertions generate the geometric Dyson resummation, which explains why reducible chains occur in but not as independent terms in its inverse. Beyond one loop a momentum-dependent self-energy and wave-function renormalization must also be included.
At one loop the only quartic two-point graph is the tadpole diagram. At a vertex, attaching the two labeled external fields uses choices and contracts the remaining two fields together. The factor is . Equivalently this is the same quadratic term in the shell cumulant expansion above. ThusIt is positive for and independent of external momentum, so there is no one-loop gradient renormalization. The condition implies , henceThe cutoff is necessary: the unregulated integral is ultraviolet divergent for . Using the renormalized mass internally is a self-consistent one-loop organization, not an exact resummation of all critical fluctuations. With nonunit , this formula instead applies to , after canonical normalization of a scalar gradient term.
To test a linear thermal mass, approach the ordinary transition from the symmetric side and set . For the massless tadpole is infrared finite. Subtract its critical value, absorb regular temperature dependence of the coupling into a nonzero thermal coefficient , and write . The one-loop critical-mass subtraction giveswhereFor , is finite, so the bracket tends to a finite constant and is self-consistent. At ,and the growing logarithm obstructs an asymptotically constant linear coefficient at nonzero coupling. For , put to obtainThe divergent bracket then invalidates the assumed linear thermal mass. The radial critical-mass subtraction in dimensions three to five gives explicit checks of all three behaviors. For , the massless tadpole subtraction itself is infrared divergent; that failure of the Gaussian expansion does not prove absence of an interacting transition. Therefore the ordinary upper critical dimension is , with the unmodified Landau-Ginzburg theory asymptotically justified by this test only for . Exponents inferred by solving the self-consistent one-loop equation below four dimensions would not be exact interacting exponents.
For a tricritical point the renormalized quartic coefficient must be tuned to zero, and a positive sextic interaction stabilizes the order parameter. The gradient term gives the scalar field engineering dimension . A coefficient of therefore has dimension , which becomes marginal at . This gives . A direct Ginzburg criterion reaches the same result: long-wavelength variance in a correlation volume iswhile the tricritical saddle has . Their ratio scales as , vanishing only above three dimensions. At three dimensions it is marginal; below three it grows. In contrast the ordinary saddle gives a ratio . Both calculations assume the thermal mass is measured relative to its shifted critical value. A sextic interaction generates quartic terms under coarse graining, so tricriticality requires tuning the renormalized quartic scaling field as well as the mass.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-14
The partition function sums the Boltzmann weights of all statistical configurations. For discrete states of energy , ; for a regulated scalar field it is a functional integral, . It normalizes probabilities and generates thermodynamic averages. Its Helmholtz free energy isA quantum version uses . In the following identification, is a constrained free-energy density, so its units match those of a Hamiltonian density rather than a total extensive energy.
Fix a microscopic cutoff . Split the field into retained modes with momenta below and eliminated modes between and . Define the Wilsonian coarse-grained statistical Hamiltonian exactly byIts coefficients and additive constant depend on so that integrating the retained modes gives precisely the original . With sources and observables carried along, the same construction preserves long-wavelength responses. Thus changing this intermediate ultraviolet cutoff is a change of description, not a change of the physical system. It is advantageous because one can integrate out fluctuations irrelevant to the observable length scale, organize a local gradient expansion, and use renormalization-group flow toward simpler universal fixed-point descriptions. Exact invariance retains all generated operators; truncating them is an approximation.
The quadratic gradient coefficient generally becomes , not a constant. Field renormalization sets a chosen kinetic normalization, for example when this makes the gradient coefficient one in the energy convention. Sources and observables must be transformed inversely so that their physical meaning is preserved. Under rescaled coordinates , the critical field scaling isIts anomalous part is the anomalous dimension; it gives and the conjugate-field exponent . Different conventions for the wave-function factor require corresponding changes in its logarithmic derivative. A fixed physical magnetization must not be confused with a cutoff-dependent dimensionless renormalized field.
To justify the zero-cutoff identification of constrained free energy, work first in a finite periodic volume . Define the physical spatial mean and constrain that mean in the microscopic integral:Retain the constant mode while eliminating every nonzero mode. When is below the smallest nonzero box momentum, the remaining energy is . Consequently with a consistently fixed, possibly field-independent measure normalization. This provesFor a uniform field, is the Hamiltonian density in the question. The statement assumes that the physical zero mode is retained, all other modes are integrated exactly, field-rescaling factors are undone, and density and additive-normalization conventions agree. Taking the cutoff limit in the finite box before its thermodynamic limit makes this derivation unambiguous. With an applied uniform source, up to the same measure convention; its large-volume saddle minimizes .
The Landau approximation further assumes that this potential can be approximated by a regular local polynomial on the homogeneous branches, and that the remaining fluctuations are negligible for the observables sought. It is not an assertion that an exact zero-cutoff free energy is the bare polynomial. In a coexistence region the exact constrained density can be convexified by domains, while a nonconvex Landau branch potential describes local phases and their metastability.
For the breakdown criterion use a short-range scalar theory with positive quadratic gradient stiffness. At the Gaussian fixed point, invariance of gives field dimension . A coupling multiplying therefore has engineering scaling exponentIt is irrelevant only above its upper critical dimension. For the ordinary critical point the leading stabilizing interaction is quartic, while at a tricritical point the renormalized quartic term is tuned away and the leading interaction is sextic. ThereforeOne can also see the failure through the Ginzburg criterion. Long-wavelength fluctuations averaged over a correlation volume obey , up to temperature and stiffness factors. The quartic saddle has , giving a fluctuation/mean-square ratio proportional to . The tricritical sextic saddle has , giving a ratio proportional to . Both ratios grow without bound below their respective critical dimension, invalidating the fluctuation-free Landau exponents sufficiently close to a transition.
At equality the ratios are marginal, not power-law divergent. The loop expansion resolves this boundary: the quartic vertex correction contains , logarithmic at ; the sextic vertex correction contains a two-loop three-propagator integral whose overall degree is , logarithmic at . Marginal running therefore generally adds logarithmic corrections at these dimensions. Below them, where the corresponding transition exists, interactions control the long-distance critical behavior. Above them, leading thermodynamic powers are mean-field, although stabilizing dangerously irrelevant couplings explain why naive hyperscaling need not hold.
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.
In a finite box, retain the constant mode while integrating all nonzero field modes using the Wilsonian coarse-grained statistical Hamiltonian. Below the smallest nonzero momentum, the remaining effective energy is and its Boltzmann weight is precisely the constrained order-parameter free energy weight. Thus the displayed equality holds with consistent field-independent normalization. It is not an identity between a bare statistical Hamiltonian and an unconstrained equilibrium free energy. An analytic polynomial Landau free energy further assumes a homogeneous branch and regular effective coefficients; long-distance fluctuations near and below an upper critical dimension can invalidate that analytic approximation.