Skip to content

Explicit Breaking and Pseudo-Goldstone Modes

A small permanent interaction can explicitly break a continuous symmetry that would otherwise produce a Goldstone mode. The current then has a controlled divergence, the previously flat vacuum orbit acquires a preferred orientation, and its curvature gives the angular mode a nonzero mass. Under a smooth symmetry-restoring limit, the characteristic result is mpG2=O(ϵ)m_{\mathrm{pG}}^2=O(\epsilon), so the mass itself is generally O(ϵ)O(\sqrt{\epsilon}).

Such a light state is a pseudo-Goldstone mode: its small mass is explained by an enhanced exact symmetry when the breaking couplings vanish. This page treats ordinary internal symmetries in a relativistic, nonanomalous QFT. It derives the local Ward identity, the vacuum-alignment Hessian, and a tree-level complex-scalar normalization check. Detailed chiral effective theory, renormalized breaking-operator mixing, loop corrections, and phenomenological mass relations are left to their dedicated treatments.

Required background. Goldstone’s Theorem: Hypotheses and Pole Argument supplies the conserved-current pole argument. Localized Transformations and Ward–Takahashi Identities supplies the regulated change of variables, contact terms, and current-sign convention used below.

Helpful background. Spurions, Local Counterterms, and Symmetry Response explains how transforming sources organize a covariant family of theories without restoring a conserved charge at a fixed noninvariant source.

Explicit breaking in the local Ward identity

Section titled “Explicit breaking in the local Ward identity”

Use the site conventions

U(α)=eiαaQa,δaO=i[Qa,O],U(\alpha)=e^{-i\alpha^aQ_a}, \qquad \delta_a\mathcal O=-i[Q_a,\mathcal O],

and the Lorentzian weight eiSe^{iS}. Let S0S_0 have an exact continuous symmetry and deform it by

Sϵ=S0+ϵddxB(x).S_\epsilon =S_0+\epsilon\int\mathrm d^d x\,\mathcal B(x).

For clarity, assume that localizing the field transformation produces no derivatives of the local parameter from B\mathcal B. The general localized variation is then

δαSϵ=ddxjaμμαa+ϵddxαaδaB.\begin{aligned} \delta_\alpha S_\epsilon ={}&-\int\mathrm d^d x\, j_a^\mu\partial_\mu\alpha^a \\ &+\epsilon\int\mathrm d^d x\, \alpha^a\delta_a\mathcal B. \end{aligned}

Thus the explicit-breaking insertion in the established current convention is

Badiv=ϵδaB.\mathcal B_a^{\mathrm{div}} =\epsilon\,\delta_a\mathcal B.

Let X=O1(x1)On(xn)\mathcal X=\mathcal O_1(x_1)\cdots\mathcal O_n(x_n), and let Xa,k\mathcal X_{a,k} denote the same product with Ok\mathcal O_k replaced by δaOk\delta_a\mathcal O_k. A regulated change of variables with unit Jacobian gives the distributional identity

μT{jaμ(x)X}=ϵT{δaB(x)X}+ik=1nδ(d)(xxk)×T{Xa,k}.\begin{aligned} & \partial_\mu \left\langle \mathrm T\{j_a^\mu(x)\mathcal X\} \right\rangle \\ ={}&-\epsilon \left\langle \mathrm T\{\delta_a\mathcal B(x)\mathcal X\} \right\rangle \\ &+i\sum_{k=1}^n \delta^{(d)}(x-x_k) \\ &\qquad\times \left\langle \mathrm T\{\mathcal X_{a,k}\} \right\rangle . \end{aligned}

The bulk minus sign follows from the displayed action variation; the contact sign follows from eiSe^{iS} and δaO=i[Qa,O]\delta_a\mathcal O=-i[Q_a,\mathcal O]. Away from all insertions,

μjaμ=ϵδaB\partial_\mu j_a^\mu =-\epsilon\,\delta_a\mathcal B

as an operator-insertion equation. Schwartz derives the regulated localized change of variables and its contact terms in Schwartz 2014, § 14.8.1, pp. 278–279. The use of a small symmetry-breaking interaction and its induced current divergence is developed in Weinberg 1995, § 19.3, pp. 177–182.

This derivation assumes that the regulator and integration domain admit the change of variables, the measure Jacobian is trivial, the local parameter has compact support or produces no boundary term, and the displayed insertion is the appropriate regulated or renormalized operator. An anomalous Jacobian adds another bulk term. Derivative transformations add derivative contact terms. Renormalization can replace ϵδaB\epsilon\,\delta_a\mathcal B by a controlled linear combination of renormalized operators.

