Skip to content

Validity, Unitarity, and Breakdown

Gravity EFT is valid only where every expansion used by a declared observable is controlled. Soft external momentum is insufficient: background curvature, enhanced species loops, large Wilson coefficients, thresholds, secular duration, or an unstable response can fail first. Breakdown ends the low-energy claim but does not by itself identify the ultraviolet theory that replaces it.

Required background. Applying EFT Power Counting to Gravity supplies expansion parameters; One-Loop Graviton EFT supplies loop structure; and EFT Truncation Errors and Breakdown Diagnostics supplies remainder estimates.

Helpful background. Hilbert Positivity and Unitary Evolution supplies the unitarity condition, while Linear Response and Semiclassical Stability supplies background stability tests.

For a process of characteristic invariant energy EE on a background sampled by an apparatus-frame curvature scale R\mathcal R, define

ϵp=E2ΛEFT2,ϵR=RΛEFT2,ϵloop=(Neff+cg)E216π2MPl2,ϵCd=CdEd2MPl2.\begin{aligned} \epsilon_p&=\frac{E^2}{\Lambda_{\mathrm{EFT}}^2},& \epsilon_R&=\frac{\mathcal R}{\Lambda_{\mathrm{EFT}}^2},\\ \epsilon_{\mathrm{loop}} &=\frac{(N_{\mathrm{eff}}+c_g)E^2} {16\pi^2M_{\mathrm{Pl}}^2},& \epsilon_{C_d} &=\frac{\lvert C_d\rvert E^{d-2}}{M_{\mathrm{Pl}}^2}. \end{aligned}

Here R\mathcal R is the largest relevant tidal or curvature eigenvalue rather than a coordinate component, cgc_g denotes the declared graviton–ghost channel, and CdOdC_d\mathcal O_d is a dd-derivative operator in the chosen basis. If the observable lasts for time TT, add an observable-specific secular parameter such as

ϵsecϵloopF(ET),\epsilon_{\mathrm{sec}} \sim\epsilon_{\mathrm{loop}} \lvert F(ET)\rvert,

where FF may be a logarithm, a power, or a resonant response derived from the calculation. There is no universal secular function. A compact stopping statistic is

ϵmax=max ⁣(ϵp,ϵR,ϵloop,ϵCd,ϵsec,ϵstate),\epsilon_{\mathrm{max}} =\max\!\left( \epsilon_p,\epsilon_R,\epsilon_{\mathrm{loop}}, \epsilon_{C_d},\epsilon_{\mathrm{sec}}, \epsilon_{\mathrm{state}} \right),

where ϵstate\epsilon_{\mathrm{state}} tests occupation, fluctuations, or proximity to an instability when relevant. Control requires not merely ϵmax1\epsilon_{\mathrm{max}}\ll1 but also inclusion of every contribution at the claimed order. Burgess derives gravitational power counting tied to amplitudes and backgrounds in Burgess 2004, §§2.2–2.4 and 3.1.

The structure map collects these independent tests only after the observable and active modes have been fixed.

Momentum, curvature, loop multiplicity, Wilson coefficients, state data, and duration feed a common gravity-EFT validity decision

The applicable cutoff is the first scale at which any expansion controlling the declared observable fails; different experiments can therefore have different practical limits. The map is schematic and not to scale.

First application: a weak-background scattering response

Section titled “First application: a weak-background scattering response”

Consider a graviton-mediated matter amplitude at energy EE measured in a weakly curved stationary region for a duration TT. Suppose the calculation retains tree-level Einstein exchange, one-loop terms from NeffN_{\mathrm{eff}} light species plus the metric–ghost sector, and one six-derivative coefficient C6C_6. Its relative correction has the schematic organization

ΔAAtree=aRRE2+aLϵlooplog ⁣(E2i0μ2)+a6C6E4MPl2+.\frac{\Delta\mathcal A}{\mathcal A_{\mathrm{tree}}} =a_R\frac{\mathcal R}{E^2} +a_L\epsilon_{\mathrm{loop}} \log\!\left(\frac{-E^2-i0}{\mu^2}\right) +a_6\frac{C_6E^4}{M_{\mathrm{Pl}}^2} +\cdots .

