Skip to content

Technical Naturalness and Symmetry Protection

A small parameter is technically natural when setting its symmetry-breaking spurions to zero restores an exact quantum symmetry. Ward identities then force counterterms, RG evolution, and threshold corrections to carry the same breaking spurions. The zero-spurion surface is invariant under renormalization, so choosing a small breaking once does not require a new unrelated cancellation at every order.

This criterion is a statement about radiative stability, not a prediction of the parameter’s value or a probability for it. The decisive work is to identify the enhanced symmetry, assign spurion transformations, and check the quantum measure, every coupling, heavy threshold, and mixing channel relevant to the claimed order.

Required background. Scale Sensitivity and Radiative Stability supplies the additive-versus-multiplicative threshold diagnostic.

Helpful background. What Is an Anomaly? explains how a classical symmetry can fail in the quantum theory. Explicit Breaking and Pseudo-Goldstone Modes develops the symmetry realization whose EFT consequence is used below.

The zero-spurion surface must be quantum invariant

Section titled “The zero-spurion surface must be quantum invariant”

Write a theory as

S[Φ;ϵa]=S0[Phi]+aϵad4xOa(x),S[\Phi;\epsilon_a] = S_0[Phi] + \sum_a \epsilon_a \int d^4x\,\mathcal O_a(x),

where S0S_0 is invariant under a group GG, while the operators Oa\mathcal O_a break it. Promote each ϵa\epsilon_a to a nondynamical spurion with a transformation law that makes the full expression formally GG invariant. If the regulator, measure, and renormalization prescription respect the nonanomalous symmetry, the quantum effective action obeys the same spurion selection rules.

Suppose a renormalized parameter pp is the only spurion with the charge needed to multiply an operator Op\mathcal O_p. Local counterterms then have the structure

δp=pF(gi,lnμ)+O(p2),\delta p = p\,F(g_i,\ln\mu) +O(p^2),

and its RG equation is

μdpdμ=pγp(gi)+O(p2).\mu\frac{dp}{d\mu} = p\,\gamma_p(g_i) +O(p^2).

Thus p=0p=0 is an invariant surface. A small value can run, sometimes substantially, but it cannot be generated from symmetry-preserving couplings alone. This is the operational content of the enhanced-symmetry criterion associated with ‘t Hooft 1980, pp. 135–157.

For several spurions, “multiplicative” should not be read too literally. Operators with the same quantum numbers can mix:

μdϵadμ=γab(gi)ϵb+O(ϵ2).\mu\frac{d\epsilon_a}{d\mu} = \gamma_{ab}(g_i)\epsilon_b +O(\epsilon^2).

The protected statement is that the complete vector ϵ=0\boldsymbol\epsilon=0 is invariant. An individual component need not remain zero if another spurion with the same charges is nonzero.

Consider NfN_f Dirac fermions in a vectorlike gauge theory,

L=ψˉiD ⁣ ⁣ ⁣/ψψˉLMψRψˉRMψL.\mathcal L = \bar\psi iD\!\!\!/\,\psi -\bar\psi_L M\psi_R -\bar\psi_R M^\dagger\psi_L.

At M=0M=0, the non-singlet flavor symmetry enlarges to

SU(Nf)L×SU(Nf)R,ψLLψL,ψRRψR.SU(N_f)_L\times SU(N_f)_R, \qquad \psi_L\to L\psi_L, \quad \psi_R\to R\psi_R.

Treating the mass matrix as a spurion,

MLMR,M\to LMR^\dagger,

makes the mass term formally invariant. A chirality-flipping counterterm must transform in the same way, so in a mass-independent scheme its leading form is

δM=c1(g)M+c2(g)MMMΛ2+.\delta M = c_1(g)M +c_2(g)\frac{MM^\dagger M}{\Lambda^2} +\cdots .

There is no term proportional to Λ\Lambda times the identity: it would break SU(Nf)L×SU(Nf)RSU(N_f)_L\times SU(N_f)_R without a spurion. Equivalently, M0=ZMMM_0=Z_M M at leading order, and M=0M=0 remains zero under perturbative running. This protects small fermion masses even though their numerical values are not determined.

The conclusion survives a heavy threshold only if its interactions preserve the same chiral symmetry. If a heavy scalar couples through YψˉLψRHY\bar\psi_L\psi_R H, then YY is another chiral-breaking spurion. A matched light mass may contain terms such as YY times heavy-sector expectation values or other spurions; it need not be proportional to the original MM. The symmetry test therefore inventories all breaking sources, not just the parameter whose smallness prompted the question.

