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.
For a traceless Hermitian adjoint scalar with potential , the stationary eigenvalues satisfy . The usual bound of three distinct eigenvalues requires this polynomial not to vanish identically. With , , every traceless matrix of squared norm is a global minimum, including matrices with all eigenvalues distinct. In SU(5), this permits an unbroken maximal torus , outside the generic three-block classification.
An unbroken subgroup must fix the vacuum expectation value of a scalar field in a group representation . Thus a nonzero such exists exactly when . For a compact group, complete reducibility of compact-group representations identifies this fixed vector subspace with the sum of the trivial representations in the restriction of a representation . Every has ; equality requires a separate stabilizer calculation. The criterion neither determines the full unbroken group nor guarantees that a given scalar potential has its minimum at that direction.
Suppose fields with integer U(1) charges acquire nonzero vacuum expectation values, with at least one . The stabilizer in the circle group is exactly , where . Indeed, preserves every condensate if and only if for every . The Bezout identity implies , and conversely proves every th root of unity preserves every condensate. Neutral fields impose no constraint; if all condensing fields are neutral, the whole circle group survives.
A real symmetric tensor of the special orthogonal group transforms as . If its vacuum expectation value has distinct eigenvalues with multiplicities , its stabilizer subgroup is : each transformation preserves each eigenspace and the product of the block determinants is one. Its identity component is . Thus a scalar multiple of the identity preserves the whole group, whereas a tensor with simple spectrum preserves only diagonal signs with total sign one. A tracelessness condition constrains the eigenvalues but does not change this stabilizer formula.
An even double-well Landau free energy can have stable homogeneous phases at . In a selected phase, for example the thermodynamic limit with an infinitesimal symmetry-breaking field, mean magnetisation approaches one of those values. An exactly symmetry-preserving finite-system ensemble instead averages both signs and can have mean zero. This ensemble average does not make a stable homogeneous minimum. Distinguish a free-energy minimum, a domain mixture and an unrestricted ensemble average when discussing spontaneous magnetisation.
Adding to the exponential complex-scalar potential gives , where . Phase rotations retain only ; the full real-field internal symmetry also permits , giving two independent sign reflections. For the minima are , . Around either minimum, gives squared masses and . For the unique minimum is zero. Explicit anisotropy removes the continuous vacuum circle, so discrete symmetry breaking supplies no mandatory Goldstone boson.
Consider two real scalar fields with positive , standard kinetic terms, and the displayed scalar potential. At , the circle group rotates one field into the other: this is a global symmetry in field theory, with the same rotation at every point in space. The vacuum manifold is the circle . Choose and differentiate the scalar potential twice:The scalar mass matrix assigns a restoring force to the radial displacement, whereas its tangent is one of the Goldstone directions in the scalar mass matrix. Moving around the circle costs no potential energy; moving between neighbouring points in space can still cost gradient energy. Flat angular potential energy therefore means a soft collective excitation, not that every spatial pattern is free.
A positive source explicitly selects the positive direction. The minimum is , where is the positive solution of . The two eigenvalues of the scalar mass matrix there areFor example, and give , and . The light angular excitation becomes a Goldstone boson as , while the radial mass stays finite. The source changes both the preferred direction and the radius; expanding about the old point at nonzero would miss that shift.
An external source selects an orientation and lifts the angular flat direction
. Original dimensionless scalar potential example with . Dashed circles mark the zero-source vacuum manifold. The right panel follows a radial line or a circular angular path, with potential energy measured from the minimum appropriate to that path. A circular path has zero angular potential energy at ; a straight tangent displacement agrees only to quadratic order. Details.Freeze the magnitude of an order parameter and retain just one common orientation for rigidly aligned cells. Give this collective coordinate energy at positive temperature . The Boltzmann distribution is the displayed normalized probability density function, where is the Boltzmann constant. Here is energy per cell, a different normalization from the source density in continuous vacuum selection by an external source. This is a deliberately restricted model of selection among already ordered orientations: it does not derive alignment or an ordering critical temperature from a spatial interaction.
Its mean orientation is an elementary ratio of integrals:At every angle has equal probability, and the numerator vanishes exactly. For small , expansion of the exponential gives because the angular mean of is . For and the means are approximately and . At fixed , increasing concentrates the probability density function near ; expanding gives angular variance approximately . ConsequentlyThe uniform angular average remains a symmetric mixture if one sets first. The other order selects a definite direction. This is the continuous-orientation version of the symmetry-breaking order of limits; it illustrates selection without replacing the separate problem of stability against spatial fluctuations.
Yoichiro Nambu's superconductivity work led to the spontaneous symmetry breaking ideas recognized by his share of the 2008 Nobel Prize in Physics.[ref]
Guide to the Yoichiro Nambu Papers 1917-2009 by University of Chicago Library. Biographical Note, superconductivity origins and 2008 award
His 1960 treatment made the Meissner effect response consistent with gauge invariance by including collective pair contributions alongside the quasiparticles. The resulting Ward identity relates the interaction correction to the current and the self-energy; retaining the quasiparticles alone omits part of the response.[ref]Quasi-Particles and Gauge Invariance in the Theory of Superconductivity by Yoichiro Nambu. Abstract, paragraphs 2–4: current corrections, Ward identity, Meissner response and collective pair excitations
The individual Nobel lecture explains the bridge to particle: the superconductivity gap suggested a dynamically generated fermion mass, and the accompanying collective excitation suggested a light pion. It also notes that the long-range Coulomb interaction turns the charged phase response into a plasmon. A neutral global phase mode and a charged material therefore need different low-momentum descriptions.[ref]
Nobel Lecture: Spontaneous symmetry breaking in particle physics: A case of cross fertilization by Yoichiro Nambu. p. 1016, Eqs. (1)–(7): quasiparticles, collective current, plasma frequency and pion analogy
In 1961, Yoichiro Nambu and Giovanni Jona-Lasinio supplied a four-fermion model with a self-consistent mass and a massless pseudoscalar bound state: an idealized pion. Their original constituents were nucleon fields. Their introduction explicitly distinguishes the zero-mass neutral collective excitation from its charged plasma counterpart and allows approximate chiral symmetry as the explanation of a nonzero pion mass. This is a model of dynamical symmetry breaking, rather than a microscopic derivation of quantum chromodynamics.[ref]
Dynamical Model of Elementary Particles Based on an Analogy with Superconductivity. I by Yoichiro Nambu and Giovanni Jona-Lasinio. §I, pp. 345–346: gap analogy, collective pairs, idealized pion, Coulomb interaction and approximate chirality
In the modern two-light-quark account, chiral symmetry breaking leaves isospin intact and produces three Goldstone bosons in the exact non-anomalous chiral limit. Small quark masses explicitly break that chiral symmetry, so the observed pions are pseudo-Goldstone bosons. The chiral protection of a fermion mass identifies the distinct obstruction to inserting an explicit fermion mass into a chirally symmetric equation. The useful lesson is that massive individual excitations and much lighter collective excitations can coexist because they describe different motions of an interacting state.
A concrete experimental motivation for treating the electromagnetic response carefully is the Field-cooled Meissner experiment. MIT's realization cools lead in a solenoid field using helium gas. A nearby thermometer follows the cooling; a test coil feeds an integrator and oscilloscope. Expulsion gives a pulse, warming reverses it, and switching off the field while the sample is normal checks its sign. A change in alternating-field response alone can reflect normal electrical conductivity. This readout tests magnetic flux expulsion, not the spectrum or existence of a neutral Goldstone boson.[ref]
For a global symmetry in field theory, different orientations can be physically distinct states. A local gauge symmetry instead includes redundant descriptions of the same physical state. A gauge-dependent field expectation alone is consequently insufficient as a physical criterion for spontaneous symmetry breaking. The Higgs mechanism changes the physical mode content when the gauge field is dynamical; the global Goldstone theorem alone does not prove that mechanism. In particular, the massless direction of a gauge-fixed scalar potential need not appear as a separately observable massless particle.
A real scalar field with the displayed potential is invariant under the Z2 symmetry , but a chosen broken-phase pure vacuum has nonzero vacuum expectation value of one sign. Expanding about gives . The excitation is massive, and no continuous broken generator requires a Goldstone boson. In a finite-volume theory with symmetry-preserving conditions, tunneling can produce a symmetric ground state. A broken pure vacuum is selected by taking the infinite-volume limit before removing an infinitesimal source, or by specifying appropriate boundary conditions. The two signs are related by the symmetry, although the individual pure vacua are not invariant under it.
For a real scalar triplet with , and , the vacuum sphere has radius . At , the Hessian is . Global breaking therefore gives two physical massless Goldstone bosons and one radial scalar with squared mass . The angular modes cannot be gauged away in a theory with only global rotations.
A vacuum manifold is the space of field values minimizing the potential in the specified homogeneous classical description. For a global symmetry group acting transitively on one orbit of minima, a chosen vacuum with stabilizer gives that orbit as .
The orbit need not be connected: a real scalar field with two symmetry-related minima provides a disconnected example. Restricting to the identity component requires the corresponding connected subgroup and stabilizer, rather than automatically identifying every with one connected component. Continuous vacuum directions motivate Goldstone modes, while nontrivial surrounding maps can classify topological defects. In a gauge theory, some minimum-field values are gauge-equivalent, so the distinction between field-space minima and physical vacuum labels must also be stated.
A spatially homogeneous field value minimizing the potential energy. For a finite-energy field configuration on an infinite domain, the potential is normally shifted so the relevant vacuum energy density is zero. Disconnected components of the vacuum manifold allow a scalar-field kink to connect distinct vacuum values.
A scalar-field vacuum is a constant field at a minimum of its potential energy, with the minimum shifted to zero when discussing finite-energy classical field-theory solitons. Distinct isolated vacua allow a scalar-field kink to approach different values at the two ends of space.
For , positive makes the classical potential bounded below. For , completing the square givesThus zero is a global minimum precisely when . At a nontrivial equality there are degenerate minima at zero and . If and the inequality fails, zero is a false vacuum: its Hessian is positive but another minimum has lower energy. A negative quartic coupling, or a nonzero cubic term without a quartic term, is unbounded below. These are classical or tree-level criteria.
A local minimum of the scalar potential that has higher energy than a global minimum. It can be stable against infinitesimal classical fluctuations but metastable to a transition to a lower-energy vacuum, including quantum tunnelling. The stability of a cubic-quartic scalar potential gives an elementary example distinguishing local curvature from global stability.
A vacuum expectation value is the expectation of a field or operator in the vacuum state. A nonzero value that is not invariant under the full symmetry group can select a point of the vacuum manifold and spontaneously break the symmetry.
For real scalar fields with canonically normalized quadratic kinetic terms, the tree-level scalar mass matrix is the Hessian matrix of the scalar potential at a stationary vacuum:Its eigenvalues are squared masses in units . A negative eigenvalue is a local instability of that candidate vacuum.
The kinetic normalization is essential. More generally, expand about withwhere is the potential Hessian matrix and is a real symmetric positive-definite matrix. A mode obeys the generalized eigenvalue problemEquivalently, canonical field normalization gives the symmetric squared-mass matrix . For one field with kinetic coefficient and quadratic potential , the physical squared mass is .
Broken continuous global-symmetry directions are zero vectors of the potential Hessian matrix, producing Goldstone bosons when the kinetic form is nonsingular. A Higgs mechanism changes which scalar modes remain independent physical particles; explicit symmetry breaking can lift a zero mass. Thus both the potential and kinetic structure are needed to read a physical spectrum.
An accidental massless scalar has zero quadratic mass without being required by the stated broken continuous symmetry. A singlet with potential around is an example: its Hessian matrix vanishes although no continuous symmetry of that single real field protects a mass term. Such a zero mass can require tuning once quantum corrections are included.
In a local quantum field theory obeying special relativity, with a positive physical state space, a conserved continuous internal global symmetry in field theory and a selected Lorentz-invariant ground state, a broken generator requires a massless Goldstone boson. For , there are symmetry-required Goldstone bosons in this setting; additional accidental massless excitations are possible. Jeffrey Goldstone's institutional biography identifies his work with Abdus Salam and Steven Weinberg on the zero-mass theorem.[ref]
Jeffrey Goldstone by MIT Department of Physics. Biographical Sketch, paragraph 2: spontaneously broken relativistic field theories and the zero-mass theorem
The Goldstone directions in the scalar mass matrix give a short classical proof at a smooth minimum. The quantum argument uses a conserved current and a scalar local operator whose expectation changes under the broken generator. The Ward identity for the current–local operator correlation function then has a nonzero contact term. After a Fourier transform, its divergence remains nonzero as four-momentum tends to zero. Lorentz invariance forces the vector–scalar correlator to have the form , so must have a pole at . The spectral representation associates that pole with a physical zero-mass excitation. A properly regulated spatial integral of the conserved current implements the broken generator; a well-defined global charge acting on the broken ground state cannot simply be assumed.
The hypotheses explain the boundaries of the result. A discrete symmetry has no infinitesimal generator and need not give a Goldstone boson. A gauge redundancy does not supply the physical global generator assumed here. In nonrelativistic matter the type-B Goldstone boson shows why one cannot universally count one independent mode per broken generator. Long-wavelength fluctuations can also prevent an assumed broken state from existing, as in the Mermin-Wagner theorem.
For a canonically normalized massless phase scalar field with shift , the Noether current is . With invariant one-particle normalization, the displayed matrix element follows from . Its divergence is on the massless shell, despite a nonzero current matrix element. This is the elementary current coupling of a Goldstone boson; conservation constrains its momentum contraction, not every component separately.
For a smooth invariant scalar potential, differentiating at a classical vacuum gives . The symmetry tangent space has dimension , where is the full stabilizer subgroup. With a positive nonsingular scalar kinetic term, these are massless directions of the quadratic theory. Further zero eigenvalues are possible unless the Hessian matrix is positive on the normal complement.
For a complex scalar field with canonical kinetic term and potential , take a broken-symmetry minimum , where . Writing gives quadratic potential . Hence the canonical squared masses are and . Coupling gives gauge-boson squared mass ; the factor of two depends on defining as the complex field's vacuum value rather than its canonically normalized real component.
The Goldstone theorem guarantees zero directions tangent to the vacuum orbit, not the absence of other zero eigenvalues. For , , the minima form the same sphere as in ordinary breaking, but the entire Hessian matrix vanishes there. Thus all n scalar quadratic masses vanish, although only n-1 are symmetry-protected Goldstone bosons. Exact Goldstone counting requires nonzero curvature transverse to the orbit.
For , , the vacuum manifold is a sphere of radius . At a chosen vacuum the Hessian matrix is , where is its unit direction. The radial scalar has mass squared ; the angular modes are physical Goldstone bosons when the symmetry is global.
For the two-component case, write . The kinetic term becomes . At quadratic order the canonically normalized angular field is , with no mass term. Its Euler-Lagrange equation is the wave equation, so in units where the propagation speed is one. The radial field instead obeys . Thus a common rotation costs no energy, whereas a slowly varying rotation propagates as a collective wave. With the selecting source of continuous vacuum selection by an external source, use and obtain . This elementary dispersion relation separates a Goldstone boson, a pseudo-Goldstone boson and a massive radial excitation within one example.
A pseudo-Goldstone boson is a light mode produced when a spontaneously broken continuous symmetry is also weakly broken explicitly. Its mass vanishes with the explicit symmetry-breaking parameters.
A nonlinear sigma model has fields valued in a curved target space such as a vacuum manifold . Its leading action is quadratic in spacetime derivatives but nonlinear in any unconstrained coordinates used for the target.
The nonlinear sigma model has an -component field constrained to a sphere, commonly or . An auxiliary Lagrange-multiplier field turns the constraint into a self-consistent mass gap in the Large-N expansion.
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.
With , the one-loop renormalization-group beta function is . For and , its two nonnegative renormalization-group fixed points are zero and . Differentiating the beta function gives the displayed thermal eigenvalues, so the nonzero point has correlation-length critical exponent to leading order. At the zero eigenvalue requires nonlinear analysis: is marginally relevant for , but the perturbative spin-wave theory has a line of fixed points and omits vortices.
At and , the weak-coupling renormalization-group flow obeys . Integrating gives . The flow reaches order-one coupling at a length whose logarithm is at this order. Restoring the microscopic scale gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact model with its Berezinskii–Kosterlitz–Thouless transition.
In two spatial dimensions, a unit-vector field has static energy . The sphere is also the complex projective line, so its stereographic projection gives the equivalent complex field description. A constant value at spatial infinity compactifies a regular configuration to a map , whose degree of a map between oriented manifolds is its topological charge.
In the oriented stereographic projection , the sphere's metric is . For energy , its topological degree is . The inequality gives . Holomorphic maps and antiholomorphic maps that are rational maps saturate the respective signs. The more common energy with a prefactor has bound instead.
A spherical sigma model in polar fields has kinetic metric in the usual one-half kinetic convention. The displayed positive potential selects the two polar vacua. For it supports static and rotating charged kinks, and a topological theta term shifts their canonical internal charge without changing the bulk equations.
Locally this density is a total derivative, so it changes neither the bulk field equations nor the energy. Its contribution to the angular canonical momentum is a spatial boundary derivative. With , it produces the theta-angle shift of a sigma-model kink charge.
With , the Noether density for the angular shift gains . Its integral gives the displayed topological shift. Mechanical charge determines the classical rotating-kink energy, while canonical symmetry charge is conjugate to the periodic angle and is integral after quantization. Reversing the epsilon convention reverses the theta sign.
For and , the kink is with . Its rest energy and mechanical internal charge are and . Eliminating the frequency gives the displayed mass relation. The orientation rotates while the energy profile remains stationary.
In units , periodic-angle quantization gives canonical charge . The mechanical charge is and the rotating-kink mass gives the displayed leading semiclassical spectrum. The and families are related by reversing the kink. Theta periodicity relabels the integer; fluctuation corrections are not excluded by this leading calculation.
For , complete the static energy into squares and . The boundary term is . A saturating kink is , with constant and mass . This is a model-specific Bogomolny bound.
A sigma-model lump is a finite-energy classical field-theory soliton of the two-dimensional O3 nonlinear sigma model. With an orientation chosen so holomorphic maps have positive charge, the Bogomolny bound is saturated by rational maps of degree in a stereographic projection coordinate, and by antiholomorphic maps for negative charge. The field remains smooth at coordinate poles, which are points at the other pole of the target sphere. Scale invariance permits lumps of arbitrary size; topology alone does not prevent concentration to a singular limiting configuration.
Fix the value for positive-degree sigma-model lumps. Their holomorphic rational maps can be written , where is monic of degree , has degree at most , and the polynomials have no common zero. The coefficients of and the nonleading coefficients of give complex parameters; coprimality is an open condition. The topological degree is , obtained by counting generic preimages with multiplicity. Allowing a common factor lowers the degree after cancellation and can describe a degeneration rather than another smooth point of this degree- parameter space.
For the O3 nonlinear sigma model with energy , the rational map , , is a degree-one sigma-model lump. Its energy density is , whose integral is . The complex center gives its position, while gives its size and its internal phase. Varying the size preserves energy. The limit is singular at the center, so conserved degree under smooth deformations does not prevent concentration.
A unit-vector field approaching a fixed value at infinity extends to . Its topological charge is the topological degree . This normalized target area pullback counts the number of oriented coverings.
For , completing the square gives , hence . Saturation yields the Bogomolny equations of the sigma-model lump. With the oriented stereographic projection , holomorphic rational maps have positive degree and saturate the bound; antiholomorphic maps have negative degree.
Articles by others on the same topic
Spontaneous symmetry breaking is a phenomenon that occurs in various fields of physics, particularly in condensed matter physics, particle physics, and cosmology. It describes a situation in which a system that is symmetric under some transformation settles into an asymmetrical state. Despite the underlying laws or equations being symmetric, the actual observed state of the system does not exhibit this symmetry.

