The physical angle takes values on a circle, so it is defined modulo . 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 , an isolated charge- phase vortex has and . Its dimensionless energy in a sample of size is
There are of order positions for its core, so the positional entropy contributes . The competition for unit charge is therefore , 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 , where is the long-distance dimensionless stiffness, not necessarily the bare . It agrees with the universal stiffness jump and the limiting algebraic exponent . The two-dimensional transition is vortex unbinding between quasi-long-range order and disorder, rather than the onset of nonzero spontaneous magnetization.
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 energy
where is the phase stiffness. Gaussian averaging gives
Thus 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 , so it also permits topological defects with integer winding . A phase vortex has , and integration gives
A singly charged phase vortex can be placed in roughly locations, giving entropy . This energy-entropy balance suggests that isolated vortices become favorable when the effective stiffness falls to . 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 and dimensionless core fugacity , one conventional leading-order normalization gives
The 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 . Numerical coefficients in depend on its definition, but the zero-fugacity threshold is invariant. For , 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 and . To leading order and , so is invariant. The critical separatrix approaches . Just on the disordered side this invariant is , proportional to the reduced temperature deviation for a generic path through the transition. Hence , whose integration gives a time in logarithmic scale of order . Stopping when the fugacity becomes order one yields
with nonuniversal . 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 jump
Above , the thermodynamic long-distance stiffness vanishes and correlations decay exponentially. The singular free-energy contribution is of order and is exponentially small in , 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.
Assume for stability. With equal quadratic coefficients and , the internal symmetry is the full orthogonal group . In two dimensions at positive temperature, with short-range interactions, the Mermin-Wagner theorem forbids spontaneous symmetry breaking of this continuous symmetry. Thus in both phases in the infinite system; a nonzero average order parameter does not distinguish them.
Instead measure the correlation function
The 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 . Its long-distance Goldstone-mode effective free energy is . Restoring the Boltzmann constant and using the renormalized phase stiffness, the thermal phase fluctuations give
The Berezinskii–Kosterlitz–Thouless transition separates vortex-antivortex binding from unbound vortex defects. At the boundary, the universal stiffness jump gives and . 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 to zero.
Consider an original counting example: a square two-dimensional XY model of side , a microscopic core radius , and a fixed phase stiffness . This deliberately neglects screening by other vortices. Away from a unit phase vortex, and . Integrating the Goldstone-mode effective free energy over an annulus gives
Boundary shape changes finite terms. There are order core positions, so the positional entropy is , where is the Boltzmann constant. With , subtracting gives the displayed free energy.
For and , the dimensionless free energy cost is about at and at . The same logarithm appears in the cost and the positional reward: increasing the system size strengthens whichever has the larger coefficient. The corresponding one-defect Boltzmann factors, about and , are relative statistical weights, not normalized probabilities. The latter signals failure of a dilute single-defect estimate.
A single net phase vortex requires compatible boundaries: on a periodic sample use neutral pairs, as required by vortex charge neutrality. This argument identifies a possible threshold, but predicting the universal stiffness jump requires the renormalized phase stiffness, after smaller pairs have responded. It does not justify setting the transition temperature equal to a bare lattice coupling divided by a universal constant.
In 2006, Zoran Hadzibabic, Peter Krüger, Marc Cheneau, Baptiste Battelier and Jean Dalibard split a cooled rubidium-87 cloud into two independent planar gases using an optical lattice. After release, the expanding sheets overlapped; absorption imaging recorded their matter-wave interference. Smooth fringe waviness revealed thermal phase fluctuations, while sharp dislocations indicated isolated vortices. The initial evaporative-cooling endpoint controlled the preparation; central fringe contrast served as a degeneracy proxy because direct thermometry in the lattice was difficult.[ref]
Loss of extended coherence coincided with increased vortex signatures. The optical trap and finite cloud produced a crossover; tightly bound pairs were unresolved, and short-wavelength modes could contaminate high-temperature counts. These were observations of the vortex-unbinding mechanism, not a direct measurement of phase stiffness or a sharp homogeneous universal stiffness jump. The authors left the sample's superfluidity open.[ref]