Berezinskii–Kosterlitz–Thouless transition Created 2026-09-24 Updated 2026-10-18
The Berezinskii–Kosterlitz–Thouless transition in the two-dimensional XY model separates a low-temperature phase with algebraically decaying correlations from a high-temperature phase with unbound vortices and exponentially decaying correlations. It does not produce conventional long-range order.
How can something resist a twist when its orientation never settles down? The distinction is between long-range order, a nonzero limiting correlation function, and phase stiffness, a free energy cost for a slow spatial twist. In a uniform two-dimensional XY model at positive temperature, smooth spin waves can erase the first while leaving the second finite. Vortex-antivortex binding then decides whether that resistance survives on arbitrarily large scales.
Vadim Lvovich Berezinskii developed an earlier description of two-dimensional order. John Michael Kosterlitz and D. J. Thouless independently developed the defect mechanism; Kosterlitz's 2016 lecture explicitly acknowledges their initial ignorance of Berezinskii's work. The central step was to include rare vortices alongside smooth spin waves.[ref]
The Mermin-Wagner theorem concerns continuous symmetry and sufficiently short-range interactions in the thermodynamic limit. It does not say that every two-dimensional system is disordered in every sense, nor that every continuous symmetry gives a Berezinskii–Kosterlitz–Thouless transition. Here the order parameter has a circular phase, permitting integer winding numbers. Finite-scale vortex renormalization explains why a finite sample can look coherent even when its infinite counterpart lacks long-range order.
Compact phase sectors 2026-10-20
An XY model orientation takes values on a circle, so a circuit around an excluded defect core can carry integer winding number. Smooth single-valued spin waves cannot change that integer without a core event or boundary crossing. The locally quadratic order-parameter phase action therefore describes a sector, rather than automatically summing every compact-field configuration. Vortex-antivortex unbinding changes the large-distance correlation function and renormalized phase stiffness, even though ordinary long-range order is already absent in two dimensions at positive temperature.
An experiment of size stops the renormalization-group flow at a finite . In the leading scaled model take the original initial conditions and . The invariant is respectively . The first approaches , hence ; the second follows the critical separatrix; the third eventually leaves the small-vortex fugacity regime. These are chosen model trajectories, with no fitted experimental parameters.
On the critical separatrix, implies , hence
Even a critical finite sample therefore has a phase stiffness above its asymptotic jump value, with a slow logarithmic correction in . Slightly above the transition, a sample with can resemble the algebraic phase before the flow reaches unbound vortices. A trap additionally varies the local density and phase stiffness; neither its whole-cloud coherence nor a finite observation window automatically measures the homogeneous thermodynamic limit.
Figure 1.
Original scaled vortex flow and finite-scale stiffness
. The arrows increase observation distance in the leading near-critical model , . All three colored trajectories start at . The right panel uses along the same trajectories. The plot is a mathematical illustration, not historical data; the dilute model must be abandoned when the vortex fugacity grows large. Details.
Infrared spin-wave correlations of the XY model Created 2026-10-14 Updated 2026-10-20
For the Gaussian functional integral with dimensionless phase stiffness and a microscopic cutoff , the Gaussian phase averaging identity gives the displayed correlation function. In two dimensions the phase-difference variance is , so the XY model has algebraic spin wave correlations with exponent . In one dimension the variance is , giving exponential decay. Above two dimensions the variance has a finite large-distance limit within the low-temperature spin wave approximation. The Laplacian Green function solves ; integration over a sphere fixes for and for . A fixed uniform phase and ultraviolet regularization are required to define itself; phase differences eliminate the constant.
For the unit-sphere nonlinear sigma model with action , parameterize a slowly rotating background by and tangent vectors , for . Write . For constant slow , the coefficient of in is . The fast Gaussian field theory gives , where . The omitted linear term integrates to zero, and terms cubic in the fast variables have zero one-loop average. Thus precisely tangent components reduce the phase stiffness . Restoring the cutoff in gives . This weak-coupling expansion requires ; the discrete target has no tangent expansion.
Pairing can establish a local binding or gap scale before a system develops phase-coherent transport. An actual superconducting transition temperature depends on both the pair scale and the phase stiffness. Low carrier density or weak interlayer coupling can make phase ordering the lower scale even when the pairing amplitude is appreciable. A minimum or smooth interpolation of two estimated scales is a qualitative guide, not a substitute for a self-consistent theory of the crossover.
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.
Spontaneous symmetry breaking occurs when the Hamiltonian has a symmetry that an equilibrium pure thermodynamic phase does not share. For a ferromagnetic XY model, a nonzero magnetization selects an orientation even though the zero-field Hamiltonian is rotation invariant. The order of limits matters: with the volume and a field selecting the orientation, the spontaneous magnetization is
A finite system at zero field instead averages over symmetry-related orientations and has zero vector magnetization. Below an ordered transition, that symmetric mixture must be distinguished from a selected pure thermodynamic phase.
A Goldstone mode is a soft fluctuation tangent to the continuously degenerate family of equilibrium orientations. For the XY model, the uniform change costs no energy. Local changes cost only gradients, so the Goldstone-mode effective free energy starts with , with no restoring term proportional to . A Fourier transform mode therefore has a stiffness proportional to , becoming arbitrarily soft at long wavelength. The dimensionless phase stiffness here is . These are the spin waves of the angle field. Their large thermal fluctuations can invalidate the proposed ordered phase in low dimension; the existence of a symmetry of the Hamiltonian alone does not guarantee its spontaneous breaking.
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.
The compact phase sectors arise because the angle is compact, . A circuit avoiding a defect core can have integer winding
Smooth single-valued small fluctuations remain in the zero-winding sector. Vortices with cannot be unwound without a core or a boundary crossing; the smooth Gaussian theory misses those sectors. For outside a core of radius ,
The positional entropy of a freely placed defect is approximately . For unit charge the corresponding heuristic free-energy cost is
Actual bulk configurations obey net-charge constraints, with vortex-antivortex pairs attracted logarithmically. At low temperature they remain bound; they renormalize the phase stiffness but do not screen away the algebraic correlations. Heating can unbind the pairs into a screening vortex plasma with short-range correlations: this is the Berezinskii–Kosterlitz–Thouless transition.
Figure 1.
Compact phase with opposite winding
. Original constructed XY orientation field theta=arg(z+1)-arg(z-1), with unit positive and negative winding about the two excluded cores. Arrows show magnetization orientation, not fluid velocity; a circuit around both cores has zero net winding. Details.
The sharp criterion uses the long-distance renormalized stiffness , not a bare coefficient: , giving algebraic exponent . Both phases have zero conventional spontaneous magnetization at positive temperature; they differ in vortex binding, correlations and stiffness.[ref]
The coupled quantum rotor chain has a compact phase and conjugate integer number . Expanding the cosine gives
In the phase-space Euclidean path integral, using inverse-energy time, each rotor has the action term . Completing its Gaussian square produces . Equivalently, apply the short-time free-rotor kernel locally and retain winding sectors. The smooth-sector continuum limit at unit spacing is consequently
The overall constant is omitted when the reference bond energy is subtracted. With the same physical J as the Hamiltonian, the printed spatial coefficient has an extra factor . The imaginary-time normalization for a coupled rotor chain requires inside a bracket with common prefactor . Setting hides the discrepancy; it cannot establish the printed formula with explicit physical units.
Returning to physical time gives . The harmonic phase mode of a quantum rotor chain therefore has
This is a gapless sound-like collective phase mode, analogous to neutral superfluid sound. In rotor-chain phase-number hydrodynamics, number fluctuations supply the compressibility and the intersite coupling supplies phase stiffness. The mode is a phase-density oscillation, not a free single-rotor transition. The global phase zero mode of a finite rotor chain is a compact rotor with inertia NI, which should not be counted as an independent zero-frequency oscillator.
The compactness qualification of a harmonic rotor chain matters here. The smooth harmonic theory requires small neighbouring phase differences and cannot settle the entire strong-fluctuation phase diagram. In one dimension its zero-temperature phase variance grows logarithmically, so the gapless regime has algebraic phase correlations rather than a true condensate. Thermal fluctuations and compact phase slips require additional care; phase-slip proliferation can produce a gapped phase outside the Gaussian regime. [ref]
For a uniform time-independent saddle, extremizing the action gives . Its grand-potential density is , with . Since , the minimum at positive density for is
For the uniform mean-field minimum is the vacuum, rather than a positive-density condensate. At fixed nonzero density in the weakly interacting condensed regime, the saddle relation sets . The mean-field one-body density matrix factorizes as , giving macroscopic occupation of the uniform mode. Depletion corrections are omitted at this stage.
The action has the global particle-number symmetry , . Choosing one saddle phase breaks this symmetry; the degenerate mean-field minima form the circle . There is no energetic preference for a uniform value of , but spatially varying phase costs gradient energy. Consequently a neutral condensate has a gapless Goldstone mode and a nonzero phase stiffness. The mode becomes sound once density dynamics is included. With the superfluid velocity is , so a single-valued field allows circulation in units around a closed loop that avoids zeros of the amplitude. This phase coherence and rigidity are the physical content of the broken-symmetry description.
The claim is a mean-field saddle statement, not an assertion that every and temperature in the question supports true long-range order. In a finite number-conserving system ; the symmetry-breaking order parameter is defined with the thermodynamic limit taken before an infinitesimal source is removed. In a homogeneous infinite short-range gas at nonzero temperature, infrared phase fluctuations prohibit true condensation in . In one dimension they also destroy true condensate long-range order at zero temperature. A two-dimensional gas can nevertheless have superfluidity and algebraically decaying correlations below a Berezinskii–Kosterlitz–Thouless transition. A finite trap can have substantial coherence without contradicting these thermodynamic statements.[ref]
At wavelengths with , neglect the density-gradient term in the quadratic density-phase action. Complete the square in its remaining density terms:
The convergent Gaussian integral can be performed by a contour shift or by its Fourier-transform identity. Its determinant is independent of at this order. Combining that normalization with the saddle action into a constant gives
The saddle contribution to is ; the additional measure-dependent constant need not be assigned an invented numerical value. The density Gaussian extends the fluctuation integration beyond its exact positivity domain, which is justified only while fluctuations around are small. The smooth zero-winding assumption is also required as discussed above. A constant global phase zero mode gives a finite compact-group volume, handled separately from nonzero phonon modes.
Fourier transforming the Bose-gas phase-only action gives a kernel . Analytically continuing gives its real-frequency poles,
In the present units the excitation energy equals . Each real Fourier coordinate is a harmonic oscillator with inertia coefficient and spring coefficient , hence frequency equal to the square root of their ratio. This is the direct relation to a quantum harmonic chain. The mode is a gapless sound phonon; its finite speed reflects both the compressibility and the phase stiffness .
Retaining the density-gradient term provides a useful check. Its integration instead gives a temporal coefficient , so
This is the Bogoliubov spectrum. Its small- limit is the derived sound branch; at large within the contact model it crosses towards particle-like behaviour. The crossover in the squared dispersion is , precisely the scale beyond which the discarded density gradient is not small.
The same action checks the dimensional restriction in the saddle analysis. At nonzero temperature its zero Matsubara mode gives phase fluctuations proportional to ; at zero temperature integrating the frequency gives . Their infrared divergences invalidate uniform true long-range order for at nonzero temperature and for at zero temperature. The long-wave collective description can remain useful for correlations even where a global condensate saddle is not a literal symmetry-broken state. The contact coupling here is an effective low-energy parameter; this calculation does not determine ultraviolet renormalization or trap-specific surface modes.
Figure 1.
Original dimensionless Bogoliubov dispersion and its sound and particle limits
. Details.
In weak-coupling conventional superconductivity, a useful guide is : an appreciable phonon scale and an effective attraction after Coulomb effects are favorable. A large density of states at the Fermi level can strengthen pairing, while light constituent masses can raise relevant phonon frequencies. Increasing electron–phonon coupling without limit is not a general strategy: lattice instabilities, competing order and changes to the phonon spectrum constrain it, and stronger coupling requires treatment beyond the simple exponential expression.
For unconventional high-temperature superconductivity, strong electronic interactions and magnetic fluctuations can support sign-changing pairing, as in d-wave superconductivity. Layered structures and proximity to magnetic order may enhance useful correlations, but can also promote competing insulating or density-wave states. Sufficient mobile-carrier phase stiffness is needed to turn pairing into coherent superconductivity; strong pairing alone does not guarantee a large transition temperature. Disorder that is relatively harmless to an isotropic conventional pair state can be pair-breaking for sign-changing gaps. There is no universal recipe established by these qualitative conditions: the pairing interaction, symmetry, carrier density, competing phases and phase coherence must all be considered.
Phase stiffness Created 2026-10-05 Updated 2026-10-18
The phase stiffness is the coefficient of in the long-distance free energy. Its renormalized value determines the thermal phase fluctuations and algebraic correlation function of a two-dimensional O(N) model with .
Operationally impose a small phase difference between opposite sides of a square sample of side . The smooth minimum has , so the two-dimensional excess free energy is
The derivative concerns a prescribed twist at the stated observation scale; in dimensions its conventional size factor is . This response definition includes thermal fluctuations and vortices after equilibration, whereas a microscopic gradient coefficient need not. A finite phase stiffness requires no nonzero spatially uniform order parameter; the Berezinskii–Kosterlitz–Thouless transition is the instructive example.
Quasi-long-range order Created 2026-10-03 Updated 2026-10-18
Quasi-long-range order means that correlations decay algebraically rather than approaching a nonzero constant. It occurs in the low-temperature phase of the two-dimensional XY model, where spin waves destroy true long-range order but bound vortex pairs preserve power-law correlations.
For a dimensionless Gaussian action , the phase-difference variance at is up to bounded cutoff terms. Gaussian phase averaging then gives
Every positive makes , so there is no conventional long-range order, even when the phase stiffness is finite. This is how an accumulation of gentle, cheap twists destroys global alignment without making every local twist free.
With , number and compact phase are conjugate variables. Their long-wavelength Hamiltonian has compressibility coefficient and phase stiffness J. The canonical equations and combine into . The resulting phase-density wave has physical sound speed at unit spacing. A superfluid has the same low-energy structure even though the rotor coordinate is not the displacement of a mass on a spring.
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.
Superfluid Created 2026-09-24 Updated 2026-10-18
A superfluid exhibits superfluidity, with phase stiffness and a phase-gradient current. In an appropriate ordered or quasi-ordered regime it supports low-speed flow without viscous dissipation, and its long-wavelength Goldstone boson has a sound-like dispersion. True thermodynamic phase selection and Bose-Einstein condensation need separate infrared conditions.