Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 43 / 4 / 2 / b

Set $A_D=S_D{\Lambda }^{ϵ}/(2\pi {)}^D>0$. The one-loop flow is $\mathcal{B}(g)=-ϵg+(n-2)A_D{g}^2$. For $ϵ>0$ and $n>2$, its physical fixed points areThe zero point attracts small positive couplings, whereas the nonzero point is the separatrix between the low-temperature weak-coupling flow and the strong-coupling regime. This is a perturbative description for small $ϵ$; extrapolation of its nonzero root to large $ϵ$ is not controlled.

At $ϵ=0$ and $n>2$, the only finite one-loop fixed point is $g=0$, a double root. Positive $g$ flows to strong coupling. For $n=2$ the loop coefficient vanishes: at $ϵ>0$ only $g=0$ is fixed, while at $ϵ=0$ every $g$ is fixed in this perturbative spin-wave description. The compact two-component model also admits vortices; their Berezinskii–Kosterlitz–Thouless transition is absent from a calculation retaining only the smooth tangent modes. Thus a zero beta function here does not exclude that transition. The formula should not be interpreted as a continuum result for the discrete $n=1$ Ising target.