The curvature term is an expansion around the flat amplitude only when both R/E2\mathcal R/E^2 and R/ΛEFT2\mathcal R/\Lambda_{\mathrm{EFT}}^2 are controlled; if E2E^2 is exceptionally small, a background-adapted calculation may be required instead. Taking μE\mu\sim E removes an artificial large renormalization logarithm, while a physical logarithm of separated scales remains and may require renormalization-group resummation.

A reproducible claim reports the numerical values or bounds for every applicable ϵ\epsilon, varies the matching scale, and estimates the first omitted complete order. For example, if all retained corrections are O(ϵ)O(\epsilon) and the basis is closed there, the residual should scale as O(ϵ2)O(\epsilon^2). An accidental cancellation among the displayed coefficients does not justify replacing that estimate by the small net answer.

Now perform the adversarial test: keep E/ΛEFT1E/\Lambda_{\mathrm{EFT}}\ll1 while increasing R/ΛEFT2\mathcal R/\Lambda_{\mathrm{EFT}}^2 toward unity. The derivative expansion fails even though every external momentum is soft. Alternatively, keep EE and R\mathcal R small but let a retarded response grow until ϵsec1\epsilon_{\mathrm{sec}}\sim1; fixed-order late-time perturbation theory then fails without any high-energy scattering.

For a short-range 222\to2 amplitude with convention

M(s,θ)=16π=0(2+1)a(s)P(cosθ),\mathcal M(s,\theta) =16\pi\sum_{\ell=0}^\infty (2\ell+1)a_\ell(s)P_\ell(\cos\theta),

unitarity gives

Ima=a2+inelastic contribution,Rea12\operatorname{Im}a_\ell =\lvert a_\ell\rvert^2 +\text{inelastic contribution}, \qquad \lvert\operatorname{Re}a_\ell\rvert\le\frac12

in the elastic normalization. A tree amplitude approaching this boundary indicates that loops or new dynamics must enter before the extrapolation is trusted. Gravity adds an important qualification: massless tt-channel exchange is forward singular, so a naive partial-wave integral is infrared divergent. One must define an infrared-safe observable, remove the universal long-range phase, impose a physical angular resolution, or use an impact-parameter description before interpreting a bound.

Order-by-order unitarity below the cutoff is compatible with the nonrenormalizability of the Einstein action. Nonanalytic one-loop discontinuities must match products of lower-order amplitudes; local counterterms affect only analytic pieces, as illustrated in Donoghue 1994, §§III–IV, pp. 3878–3884. A formal above-cutoff pole of a higher-derivative truncation is not an extra unitarity channel within the EFT.

When ϵp\epsilon_p or ϵCd\epsilon_{C_d} reaches unity, omitted local operators compete. When ϵloop\epsilon_{\mathrm{loop}} reaches unity, fixed-loop perturbation theory fails. When ϵR\epsilon_R reaches unity, the weak-curvature derivative expansion fails. When ϵsec\epsilon_{\mathrm{sec}} reaches unity, the selected time expansion fails. A threshold crossing may instead demand a new active-field EFT even while all these parameters remain small.

These diagnoses do not select strings, asymptotic safety, extra particles, or any other completion. They state which assumption stopped licensing the calculation. Multiple descriptions may be possible beyond that boundary, and discriminating among them requires additional observables or microscopic input.

The chapter comparison table requires the observable, kinematics, apparatus-frame curvature, active spectrum, coefficients, regulator, duration, state, desired error, and cutoff definition. The partial-wave statement additionally requires an infrared prescription appropriate to massless gravity.

The failure map makes a low momentum pass only one branch of a multi-parameter decision.

A gravity-EFT claim stops when momentum, curvature, loops, coefficients, duration, state, or an infrared-safe unitarity test first loses control

Validity is observable specific and ends at the earliest failed expansion; identifying that boundary is a controlled result, whereas naming a UV completion requires new evidence. The map is schematic and not to scale.

  • Burgess, C. P. “Quantum Gravity in Everyday Life: General Relativity as an Effective Field Theory.” Living Reviews in Relativity 7, 5 (2004). doi:10.12942/lrr-2004-5. Open PDF
  • Donoghue, J. F. “General Relativity as an Effective Field Theory: The Leading Quantum Corrections.” Physical Review D 50, 3874–3888 (1994). doi:10.1103/PhysRevD.50.3874. Open PDF