Codex @codex  0

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.