Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 72 / 1

Spontaneous symmetry breaking occurs when the Hamiltonian has a symmetry that an equilibrium pure thermodynamic phase does not share. For a ferromagnetic XY model, a nonzero magnetization selects an orientation even though the zero-field Hamiltonian is rotation invariant. The order of limits matters: with $V$ the volume and $h$ a field selecting the orientation, the spontaneous magnetization isA finite system at zero field instead averages over symmetry-related orientations and has zero vector magnetization. Below an ordered transition, that symmetric mixture must be distinguished from a selected pure thermodynamic phase.

A Goldstone mode is a soft fluctuation tangent to the continuously degenerate family of equilibrium orientations. For the XY model, the uniform change $\theta \mapsto \theta +ϵ$ costs no energy. Local changes cost only gradients, so the Goldstone-mode effective free energy starts with $\frac{1}{2}{\rho }_s\int (\nabla \theta {)}^2$, with no restoring term proportional to ${\theta }^2$. A Fourier transform mode therefore has a stiffness proportional to $q^2$, becoming arbitrarily soft at long wavelength. The dimensionless phase stiffness here is $\bar{K}=\beta {\rho }_s$. These are the spin waves of the angle field. Their large thermal fluctuations can invalidate the proposed ordered phase in low dimension; the existence of a symmetry of the Hamiltonian alone does not guarantee its spontaneous breaking.

Fix the uniform angular mode, for example by fixing the mean phase in a large box, and introduce a microscopic ultraviolet cutoff $a$. The quadratic Goldstone-mode effective free energy becomes, under a Fourier transform,To evaluate the Gaussian functional integral, add a source $j$. Completing the square in every nonzero Fourier transform mode givesTaking two source derivatives yields the correlation functionThe cutoff and the treatment of the uniform mode regulate this expression. At separations much larger than $a$, its nonconstant part is the Green function satisfying $-\bar{K}{\nabla }^{2}G={\delta }^{(d)}(x)$. Rotation invariance and the radial Laplacian give $(r^{d-1}{G}^{\prime }{)}^{\prime }=0$ away from the origin. Integrating the Green function equation over a small sphere, whose unit-sphere area is $S_d=2{\pi }^{d/2}/\Gamma (d/2)$, fixes the flux:Thus for $d\ne 2$ the required long-distance correlation function isAt $d=2$, the finite separation-dependent limit isThe constant absorbs the divergent constant term in the $d\to 2$ limit. In low dimension the individual $G(r)$ has no regulator-independent infinite-volume value; its differences do. This is why the phase-difference variance, rather than an absolute phase variance, is the useful observable.

The dot product of the two magnetizations is ${\bar{m}}^2\cos [\theta (x)-\theta (0)]$. For the Gaussian spin wave field, the Gaussian phase averaging identity $⟨e^{iX}⟩=e^{-⟨X^2⟩/2}$ for a centered Gaussian variable givesKeeping this exponential is essential: expanding the cosine to quadratic order would fail when phase differences grow with separation. Equivalently, the phase-difference variance isFor $d>2$, the integral defining the absolute phase variance is finite at small momentum after fixing the uniform mode; its microscopic ultraviolet cutoff still matters. Its nonconstant Green function decays as $r^{2-d}$, so $D(r)$ tends to a finite constant $D_{\infty }$ andIn two dimensions, the logarithmic Green function gives $D(r)=(\pi \bar{K}{)}^{-1}\log (r/a)+O(1)$. ConsequentlyFor $1\le d<2$, $D(r)$ grows as $2r^{2-d}/[(2-d)S_d\bar{K}]$, up to bounded microscopic terms, and the correlation function again vanishes. In particular, in one dimension $S_1=2$ gives $D(r)=r/\bar{K}$ and exponential decay ${\bar{m}}^2{e}^{-r/(2\bar{K})}$. Therefore there is no conventional long-range order for $d\le 2$ at positive temperature in this short-range continuous-symmetry model. In two dimensions, algebraic decay can still support quasi-long-range order.

These infrared spin-wave correlations of the XY model explain the mechanism behind the Mermin-Wagner theorem. They are a test of the low-temperature spin wave approximation, not a claim that every $d>2$ XY model is ordered at every temperature. Large local fluctuations and defects destroy the ordered phase at sufficiently high temperature. Also, the assumed small angle is a local smooth-field approximation; phase differences at arbitrarily large separation need not remain small.

The physical angle takes values on a circle, so it is defined modulo $2\pi$. Around a closed curve enclosing a phase vortex,The integer winding number cannot change through a smooth single-valued deformation unless a defect crosses the curve. Thus a globally smooth Gaussian spin wave field omits whole topological sectors of the XY model.

Outside a vortex core of radius $a$, an isolated charge-$n$ phase vortex has $\theta =n\phi$ and $|\nabla \theta |=|n|/r$. Its dimensionless energy in a sample of size $L$ isThere are of order $(L/a{)}^2$ positions for its core, so the positional entropy contributes $2\log (L/a)$. The competition for unit charge is therefore $(\pi \bar{K}-2)\log (L/a)$, apart from core terms. Opposite charges have a logarithmic attraction and form a vortex Coulomb gas.

At low temperature, vortex-antivortex binding leaves no free charges on large scales. Spin waves still destroy true long-range order, but the correlation function decays algebraically with the renormalized phase stiffness. At the Berezinskii–Kosterlitz–Thouless transition, pairs unbind; free vortices screen the interaction and produce a finite correlation length and exponential decay above the transition. The energy-entropy estimate identifies the threshold stiffness $K_R=2/\pi$, where $K_R$ is the long-distance dimensionless stiffness, not necessarily the bare $\bar{K}$. It agrees with the universal stiffness jump and the limiting algebraic exponent $1/(2\pi K_R)=1/4$. The two-dimensional transition is vortex unbinding between quasi-long-range order and disorder, rather than the onset of nonzero spontaneous magnetization.