Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 69 / 3

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 $D$, with thermal scaling field $t$ and conjugate field $h$, writeThis follows from coarse graining near a renormalization-group fixed point: a correlation volume is enlarged by $b^D$, while the relevant thermal and field perturbations grow with their eigenvalues. Choosing $b=|t{|}^{-1/y_t}$ givesThe two functions describe the two sides of the transition. Nonuniversal metric factors multiplying $t,h,f_s$ 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 $M=-{\partial }_h{f}_s$, magnetic susceptibility $\chi ={\partial }_{h}M$ and singular heat capacity proportional to $-{\partial }_t^2{f}_s$. ThusThe subscript distinguishes the order-parameter exponent from inverse temperature. At $t=0$, choose $b=|h{|}^{-1/y_h}$ to obtain $M\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$, with $\delta =y_h/(D-y_h)$. These derivatives imply the Rushbrooke scaling relation $\alpha +2{\beta }_{\mathrm{mag}}+\gamma =2$ and the Widom scaling relation $\gamma ={\beta }_{\mathrm{mag}}(\delta -1)$. Equivalently, the equation of state has $h=|t{|}^{\Delta }{\mathcal{H}}_{\pm }(M/|t{|}^{{\beta }_{\mathrm{mag}}})$, with $\Delta ={\beta }_{\mathrm{mag}}\delta ={\beta }_{\mathrm{mag}}+\gamma$.

The correlation length scales as $\xi \sim |t{|}^{-\nu }$, $\nu =1/y_t$. At criticality the connected correlation function behaves as $G(r)\sim r^{-(D-2+\eta )}$, giving $y_h=(D+2-\eta )/2$. Integrating $G$ over a correlation volume gives $\chi \sim {\xi }^{2-\eta }$ and hence the Fisher scaling relation $\gamma =(2-\eta )\nu$. The hyperscaling relation $2-\alpha =D\nu$ expresses one singular free-energy contribution per correlation volume.

These laws organize measurements: plotting $M/|t{|}^{{\beta }_{\mathrm{mag}}}$ against $h/|t{|}^{\Delta }$ collapses near-critical curves onto the appropriate scaling function. A finite system replaces the divergent length by its size $L$; the corresponding prediction is $f_s=L^{-D}\mathcal{F}(t{L}^{y_t},h{L}^{y_h})$ 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 $f_s=b^{-D}{f}_s(b^{y_t}t,b^{y_h}h,b^{y_u}u,\dots )$, 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 $\nu$. 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.

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 ${\rho }_s$ 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 $2\pi$, so it also permits topological defects with integer winding $n$. A phase vortex has $|\nabla \theta |=|n|/r$, and integration givesA singly charged phase vortex can be placed in roughly $(L/a{)}^2$ locations, giving entropy $2k_B\log (L/a)$. This energy-entropy balance suggests that isolated vortices become favorable when the effective stiffness falls to $2k_{B}T/\pi$. 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 $K={\rho }_s/(k_{B}T)$ and dimensionless core fugacity $y$, 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 $\pi K$. Numerical coefficients in $y$ depend on its definition, but the zero-fugacity threshold $K=2/\pi$ is invariant. For $K>2/\pi$, 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 $X=2-\pi K$ and $Y=4\pi y$. To leading order $X^{\prime }=Y^2$ and $Y^{\prime }=XY$, so $X^2-Y^2$ is invariant. The critical separatrix approaches $(0,0)$. Just on the disordered side this invariant is $-{\epsilon }^2$, proportional to the reduced temperature deviation for a generic path through the transition. Hence $X^{\prime }=X^2+{\epsilon }^2$, whose integration gives a time in logarithmic scale of order $1/\epsilon$. Stopping when the fugacity becomes order one yieldswith nonuniversal $B>0$. 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 $T_c$, the thermodynamic long-distance stiffness vanishes and correlations decay exponentially. The singular free-energy contribution is of order ${\xi }^{-2}$ and is exponentially small in $1/\sqrt{\tau }$, 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.

The Landau-Ginzburg theory for a scalar order parameter supplements a local symmetry-allowed potential with a gradient penalty. For a ${\mathbb{Z}}_2$ symmetry at zero field, a stable quartic model iswith $r=a(T-T_c)$ near a mean-field transition. Equilibrium fluctuations have weight $e^{-F/(k_{B}T)}$. In the Landau approximation, minimize the functional. A uniform stationary state obeys $r\varphi +u{\varphi }^3=h$. At zero field the minimum is $\varphi =0$ for $r>0$ and $\varphi =\pm \sqrt{-r/u}$ for $r<0$. 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 $-r^2/(4u)$ below, up to regular backgrounds. Differentiating the equation of state gives ${\chi }_{+}=1/r$ and ${\chi }_{-}=1/(2|r|)$. At $r=0$, $\varphi =(h/u{)}^{1/3}$. Gaussian fluctuations around the minimum have inverse covariance $(K{q}^2+r)/(k_{B}T)$ above and $(K{q}^2+2|r|)/(k_{B}T)$ below. Their correlation lengths are ${\xi }_{+}=(K/r{)}^{1/2}$ and ${\xi }_{-}=(K/(2|r|){)}^{1/2}$. 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 $u$ 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 ${\varphi }_0^2=|r|/u$. Modes with $q\lesssim {\xi }^{-1}$ dominate this coarse-grained fluctuation estimate:where the positive dimensionless $A_D$ depends on the averaging window and the factor of two used in $\xi$. Dividing by ${\varphi }_0^2$ 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 $D<4$, $\mathcal{G}$ diverges as $r\to 0$, so the asymptotic critical region is fluctuation dominated. Away from it, mean-field theory can still work whenFor $D>4$, the long-wavelength ratio tends to zero near criticality, consistently with Gaussian control and mean-field thermodynamic exponents. At $D=4$, 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.