The Kosterlitz-Thouless Transition

The Mermin-Wagner theorem seems to close the book on two-dimensional order: a continuous symmetry cannot break spontaneously at finite temperature in 2D, so the XY model — spins free to rotate in a plane — has no magnetization, ever. And yet the model unmistakably has two phases: power-law correlations at low temperature, exponential collapse at high. Something sharp happens in between, and it cannot be described by an order parameter, symmetry breaking, or Landau theory. What changes is topology: the behaviour of vortices — point defects around which the spin angle winds by 2π2\pi. Below TKTT_{KT}, vortices and antivortices are bound in neutral pairs that merely soften the spin-wave phase. Above TKTT_{KT} they unbind, proliferate as a free plasma, and shred the power-law order. Kosterlitz and Thouless located the transition with an argument of startling economy: a single vortex costs energy πJln⁡(L/a)\pi J\ln(L/a) but gains positional entropy 2kBln⁡(L/a)2k_B\ln(L/a), so the free energy of one free vortex flips sign at kBTKT=πJ/2k_BT_{KT}=\pi J/2. Both terms diverge logarithmically with system size — that is why the competition is sharp. The resulting transition is like nothing in the Landau catalogue: the free energy is infinitely smooth at TKTT_{KT}, the correlation length diverges with an essential singularity ξ∼eb/T−TKT\xi\sim e^{b/\sqrt{T-T_{KT}}} rather than a power law, and the superfluid stiffness drops to zero discontinuously by the universal amount ρs(TKT−)/kBTKT=2/π\rho_s(T_{KT}^-)/k_BT_{KT}=2/\pi — the same number in every film ever measured. This article derives the vortex energy, runs the free-energy argument to TKTT_{KT}, and extracts the universal jump from the RG relevance of vortices. The XY model and the Mermin-Wagner theorem are owned by The XY Model and Continuous Spins and the Mermin-Wagner Theorem and Lower Critical Dimension — recalled here, not re-derived.

Key takeaways
  • The 2D XY model has no long-range order (Mermin-Wagner), yet it has a sharp topological transition — vortex unbinding, with no order parameter and no symmetry breaking.
  • Below TKTT_{KT}: bound vortex-antivortex pairs; power-law correlations ∼(a/r)η(T)\sim(a/r)^{\eta(T)}, η=kBT/2πJ\eta=k_BT/2\pi J — a line of critical points.
  • A single vortex costs E=πJln⁡(L/a)E=\pi J\ln(L/a) and gains entropy S=2kBln⁡(L/a)S=2k_B\ln(L/a); F=(πJ−2kBT)ln⁡(L/a)F=(\pi J-2k_BT)\ln(L/a) changes sign at kBTKT=πJ/2k_BT_{KT}=\pi J/2.
  • Above TKTT_{KT} free vortices proliferate, screen the stiffness to zero, and force exponential decay.
  • The transition is infinite-order: ξ∼exp⁡(b/T−TKT)\xi\sim\exp(b/\sqrt{T-T_{KT}}), an essential singularity; the specific heat stays smooth.
  • Key idea: the stiffness does not go to zero continuously — it jumps from the universal value ρs(TKT−)=(2/π) kBTKT\rho_s(T_{KT}^-)=(2/\pi)\,k_BT_{KT} to zero, a parameter-free prediction confirmed in every superfluid film.
The core insight

Both the energy of an isolated vortex and its positional entropy grow as ln⁡(L/a)\ln(L/a), so their competition is decided by coefficients alone: F=(πJ−2kBT)ln⁡(L/a)F=(\pi J-2k_BT)\ln(L/a) flips sign at kBTKT=πJ/2k_BT_{KT}=\pi J/2. Below, topological defects are confined in neutral pairs and the phase is critical with continuously varying exponents; above, they unbind and destroy quasi-long-range order — a phase transition carried entirely by topology.

Where this lives today

The KT transition organizes every quasi-two-dimensional system with a U(1)U(1) phase. Superfluid helium films show the universal jump in torsional-oscillator and third-sound measurements. Superconducting films and Josephson-junction arrays undergo vortex unbinding with real flux vortices — the jump surfaces as the V∼I3→V∼IV\sim I^3\to V\sim I switch of the current-voltage exponent. Trapped 2D Bose gases realize the transition with cold atoms, matter-wave interference making the proliferating defects individually visible. Two-dimensional crystals melt by the KTHNY two-step scenario — dislocation then disclination unbinding, with an intervening hexatic phase, seen in colloidal monolayers. The vocabulary invented here — topological defects, quasi-long-range order, essential singularities — seeded the topological revolution recognized by the 2016 Nobel Prize. The deeper machinery (Coulomb-gas and sine-Gordon mappings, the full RG flow diagram) belongs to the renormalization-group chapter; the essentials — two logarithms, one competition — are all here.