For several breaking operators, write

Sbr=ddxϵIBI.S_{\mathrm{br}} =\int\mathrm d^d x\, \epsilon^I\mathcal B_I.

One may assign the parameters ϵI\epsilon^I a compensating transformation so that the expression is formally invariant. This spurion assignment classifies which counterterms and effective interactions can occur. It compares the theory at ϵ\epsilon with the theory at a transformed value gϵg\mathbin{\cdot}\epsilon.

The physical Ward identity at fixed couplings instead varies the fields while holding the numerical ϵI\epsilon^I fixed. It therefore retains the breaking insertion. A nondynamical spurion is bookkeeping, not a new field, an exact symmetry of one fixed theory, or a conserved charge. If a source is promoted to a dynamical field, that is a different theory.

The current pole moves away from zero mass

Section titled “The current pole moves away from zero mass”

Suppose the explicitly broken theory contains an isolated spin-zero one-particle state πb(p)|\pi_b(p)\rangle and choose mass eigenstates. Define its current matrix element by

Ω|jaμ(x)|πb(p)=iFabpμeipx.\left\langle\Omega\middle| j_a^\mu(x) \middle|\pi_b(p)\right\rangle =iF_{ab}p^\mu e^{-ip\cdot x}.

With the (+)(+---) metric, p2=mb2p^2=m_b^2. Taking the matrix element of the separated-point divergence equation gives

Fabmb2=ϵΩ|δaB(0)|πb(p),with no sum on b.\begin{aligned} F_{ab}m_b^2 ={}&-\epsilon \left\langle\Omega\middle| \delta_a\mathcal B(0) \middle|\pi_b(p)\right\rangle , \\ &\text{with no sum on }b. \end{aligned}

A rephasing of πb|\pi_b\rangle changes both sides together. If FabF_{ab} has a finite nonzero symmetry-restoring limit and the breaking matrix element is O(1)O(1), then mb2=O(ϵ)m_b^2=O(\epsilon). If that matrix element vanishes by a residual symmetry, the leading mass can occur at higher order. If the pole dissolves into a continuum or FabF_{ab} vanishes, the scaling cannot be inferred from this formula.

This vacuum-to-one-particle relation does not assume that the same pole dominates an arbitrary correlator. Such pole dominance is an additional low-energy approximation. “Partially conserved current” means that the divergence is controlled by the breaking operator; the corresponding charge is not exactly conserved at nonzero ϵ\epsilon.

Vacuum alignment and the pseudo-Goldstone mass matrix

Section titled “Vacuum alignment and the pseudo-Goldstone mass matrix”

Before explicit breaking, degenerate vacua related by G/HG/H have the same energy. Let qaq^a be local coordinates on this vacuum orbit. At low energy, write the angular terms as

Lang=12Kab(q)μqaμqbVbr(q)+,\mathcal L_{\mathrm{ang}} =\frac12K_{ab}(q) \partial_\mu q^a\partial^\mu q^b -V_{\mathrm{br}}(q)+\cdots ,

where KabK_{ab} is positive definite and Vbr=O(ϵ)V_{\mathrm{br}}=O(\epsilon). The aligned vacuum qq_\star is a stable minimum:

aVbr(q)=0,Hab=abVbrq0.\partial_aV_{\mathrm{br}}(q_\star)=0, \qquad H_{ab} =\left. \nabla_a\partial_bV_{\mathrm{br}} \right|_{q_\star} \succeq0.

At a stationary point, the covariant Hessian gives a coordinate-independent bilinear form. Small oscillations solve the generalized eigenvalue problem

Habub=m2Kab(q)ub.H_{ab}u^b =m^2K_{ab}(q_\star)u^b.

Equivalently,

(M2)ab=Kac(q)Hcb.\left(M^2\right)^a{}_b =K^{ac}(q_\star)H_{cb}.

In canonically normalized coordinates at qq_\star, this reduces to the ordinary Hessian of VbrV_{\mathrm{br}}. The matrix K1HK^{-1}H is similar to the symmetric matrix K1/2HK1/2K^{-1/2}HK^{-1/2}, so its eigenvalues are real and nonnegative at a stable minimum.

If VbrV_{\mathrm{br}} is linear in small breaking parameters, its nonzero curvatures and the resulting mass squares are generically linear in them. Directions left invariant by an exact residual continuous symmetry remain flat. Every mass generated only by explicit breaking vanishes when all relevant breaking parameters vanish, provided the vacuum and kinetic metric approach that limit smoothly. Vacuum alignment and the curvature formula are derived in Weinberg 1995, § 19.3, pp. 177–182.

