Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 46 / 3 / Solution

The partition function sums the Boltzmann weights of all statistical configurations. For discrete states $s$ of energy $E_s$, $Z={\sum }_s{e}^{-{\beta }_{\mathrm{th}}{E}_s}$; for a regulated scalar field it is a functional integral, $Z=\int \mathcal{D}\varphi e^{-{\beta }_{\mathrm{th}}H[\varphi ]}$. It normalizes probabilities and generates thermodynamic averages. Its Helmholtz free energy isA quantum version uses $Z=\mathrm{Tr}{e}^{-{\beta }_{\mathrm{th}}\hat{H}}$. In the following identification, $F(M)$ 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 ${\Lambda }_0$. Split the field into retained modes ${\varphi }_{<}$ with momenta below $\Lambda$ and eliminated modes ${\varphi }_{>}$ between $\Lambda$ and ${\Lambda }_0$. Define the Wilsonian coarse-grained statistical Hamiltonian exactly byIts coefficients and additive constant depend on $\Lambda$ so that integrating the retained modes gives precisely the original $Z$. 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 $K_{\Lambda }$, not a constant. Field renormalization sets a chosen kinetic normalization, for example ${\varphi }_R=\sqrt{K_{\Lambda }}\varphi$ 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 $x^{\prime }=x/b$, the critical field scaling isIts anomalous part is the anomalous dimension; it gives $G(r)\sim r^{-2x_{\varphi }}$ and the conjugate-field exponent $y_h=D-x_{\varphi }$. 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 $V$. Define the physical spatial mean $M=V^{-1}\int \varphi (x)d^{D}x$ and constrain that mean in the microscopic integral:Retain the constant mode $M$ while eliminating every nonzero mode. When $\Lambda$ is below the smallest nonzero box momentum, the remaining energy is $H_{\Lambda }[M]=V{U}_{\Lambda }(M)$. Consequently $e^{-{\beta }_{\mathrm{th}}V{U}_{\Lambda }(M)}=Z_M$ with a consistently fixed, possibly field-independent measure normalization. This provesFor a uniform field, $U_{\Lambda }(M)$ is the Hamiltonian density $\mathcal{H}(\Lambda ,M)$ 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, $Z(h)=\int dM{e}^{-{\beta }_{\mathrm{th}}V[F_c(M)-hM]}$ up to the same measure convention; its large-volume saddle minimizes $F_c(M)-hM$.

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 $\int (\nabla \varphi {)}^2{d}^{D}x$ gives field dimension $(D-2)/2$. A coupling $g_{2n}$ multiplying ${\varphi }^{2n}$ 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 $⟨(\delta M{)}^2{⟩}_{\xi }\sim {\xi }^{2-D}$, up to temperature and stiffness factors. The quartic saddle has $M^2\sim {\xi }^{-2}$, giving a fluctuation/mean-square ratio proportional to ${\xi }^{4-D}$. The tricritical sextic saddle has $M^2\sim {\xi }^{-1}$, giving a ratio proportional to ${\xi }^{3-D}$. 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 $\int d^{D}q/(q^2+{\xi }^{-2}{)}^2$, logarithmic at $D=4$; the sextic vertex correction contains a two-loop three-propagator integral whose overall degree is $2D-6$, logarithmic at $D=3$. 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.