The physical picture

Take the two-dimensional XY model — planar spins si=(cos⁡θi,sin⁡θi)\mathbf{s}_i=(\cos\theta_i,\sin\theta_i) with nearest-neighbour coupling −Jcos⁡(θi−θj)-J\cos(\theta_i-\theta_j), as developed in The XY Model and Continuous Spins. At low temperature the angles vary slowly and the energy reduces to the continuum "elastic" form J2∫(∇θ)2 d2r\tfrac{J}{2}\int(\nabla\theta)^2\,d^2r. The Mermin-Wagner Theorem and Lower Critical Dimension shows that gapless spin waves on this sheet destroy true long-range order at any T>0T>0 — ⟨s⟩=0\langle\mathbf{s}\rangle=0 always. But the same spin-wave calculation leaves behind something remarkable: correlations that decay not exponentially but as a power law, ⟨s(0)⋅s(r)⟩∼(a/r)η\langle\mathbf{s}(0)\cdot\mathbf{s}(r)\rangle\sim(a/r)^{\eta}, with temperature-dependent exponent η=kBT/2πJ\eta=k_BT/2\pi J. Every low temperature is critical — a line of critical points, each with its own exponent. This is quasi-long-range order (QLRO): no magnetization, but orientational memory that fades only algebraically. Spin waves alone would keep that power law to arbitrarily high temperature, which cannot be right — at high TT the lattice model manifestly has exponentially short correlations. What the smooth spin-wave picture misses are vortices: point defects around which θ\theta winds by 2πn2\pi n. A vortex cannot be smoothed away — its winding number is a topological invariant. Around a +1+1 vortex the spins circulate; around a −1-1 antivortex they form the hyperbolic pattern in the figure below. A bound +1,−1+1,-1 pair perturbs the spin field only out to the pair size (the windings cancel far away), costing finite energy ≈2πJln⁡(d/a)\approx 2\pi J\ln(d/a) for separation dd. At low temperature the vortex gas is a dilute set of bound neutral "molecules", and QLRO survives, merely renormalized. At high temperature the pairs ionize: free vortices roam, each scrambling the phase of every spin around it — correlations collapse exponentially.

Figure
Vortex-antivortex pair bound below T_KT (left); above T_KT the pair ionizes into free vortices that scramble the phase (right)
Topological defects in the 2D XY model T below T_KT : bound neutral pair +1 vortex −1 antivortex windings cancel far away: finite energy 2πJ ln(d/a) pairs only soften the stiffness — QLRO survives T above T_KT : unbound free vortices entropy 2k_B ln(L/a) beats energy πJ ln(L/a) free vortices screen the stiffness → exponential decay

Why does the balance tip at a sharp temperature? Because for a single vortex, energy and entropy scale with system size identically. The winding forces ∣∇θ∣=1/r|\nabla\theta|=1/r out to the edge, so the elastic energy integrates to πJln⁡(L/a)\pi J\ln(L/a). But the core can sit on any of (L/a)2(L/a)^2 plaquettes — entropy 2kBln⁡(L/a)2k_B\ln(L/a), the same logarithm. The free energy of one free vortex is (πJ−2kBT)ln⁡(L/a)(\pi J-2k_BT)\ln(L/a): for T<πJ/2kBT<\pi J/2k_B it is +∞+\infty in the thermodynamic limit (free vortices absolutely forbidden; only bound pairs occur), while for T>πJ/2kBT>\pi J/2k_B it is −∞-\infty (free vortices nucleate without bound until their mutual screening stabilizes a plasma). A logarithm competing with a logarithm produces a knife-edge — that is the Kosterlitz-Thouless transition, and its signature observable is the spin stiffness, which the free-vortex plasma screens to zero discontinuously, as the second figure shows.

Figure
The universal jump: the stiffness curve meets the line (2/π)T and drops discontinuously to zero at T_KT
Universal stiffness jump: ρ_s(T_KT) = (2/π) k_B T_KT temperature T (units J/k_B) ρ_s / k_B (units J/k_B) 0 0.5 1.0 1.0 0.5 line ρ_s = (2/π) k_B T — slope 2/π, universal discontinuous universal jump T_KT ≈ 0.893 J/k_B (square-lattice XY, Monte Carlo) ρ_s(T): bound pairs renormalize the bare J downward free-vortex plasma: ρ_s = 0

