Skip to content

Consistency Checklist for Standard Model Extensions

A Standard Model extension becomes a usable quantum-field-theory framework only after its fields and symmetries define a single-valued action, all gauge and global consistency conditions are checked, its vacuum and spectrum exist in the claimed domain, amplitudes remain controlled, and observables are connected to versioned evidence without exceeding either theory or data validity. Passing these tests does not prove ultraviolet completion, naturalness, or empirical relevance; it establishes the narrower claim that the declared low-energy model is internally coherent and predictively specified.

Required background. Gauge-Anomaly Cancellation and Quantum Consistency supplies the left-handed-Weyl anomaly conventions used below.

Helpful background. EFT Positivity and UV Consistency explains when analyticity and unitarity impose additional Wilson-coefficient constraints.

The map below organizes the consistency checks before any parameter limit is interpreted. Scalar, vector, fermion, neutrino, axionlike, and extended-Higgs portals may be represented as resolved models, simplified mediators, or effective operators, but those descriptions are related only in their common matching and validity domain.

Consistency checks precede scalar, vector, fermion, neutrino, and axionlike portal choices, which map through resolved, simplified, or effective descriptions to observables, validity masks, and reinterpretation.

A portal prediction is transferable only when the source and target descriptions share the relevant degrees of freedom, symmetries, normalization, interference, width, acceptance, and kinematic regime. Dashed links denote reduction or matching; the diagram is schematic.

Test the following gates in order. Later phenomenology cannot repair an earlier structural failure.

GateRequired recordDecisive checkFailure is handed to
Field theoryspins, representations, faithful gauge group, global charges, Hermitian operatorsevery term is Lorentz and gauge invariant and has a declared normalizationrepresentation or global-form analysis
Quantum gauge consistencyall left-handed Weyl fermions with spectator multiplicitieslocal gauge, mixed gravitational, and relevant global anomalies vanishanomaly-safe matter construction
Mass generationbilinears, Yukawas, scalar representations, symmetry breakingevery claimed mass follows from an allowed operator and leaves the intended unbroken groupscalar or gauge-sector construction
Vacuumcomplete scalar potential and parameter domainboundedness, stationary conditions, positive physical masses, and the selected vacuum’s competition with other extremascalar-sector analysis
Perturbative controlcouplings, renormalization scale, thresholds, partial wavesrunning remains in the declared domain and relevant SS-matrix eigenvalues obey unitarityRG, matching, or a different description
Flavor and accidental stabilityfull flavor tensors and exact/remnant symmetriesunwanted tree flavor change, CP phases, and accidentally stable charged or colored states are identifiedflavor or cosmology specialists
Decoupling and matchingheavy masses, their symmetry origin, matching scale, retained orderlow-energy amplitudes reproduce the full theory within the stated power correctionmatching and EFT methods
Observablepole or fiducial definition, widths, interference, matrix elementsthe predicted quantity is gauge invariant and calculable at the stated orderamplitudes or precision-observable methods
Inference and evidencelikelihood, covariance, versions, overlap, validity maskthe statistical conclusion uses only released information inside a mask fixed before fittingResearch or the official evidence source

For a product of simple groups and Abelian factors, local anomaly tests can be organized as

AG3=ψdspectator(ψ)A(Rψ),AG2U(1)=ψdspectator(ψ)T(Rψ)qψ,\mathcal A_{G^3}=\sum_{\psi}d_{\rm spectator}(\psi)A(R_\psi), \qquad \mathcal A_{G^2U(1)}=\sum_{\psi}d_{\rm spectator}(\psi)T(R_\psi)q_\psi, AU(1)3=ψdnonab(ψ)qψ3,Agrav2U(1)=ψdnonab(ψ)qψ.\mathcal A_{U(1)^3}=\sum_\psi d_{\rm nonab}(\psi)q_\psi^3, \qquad \mathcal A_{{\rm grav}^2U(1)}=\sum_\psi d_{\rm nonab}(\psi)q_\psi.

Every sum is over left-handed Weyl fields. A right-handed field must first be replaced by its left-handed conjugate, reversing its Abelian charges and conjugating its non-Abelian representation. These perturbative sums are necessary but not sufficient: the faithful global form, allowed bundles, line operators, and global anomalies require separate tests Bilal 2008, §§3–4, 7.

A useful review is a short reproducible workflow:

  1. Write a field table containing spin, representation under every gauge factor, all Abelian charges, multiplicity, and proposed mass source.
  2. State the actual gauge group, not only its Lie algebra, and verify that every representation descends to that quotient.
  3. Generate every renormalizable interaction allowed by the declared symmetries. If an omitted operator is merely set to zero, state the protecting symmetry or the tuning.
  4. Evaluate local anomaly sums exactly and test relevant global anomalies. Do not proceed with an anomalous gauge current.
  5. Expand about each candidate vacuum, remove gauge zero modes, and test the physical Hessian, boundedness, and competing extrema.
  6. Diagonalize kinetic and mass matrices in that order, rotate currents with the same transformations, and verify positive residues and masses.
  7. Calculate a representative high-energy partial wave, RG trajectory, and heavy-mass limit. Match coefficients and estimate the first omitted power independently.
  8. Define an observable with its pole/width or fiducial prescription and retain interference with the Standard Model.
  9. Freeze the theory-validity mask, dataset identity, likelihood, covariance, nuisance semantics, and evidence cutoff before inference.

