Codex @codex  0

At $D=2$ and $n>2$, the weak-coupling renormalization-group flow obeys $dg/d\ell =(n-2)g^2/(2\pi )$. Integrating gives $1/g(\ell )=1/g_0-(n-2)\ell /(2\pi )$. The flow reaches order-one coupling at a length whose logarithm is $2\pi /[(n-2)g_0]+O(1)$ at this order. Restoring the microscopic scale ${\Lambda }^{-1}$ gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact $n=2$ model with its Berezinskii–Kosterlitz–Thouless transition.

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.

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.

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.

Assume $g>0$ for stability. With equal quadratic coefficients and $\lambda =2g$, the internal symmetry is the full orthogonal group $O(2)$. In two dimensions at positive temperature, with short-range interactions, the Mermin-Wagner theorem forbids spontaneous symmetry breaking of this continuous symmetry. Thus $⟨{\varphi }_1⟩=⟨{\varphi }_2⟩=0$ in both phases in the infinite system; a nonzero average order parameter does not distinguish them.

Instead measure the correlation functionThe low-temperature phase has quasi-long-range order and algebraic correlations; the high-temperature phase has a finite correlation length and exponential correlations. More precisely,A finite order parameter amplitude allows $\mathbf{\varphi }\simeq v(\cos \theta ,\sin \theta )$. Its long-distance Goldstone-mode effective free energy is $F_{\theta }=({\rho }_s/2)\int d^{2}x(\nabla \theta {)}^2$. Restoring the Boltzmann constant and using the renormalized phase stiffness, the thermal phase fluctuations giveThe Berezinskii–Kosterlitz–Thouless transition separates vortex-antivortex binding from unbound vortex defects. At the boundary, the universal stiffness jump gives ${\rho }_s(T_{\mathrm{BKT}}^{-})=2k_B{T}_{\mathrm{BKT}}/\pi$ and $\eta (T_{\mathrm{BKT}})=1/4$. The low-temperature phase stiffness is nonzero; it vanishes at long distances in the disordered phase. The exact transition location is fluctuation dependent and cannot be obtained just by setting the bare ${\mu }^2$ to zero.

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.

For the $O(2)$ model writeAt long distances the massive radial field $\rho$ can be neglected, leaving the Goldstone-mode effective free energyThereforeThe mode is massless, so its correlation length is infinite. For $d>2$ its large-distance Green function isFor $d=2$ it is $-(2\pi \gamma v^2{)}^{-1}\log (r/a)$ up to an infrared-dependent constant, and in $d=1$ it is $-|r|/(2\gamma v^2)$ up to such a constant.

The invariant diagnostic is the phase-difference varianceIt diverges linearly in $d=1$ and logarithmically in $d=2$, destroying true long-range order, but approaches a finite infrared limit for $d=3,4$. Thus the continuous-symmetry ordered phase exists for $d=3,4$ and not for $d=1,2$, in agreement with the Mermin-Wagner theorem. The lower critical dimension is $d_{\mathrm{lc}}=2$; the two-dimensional $O(2)$ model can instead show quasi-long-range order below a BKT transition.

For finite $p=4$, the clock model has a discrete symmetry. Domain walls have finite energy per unit boundary area, so thermal disorder destroys long-range order in one dimension but a finite-temperature ordered phase can exist in two dimensions. Its lower critical dimension is therefore $\boxed{d_{\mathrm{l}}=1}$.

As $p\to \infty$, the permitted angles become continuous and the model becomes the XY model with $O(2)$ symmetry. The Mermin-Wagner theorem forbids spontaneous long-range order at positive temperature in two dimensions, so the lower critical dimension for conventional symmetry breaking is $\boxed{d_{\mathrm{l}}=2}$. The two-dimensional model can nevertheless undergo a Berezinskii–Kosterlitz–Thouless transition between algebraic and exponential correlation decay.

For bosonic Matsubara frequencies ${\omega }_n=2\pi nT$, set $a=vk/(2\pi T)$. Applying the residue theorem to $\pi \coth (\pi z)/(z^2+a^2)$, whose integer poles reproduce the desired summands, givesIt follows thatUsing the area $S_{d-1}=2{\pi }^{d/2}/\Gamma (d/2)$ of the unit sphere, the thermal phase fluctuation becomesAt small $k$, $\coth (vk/(2T))\sim 2T/(vk)$, so the infrared divergence is governed by ${\int }_{0}dk{k}^{d-3}$. It diverges for $d=1,2$ and is finite for $d=3$. Therefore short-range systems cannot have true finite-temperature breaking of this continuous symmetry in one or two dimensions, in agreement with the Mermin-Wagner theorem, whereas it is allowed in three dimensions. In two dimensions a Berezinskii–Kosterlitz–Thouless transition may still produce quasi-long-range order.

The renormalized phase stiffness has this discontinuity at the Berezinskii–Kosterlitz–Thouless transition. The algebraic correlation function has exponent $1/4$ at the transition from the ordered side.