Two consequences deserve emphasis. First, because the low-temperature phase is a line of critical points, η\eta varies continuously with temperature, from 00 at T→0T\to0 up to exactly 1/41/4 at the transition — universality fixes the endpoint, not a single exponent. Second, no local quantity becomes singular: the free energy is smooth to all orders at TKTT_{KT}, and the specific heat shows only an analytic bump above the transition, where the pairs actually ionize. Everything sharp about this transition lives in the stiffness and the correlations.

The core equations

The stage is the continuum elastic description recalled from The XY Model and Continuous Spins.

H  =  −J∑⟨ij⟩cos⁡(θi−θj)    ⟶    H[θ]  =  J2∫∣∇θ∣2 d2r(1)H \;=\; -J\sum_{\langle ij\rangle}\cos(\theta_i-\theta_j)\;\;\longrightarrow\;\; H[\theta]\;=\;\frac{J}{2}\int |\nabla\theta|^2\, d^2r \qquad (1)

where: θ(r)\theta(\mathbf{r}) is the local spin angle and JJ the exchange coupling; the continuum form holds for slowly varying configurations above the lattice scale aa. The stiffness JJ is the single coupling controlling everything below. Gaussian spin waves on (1) give the low-temperature correlations — power-law, not exponential.

⟨s(0)⋅s(r)⟩  =  (ar)η(T),η(T)  =  kBT2πJ(2)\langle \mathbf{s}(0)\cdot\mathbf{s}(\mathbf{r})\rangle \;=\; \Big(\frac{a}{r}\Big)^{\eta(T)}, \qquad \eta(T)\;=\;\frac{k_BT}{2\pi J} \qquad (2)

where: aa is the lattice (core) cutoff and η\eta the temperature-dependent decay exponent. Each TT below the transition is a critical point with its own η\eta; at the transition itself η(TKT)=1/4\eta(T_{KT})=1/4, a universal endpoint. A single vortex — the configuration spin waves cannot make — carries a logarithmically divergent energy.

Evortex  =  πJln⁡ ⁣(La)+Ec(3)E_{\text{vortex}} \;=\; \pi J \ln\!\Big(\frac{L}{a}\Big) + E_c \qquad (3)

where: LL is the linear system size, aa the core radius, and EcE_c the finite, non-universal core energy from r≲ar\lesssim a where the elastic description fails. For winding nn the coefficient becomes πJn2\pi J n^2 — why only n=±1n=\pm1 defects matter. Balancing (3) against the core's positional entropy gives the transition temperature.

F  =  E−TS  =  (πJ−2kBT)ln⁡ ⁣(La),kBTKT  =  πJ2(4)F \;=\; E - TS \;=\; \big(\pi J - 2k_BT\big)\ln\!\Big(\frac{L}{a}\Big), \qquad k_BT_{KT} \;=\; \frac{\pi J}{2} \qquad (4)

where: S=2kBln⁡(L/a)S=2k_B\ln(L/a) counts the (L/a)2(L/a)^2 core positions. Below TKTT_{KT}, F→+∞F\to+\infty as L→∞L\to\infty: isolated vortices forbidden. Above, F→−∞F\to-\infty: proliferation. The estimate uses the bare stiffness; pair screening renormalizes JJ down to ρs(T)\rho_s(T) and lowers the actual transition (Monte Carlo: kBTKT≈0.893 Jk_BT_{KT}\approx0.893\,J on the square lattice), but the criterion's form survives exactly. From above, the correlation length diverges faster than any power — an essential singularity.

ξ(T)  ∼  a exp⁡ ⁣(bT−TKT),T→TKT+(5)\xi(T) \;\sim\; a\,\exp\!\Big(\frac{b}{\sqrt{T-T_{KT}}}\Big), \qquad T\to T_{KT}^{+} \qquad (5)

where: bb is a non-universal constant. There is no exponent ν\nu: ξ\xi outgrows every power law ∣T−TKT∣−ν|T-T_{KT}|^{-\nu}, and the singular free energy ∼ξ−2\sim\xi^{-2} vanishes with all its derivatives — an infinite-order transition, invisible in the specific heat. The renormalized stiffness obeys the exact endpoint condition — the universal jump.

ρs(TKT−)kBTKT  =  2π  =  0.6366…,ρs(TKT+)  =  0(6)\frac{\rho_s(T_{KT}^{-})}{k_B T_{KT}} \;=\; \frac{2}{\pi}\;=\;0.6366\ldots, \qquad \rho_s(T_{KT}^{+})\;=\;0 \qquad (6)