A negative eigenvalue does not describe a pseudo-Goldstone mass. It says that the chosen orientation is unstable and must be realigned. Likewise, a first-order transition, a level crossing, or a strong radial rearrangement can invalidate an expansion around the ϵ=0\epsilon=0 vacuum.

Complex-scalar source and finite-subgroup checks

Section titled “Complex-scalar source and finite-subgroup checks”

Consider the four-dimensional complex scalar with

V0=λ(ϕ2v22)2,λ>0,v>0.\begin{gathered} V_0 =\lambda\left( |\phi|^2-\frac{v^2}{2} \right)^2, \\ \lambda>0, \qquad v>0. \end{gathered}

Keep a real linear source as a permanent deformation:

ΔL=ϵ(ϕ+ϕ),Vbr=ϵ(ϕ+ϕ),ϵ>0.\begin{aligned} \Delta\mathcal L &=\epsilon(\phi+\phi^\dagger), \\ V_{\mathrm{br}} &=-\epsilon(\phi+\phi^\dagger), \\ \epsilon>0. \end{aligned}

Write

ϕ=r2eiθ,r=v+σ,θ=πv.\phi =\frac{r}{\sqrt2}e^{i\theta}, \qquad r=v+\sigma, \qquad \theta=\frac{\pi}{v}.

The full tree-level potential is

V(r,θ)=λ4(r2v2)22ϵrcosθ.V(r,\theta) =\frac{\lambda}{4}(r^2-v^2)^2 -\sqrt2\,\epsilon r\cos\theta.

For ϵ/(λv3)1\epsilon/(\lambda v^3)\ll1, the aligned minimum has θ=0\theta_\star=0 and

λr(r2v2)=2ϵ.\lambda r_\star(r_\star^2-v^2) =\sqrt2\,\epsilon.

Solving perturbatively,

r=v+ϵ2λv2+O ⁣(ϵ2λ2v5).r_\star =v+\frac{\epsilon}{\sqrt2\,\lambda v^2} +O\!\left( \frac{\epsilon^2}{\lambda^2v^5} \right).

The radial displacement matters at the next order. Since

μϕμϕ=12(r)2+12r2(θ)2,\partial_\mu\phi^\dagger\partial^\mu\phi =\frac12(\partial r)^2 +\frac12r^2(\partial\theta)^2,

the canonically normalized angular fluctuation at this minimum is πc=rθ=(r/v)π\pi_c=r_\star\theta=(r_\star/v)\pi at quadratic order. The field π\pi in the unperturbed parameterization is canonical only in the tree-level symmetry-restoring limit, where r=vr_\star=v. The angular mass is therefore

mπc2=1r22Vθ2(r,0)=2ϵr=2ϵv+O ⁣(ϵ2λv4).\begin{aligned} m_{\pi_c}^2 &=\left. \frac{1}{r_\star^2} \frac{\partial^2V}{\partial\theta^2} \right|_{(r_\star,0)} \\ &=\frac{\sqrt2\,\epsilon}{r_\star} \\ &=\frac{\sqrt2\,\epsilon}{v} +O\!\left( \frac{\epsilon^2}{\lambda v^4} \right). \end{aligned}

The curvature is positive for ϵ>0\epsilon>0, and the mass square vanishes as ϵ0\epsilon\to0. In four dimensions, [ϕ]=[v]=1[\phi]=[v]=1 and [ϵ]=3[\epsilon]=3, so [ϵ/v]=2[\epsilon/v]=2 as required. The angular field and its tree-level normalization follow the complex-scalar construction in Schwartz 2014, §§ 28.2.1–28.2.2, pp. 563–572.

The Ward identity independently checks the coefficient and sign. For δϕ=iϕ\delta\phi=i\phi,

jμ=i(ϕμϕ(μϕ)ϕ)=r2μθ,δ(ϕ+ϕ)=2rsinθ.\begin{aligned} j^\mu &=i\left( \phi^\dagger\partial^\mu\phi -(\partial^\mu\phi^\dagger)\phi \right) \\ &=-r^2\partial^\mu\theta, \\ \delta(\phi+\phi^\dagger) &=-\sqrt2\,r\sin\theta. \end{aligned}

The separated-point identity becomes

μjμ=2ϵrsinθ.\partial_\mu j^\mu =\sqrt2\,\epsilon r\sin\theta.

Linearizing at the aligned vacuum gives

