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 . Below , vortices and antivortices are bound in neutral pairs that merely soften the spin-wave phase. Above 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 but gains positional entropy , so the free energy of one free vortex flips sign at . 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 , the correlation length diverges with an essential singularity rather than a power law, and the superfluid stiffness drops to zero discontinuously by the universal amount — the same number in every film ever measured. This article derives the vortex energy, runs the free-energy argument to , 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.
- 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 : bound vortex-antivortex pairs; power-law correlations , — a line of critical points.
- A single vortex costs and gains entropy ; changes sign at .
- Above free vortices proliferate, screen the stiffness to zero, and force exponential decay.
- The transition is infinite-order: , an essential singularity; the specific heat stays smooth.
- Key idea: the stiffness does not go to zero continuously — it jumps from the universal value to zero, a parameter-free prediction confirmed in every superfluid film.
Both the energy of an isolated vortex and its positional entropy grow as , so their competition is decided by coefficients alone: flips sign at . 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 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 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 with nearest-neighbour coupling , 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 . The Mermin-Wagner Theorem and Lower Critical Dimension shows that gapless spin waves on this sheet destroy true long-range order at any — always. But the same spin-wave calculation leaves behind something remarkable: correlations that decay not exponentially but as a power law, , with temperature-dependent exponent . 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 the lattice model manifestly has exponentially short correlations. What the smooth spin-wave picture misses are vortices: point defects around which winds by . A vortex cannot be smoothed away — its winding number is a topological invariant. Around a vortex the spins circulate; around a antivortex they form the hyperbolic pattern in the figure below. A bound pair perturbs the spin field only out to the pair size (the windings cancel far away), costing finite energy for separation . 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.
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 out to the edge, so the elastic energy integrates to . But the core can sit on any of plaquettes — entropy , the same logarithm. The free energy of one free vortex is : for it is in the thermodynamic limit (free vortices absolutely forbidden; only bound pairs occur), while for it is (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.
Two consequences deserve emphasis. First, because the low-temperature phase is a line of critical points, varies continuously with temperature, from at up to exactly 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 , 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.
where: is the local spin angle and the exchange coupling; the continuum form holds for slowly varying configurations above the lattice scale . The stiffness is the single coupling controlling everything below. Gaussian spin waves on (1) give the low-temperature correlations — power-law, not exponential.
where: is the lattice (core) cutoff and the temperature-dependent decay exponent. Each below the transition is a critical point with its own ; at the transition itself , a universal endpoint. A single vortex — the configuration spin waves cannot make — carries a logarithmically divergent energy.
where: is the linear system size, the core radius, and the finite, non-universal core energy from where the elastic description fails. For winding the coefficient becomes — why only defects matter. Balancing (3) against the core's positional entropy gives the transition temperature.
where: counts the core positions. Below , as : isolated vortices forbidden. Above, : proliferation. The estimate uses the bare stiffness; pair screening renormalizes down to and lowers the actual transition (Monte Carlo: on the square lattice), but the criterion's form survives exactly. From above, the correlation length diverges faster than any power — an essential singularity.
where: is a non-universal constant. There is no exponent : outgrows every power law , and the singular free energy 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.
where: is the renormalized spin stiffness (helicity modulus; for a superfluid film , the areal superfluid mass density). At the stiffness sits exactly on the line and then drops discontinuously to zero. The ratio contains no material parameters — the same for helium films, superconducting films, and cold-atom gases.
The goal is the coefficient in equation (3): a winding-number defect in the elastic theory (1) costs . The strategy is to translate the topological constraint — the angle winds by 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 to the system edge . 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 at the origin means for every loop encircling the core. The minimal-energy field with this constraint is the symmetric one, , with the polar angle.
Step 2. Read off the gradient. On a circle of radius the angle changes by over circumference , so , azimuthal. The gradient decays only as — 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 , The from the squared gradient times the area element gives , integrating to the logarithm — equal energy per decade of scale.
Step 4. Note the corrections. The region contributes the finite, non-universal core energy (absorbed into the fugacity later). General winding gives : doubly charged vortices cost four times the energy with no extra positional entropy, so the transition is carried by . A pair at separation has its far fields cancel, cutting the integral off at : — finite, which is why pairs exist at every temperature. Verified: the companion verifier performs the Step-3 integral symbolically with sympy — exactly.
Go deeper · Derivation B · 1 minThe Kosterlitz-Thouless free-energy argument
The goal is equation (4): the sharp temperature 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 and watch its sign in the thermodynamic limit. It works only because energy and entropy carry the same : 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 vortex costs ; as the core term is negligible against the logarithm.
Step 2. Entropy. The core can occupy any of plaquettes, so — the same logarithm, different coefficient.
Step 3. Compete. . For the coefficient is positive and : the Boltzmann weight of a free vortex vanishes as the power — free vortices are absent in the thermodynamic limit, and vorticity exists only in bound neutral pairs. For the coefficient is negative, : proliferation, halted only when the growing plasma screens the logarithmic interaction itself.
Step 4. Locate the transition and interpret. The sign change defines . Two refinements sharpen but do not alter the result. First, bound pairs present below polarize in the field of a test vortex like molecules in a dielectric, replacing by the renormalized stiffness ; run self-consistently, the criterion becomes — the exact renormalized statement, equation (6) read backwards. The screening is substantial: Monte Carlo places the square-lattice transition at , well below the bare . Second, the same balance read scale-by-scale generates the flow equations of the next derivation. Verified: the verifier confirms symbolically that changes sign precisely at , evaluating the coefficient at (positive, bound) and (negative, free).
Go deeper · Derivation C · 1 minThe universal stiffness jump from vortex relevance
The goal is equation (6): at the transition the renormalized stiffness takes the parameter-free value , 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 at the scale examined, because pairs smaller than that scale are already absorbed into .
Step 1. Define the players. Let be the dimensionless renormalized stiffness and the vortex fugacity at the core scale. A vortex at scale carries Boltzmann suppression from its elastic energy and phase-space gain from its positional freedom.
Step 2. Coarse-grain the fugacity. Combining the two factors, , i.e. Vortices are irrelevant (bound) when and relevant (proliferating) when . Marginality is the scale-invariant restatement of the free-energy argument.
Step 3. Close the system. Pairs at scale screen the stiffness felt at larger scales, as bound charges screen a 2D Coulomb plasma: to leading order, These are the Kosterlitz recursion relations. On the critical separatrix the flow terminates on the fixed line with terminal stiffness ; every low-temperature point flows to some , and integrating the flow just above the separatrix yields the essential singularity of equation (5).
Step 4. Read off the jump. As the terminal stiffness approaches the marginal value, so , while for any the fugacity runs away and screening drives . Hence the discontinuity, with no material constant anywhere — the Nelson-Kosterlitz universal jump. Consistency: inserting into gives , the universal endpoint of the critical line. Verified: the verifier checks , the endpoint at , and in the bare theory as well.
Limiting cases
Each limit is a consistency check on the vortex picture.
| Case | Result | Meaning |
|---|---|---|
| , , pairs exponentially rare | Nearly ordered; pure spin-wave physics; bare stiffness. | |
| , | Line of critical points, continuously varying exponent — QLRO; magnetization still zero (Mermin-Wagner respected). | |
| , , then jump to | Universal endpoint: exponent and stiffness ratio fixed by no material parameter. | |
| , | Essential 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 K. Estimate the KT temperature, the stiffness jump, and compare with the honest (renormalized) numbers.
Step 1. Bare estimate, equation (4): .
Step 2. The stiffness at the transition, equation (6): — exactly the bare , as it must be: the naive estimate says the transition happens where the unrenormalized stiffness sits on the line.
Step 3. Screening in reality. Bound pairs reduce the stiffness before the transition arrives, so the true transition sits lower: Monte Carlo gives , hence and an actual jump height . The bare estimate overshoots by , 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 , with the areal superfluid mass density and the He atomic mass. Turn the universal jump into a measurable prediction.
Step 1. Insert into equation (6): , so — every quantity on the right a fundamental constant, the same for every film, whatever its thickness or substrate.
Step 2. Evaluate with kg:
Step 3. Interpret. A film going superfluid at K must arrive carrying g/cm² of areal superfluid density, then lose it discontinuously. Bishop and Reppy's 1978 torsional-oscillator experiments traced across films of widely varying thickness — the data collapse onto exactly this line. The takeaways: the KT theory makes a zero-parameter quantitative prediction, g cm⁻² K⁻¹, and experiment confirms it.
Origins · 1 mintopological defect and how this was discovered
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).
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 symbolically; (2) the entropy coefficient ; (3) the sign change of at ; (4) the ratio and endpoint at ; (5) the helium line g cm⁻² K⁻¹; (6) that outgrows any power of ; (7) Example 1's K and jump K; (8) the spin-wave power law with .
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 correlations decay as a power law and the stiffness is finite; above, correlations decay exponentially and — 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 at every temperature below , with growing from toward — an interval of critical points, in RG language a fixed line. Exponents in this phase are non-universal (they depend on ); the endpoint 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 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 is or by the sign of the coefficient alone: a free vortex is strictly forbidden below and infinitely favourable above. Energy growing like against entropy 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 — on the square lattice, thickness-dependent in films. But the ratio contains no microscopic parameter: it comes from the marginality condition , which knows only the long-wavelength form . Any system coarse-graining to a 2D phase field — helium films, superconducting films, 2D Bose gases — must show the same . 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 , vanishing at with all its derivatives: infinite order. The specific heat has only a smooth bump above , where pair-ionization entropy is released. The transition is diagnosed instead through the stiffness (torsional oscillators, third sound), transport (the 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.