where: ρs(T)\rho_s(T) is the renormalized spin stiffness (helicity modulus; for a superfluid film ρs=ℏ2σs/m2\rho_s=\hbar^2\sigma_s/m^2, σs\sigma_s the areal superfluid mass density). At TKTT_{KT} the stiffness sits exactly on the line (2/π)kBT(2/\pi)k_BT and then drops discontinuously to zero. The ratio 2/π2/\pi contains no material parameters — the same for helium films, superconducting films, and cold-atom gases.

Derivation AThe energy of a single vortex

The goal is the coefficient in equation (3): a winding-number +1+1 defect in the elastic theory (1) costs E=πJln⁡(L/a)E=\pi J\ln(L/a). The strategy is to translate the topological constraint — the angle winds by 2π2\pi around the core — into the gradient field it forces at every radius, then integrate the elastic energy density over the annulus from the core cutoff aa to the system edge LL. The subtlety: the logarithm is generated by the whole annulus, every decade of scale contributing equally — neither a core artefact nor an edge effect, which is why it competes cleanly with positional entropy at every scale.

Step 1. Impose the topology. A vortex of winding number nn at the origin means ∮C∇θ⋅dℓ=2πn\oint_C \nabla\theta\cdot d\boldsymbol{\ell} = 2\pi n for every loop CC encircling the core. The minimal-energy field with this constraint is the symmetric one, θ(r)=n φ\theta(\mathbf{r})=n\,\varphi, with φ\varphi the polar angle.

Step 2. Read off the gradient. On a circle of radius rr the angle changes by 2πn2\pi n over circumference 2πr2\pi r, so ∣∇θ∣=n/r|\nabla\theta| = n/r, azimuthal. The gradient decays only as 1/r1/r — the topological charge is felt at all distances, unlike a spin wave, whose gradients can be made arbitrarily small everywhere.

Step 3. Integrate the elastic energy density. With n=1n=1, E=J2∫∣∇θ∣2 d2r=J2∫aL1r2 (2πr) dr=πJ∫aLdrr=πJ ln⁡ ⁣(La).E=\frac{J}{2}\int |\nabla\theta|^2\,d^2r = \frac{J}{2}\int_a^{L} \frac{1}{r^2}\,(2\pi r)\,dr = \pi J\int_a^{L}\frac{dr}{r} = \pi J\,\ln\!\Big(\frac{L}{a}\Big). The 1/r21/r^2 from the squared gradient times the 2πr2\pi r area element gives 1/r1/r, integrating to the logarithm — equal energy per decade of scale.

Step 4. Note the corrections. The region r<ar<a contributes the finite, non-universal core energy EcE_c (absorbed into the fugacity y=e−Ec/kBTy=e^{-E_c/k_BT} later). General winding gives E=πJn2ln⁡(L/a)E=\pi J n^2\ln(L/a): doubly charged vortices cost four times the energy with no extra positional entropy, so the transition is carried by n=±1n=\pm1. A +1,−1+1,-1 pair at separation dd has its far fields cancel, cutting the integral off at dd: Epair≈2πJln⁡(d/a)+2EcE_{\text{pair}}\approx 2\pi J\ln(d/a)+2E_c — finite, which is why pairs exist at every temperature. Verified: the companion verifier performs the Step-3 integral symbolically with sympy — J2∫aLr−2 2πr dr=πJln⁡(L/a)\tfrac{J}{2}\int_a^L r^{-2}\,2\pi r\,dr = \pi J\ln(L/a) exactly.

Go deeper · Derivation B · 1 minThe Kosterlitz-Thouless free-energy argument
Derivation BThe Kosterlitz-Thouless free-energy argument

The goal is equation (4): the sharp temperature kBTKT=πJ/2k_BT_{KT}=\pi J/2 above which isolated vortices proliferate. The strategy — the original Kosterlitz-Thouless argument, one of the great back-of-envelope calculations of condensed-matter physics — is to write the free energy of a single free vortex in a system of size LL and watch its sign in the thermodynamic limit. It works only because energy and entropy carry the same ln⁡(L/a)\ln(L/a): for any other functional form one term would win at all temperatures and there would be no finite-temperature transition.

Step 1. Energy. From the first derivation, a single n=±1n=\pm1 vortex costs E=πJln⁡(L/a)+EcE=\pi J\ln(L/a)+E_c; as L→∞L\to\infty the core term is negligible against the logarithm.