jμ=rμπc+,μjμ=2ϵπc+.\begin{aligned} j^\mu &=-r_\star\partial^\mu\pi_c+\cdots, \\ \partial_\mu j^\mu &=\sqrt2\,\epsilon\pi_c+\cdots. \end{aligned}

Thus F=rF=r_\star and Fmπc2=2ϵFm_{\pi_c}^2=\sqrt2\,\epsilon, exactly matching the curvature result. The equality F=rF=r_\star is a tree-level feature of this weakly coupled example, not a general identity between a decay constant and an order parameter.

A permanent deformation to a finite exact group

Section titled “A permanent deformation to a finite exact group”

Replace the linear source by

ΔL=hϕN+h(ϕ)N,N2,h=heiβ.\begin{aligned} \Delta\mathcal L &=h\phi^N+h^*(\phi^\dagger)^N, \\ N&\geq2, \qquad h=|h|e^{i\beta}. \end{aligned}

Assume the full radial potential is stable, or regard this as an effective interaction below its cutoff. The fixed interaction is invariant under

ϕe2πik/Nϕ,kZ,\phi\longmapsto e^{2\pi i k/N}\phi, \qquad k\in\mathbb Z,

but not under the continuous U(1)U(1). Near r=vr=v, its leading angular potential is

Vbr(θ)=2h(v2)Ncos(Nθ+β).V_{\mathrm{br}}(\theta) =-2|h| \left(\frac{v}{\sqrt2}\right)^N \cos(N\theta+\beta).

There are NN aligned orientations

θk=2πkβNmod 2π,\theta_k =\frac{2\pi k-\beta}{N} \quad \text{mod }2\pi,

and the leading angular mass is

mang2=21N/2N2hvN2.m_{\mathrm{ang}}^2 =2^{1-N/2}N^2|h|v^{N-2}.

This is the leading term in the small-hh expansion. The dimensional check is [h]=4N[h]=4-N, hence [hvN2]=2[|h|v^{N-2}]=2. As h0h\to0, the continuous U(1)U(1) is restored and this mass vanishes. At nonzero hh, the exact subgroup of the original U(1)U(1) phase rotations is only ZN\mathbb Z_N: it has no continuous tangent and protects no massless Goldstone mode. The minimal displayed model also has the generalized reflection θθ2β/N\theta\mapsto-\theta-2\beta/N, although additional ZN\mathbb Z_N-invariant interactions need not preserve it. The disconnected aligned vacua can support domain walls in an infinite system.

This must not be confused with an exact U(1)U(1) that is spontaneously broken to an unbroken ZN\mathbb Z_N. In that different situation, U(1)/ZNU(1)/\mathbb Z_N is still a continuous one-dimensional coset and an exact Goldstone theorem can apply.

A selector is permanent only if it is retained

Section titled “A selector is permanent only if it is retained”

A linear source is often introduced only to select a pure phase. One first takes the thermodynamic limit and then sends the source to zero. The final theory in that ordered limit again has exact U(1)U(1) symmetry, so the selector is not retained as a pseudo-Goldstone mass. If the source remains nonzero in the final theory, it is a permanent explicit breaking and the angular mode has the mass derived above.

Technical naturalness has a symmetry test. A small breaking parameter is technically natural when setting all relevant breaking spurions to zero increases the exact symmetry. In a compatible regulator and renormalization scheme, symmetry-violating counterterms must then carry the appropriate spurion structures. This explains why the breaking disappears with the spurions; it does not determine finite coefficients or prevent the residual symmetry from allowing several operator structures. The systematic renormalization statement belongs to Technical Naturalness and Symmetry Protection.

The symmetric limit must be smooth. The estimate mpG2=O(ϵ)m_{\mathrm{pG}}^2=O(\epsilon) assumes that the same phase and isolated light state persist as ϵ0\epsilon\to0. A phase transition, vacuum crossing, metastability, or a state merging into a continuum defeats that inference.

Every explicit breaker matters. Sending one parameter to zero does not restore a symmetry if another fixed operator still breaks it. The mass need not vanish until all spurion components responsible for that direction are removed.

Anomalies and boundaries add terms. A nontrivial regulated Jacobian, a physical boundary, or nonvanishing asymptotic flux changes the Ward identity. Those effects cannot be absorbed into the displayed ϵδaB\epsilon\,\delta_a\mathcal B without a separate derivation.

Renormalized operators can mix. Beyond the regulated or tree-level examples, the breaking insertion is generally a renormalized operator combination. Symmetry-Protected Operators, Currents, and Improvement develops mixing, normalization, and improved-current issues.