Shift symmetry protects a pseudo-Goldstone mass

Section titled “Shift symmetry protects a pseudo-Goldstone mass”

Let π\pi be a Goldstone coordinate with exact shift symmetry

π(x)π(x)+fα.\pi(x)\to\pi(x)+f\alpha.

The exact-symmetry EFT contains derivatives of π\pi but no potential. Introduce one dimensionless breaking spurion ϵ\epsilon through

L=12(π)2+ϵf4cos ⁣(πf)+.\mathcal L = \frac{1}{2}(\partial\pi)^2 +\epsilon f^4\cos\!\left(\frac{\pi}{f}\right) +\cdots .

Expanding about a minimum gives

mπ2=ϵf2+O(ϵ2f2).m_\pi^2 = \epsilon f^2 +O(\epsilon^2 f^2).

Every nonderivative term must contain enough breaking spurions to be invariant. Loops may renormalize the coefficient, generate higher harmonics, or mix several breakings, but the potential vanishes when all explicit-breaking spurions vanish. In chiral perturbation theory the quark-mass matrix plays precisely this role; the systematic use of external sources and symmetry-breaking insertions is developed by Gasser and Leutwyler 1984, §§ 2–6, pp. 145–173.

The analogy with the fermion mass is structural. A chiral mass flips left and right representations; a pseudo-Goldstone potential violates a shift symmetry. In both cases the quantum effective action must carry the corresponding breaking source. The detailed power counting and infrared logarithms differ.

Ordinary scalar masses expose the contrast

Section titled “Ordinary scalar masses expose the contrast”

For a real scalar with ϕϕ\phi\to-\phi, the term m2ϕ2m^2\phi^2 respects the same discrete symmetry whether m2m^2 vanishes or not. Setting m2=0m^2=0 therefore does not, by itself, supply an internal symmetry that forbids the heavy-scalar threshold calculated on the previous page:

Δmth2=λM232π2(μ=M).\Delta m^2_{\mathrm{th}} = -\frac{\lambda M^2}{32\pi^2} \qquad (\mu=M).

Classical scale invariance of the massless Lagrangian is insufficient when quantum running or a physical heavy mass MM breaks it. A scalar mass can be protected in a larger structure—an exact shift symmetry for a Goldstone mode or exact supersymmetry are familiar possibilities—but the relevant quantum symmetry and its breaking parameters must be stated. A cancellation among diagrams with no enforcing identity is not protection.

Apply the symmetry test before interpreting smallness

Section titled “Apply the symmetry test before interpreting smallness”

The diagram shows where the technical-naturalness test sits in a broader hierarchy argument. Inspect the solid “quantum symmetry” box: it can license a selection rule only after the path-integral measure, thresholds, and operator basis have been checked. Coordinates, priors, and explanatory judgments remain separate inputs.

A small-parameter or hierarchy question branches into QFT structure and empirical inputs on one side and conditional coordinates, priors, and interpretation on the other; both must be labeled before a conclusion is reported.

Physical thresholds, quantum symmetry protection, and measured observables supply different evidence from sensitivity coordinates, priors, and explanatory judgments. Technical naturalness occupies the symmetry branch: it licenses spurion selection rules only within the stated quantum theory. The diagram is schematic and not to scale.

A practical test has five parts:

  1. Zero limit: set every claimed breaking spurion to zero and display the enlarged transformation group.
  2. Quantum check: verify that the measure and regulator preserve the needed symmetry, or include its anomaly explicitly.
  3. Counterterm check: classify local operators and show that the target coefficient can arise only with the required spurion charges.
  4. Threshold check: assign transformations to all heavy-sector masses, couplings, and expectation values before matching.
  5. Mixing check: evolve the full vector of operators with the same exact quantum numbers and retain the first omitted order.

Passing these tests establishes radiative stability. It does not establish that the spurion should be small, that its observed value is likely, or that one UV completion is preferred.

That separation between symmetry protection and broader typicality or explanatory claims is also emphasized in Giudice 2008, §§ 1–2, pp. 1–7, Open PDF and Craig 2022, §§ 2 and 5, pp. 5–7 and 18–21, Open PDF.

Anomalies and regulator effects can remove protection

Section titled “Anomalies and regulator effects can remove protection”

A classical transformation may fail because the functional measure is not invariant. The Ward identity then contains an anomalous term even when the classical breaking spurion vanishes. Fujikawa’s measure calculation makes this mechanism explicit Fujikawa 1979, pp. 1195–1198.