Step 2. Entropy. The core can occupy any of (L/a)2(L/a)^2 plaquettes, so S=kBln⁡[(L/a)2]=2kBln⁡(L/a)S=k_B\ln[(L/a)^2]=2k_B\ln(L/a) — the same logarithm, different coefficient.

Step 3. Compete. F=E−TS=(πJ−2kBT)ln⁡(L/a)F = E-TS = \big(\pi J-2k_BT\big)\ln(L/a). For kBT<πJ/2k_BT<\pi J/2 the coefficient is positive and F→+∞F\to+\infty: the Boltzmann weight of a free vortex vanishes as the power (a/L)(πJ−2kBT)/kBT(a/L)^{(\pi J-2k_BT)/k_BT} — free vortices are absent in the thermodynamic limit, and vorticity exists only in bound neutral pairs. For kBT>πJ/2k_BT>\pi J/2 the coefficient is negative, F→−∞F\to-\infty: proliferation, halted only when the growing plasma screens the logarithmic interaction itself.

Step 4. Locate the transition and interpret. The sign change defines kBTKT=πJ/2k_BT_{KT}=\pi J/2. Two refinements sharpen but do not alter the result. First, bound pairs present below TKTT_{KT} polarize in the field of a test vortex like molecules in a dielectric, replacing JJ by the renormalized stiffness ρs(T)<J\rho_s(T)<J; run self-consistently, the criterion becomes kBTKT=π2ρs(TKT)k_BT_{KT}=\tfrac{\pi}{2}\rho_s(T_{KT}) — the exact renormalized statement, equation (6) read backwards. The screening is substantial: Monte Carlo places the square-lattice transition at kBTKT≈0.893 Jk_BT_{KT}\approx0.893\,J, well below the bare π/2≈1.571 J\pi/2\approx1.571\,J. Second, the same balance read scale-by-scale generates the flow equations of the next derivation. Verified: the verifier confirms symbolically that F=(πJ−2kBT)ln⁡(L/a)F=(\pi J-2k_BT)\ln(L/a) changes sign precisely at T=πJ/2kBT=\pi J/2k_B, evaluating the coefficient at TKT/2T_{KT}/2 (positive, bound) and 2TKT2T_{KT} (negative, free).

Go deeper · Derivation C · 1 minThe universal stiffness jump from vortex relevance
Derivation CThe universal stiffness jump from vortex relevance

The goal is equation (6): at the transition the renormalized stiffness takes the parameter-free value ρs/kBTKT=2/π\rho_s/k_BT_{KT}=2/\pi, then drops to zero. The strategy is renormalization-group in miniature: ask how the vortex fugacity — the statistical weight per unit area — changes under coarse-graining, using only the energy-entropy logarithms already derived. The subtlety is to phrase the KT criterion scale by scale: what matters is the dimensionless stiffness K(ℓ)=ρs(ℓ)/kBTK(\ell)=\rho_s(\ell)/k_BT at the scale examined, because pairs smaller than that scale are already absorbed into KK.

Step 1. Define the players. Let K=ρs/kBTK=\rho_s/k_BT be the dimensionless renormalized stiffness and y=e−Ec/kBTy=e^{-E_c/k_BT} the vortex fugacity at the core scale. A vortex at scale r=aeℓr=ae^{\ell} carries Boltzmann suppression (r/a)−πK(r/a)^{-\pi K} from its elastic energy and phase-space gain (r/a)2(r/a)^{2} from its positional freedom.

Step 2. Coarse-grain the fugacity. Combining the two factors, y(ℓ)=y e(2−πK)ℓy(\ell) = y\, e^{(2-\pi K)\ell}, i.e. dydℓ=(2−πK) y.\frac{dy}{d\ell} = \big(2-\pi K\big)\,y . Vortices are irrelevant (bound) when πK>2\pi K>2 and relevant (proliferating) when πK<2\pi K<2. Marginality πK=2\pi K=2 is the scale-invariant restatement of the free-energy argument.

Step 3. Close the system. Pairs at scale ℓ\ell screen the stiffness felt at larger scales, as bound charges screen a 2D Coulomb plasma: to leading order, dK−1dℓ=4π3y2+O(y4).\frac{dK^{-1}}{d\ell} = 4\pi^3 y^2 + \mathcal{O}(y^4). These are the Kosterlitz recursion relations. On the critical separatrix the flow terminates on the fixed line y∗=0y^*=0 with terminal stiffness πK∗=2\pi K^*=2; every low-temperature point flows to some K∗(T)>2/πK^*(T)>2/\pi, and integrating the flow just above the separatrix yields the essential singularity of equation (5).

