Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 303 (Statistical Field Theory)

A momentum-shell renormalization group step has three parts. First split the field into slow and fast Fourier modes, $\varphi ={\varphi }_{<}+{\varphi }_{>}$, and integrate over the shell $\Lambda /\zeta <|q|<\Lambda$. Second rescale $q^{\prime }=\zeta q$, or equivalently $x^{\prime }=x/\zeta$, to restore the ultraviolet cutoff to $\Lambda$. Third rescale the field so that the coefficient of $(\nabla \varphi {)}^2/2$ returns to its chosen normalization. The resulting free energy has the same operator expansion but new couplings; iteration traces a renormalization-group flow in coupling space.

For the first step only, write $F=F_0+V$ and average over the fast modes of the Gaussian field theory. The cumulant expansion givesHereAt order ${\lambda }_0^2$, the connected contraction of two $3{\lambda }_0{\varphi }_{<}{\varphi }_{>}^2$ vertices gives the low-momentum two-point term. Since $⟨{\varphi }_{>}^2(x){\varphi }_{>}^2(y){⟩}_c=2G_{>}(x-y{)}^2$,Expanding at small external momentum and matching $({\mu }^{\prime 2}/2)\int {\varphi }_{<}^2$ yieldsThe first cumulant also produces a term linear in ${\varphi }_{<}$; it is removed by fixing the one-point function, or equivalently by a field redefinition, and does not change the displayed one-particle-irreducible correlation function correction to the mass.

The leading vertex correction is order ${\lambda }_0^3$. Taking $3{\lambda }_0{\varphi }_{<}{\varphi }_{>}^2$ from each of three vertices, the connected Wick contractions form a triangle. There are eight contractions, so the third cumulant contributes $27\times 8/3!=36$ times the triangle integral. At zero external momentum,For nonzero external momenta the three propagators carry the corresponding shifted loop momenta, with every internal line restricted to the fast shell.

Write $m_i={\mu }_i^2$ and $r^2={\varphi }_1^2+{\varphi }_2^2$. The uniform Landau free energy isso stationarity requiresFor $m_1,m_2>0$, the unique ground state is $(0,0)$ and the ${\mathbb{Z}}_2\times {\mathbb{Z}}_2$ discrete symmetry is unbroken. If $m_1<0$ and $|m_1|>|m_2|$, thenwhich breaks the first ${\mathbb{Z}}_2$ and leaves the second intact. This includes the case in which both masses are negative, because $m_1$ is then the more negative one. The remaining possible ordered case under the stated inequality is $m_1>0>m_2$, for whichand only the second ${\mathbb{Z}}_2$ is broken. The Hessian matrix in each ordered state is positive because the uncondensed direction has squared mass $m_k-m_j>0$, where $m_j$ is the condensed, more negative mass.

Near either continuous transition the nonzero order parameter is proportional to $(-m_i{)}^{1/2}$. Hence the mean-field critical exponents are

The lower critical dimension is the dimension at or below which fluctuations destroy the proposed finite-temperature ordered phase. Here the broken symmetry is discrete, so $d_{\mathrm{l}}=1$. In one dimension a domain wall interpolating between the two signs has finite energy, whereas its possible position gives an entropy growing as $\log L$. Domain walls therefore occur with nonzero density at every positive temperature and split the system into domains of finite typical length. Thus there is no finite-temperature ordered phase in one dimension.

When $m_1=m_2={\mu }^2$, the free energy has continuous symmetry $O(2)$. Its ordered minima satisfyContinuous phase fluctuations make the lower critical dimension $d_{\mathrm{l}}=2$, in agreement with the Mermin-Wagner theorem. In two dimensions write the complex order parameter as $\psi ={\rho }_0{e}^{i\theta }$. Neglecting the massive amplitude mode gives the Goldstone-mode effective free energyThe phase-difference variance isand thereforewithThus spin waves replace true long-range order by quasi-long-range order.

A vortex-antivortex pair of separation $R$ has the logarithmic energy $E_{\mathrm{pair}}\simeq 2\pi {\rho }_0^2\log (R/a)$. The number of pair separations below $R$ grows as $R^2$, giving the coarse entropy $S_{\mathrm{pair}}\simeq 2\log (R/a)$. Thusand widely separated pairs become favorable at ${\rho }_0^2\simeq 1/\pi$. Substituting the mean-field stiffness givessuggesting a Berezinskii–Kosterlitz–Thouless transition. The numerical location is only a bare-stiffness estimate: vortex-core fluctuations renormalize the stiffness near the transition.

At a critical point, a local field operator $\mathcal{O}$ has scaling dimension ${\Delta }_{\mathcal{O}}$ if $\mathcal{O}(x)\mapsto b^{-{\Delta }_{\mathcal{O}}}\mathcal{O}(x/b)$ under coarse-graining by $b$. The coupling $u$ in $\int d^{d}xu\mathcal{O}$ has renormalization-group eigenvalueA perturbation is a relevant operator when $y_u>0$, an irrelevant operator when $y_u<0$, and a marginal operator when $y_u=0$; nonlinear terms in its renormalization-group beta function decide the fate of a marginal coupling. Irrelevant microscopic interactions decay under coarse-graining, so many distinct systems approach the same fixed point and share one universality class.

Near criticality the singular free energy density is of order one per correlation volume:The heat capacity contains two derivatives with respect to temperature, soConsequently the hyperscaling relation is

The critical two-point correlation function shows that the field has scaling dimensionIn the ordered phase the correlation length is the only diverging scale, so the order parameter scales asTherefore

The Gaussian fixed point isLinearizing there gives $d{\mu }^2/ds=2{\mu }^2+\cdots$, so the mass term is relevant with eigenvalue $y_{{\mu }^2}=2$. The coupling $g$ has no linear term and is classically marginal, $y_g=0$; for positive $g$ the term $b{g}^2$ makes it marginally relevant in the infrared convention of the question. Since the inverse thermal eigenvalue is the correlation-length critical exponent,

Besides $g=0$, the coupling beta function vanishes atThe mass fixed-point equation isso the root continuously connected to the origin isPerturbation theory requires $b/c\ll 1$, ensuring that the fixed-point coupling is small and the omitted higher powers are suppressed.

For increasing infrared scale $s$, positive $g<g_{\ast }$ flows upward toward $g_{\ast }$ and $g>g_{\ast }$ flows downward toward it. The mass direction remains relevant, so only the tuned critical trajectory reaches the interacting fixed point; trajectories on either side leave toward the two phases.

The relevant thermal eigenvalue is obtained from the stability matrix of a renormalization-group fixed point by differentiating the mass beta function:It follows that