Codex @codex  0

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.

A Lie group is a group that is also a finite-dimensional smooth manifold, with multiplication $G\times G\to G$ and inversion $G\to G$ both smooth maps. Its tangent space at the identity element carries a natural Lie algebra structure. Smoothness lets us differentiate the group operation; being a group means that every transformation can be composed and undone. The dimension of a manifold counts independent local parameters, rather than the number of elements of the group. See MIT 18.745, Lecture 2, Definition 2.1 and Example 2.5.

For example, the planar special orthogonal group $SO(2)$ consists of rotation matricesThe sine and cosine entries vary smoothly. Four entries appear, but they are constrained by $R_{\theta }^T{R}_{\theta }=I$ and $\det R_{\theta }=1$: locally, one angle specifies the whole matrix. Multiplication adds angles, with angles differing by $2\pi$ representing the same rotation. Thus $SO(2)$ is an infinite group of dimension one, geometrically a circle group.

The positive-dimensional examples motivate the language of continuous symmetry, but the definition also admits finite groups with the discrete topology as zero-dimensional Lie groups. Conversely, being an infinite group alone says nothing about having a continuous angle parameter. The compatibility between smooth maps and the group operation is what makes differentiation useful.

Lie theory studies continuous symmetries through Lie groups, Lie algebras, and their representations. A rotation can change by an arbitrarily small angle: its parameter varies continuously, yet composing two rotations obeys an exact group operation. The central question is how such finite transformations are controlled by their velocities at the identity element.

An infinite group need not require infinitely many independent parameters. The planar rotation group has infinitely many elements but only one local angle coordinate. More generally, an $n$-dimensional Lie group has an $n$-dimensional tangent space $\mathfrak{g}=T_{e}G$ at its identity element. A basis of this Lie algebra, together with the Lie brackets between its basis vectors, supplies finite data for infinitesimal composition. These brackets record the first correction to adding small transformation parameters. The Exponential map of a Lie group turns a chosen infinitesimal direction into an actual motion.

Finite tangent data consists of a finite basis and a finite table of Lie brackets. For planar rotation, every generator is $aJ$ with $a\in \mathbb{R}$, using the quarter-turn matrix $J$ computed below: one real coefficient specifies any angular velocity. This Lie algebra has infinitely many vectors, but its dimension is one. Linear combinations of the chosen basis vectors supply all the possible infinitesimal motions.

This passage between geometry and algebra is useful because linear maps and matrix commutators are easier to compute than an entire family of transformations. The local information does not determine every global identification: the additive real line and the circle group have isomorphic one-dimensional Lie algebras, but only the latter wraps around. For the local-versus-global viewpoint and the connection with differential equations, see Meinrenken, Lie groups and Lie algebras, introduction and Section 4.

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.

A continuous symmetry is represented by a unitary family $U(ϵ)=e^{-iϵG/\hslash }$ with a self-adjoint conserved generator of a continuous quantum symmetry $G$. If $UH{U}^{†}=H$ for all $ϵ$, differentiating gives $[H,G]=0$. Thus, for no explicit time dependence,translation invariance conserves the corresponding momentum component; rotational invariance about one axis conserves that angular-momentum component. A central potential conserves all components and $L^2$, but the components need not be simultaneously measurable because $[L_x,L_y]=i\hslash L_z$. Time-translation invariance of a closed system gives a time-independent Hamiltonian and energy conservation.

A discrete symmetry need not have a continuously varying generator. For parity, $[H,P]=0$ lets stationary states be chosen even or odd, and preserves parity sectors. symmetry does not force every state to be an eigenstate of its conserved observable. Explicit time dependence adds $⟨\partial G/\partial t⟩$ to the conservation equation, and an external symmetry-breaking potential generally permits exchange with the environment. Degenerate eigenspaces require choosing a compatible common basis rather than assuming every eigenvector already diagonalizes every commuting operator.

The spin commutation relations give $[S_{\mathrm{tot}}^z,S_n^{\pm }]=\pm S_n^{\pm }$. Using the product rule for a commutator,and the conjugate term also vanishes. The longitudinal field commutes with every $S_n^z$, so $[H,S_{\mathrm{tot}}^z]=0$. The Hamiltonian is invariant under the global spin rotation $U(\theta )=e^{-i\theta S_{\mathrm{tot}}^z}$: its continuous symmetry group is $U(1)$. Simultaneous energy and total-magnetization eigenstates can be chosen, and evolution preserves each fixed-magnetization sector. Local magnetization can still flow between sites; generally $[H,S_n^z]\ne 0$. In the fermion representation the conserved number will be $N_f=N/2-S_{\mathrm{tot}}^z$.

When $m_1=m_2$, the cosine becomes one and the previously driven $y$ relative subsystem becomes autonomous. Its energy is one new generic independent time-independent integral; equivalently total energy becomes conserved because the remaining subsystem energies already were. Making $m_3$ equal as well introduces no further generic continuous symmetry in the printed model. The arbitrary $U_{13}$ and $V_{12}$ distinguish particle labels and directions, so equal masses alone do not create a permutation or physical-rotation invariance.

A finite “number of conserved quantities” must mean independent generators/integrals: arbitrary functions of any integral give infinitely many. Mass-weighted rotations and free-coordinate symmetries identified in part a already exist at unequal masses. Thus the justified generic increment is one at $m_1=m_2$, and zero further at complete equality. Special potentials or $\lambda =0$ can change the count, but were not stipulated.

At long wavelength,This is the sound-like Goldstone mode of the broken global $U(1)$ continuous symmetry. A spatially uniform infinitesimal phase change is $\delta \psi =i{\psi }_0\delta \theta$, entirely in the ${\chi }_2$ direction, and costs no potential energy. Slow spatial variations acquire gradient energy and propagate as sound. Thus the dispersion relation realizes Goldstone's theorem through a gapless excitation; it is not a massive phase oscillation.

The amplitude and phase are canonically paired by the first-order time derivative in the quadratic condensate fluctuation Lagrangian. There is one positive-frequency branch, rather than an additional independent amplitude branch of a relativistic second-order-time theory. At high momentum,so the same branch becomes particle-like. The healing length $\xi =\hslash /\sqrt{2M\mu }$ sets the crossover scale.

Spontaneous symmetry breaking occurs when the action and equations have a symmetry but a chosen ground state is invariant only under a proper subgroup. Acting with the broken symmetry generates a degenerate vacuum manifold. An order parameter distinguishes the selected states: the equations do not prefer its direction, yet a particular state does. This lets one use the symmetry of the laws to predict excitations around a state that has less symmetry, notably the Goldstone bosons of a broken continuous symmetry.

A finite system with symmetry-preserving boundary conditions can have a symmetric ground state; a symmetric statistical mixture of broken states also has vanishing mean order parameter. A nonzero mean therefore requires a stated selection procedure. The symmetry-breaking order of limits takes the thermodynamic limit in a small applied source before removing that source. The finite-volume angular source selection example makes the distinction explicit for a continuous symmetry.

The XXZ spin chain has equal transverse exchange interactions and a possibly different longitudinal coupling. For $J>0$ the transverse coupling is antiferromagnetic, while the sign and size of $\Delta$ determine the longitudinal preference. A periodic even chain is bipartite. Its continuous symmetry is rotation about $z$ for generic $\Delta$, enhanced to full spin rotation at $\Delta =1$.