Step 4. Read off the jump. As T→TKT−T\to T_{KT}^{-} the terminal stiffness approaches the marginal value, so lim⁡T→TKT−ρs(T)/kBT=K∗(TKT)=2/π\lim_{T\to T_{KT}^-}\rho_s(T)/k_BT=K^*(T_{KT})=2/\pi, while for any T>TKTT>T_{KT} the fugacity runs away and screening drives ρs→0\rho_s\to0. Hence the discontinuity, with no material constant anywhere — the Nelson-Kosterlitz universal jump. Consistency: inserting K=2/πK=2/\pi into η=1/(2πK)\eta=1/(2\pi K) gives η(TKT)=1/4\eta(T_{KT})=1/4, the universal endpoint of the critical line. Verified: the verifier checks 2/π=0.636622/\pi=0.63662, the endpoint η=1/(2πK)=1/4\eta=1/(2\pi K)=1/4 at K=2/πK=2/\pi, and η(TKT)=kBTKT/2πJ=1/4\eta(T_{KT})=k_BT_{KT}/2\pi J=1/4 in the bare theory as well.

Limiting cases

Each limit is a consistency check on the vortex picture.

CaseResultMeaning
T→0T\to0η→0\eta\to0, ρs→J\rho_s\to J, pairs exponentially rareNearly ordered; pure spin-wave physics; bare stiffness.
0<T<TKT0<T<T_{KT}⟨s(0)⋅s(r)⟩∼r−η(T)\langle\mathbf{s}(0)\cdot\mathbf{s}(r)\rangle\sim r^{-\eta(T)}, η=kBT/2πρs\eta=k_BT/2\pi\rho_sLine of critical points, continuously varying exponent — QLRO; magnetization still zero (Mermin-Wagner respected).
T=TKTT=T_{KT}η=1/4\eta=1/4, ρs=(2/π)kBTKT\rho_s=(2/\pi)k_BT_{KT}, then jump to 00Universal endpoint: exponent and stiffness ratio fixed by no material parameter.
T→TKT+T\to T_{KT}^{+}ξ∼eb/T−TKT\xi\sim e^{b/\sqrt{T-T_{KT}}}, ρs=0\rho_s=0Essential singularity, infinite order; free-vortex plasma screens all stiffness; smooth specific heat.

Worked examples

Example 1 — A magnetic film with J/k_B = 1 K. A quasi-2D easy-plane magnet has exchange coupling J/kB=1J/k_B=1 K. Estimate the KT temperature, the stiffness jump, and compare with the honest (renormalized) numbers.

Step 1. Bare estimate, equation (4): TKT=(π/2)(1 K)=1.571 KT_{KT}=(\pi/2)(1\ \mathrm{K})=\mathbf{1.571\ K}.

Step 2. The stiffness at the transition, equation (6): ρs(TKT−)/kB=(2/π) TKT=(2/π)(π/2)(1 K)=1.000 K\rho_s(T_{KT}^-)/k_B=(2/\pi)\,T_{KT}=(2/\pi)(\pi/2)(1\ \mathrm{K})=\mathbf{1.000\ K} — exactly the bare J/kBJ/k_B, as it must be: the naive estimate says the transition happens where the unrenormalized stiffness sits on the 2/π2/\pi line.

Step 3. Screening in reality. Bound pairs reduce the stiffness before the transition arrives, so the true transition sits lower: Monte Carlo gives kBTKT≈0.893 Jk_BT_{KT}\approx0.893\,J, hence TKT≈0.893 KT_{KT}\approx\mathbf{0.893\ K} and an actual jump height ρs/kB=(2/π)(0.893)≈0.568 K\rho_s/k_B=(2/\pi)(0.893)\approx\mathbf{0.568\ K}. The bare estimate overshoots by 76%76\%, all of it vortex-pair screening. The takeaway: the bare argument nails the mechanism and the universal ratio; renormalization moves only the non-universal location.

Example 2 — The Nelson-Kosterlitz line for helium films. For a superfluid film the phase stiffness is ρs=ℏ2σs/m2\rho_s=\hbar^2\sigma_s/m^2, with σs\sigma_s the areal superfluid mass density and mm the 4^4He atomic mass. Turn the universal jump into a measurable prediction.

