Order Reduction in Gravitational EFT

Order reduction keeps the low-energy effect of higher-derivative operators without treating every formal solution of a truncated polynomial equation as physical. The operation is perturbative: lower-order equations replace higher derivatives only inside a term already suppressed by the EFT expansion parameter. The reduced and unreduced equations agree on the branch admitting a regular expansion through the retained order, but they do not define the same exact theory or the same unrestricted initial-data problem.

Required background. Gravitational Actions and Boundary Terms supplies the action variation and field-redefinition boundary terms, while Curvature supplies the derivative expansion in curvature tensors.

Helpful background. Einstein Equations supplies the leading equations and Bianchi constraints; Formulations of General Relativity supplies the initial-data distinction; Quantum Gravity supplies the neighboring low-energy EFT interpretation.

A fixed-order equation, not an exact polynomial

Let $\epsilon$ count two additional derivatives relative to the leading equation. A truncated gravitational equation has the schematic form

$$E_{ab}[g]+\epsilon H_{ab}[g,\nabla g,\ldots,\nabla^4g] =O(\epsilon^2).$$

$E_{ab}=0$ is a second-order equation, such as the Einstein equation, and $H_{ab}$ contains the retained curvature-squared correction. Expand the solution on a branch admitting a regular asymptotic expansion at $\epsilon=0$,

$$g_{ab}=g^{(0)}_{ab}+\epsilon g^{(1)}_{ab}+O(\epsilon^2).$$

At successive orders,

$$E_{ab}[g^{(0)}]=0,$$

and

$$DE_{ab}[g^{(0)}]\,g^{(1)}+H_{ab}[g^{(0)}]=0.$$

The second equation contains only the leading solution inside $H_{ab}$. Whenever its higher derivatives can be replaced using $E[g^{(0)}]=0$ and its derivatives, define $H^{\rm red}_{ab}$ and solve

$$E_{ab}[g]+\epsilon H^{\rm red}_{ab}[g]=O(\epsilon^2).$$

This derivational chain is the essence of order reduction. Parker and Simon apply it to semiclassical gravity in Parker and Simon 1993, § II, equations (2.7)–(2.13) and develop the curved-spacetime initial-value treatment in Parker and Simon 1993, §§ III–V, equations (3.1)–(5.18).

The equality is through $O(\epsilon)$ only; no convergent all-order Taylor series is assumed. One may solve the reduced equation numerically or keep a useful resummed frequency, but doing so does not promote the result to all-order accuracy. The solution must stay on the low-energy branch, and its error must be bounded against the first omitted order over the interval of use. Treating every exact root of the reduced equation as physical can create another spurious branch.

The oscillator exposes the extra branch

Consider the dimensionless model

$$\ddot x+\omega^2x+\epsilon x^{(4)}=0, \qquad \lvert\epsilon\rvert\omega^2\ll1.$$

The leading equation gives $\ddot x=-\omega^2x+O(\epsilon)$ and therefore $x^{(4)}=\omega^4x+O(\epsilon)$. Substitution only in the suppressed term gives

$$\ddot x+\omega^2(1+\epsilon\omega^2)x=O(\epsilon^2).$$

For $x\propto e^{-i\Omega t}$, the unreduced characteristic equation is

$$\epsilon\Omega^4-\Omega^2+\omega^2=0,$$

with roots

$$\Omega_\pm^2 =\frac{1\pm\sqrt{1-4\epsilon\omega^2}}{2\epsilon}.$$

The low root is analytic,

$$\Omega_-^2=\omega^2+\epsilon\omega^4+O(\epsilon^2),$$

and agrees with the reduced equation. The other root scales as $\Omega_+^2=\epsilon^{-1}-\omega^2+O(\epsilon)$; its frequency approaches the cutoff rather than the leading solution. Depending on the sign of the higher-derivative term it is a rapid oscillation or a runaway. In either case, the two additional integration constants carried by this branch are not low-energy EFT data.

This exact-root calculation is an independent check of both the sign and the frequency shift. It also shows why merely observing that the fourth-order equation has extra solutions does not decide whether a truncated EFT contains new physical particles.

Field redefinitions and redundant operators

A perturbative local field redefinition,

$$g_{ab}\longrightarrow g_{ab} +\epsilon\left(aR_{ab}+bRg_{ab}\right),$$

changes the leading action by

$$\Delta S =\epsilon\int d^4x\sqrt{-g}\, E^{ab}\left(aR_{ab}+bRg_{ab}\right) +\hbox{boundary term}+O(\epsilon^2).$$

Operators proportional to the leading equation can thus be exchanged at a fixed order. On-shell observables are unchanged only when sources, matter couplings, boundary data, and the definition of the observable are transformed consistently. EFT power counting and the equivalence of such operator bases are reviewed in Burgess 2004, §§ 2.3–2.7 and 3.1–3.3.

Order reduction is the equation-level counterpart of this perturbative freedom. It is not a proof that a fundamental higher-derivative theory is healthy, and it cannot remove a light extra mode that lies within the EFT validity domain.

Initial data and the validity boundary

The reduced problem uses the same number of freely specifiable low-energy initial data as the leading second-order theory. Perturbative corrections to constraints and boundary conditions must be solved at each order; one may not choose arbitrary data for the high-frequency roots and then ask order reduction to erase them.

The controlled approximation can fail when gradients or frequencies approach the cutoff, curvature makes $\epsilon H$ comparable with $E$, secular growth makes $\epsilon g^{(1)}$ nonuniformly large, a boundary layer varies on the short scale $\sqrt{\lvert\epsilon\rvert}$, or the selected solution lacks the required regular low-energy expansion. Near any such regime the omitted operators and the UV boundary conditions are needed.

The chapter therefore uses order reduction for theory construction and solution control, not for empirical likelihoods or numerical bounds, which remain in Tests of Gravity. Whether a microscopic theory resolves the extra poles is a separate Quantum Gravity question.

Common pitfalls

Use the leading equation in an unsuppressed term. Substitution is justified only inside a contribution whose prefactor already fixes the induced error to the next omitted order.

Claim all-order accuracy from a reduced equation. Solving it exactly can be useful, but its beyond-order terms were never fixed by the derivation. Compare at the retained accuracy and track secular error; a resummed solution does not establish a convergent expansion.

Exercises

Solve the fourth-order oscillator exactly, expand both frequency branches, and verify by substitution that the order-reduced equation reproduces the low branch through first order but not the high branch.

Solution

The quadratic equation in $\Omega^2$ gives the two displayed roots. Expanding $\sqrt{1-4\epsilon\omega^2}$ yields $\Omega_-^2=\omega^2+\epsilon\omega^4+O(\epsilon^2)$ and $\Omega_+^2=\epsilon^{-1}-\omega^2+O(\epsilon)$. Substitution of the first into $-\Omega^2+\omega^2+\epsilon\Omega^4$ leaves $O(\epsilon^2)$, exactly as the reduced equation predicts. The second is nonanalytic at $\epsilon=0$ and lies outside the assumed low-frequency expansion.

References

• Burgess, C. P. 2004. “Quantum Gravity in Everyday Life: General Relativity as an Effective Field Theory.” Living Reviews in Relativity 7: 5. DOI.
• Parker, Leonard, and Jonathan Z. Simon. 1993. “Einstein Equation with Quantum Corrections Reduced to Second Order.” Physical Review D 47: 1339–1355. DOI.