“A transforming spurion restores the physical symmetry.” It makes a source-dependent family covariant. Holding a noninvariant source fixed still breaks the symmetry and leaves a nonzero current divergence.

“The pseudo-Goldstone mass is linear in the breaking.” Generically it is the mass square that is linear. The mass is then proportional to the square root of the small coupling, subject to dimensions and normalization.

“Any point on the old vacuum orbit can be used.” The breaking potential must first be minimized. Expanding at a nonstationary point leaves a tadpole; expanding at a maximum gives a negative curvature rather than a physical mass square.

“The angular coordinate is automatically canonical.” Its kinetic metric sets the normalization. In the scalar example, the true radius rr_\star, not merely the unperturbed value vv, normalizes the angular mode.

“A small number is automatically natural.” The controlled argument requires an enhanced exact symmetry when the number vanishes. Smallness without such an enhancement has no symmetry explanation.

“A residual finite group protects a Goldstone boson.” A finite group has no infinitesimal generator. It may protect degeneracies or defects, but it does not require a continuous massless mode.

These questions are for self-study and are not graded.

  1. Starting from Sϵ=S0+ϵBS_\epsilon=S_0+\epsilon\int\mathcal B, derive the bulk and contact signs in the local Ward identity.
  2. In the linear-source scalar model, find rr_\star through first order in ϵ\epsilon and use the kinetic metric to obtain the angular mass. Check its dimensions and symmetric limit.
  3. A periodic field has L=12f2(θ)2+Acos(Nθ)\mathcal L=\tfrac12f^2(\partial\theta)^2+A\cos(N\theta) with A>0A>0. Find its aligned vacua and small-oscillation mass. What subgroup of the continuous shift symmetry remains, and what additional reflection does this minimal model possess?
Check
  1. The localized exact action contributes jaμμαa-\int j_a^\mu\partial_\mu\alpha^a, while the deformation contributes ϵαaδaB\epsilon\int\alpha^a\delta_a\mathcal B. Invariance of the regulated integral gives

    μT{jaμ(x)X}=ϵT{δaB(x)X}+ikδ(d)(xxk)×T{Xa,k}.\begin{aligned} & \partial_\mu \langle\mathrm T\{j_a^\mu(x)\mathcal X\}\rangle \\ ={}&-\epsilon \langle\mathrm T\{\delta_a\mathcal B(x)\mathcal X\}\rangle \\ &+i\sum_k\delta^{(d)}(x-x_k) \\ &\qquad\times \langle\mathrm T\{\mathcal X_{a,k}\}\rangle . \end{aligned}

    The first minus sign follows after integrating the current term by parts; the factor ii in the contacts follows from the eiSe^{iS} weight and the declared generator convention.

  2. Stationarity at θ=0\theta=0 gives λr(r2v2)=2ϵ\lambda r_\star(r_\star^2-v^2)=\sqrt2\epsilon. Setting r=v+δrr_\star=v+\delta r yields

    δr=ϵ2λv2+O(ϵ2).\delta r =\frac{\epsilon}{\sqrt2\,\lambda v^2} +O(\epsilon^2).

    Since Kθθ=r2K_{\theta\theta}=r_\star^2 and θ2V=2ϵr\partial_\theta^2V|_\star=\sqrt2\epsilon r_\star,

    mπc2=2ϵr=2ϵv+O ⁣(ϵ2λv4).m_{\pi_c}^2 =\frac{\sqrt2\epsilon}{r_\star} =\frac{\sqrt2\epsilon}{v} +O\!\left( \frac{\epsilon^2}{\lambda v^4} \right).

    In four dimensions [ϵ/v]=2[\epsilon/v]=2, the curvature is positive for ϵ>0\epsilon>0, and the result vanishes at ϵ=0\epsilon=0.

  3. The potential is V=Acos(Nθ)V=-A\cos(N\theta), so its minima are θk=2πk/N\theta_k=2\pi k/N modulo 2π2\pi. With the canonical fluctuation πc=f(θθk)\pi_c=f(\theta-\theta_k),

    mπc2=AN2f2.m_{\pi_c}^2 =\frac{AN^2}{f^2}.

    The surviving subgroup of the original continuous shifts is θθ+2πk/N\theta\mapsto\theta+2\pi k/N. This cosine model also has θθ\theta\mapsto-\theta. Together these transformations form a dihedral symmetry; the finite shifts relate the isolated minima but do not protect a continuous massless excitation.

  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014. DOI.
  • Weinberg, Steven. The Quantum Theory of Fields, Volume II: Modern Applications. Cambridge: Cambridge University Press, 1995. DOI.