Step 1. Insert into equation (6): ℏ2σs(Tc)/m2=(2/π)kBTc\hbar^2\sigma_s(T_c)/m^2 = (2/\pi)k_BT_c, so σs(Tc)Tc=2m2kBπℏ2\frac{\sigma_s(T_c)}{T_c} = \frac{2m^2k_B}{\pi\hbar^2} — every quantity on the right a fundamental constant, the same for every film, whatever its thickness or substrate.

Step 2. Evaluate with m=6.6447×10−27m=6.6447\times10^{-27} kg: σs(Tc)/Tc=3.49×10−9 g cm−2 K−1.\sigma_s(T_c)/T_c = \mathbf{3.49\times10^{-9}\ g\,cm^{-2}\,K^{-1}}.

Step 3. Interpret. A film going superfluid at Tc=1T_c=1 K must arrive carrying 3.5×10−93.5\times10^{-9} g/cm² of areal superfluid density, then lose it discontinuously. Bishop and Reppy's 1978 torsional-oscillator experiments traced σs(Tc)/Tc\sigma_s(T_c)/T_c across films of widely varying thickness — the data collapse onto exactly this line. The takeaways: the KT theory makes a zero-parameter quantitative prediction, σs(Tc)/Tc=3.49×10−9\sigma_s(T_c)/T_c=3.49\times10^{-9} g cm⁻² K⁻¹, and experiment confirms it.

Origins · 1 mintopological defect and how this was discovered
TD
topological defect
1971–2016 · The field configurations whose winding number no smooth deformation can undo — and whose unbinding drives a phase transition beyond the Landau paradigm

A topological defect is a configuration — here the XY vortex — classified by an integer winding that no continuous deformation can remove; it can disappear only by annihilating with a partner of opposite charge. That robustness is why defects, not spin waves, control the fate of two-dimensional order. Vadim Berezinskii (1935–1980) in Moscow argued in 1971 that the low-temperature 2D XY phase is qualitatively distinct despite carrying no magnetization; John Kosterlitz (b. 1943) and David Thouless (1934–2019) in Birmingham independently identified the vortex-unbinding mechanism in 1972–73, and Kosterlitz's 1974 renormalization group made it quantitative. The 2016 Nobel Prize went to Thouless, Haldane and Kosterlitz — the recognition that topology, not symmetry, can organize phases of matter. Berezinskii did not live to see it; the transition carries the initials of all three (BKT).

History
1966
— Mermin and Wagner prove there is no spontaneous breaking of a continuous symmetry in two dimensions at finite temperature
1971
— Berezinskii's first JETP paper identifies the anomalous low-temperature phase of 2D systems with continuous symmetry
1972
— Berezinskii's second paper treats the discrete vortex degrees of freedom; Kosterlitz and Thouless publish their first short letter in J. Phys. C
1973
— Kosterlitz and Thouless, "Ordering, metastability and phase transitions in two-dimensional systems" (J. Phys. C 6, 1181): the vortex-unbinding transition
1974
— Kosterlitz derives the renormalization-group recursion relations and the essential singularity of the correlation length
1977
— Nelson and Kosterlitz predict the universal superfluid-density jump 2/π
1978
— Bishop and Reppy confirm the universal jump in torsional-oscillator experiments on superfluid helium films
1979
— Halperin, Nelson and Young extend the theory to two-stage 2D melting (KTHNY)
2006
— Hadzibabic and collaborators observe BKT physics interferometrically in a trapped 2D atomic Bose gas
2016
— Nobel Prize in Physics to Thouless, Haldane and Kosterlitz for topological phase transitions and topological phases of matter

Going further

References. Berezinskii, Sov. Phys. JETP 32, 493 (1971); 34, 610 (1972) · Kosterlitz & Thouless, J. Phys. C 6, 1181 (1973) · Kosterlitz, J. Phys. C 7, 1046 (1974) · Nelson & Kosterlitz, PRL 39, 1201 (1977) · Bishop & Reppy, PRL 40, 1727 (1978) · Kardar, Statistical Physics of Fields, Ch. 8 · Cardy, Scaling and Renormalization, Ch. 6.

Provenance. A verifier should reproduce: (1) the vortex-energy integral =πJln⁡(L/a)=\pi J\ln(L/a) symbolically; (2) the entropy coefficient 22; (3) the sign change of (πJ−2kBT)ln⁡(L/a)(\pi J-2k_BT)\ln(L/a) at kBTKT=πJ/2k_BT_{KT}=\pi J/2; (4) the ratio 2/π=0.636622/\pi=0.63662 and endpoint η=1/4\eta=1/4 at K=2/πK=2/\pi; (5) the helium line σs/Tc=2m2kB/πℏ2=3.49×10−9\sigma_s/T_c=2m^2k_B/\pi\hbar^2=3.49\times10^{-9} g cm⁻² K⁻¹; (6) that eb/te^{b/\sqrt{t}} outgrows any power of 1/t1/t; (7) Example 1's TKT=π/2T_{KT}=\pi/2 K and jump 1.01.0 K; (8) the spin-wave power law with η=kBT/2πJ\eta=k_BT/2\pi J.

