Chiral symmetry 2026-10-06
Chiral symmetry allows independent flavor rotations of left-handed and right-handed fields. For two massless quark flavors, the non-Abelian chiral transformations form . The additional vector symmetry of baryon number acts trivially on the pion field . The low-energy pion field transforms as . Its derivative Skyrme model terms are invariant under constant . A chosen vacuum preserves the diagonal subgroup , which acts by conjugation and is the isospin symmetry. An ordinary common nonzero pion mass explicitly breaks the independent left/right symmetry to that vector subgroup; vacuum selection in the massless theory is instead spontaneous symmetry breaking. The singlet axial anomaly is a separate issue and is not part of this two-flavor non-anomalous group.
The zero-field Hubbard–Stratonovich transformation of an exponentially coupled Ising model produces , where . Since and tends to positive infinity, a symmetric double well exists exactly when . Its nonzero stationary points solve ; the ratio decreases from 2 to 0 for , proving that there is exactly one positive minimum. At the minimum is a single quartic minimum. A small conjugate field adds and tilts the wells, while a sufficiently large field can remove the metastable well. A finite barrier permits quantum tunnelling; two classical minima alone do not establish spontaneous symmetry breaking.
Kibble mechanism 2026-10-14
A spontaneous symmetry breaking chooses order-parameter directions independently in regions that have not been in causal contact. Mismatches around disconnected components, loops or enclosing spheres can trap domain walls, cosmic strings or magnetic monopoles. The correlation length cannot exceed the causal horizon, so one monopole per horizon volume estimates the smallest causal initial abundance up to geometrical and efficiency factors.
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.
Landau-Ginzburg theory describes a slowly varying order parameter by a local free-energy functional consistent with the microscopic symmetries. For a representative scalar system with spin-inversion symmetry, take the dimensionless functional
The gradient term penalizes spatial variation, while the even local potential implements the zero-field symmetry . The positive quartic coefficient stabilizes a continuous transition. A negative quartic coefficient requires higher powers and can instead produce a first-order phase transition. A vector order parameter gives the corresponding rotationally invariant model with powers of .
In the mean-field approximation, replace the field by a constant and minimize the local potential. Its equation of state and stable zero-field solutions are
Below the transition these two minima exhibit spontaneous symmetry breaking. Differentiating the equation of state gives : it is above the transition and within either ordered phase. At , . The minimized zero-field free-energy density is zero above and below, apart from an analytic background; its second temperature derivative has a finite jump. Consequently
To include fluctuations, write . The quadratic part is
A Gaussian functional integral therefore gives , with the momentum-volume delta function understood. The Ornstein--Zernike correlation function has correlation length . Thus , and at criticality the Gaussian covariance is proportional to , giving . Continuous-symmetry ordered phases additionally have transverse Goldstone modes, for which the restoring mass vanishes.
The Gaussian integration contributes to the disordered-phase free-energy density. Differentiating twice with respect to gives a critical contribution proportional to ; for its singular part grows as and at four dimensions it is logarithmic. Interacting fluctuations thus become important close to the critical point below four dimensions. The Ginzburg criterion tests this failure of the mean-field approximation; the renormalization group then explains modified exponents and universality. Mean-field theory finds the competing minima, while fluctuations determine whether its predicted critical behavior survives at long distance.
Spontaneous symmetry breaking occurs when the statistical Hamiltonian is invariant under a symmetry but a chosen equilibrium pure state is not. A small selecting field or a boundary condition chooses one of several states related by the symmetry. For a finite unconstrained system the symmetric ensemble generally has zero order parameter; spontaneous order is defined by taking the thermodynamic limit before removing the selecting field. A ferromagnet with a selected magnetization direction is the standard example.
If the broken symmetry is continuous, nearby symmetry-related states cost no energy for a uniform displacement along the manifold of states. Locality and a nonzero stiffness then make a slowly varying displacement cost gradient energy rather than a mass term. These gapless long-wavelength fluctuations are Goldstone modes. In the conventional relativistic internal-symmetry setting their count is the number of broken generators. Nonrelativistic dynamics can pair broken generators, as in a ferromagnet; gauge symmetries and broken space-time symmetries require additional qualifications. A discrete broken symmetry alone does not produce a Goldstone mode.
For an interface with a selected mean height, the continuous displacement is a rigid translation normal to the mean plane. The tension gives a stiffness for spatially varying translations. The following calculation concerns this static Goldstone sector. It determines the excitation energy and equilibrium fluctuations, but a frequency dispersion requires a separate inertial or dissipative dynamics. In low dimensions thermal roughness also limits the existence of a strictly localized flat interface in an infinite system.
The Landau-Ginzburg theory for a scalar order parameter supplements a local symmetry-allowed potential with a gradient penalty. For a symmetry at zero field, a stable quartic model is
with near a mean-field transition. Equilibrium fluctuations have weight . In the Landau approximation, minimize the functional. A uniform stationary state obeys . At zero field the minimum is for and for . The latter pair is spontaneous symmetry breaking of the discrete symmetry.
The uniform free-energy density at its minimum is zero above the transition and below, up to regular backgrounds. Differentiating the equation of state gives and . At , . Gaussian fluctuations around the minimum have inverse covariance above and below. Their correlation lengths are and . These results give the usual mean-field critical exponents
The heat capacity has a finite jump rather than a power-law divergence. Negative quartic coefficient requires higher stabilizing terms and can produce a first-order transition; a vanishing quartic coefficient requires a tricritical analysis. Thus the assumed positivity of matters.
The Ginzburg criterion tests whether this saddle description is self-consistent. Below the transition compare fluctuations of the order parameter averaged over a correlation volume with its squared mean-field value . Modes with dominate this coarse-grained fluctuation estimate:
where the positive dimensionless depends on the averaging window and the factor of two used in . Dividing by gives
It is the fluctuation of a correlation-volume average, not the full cutoff-dominated microscopic variance, that should be compared with the mean-field order parameter.
For , diverges as , so the asymptotic critical region is fluctuation dominated. Away from it, mean-field theory can still work when
For , the long-wavelength ratio tends to zero near criticality, consistently with Gaussian control and mean-field thermodynamic exponents. At , quartic coupling is marginal; scale-dependent logarithms require a renormalization-group analysis rather than interpreting a constant bare ratio as a proof of no corrections. This identifies four as the upper critical dimension of the short-range scalar quartic model.
The Landau-Ginzburg theory is valuable because symmetries restrict a manageable list of local operators, the gradient term describes correlations and interfaces, and the Ginzburg criterion identifies when neglected fluctuations become decisive. Below the upper critical dimension an interacting renormalization-group fixed point, rather than the bare saddle, determines universal exponents. For continuous order parameters the manifold of ordered minima also has Goldstone modes, and lower-critical-dimension fluctuations require separate attention. Mean-field minimization supplies an approximation; the Ginzburg ratio decides whether its neglect of fluctuations is justified.
An order parameter distinguishes equilibrium thermodynamic phases. For a scalar magnetic system, a slowly varying coarse-grained scalar field represents local magnetization, and its uniform expectation is the order parameter. Under spin inversion symmetry, and . The disordered phase has at , while a pure ordered phase has . In a finite symmetric system the average still vanishes at ; spontaneous symmetry breaking means taking the thermodynamic limit before or to select a pure thermodynamic phase.
Landau-Ginzburg theory assigns a local free-energy functional
Spin inversion symmetry forbids odd powers at zero conjugate field; locality and slow variation motivate the gradient expansion. The gradient energy penalizes interfaces and determines long-wavelength response. Integrating over fields includes fluctuations, whereas the Landau approximation replaces that integral by its stable stationary configuration. For a uniform phase this reduces to minimizing . If is the equilibrium free-energy density, then , so the order parameter is also the thermodynamic response to its conjugate field.
Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , so
The continuous spontaneous symmetry breaking is and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . Put
These are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths gives
The scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomes
For each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum is
The radial scalar also has in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.
For the lepton kinetic terms let , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combination
Its overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations imply
The quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, write
The displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator gives
where is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes ; the TeX repeats incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.
An order parameter distinguishes phases macroscopically. In an Ising model it is the local coarse-grained magnetization; the uniform mean is . In a selected ordered phase , whereas the disordered phase has at zero conjugate field. The ordered signs are related by spin inversion symmetry. A finite zero-field system may average both signs to zero, so spontaneous symmetry breaking is defined using the thermodynamic limit before removing a symmetry-selecting field. For other systems the order parameter can be a vector, a density difference, or a tensor rather than a single magnetization.
Landau-Ginzburg theory makes the order parameter a spatial field and expands a local free energy consistent with the symmetries. For a short-range scalar system with spin inversion symmetry at , a useful expression is
The linear source is the field conjugate to an order parameter. Odd terms at zero field are forbidden by spin inversion symmetry. The coefficients depend smoothly on control parameters away from singular fluctuation effects. With the quartic term suffices locally; if , take for stability. The Landau approximation minimizes this functional; statistical field theory also integrates fluctuations about those minima.
For fractal geometry, let be the th middle-third construction of the Cantor set. It contains intervals of length , with total length . Each finite contains intervals, so its Hausdorff dimension is one. The limiting set has zero length and
Indeed, intervals of scale cover it, giving the upper dimension bound from whenever . For the lower bound, assign mass to each level- interval. Any sufficiently small interval of length meets only a bounded number of construction intervals at the comparable scale, giving a bound . Covering by such intervals then forces their dimension-weighted sizes to sum to at least , yielding the matching lower bound. The noninteger dimension is deducible from a simple iterative rule even though it is absent from every finite-stage set at arbitrarily fine resolution. A finite construction nevertheless exhibits the same scaling over intermediate resolutions. Thus the order of idealization and probing ever smaller scales matters: an actual finite-resolution pattern can have useful fractal behaviour without possessing the exact limiting dimension at all scales.
For a phase transition, finite-spin partition functions are finite sums of positive exponentials at real finite temperature and field. Their free energies are therefore analytic there. Genuine thermodynamic nonanalyticity can appear only after a suitable infinite-system limit. The Curie–Weiss model gives an explicit demonstration. With , take
Grouping configurations by and using their binomial multiplicities gives the limiting free energy as the minimum of
The number of possible magnetizations grows only linearly with , so their largest exponential contribution determines the limiting free energy. Differentiating the variational expression gives
At and , its two stable minima have magnetizations . Every finite zero-field system instead has exactly zero mean magnetization by spin-inversion symmetry. Consequently
This noncommutation of limits explains how spontaneous symmetry breaking emerges. Below the critical temperature, the limiting free energy has a cusp in at zero, while finite systems have a sharp but smooth crossover. Away from the critical point, the relative weights of the two phases behave approximately as ; the rounded magnetization is correspondingly about . Exact singularity belongs to the idealized limit, whereas the narrow crossover and long-lived phases can be physically useful at finite size. The theoretical reduction is the derivation and its approximation control, not a claim that a finite analytic partition function is already nonanalytic.
For superselection, consider an infinite spin lattice with quasi-local observable algebra . These are zero-temperature equilibrium phases of a ferromagnetic Ising spin Hamiltonian with nearest-neighbour interactions . At finite , the all-up and all-down vectors belong to one Hilbert space, and the coherent state
is distinguishable from the corresponding mixture by a suitably chosen global observable. But if acts on only spins, its off-diagonal matrix element between these vectors vanishes: the untouched spins contribute . Hence its expectations already equal those of the equal-weight mixture, independent of . Increasingly global observables can recover the phase at finite , but the infinite product of spin flips is not a norm limit of finite-support observables and is absent from .
In the infinite-volume limit the up and down phases have disjoint state representations. The averaged magnetization commutes asymptotically with any fixed local observable: . In the phase representations its limiting values are and , distinguishing sectors. Finite spin-flip vectors form a dense set on which these averages tend to their respective scalar values, so boundedness extends the strong limits to the phase Hilbert spaces. An intertwiner between the representations would obey and must therefore vanish, explaining their disjointness. In the combined representation the observable algebra is block-diagonal between them, so no quasilocal measurement detects their relative phase. This yields an emergent superselection rule relative to the chosen observable algebra. It is not a derivation of physical wave-function collapse. Fractal dimension, a thermodynamic singularity and sector separation each exhibit new limiting structure while retaining an explicit microscopic construction.
An order parameter distinguishes phases through a macroscopic observable, such as the mean spin of a ferromagnet. Its vanishing can reflect an unbroken symmetry, while choosing one of several nonzero equilibrium values gives spontaneous symmetry breaking. Landau-Ginzburg theory treats it as a slowly varying field and expands the free energy in terms allowed by symmetry:
Here penalizes spatial variation, is the conjugate field, and the highest retained even coefficient must stabilize large . For a spin-flip-symmetric system, odd powers are forbidden at . Equilibrium in the Landau approximation minimizes this functional; near an ordinary continuous transition with and .
Use spin one-half states with , so and . At , every ferromagnetic bond has its lowest energy when adjacent spins agree. On the connected periodic chain the normalized ground states are
where . Their span is the two-dimensional ground-state subspace; any normalized superposition is another ground state. They are exchanged by the global spin-flip discrete symmetry generated by .
As , the field dominates and selects
The limiting polarized state is unique. At large finite , exchange admixes virtual spin flips, so the product state is the limiting wavefunction rather than an exact finite-field eigenstate. The bulk expansion below gives . The exact twofold degeneracy stated at should be distinguished from thermodynamic spontaneous symmetry breaking in the ordered phase: a finite chain at nonzero field can have a split pair of symmetry eigenstates.
A homogeneous static saddle minimizes for . With and ,
The mean-field Bose-Einstein condensate has a macroscopic coherent occupation of the uniform mode. Its continuous particle-number phase symmetry is , the circle group generated by particle number. Choosing one phase breaks it, and the saddle manifold is a circle. For , the constrained minimum is the vacuum , so the condensed saddle requires the stated positive-density regime.
Spontaneous symmetry breaking is understood through a phase-selected thermodynamic description: an exact finite-volume number eigenstate has vanishing field expectation. The resulting Goldstone boson is a gapless phase/sound mode, while phase gradients carry the superfluid velocity . This is the saddle-point conclusion requested, not a proof of true condensate order in every dimension or temperature. Long-wavelength phase fluctuations can invalidate the assumed order, as quantified below.
Let , where . Its stationary-point equation is .
For , the unique minimum is . The quadratic mass term is , so there are real scalar fields, all of mass , and the global special orthogonal group remains unbroken.
For , write . The vacuum manifold is the sphere . Choose . The transformations preserving this vacuum expectation value rotate the first components, giving . At this vacuum the potential's Hessian matrix is
Writing , the radial mode therefore has
These are one massive radial scalar and physical Goldstone bosons. The Goldstone theorem applies to the broken global generators; the flat angular directions of the vacuum manifold explain their zero masses. The spontaneous symmetry breaking is a choice of vacuum, not a change in the invariant Lagrangian. For there are no continuous angular directions: only the radial scalar remains, and the potential's discrete symmetry is broken.
In the Landau theory approximation, choose the global minimum of the Landau free energy as a function of the magnetization. Since , the polynomial is a coercive function and a global minimum exists. The candidates are stationary points satisfying
Check their values of the free-energy density; a stationary point or a metastable local minimum alone need not be the equilibrium state. Positive curvature ensures local stability; when it vanishes, higher terms must be checked. The selected global minimum is the equilibrium magnetization within this approximation.
At zero magnetic field, equal opposite minima describe distinct phases exhibiting spontaneous symmetry breaking. A spontaneous magnetization is obtained by taking the thermodynamic limit before or . A symmetric finite-volume average can instead have zero expectation even when the minima are nonzero. Thus one must specify the phase when interpreting the minimizer as the equilibrium expectation.
Take the couplings in the Hamiltonian to include inverse temperature, so the Boltzmann factor is . If physical energies are used instead, first replace by their products with . Split the on-site term equally between its two bonds. For spin states the spin-chain transfer matrix has entries
Using the specified coupling coordinates, in the order this is
For example, and . This is the nearest-neighbour Blume–Emery–Griffiths model with an additive constant and the paper's sign convention for .
Summing the periodic spin chain gives the partition function . For finite real couplings all entries of are strictly positive; the Perron–Frobenius theorem gives a unique positive dominant eigenvalue with for . Since is a symmetric matrix, all its eigenvalues are real. Thus in the thermodynamic limit,
The positivity condition is stronger and more useful than mere ordering by signed value: subdominant eigenvalues can be negative. Also, the printed strict ordering between the other two is not guaranteed for all couplings. For instance, makes the positive constant matrix with two equal zero eigenvalues. Degeneracy there does not affect the largest-eigenvalue limit; no explicit generic eigenvalues are needed.
For spin magnetization, introduce a dimensionless field through , or insert into the trace. Then
where is a normalized eigenvector of the largest eigenvalue and . Spin inversion symmetry gives , since the positive eigenvector of the largest eigenvalue is unique. Therefore
at zero field, both at finite and in the finite-coupling thermodynamic limit. The finite- result follows directly by pairing each configuration with its spin-reversed partner. Eigenvalues at a single fixed field do not determine a general observable: a field derivative of the largest eigenvalue, or its eigenvector, is required. Positivity and the real analytic dependence on the couplings exclude a finite-temperature spontaneous symmetry breaking transition in this one-dimensional finite-range chain; singular zero-temperature coupling limits require separate treatment.
For even , spin decimation on alternate sites sums the middle spin of each two-bond segment, hence the coarse spin-chain transfer matrix is . Define
Direct multiplication gives . Matching its entry ratios to the original parameterization yields the spin-1 chain decimation recursion
The remaining overall positive factor is absorbed into . Keeping that factor preserves the free energy as well as normalized spin probabilities. Indeed , exactly; on an odd ring an unmatched boundary segment needs separate handling rather than assuming a uniform two-site block decomposition.
Use the usual homogeneous, local, analytic Landau-Ginzburg theory; rotational symmetry and Z2 symmetry alone do not specify locality, analyticity, or the signs of the coefficients. The local derivative expansion contains every rotational scalar with an even total number of fields:
The omitted terms include all allowed higher field powers and contracted spatial derivatives. Terms differing by a total derivative are equivalent for bulk behavior with suitable boundary conditions. The displayed gradient energy assumes spatial homogeneity. If only rotations about an origin are imposed, rotationally invariant position-dependent coefficients are also possible.
In the mean-field approximation, take a spatially uniform order parameter and minimize its Landau free energy. For , and with , keeping the quadratic and quartic terms gives
The single minimum splits into two minima as the temperature passes below the critical temperature. Choosing one minimum gives spontaneous symmetry breaking of the Z2 symmetry and a continuous phase transition. The order parameter is the expectation in a selected ordered state; averaging equally over both states gives zero. A Z2 symmetry does not guarantee a continuous phase transition: a negative quartic coefficient stabilized by a positive sextic coefficient can instead give a first-order phase transition.
Relaxing the Z2 symmetry permits odd terms. A nonzero linear source generally rounds this ordinary continuous phase transition. A cubic term can instead give a first-order phase transition: for , and , equal minima occur at
The order parameter jumps from zero to . A continuous phase transition without an exact Z2 symmetry is still possible with additional tuning; odd terms do not logically exclude it.
For the multicritical even Landau potential, set and assume an integer , and . For , all lower even interactions must be absent or tuned to zero to obtain these mean-field critical exponents. The stationary equation is
Its nonzero solutions are minima because . Thus the order-parameter critical exponent is
Substituting into the minimum free energy density gives
The singular heat capacity per unit volume is . Smooth variation of the other coefficients does not change the leading power. Consequently
For , this means a finite heat capacity jump, with ; for , the tricritical point has and . The case would contain only a quadratic potential and would not stabilize an ordered phase.
The Gaussian fluctuation correction near a critical point is more singular than the mean-field approximation contribution when
This is the upper critical dimension of an even scalar interaction. Equivalently, its coupling has engineering dimension , positive below . Dominant fluctuations signal breakdown of the mean-field approximation; the Gaussian expression is not then a calculation of the exact interacting heat-capacity critical exponent. At , equality of the powers allows logarithmic corrections.
Write and assume , as required for quartic stability. In the mean-field approximation, the two-component radial quartic Landau potential is
Set , . At fixed , the quartic term is fixed and the quadratic term is minimized by assigning all of to the component with smaller . Minimizing over then gives
The resulting phase diagram has these regions:
On , the symmetry is enhanced to the orthogonal group , and the minima form the circle
Mixed-component minima occur on this line, rather than in an open coexistence region. Crossing the negative diagonal swaps the selected component discontinuously: this is a first-order phase transition, also called a spin-flop transition. For example, holding fixed and moving across , the derivative jumps from to zero. The angular degeneracy exactly on the line does not remove this discontinuity.
The positive half-axis , is a continuous phase transition, as is , . Their endpoint at is a bicritical point, where the two continuous boundaries meet the first-order negative diagonal. Approaching the origin radially makes the ordered amplitude vanish continuously. The negative half-axes lie inside ordered phases and are not additional transition lines. There are two continuous half-axis boundaries and one first-order negative diagonal, meeting at the origin.