For vectorlike gauge theories, the singlet axial U(1)U(1) is anomalous, whereas the non-singlet chiral symmetry used above can remain exact in the massless theory. In a one-flavor theory, or when nonperturbative sectors and other mass spurions are relevant, one must not invoke the anomalous singlet symmetry as an all-orders protection theorem. The correct conclusion may be perturbative multiplicativity only, with separately estimated nonperturbative breaking.

A regulator can also obscure a genuine symmetry. Wilson fermions on a lattice, for example, break chiral symmetry at nonzero lattice spacing and permit an additive bare-mass renormalization. Recovering the chiral continuum theory requires the corresponding tuning or a formulation with an exact lattice chiral relation. This is regulator bookkeeping only if the continuum Ward identities and matched observables recover the symmetry; it is not permission to ignore a physical anomalous or heavy-sector breaking.

The technical-stability row is deliberately narrower than the other rows. It records a quantum selection rule and its hypotheses; it neither supplies a parameter-space measure nor converts a symmetry into empirical evidence.

Claim classEvidence or mathematical objectConditional choices that must be declaredLicensed conclusionDoes not establish
Calculated thresholdRenormalized parent-to-EFT matching relationScheme, matching scale, matched observable, fixed inputs, and perturbative orderSize and operator structure of a heavy-scale contribution in that relationProbability, inconsistency, or a preferred UV theory
Technical stabilityEnhanced quantum symmetry, Ward identities, and spurion selection rulesField content, symmetry limit, anomaly status, thresholds, basis, and retained orderWhich corrections vanish or carry declared symmetry-breaking factorsNumerical value, typicality, or empirical success
Sensitivity diagnosticCancellation ratio or derivative such as lnO/lnai\partial\ln O/\partial\ln a_iParameter coordinates, correlations, scale, observable, and quantities held fixedLocal response or cancellation in the declared chartCoordinate-free observable, probability, or universal model ranking
Probabilistic typicalityNormalized measure, prior, likelihood, and posteriorSample space, measure, conditioning data, selection effects, and parameterizationProbability within the declared ensemble and inference modelEnsemble-independent fact or theorem of QFT
Empirical factMeasurement, exclusion, or reproducible boundDataset, likelihood, model assumptions, date, and validity domainWhat observations favor or exclude within those assumptionsA unique explanatory principle or prior
Explanatory heuristicComparative argument about autonomy, simplicity, mechanism, or research priorityAlternatives, virtues, counterexamples, historical scope, and update conditionsA transparent conditional preference or strategyCalculation, symmetry theorem, probability, or empirical result

Testing only the classical Lagrangian. A symmetry that is anomalous in the measure cannot support the advertised all-orders Ward identity. State whether the result is exact, perturbative, or limited to a nonanomalous subgroup.

Setting one breaking parameter to zero while leaving another on. Operator mixing and threshold matching can transfer breaking between spurions with compatible charges. Inventory the complete symmetry-breaking sector.

Mistaking a cancellation for a selection rule. Cancellation at one loop is stable only when a Ward identity or other exact structure enforces it at the next order and across thresholds. Repeat the test in the counterterm basis.

Treating spontaneous breaking as explicit breaking. A spontaneously broken exact symmetry still constrains the effective action and produces Goldstone modes. A pseudo-Goldstone mass requires an explicit breaking spurion.

Inferring a numerical value from protection. Technical naturalness explains why a chosen small value remains small. It does not determine how small the UV boundary condition should be.

  • Craig, Nathaniel. 2022. “Naturalness: A Snowmass White Paper.” arXiv:2205.05708 [hep-ph]. arXiv. Open PDF.

  • Fujikawa, Kazuo. 1979. “Path-Integral Measure for Gauge-Invariant Fermion Theories.” Physical Review Letters 42: 1195–1198. DOI.

  • Gasser, Jürg, and Heinrich Leutwyler. 1984. “Chiral Perturbation Theory to One Loop.” Annals of Physics 158: 142–210. DOI.

  • Giudice, Gian Francesco. 2008. “Naturally Speaking: The Naturalness Criterion and Physics at the LHC.” In Perspectives on LHC Physics, edited by G. Kane and A. Pierce, 155–178. World Scientific. DOI. Open PDF.

  • ‘t Hooft, Gerard. 1980. “Naturalness, Chiral Symmetry, and Spontaneous Chiral Symmetry Breaking.” In Recent Developments in Gauge Theories, edited by Gerard ‘t Hooft et al., 135–157. NATO Advanced Study Institutes Series B, vol. 59. Boston: Springer. DOI.