As a minimal counterexample, one left-handed fermion of charge +1+1 under a new U(1)XU(1)_X gives

AX3=1,Agrav2X=1,\mathcal A_{X^3}=1, \qquad \mathcal A_{{\rm grav}^2X}=1,

so a Proca mass or a small coupling cannot make the gauged model consistent. Adding a field of charge 1-1 cancels both sums and permits the gauge-invariant bilinear mχ+χ+h.c.m\chi_+\chi_-+\text{h.c.}; it creates a vectorlike pair, not a proof that every possible global or ultraviolet condition is satisfied. An anomalous gauge theory can sometimes be treated below a cutoff with additional Wess–Zumino data, but that is a different EFT whose cutoff and compensating terms must be explicit Preskill 1991, §§2–4.

Internal consistency means the stated model defines controlled amplitudes in a stated domain. It can still be incomplete above a cutoff.

Ultraviolet completion additionally supplies new degrees of freedom or dynamics that continue the theory while preserving unitarity, locality, and the assumed analyticity properties. Positivity can rule out some low-energy coefficient patterns, but passing known bounds is not an existence proof.

Naturalness is a declared sensitivity criterion. For example, technical naturalness asks whether a small parameter restores a symmetry when set to zero; it does not turn a parameter estimate into an experimental fact ’t Hooft 1980, pp. 135–157.

Empirical motivation is a property of dated observations and a specified statistical comparison. It cannot be inferred from elegance, consistency, or the availability of a portal operator.

Decoupling is similarly conditional. Heavy particles whose masses can be taken large at fixed dimensionless couplings usually generate local inverse-mass corrections, but masses tied to symmetry-breaking couplings can leave nondecoupling effects. The hypotheses of the decoupling theorem must therefore be checked rather than quoted as a slogan Appelquist and Carazzone 1975, pp. 2856–2861.

Before a search result can test the model, preserve the following semantic fields:

LayerMinimum information
Observablepole, pseudo-observable, or fiducial definition; units; cuts; theory order; width and interference convention
Theory responseparameter basis, matching/running versions, matrix elements, generator or analytic code, uncertainty, and software checksum
Validityenergy transfers, EFT truncation, perturbativity/unitarity, width, gauge completion, interpolation domain, and a mask fixed before fitting
Evidenceexperiment, dataset/data period, record DOI, exact resource version and checksum, likelihood/covariance identity, and nuisance semantics
Dependenceshared events, calibrations, priors, theory inputs, and cross-covariances with other results
Lifecycleevidence cutoff, license, corrections/errata, review date, and superseding record

This is a reproducibility contract, not a current exclusion summary. A plot without its released likelihood or response information may support only the claims its producer documents; private detector emulation is never relabeled as official evidence. Reinterpretation recommendations and the information needed to make results reusable are developed by the LHC Reinterpretation Forum Abdallah et al. 2020, §§2–5.

  • Switch-off: every induced coupling and mixing angle must vanish continuously when the portal coupling does, unless an independently declared interaction remains.
  • Heavy-mass limit: after refitting low-energy inputs, amplitudes must approach the matched EFT with the predicted power residual; a constant remainder requires a named nondecoupling mechanism.
  • Gauge check: longitudinal or gauge-parameter dependence must cancel in a physical amplitude. Growth that violates partial-wave unitarity marks a missing state, symmetry relation, or cutoff.
  • Vacuum check: positive masses at one stationary point do not prove global boundedness or vacuum selection.
  • Evidence check: a valid model point is not evidence for the model, and a negative result constrains only the declared observable, model map, and validity domain.

Use Consistent New Matter and Gauge Sectors when the first failure is representation, anomaly, or mass construction; use the relevant scalar, vector, fermion, or pseudoscalar sibling for its mechanism. Description-layer failures go to Effective, Simplified, and Mediator Descriptions, and evidence applications go to Search Validity and Reinterpretation for Portal Models.

  • Abdallah, Waleed, et al. “Reinterpretation of LHC Results for New Physics: Status and Recommendations after Run 2.” SciPost Physics 9 (2020): 022. DOI.
  • Appelquist, Thomas, and J. Carazzone. “Infrared Singularities and Massive Fields.” Physical Review D 11 (1975): 2856–2861. DOI.
  • Bilal, Adel. “Lectures on Anomalies.” arXiv:0802.0634 [hep-th] (2008). arXiv.
  • ’t Hooft, Gerard. “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. New York: Plenum Press, 1980. DOI.
  • Preskill, John. “Gauge Anomalies in an Effective Field Theory.” Annals of Physics 210 (1991): 323–379. DOI.