Builds on: The XY Model and Continuous Spins · Mermin-Wagner Theorem and Lower Critical Dimension · Correlation Length and Its Divergence. Leads to: Universality and Universality Classes · superfluid films and the universal jump · KTHNY theory of two-dimensional melting.

If there is no order parameter, in what sense is this a phase transition at all?

In the sharpest sense: a non-analyticity of the free energy in the thermodynamic limit separating qualitatively different phases. Below TKTT_{KT} correlations decay as a power law and the stiffness is finite; above, correlations decay exponentially and ρs=0\rho_s=0 — not smoothly connectable, since the stiffness jumps. What is absent is only the Landau signature: an order parameter and a broken symmetry. The KT transition showed the Landau checklist is sufficient but not necessary for a genuine transition — precisely why it was revolutionary.

How can the low-temperature phase be a line of critical points?

A critical point is a state with scale-invariant, power-law correlations. The 2D XY model has ⟨s(0)⋅s(r)⟩∼r−η(T)\langle\mathbf{s}(0)\cdot\mathbf{s}(r)\rangle\sim r^{-\eta(T)} at every temperature below TKTT_{KT}, with η\eta growing from 00 toward 1/41/4 — an interval of critical points, in RG language a fixed line. Exponents in this phase are non-universal (they depend on TT); the endpoint η(TKT)=1/4\eta(T_{KT})=1/4 is universal.

Why do vortices matter when spin waves already destroy the order?

They do different jobs. Spin waves kill true long-range order (Mermin-Wagner) but are too gentle to produce exponential decay: they leave a power law at any temperature. Vortices are what spin waves cannot build — a 2π2\pi winding is a topological invariant. Only when free vortices proliferate does phase-scrambling appear at all scales, converting power-law into exponential decay. The transition is exactly where the defect sector takes over.

Why does the energy-entropy argument give a sharp transition rather than a crossover?

Because both terms scale as the same logarithm of system size. In the thermodynamic limit F=(πJ−2kBT)ln⁡(L/a)F=(\pi J-2k_BT)\ln(L/a) is +∞+\infty or −∞-\infty by the sign of the coefficient alone: a free vortex is strictly forbidden below TKTT_{KT} and infinitely favourable above. Energy growing like LL against entropy ln⁡L\ln L would forbid defects at all temperatures; two finite terms would give only a crossover. The logarithm-versus-logarithm competition is the whole trick.

Is the universal jump really universal across lattices and materials?

The location is non-universal — kBTKT≈0.893 Jk_BT_{KT}\approx0.893\,J on the square lattice, thickness-dependent in films. But the ratio 2/π2/\pi contains no microscopic parameter: it comes from the marginality condition πK=2\pi K=2, which knows only the long-wavelength form ρs2∫(∇θ)2\tfrac{\rho_s}{2}\int(\nabla\theta)^2. Any system coarse-graining to a 2D U(1)U(1) phase field — helium films, superconducting films, 2D Bose gases — must show the same 2/π2/\pi. Bishop and Reppy's data collapsed films of many thicknesses onto the single Nelson-Kosterlitz line.

What would I actually see in the specific heat at T_KT?

Almost nothing — and that is a prediction. The singular free energy scales as ξ−2∼e−2b/T−TKT\xi^{-2}\sim e^{-2b/\sqrt{T-T_{KT}}}, vanishing at TKTT_{KT} with all its derivatives: infinite order. The specific heat has only a smooth bump above TKTT_{KT}, where pair-ionization entropy is released. The transition is diagnosed instead through the stiffness (torsional oscillators, third sound), transport (the V∼IaV\sim I^a exponent), or vortex imaging in cold-atom interference.

How does this relate to two-dimensional melting?

Halperin, Nelson and Young ported the mechanism to 2D crystals, which host two defect types: dislocations (translational order) and disclinations (orientational order). KTHNY theory predicts melting in two KT-like steps — dislocation unbinding gives a "hexatic" phase with quasi-long-range orientational but short-range translational order; disclination unbinding then gives the liquid. Colloidal monolayers show both steps — the same logarithm competition run twice.

Before this

Where this leads