Effective Field Theory as a Controlled Expansion

An effective field theory is controlled when its error can be reduced systematically by adding the next terms required by a declared expansion. The ultraviolet completion may be known, partly known, or entirely unknown; predictivity instead rests on a domain, active degrees of freedom, symmetry, power counting, and a finite set of coefficients at each target accuracy. This page tests that control using the exact tree-level heavy-exchange contribution in a stable scalar model, keeping its contribution-relative truncation error distinct from the error of the total amplitude.

Required background. Regulator Removal and Renormalized Predictions supplies the distinction between a regulator and a physical prediction, while Local and Composite Operator Insertions supplies the local-operator grammar. Helpful background. Free-Field OPE Preview previews how short-distance effects can be organized by local operators.

A finite prediction from an infinite action

Let $Q$ denote the low scale probed by an observable and let $\Lambda_b$ denote the scale at which the chosen effective description breaks down. A one-parameter expansion begins with

q\equiv\frac{Q}{\Lambda_b}<1.

The EFT contains every local operator allowed by its field content and symmetries,

\mathcal L_{\mathrm{EFT}} = \sum_i C_i(\mu)\,\mathcal O_i(\mu).

This sum is generally infinite. It becomes predictive only after a power counting assigns an order $\nu_i$ to each insertion and to the loops built from them. At a requested order $\nu_{\max}$ , the calculation retains all contributions with $\nu\leq\nu_{\max}$ and estimates the remainder. The finite object is therefore not the exact Lagrangian but the set of contributions needed for a specified observable and accuracy.

Canonical dimension supplies part of the information. If $\mathcal O_i$ has mass dimension $d_i$ in $d$ spacetime dimensions, one convenient normalization is

\mathcal L_{\mathrm{EFT}} \supset \frac{c_i(\mu)}{\Lambda_b^{d_i-d}}\mathcal O_i,

with dimensionless $c_i$ . But a genuine counting may also include weak couplings, loop factors, symmetry-breaking spurions, light masses, velocity factors, large occupation numbers, or infrared enhancements. “Dimension six” does not by itself mean “next-to-leading order.”

For an observable $X$ , a control declaration can be written as

X(Q) = X_{\mathrm{ref}}(Q) \left[ \sum_{n=0}^{k}c_n(Q)q^n +R_{k+1}(Q) \right],

where the counting predicts which powers occur and the error model states what is assumed about $R_{k+1}$ . A calculation is systematically improvable when increasing $k$ adds a known finite set of terms, renormalizes them consistently, and pushes the residual to the predicted next order.

The local action organizes low-energy effects before a particular observable is calculated. Higher-dimensional interactions remain useful because only finitely many terms contribute at a fixed order in the specified expansion Burgess 2021, § 1.2, pp. 10–13; § 2.4, pp. 39–44.

What must be declared before calculating

A reproducible EFT prediction fixes the following data.

Item	Question that must have an answer	Typical failure if omitted
Domain	Which energies, momenta, backgrounds, and particle multiplicities are admitted?	Extrapolation through a threshold or into a new phase
Degrees of freedom	Which states can propagate over resolved distances?	A light or nearly on-shell mode is encoded incorrectly as a local coefficient
Symmetry realization	Which symmetries are exact, broken by spurions, anomalous, or nonlinear?	Missing operators or forbidden interactions
Expansion parameters	Which ratios are small, and how are several ratios correlated?	Canonical dimension substitutes for a power counting
Normalization and scheme	How are fields, operators, coefficients, and $\mu$ defined?	Coefficients from incompatible conventions are combined
Target order	Which trees, loops, insertions, and parameter corrections enter?	An equally large contribution is omitted
Error model	What sets the first omitted term, and how is it tested?	Scale variation is mistaken for a complete uncertainty

Three different scales should not be conflated:

$\Lambda_b$ is a physical or dynamical boundary of the EFT’s usefulness;
$\Lambda_{\mathrm{reg}}$ is a regulator parameter introduced to define intermediate expressions; and
$\mu$ is a renormalization or matching scale used to divide logarithms between coefficients and matrix elements.

A good calculation removes or controls $\Lambda_{\mathrm{reg}}$ , cancels $\mu$ dependence through the retained order, and never claims validity beyond $\Lambda_b$ . The numerical values can be comparable in a convenient implementation, but the concepts remain distinct.

The scale/content map below shows the relationship to inspect. The heavy state is present above its threshold, absent from the low-energy Hilbert space, and still represented through Wilson coefficients below the threshold. The nearest singularity bounds the local expansion.

A heavy scale separates a full theory containing light and heavy fields from an EFT retaining the light field and local coefficients; the hard propagator's local expansion ends at its nearest singularity. — Scale separation selects the resolved states. Below the illustrative heavy scale $M\simeq\Lambda_b$ , $\phi$ remains active and heavy virtual effects enter local coefficients. The dimensionless counting parameter is $q=Q/\Lambda_b$ ; the exchanged four-momentum $k$ has mass dimension one. The heavy propagator’s geometric series converges for $|k^2|<M^2$ , while light nonanalytic propagation must remain dynamical. The diagram shows the tree-level hard contribution and is schematic, not to scale.

Exact heavy exchange and its local expansion

In four spacetime dimensions, consider a real scalar $\phi$ with zero tree-level mass and a real scalar $H$ of tree-level mass $M>0$ ,

\mathcal L = \frac12(\partial\phi)^2 +\frac12(\partial H)^2 -\frac12M^2H^2 -\frac g2H\phi^2 -\frac{\lambda_{\mathrm{full}}}{4!}\phi^4.

Take real $g\ne0$ , $\lambda_{\mathrm{full}}>3g^2/M^2$ , and weak dimensionless couplings $g^2/M^2$ and $\lambda_{\mathrm{full}}$ . The potential completes to

U(\phi,H) =\frac{M^2}{2}\left(H+\frac{g\phi^2}{2M^2}\right)^2 +\frac{\lambda_{\mathrm{full}}-3g^2/M^2}{24}\phi^4.

Thus the origin is the stable classical vacuum. Without the stabilizing quartic the potential would be unbounded and the massless origin would not be a local minimum. Here the light contact interaction is retained unchanged in both theories. This is a tree-level benchmark; radiative mass tuning, loop matching, and quantum vacuum stability require additional analysis.

For $\phi\phi\to\phi\phi$ , let $\mathcal A_{\mathrm{full}}$ denote the heavy-exchange contribution, with the overall Feynman-rule factor $i$ removed. Keeping the heavy denominators unexpanded gives

\frac{\mathcal A_{\mathrm{full}}}{g^2} = \frac{1}{M^2-s} +\frac{1}{M^2-t} +\frac{1}{M^2-u}.

The complete tree amplitude in the site’s $i\mathcal M$ convention is

\mathcal M_{\mathrm{full}} =-\lambda_{\mathrm{full}}+\mathcal A_{\mathrm{full}}.

The three exchange signs follow from two $-ig$ vertices and one $i/(x-M^2+i0)$ propagator in each channel; the contact rule is $-i\lambda_{\mathrm{full}}$ , as on Scalar Contact and Exchange Amplitudes. All formulas below stay below the heavy poles, where the tree boundary value is real.

Below all heavy poles, each channel has the geometric expansion

\frac{1}{M^2-x} = \frac1{M^2} +\frac{x}{M^4} +\frac{x^2}{M^6} +\frac{x^3}{M^8} +\cdots, \qquad |x|<M^2.

Keeping the local series through $1/M^6$ gives

\frac{\mathcal A_{\mathrm{EFT}}^{(6)}}{g^2} = \frac3{M^2} +\frac{s+t+u}{M^4} +\frac{s^2+t^2+u^2}{M^6}.

For massless on-shell $2\to2$ scattering, $s+t+u=0$ , so the nominal $1/M^4$ contribution cancels in this observable. To see what that means for the action, complete the Gaussian square in $H$ . Its equation is $(\Box+M^2)H=-g\phi^2/2$ , giving the induced interaction

\begin{aligned} \Delta\mathcal L &=\frac{g^2}{8}\phi^2\frac{1}{\Box+M^2}\phi^2\\ &=\frac{g^2}{8M^2}\phi^4 -\frac{g^2}{8M^4}\phi^2\Box(\phi^2)+\cdots . \end{aligned}

This is an unreduced operator expansion. With vanishing boundary terms, integration by parts gives

\int d^4x\,\phi^2\Box(\phi^2) =-4\int d^4x\,\phi^2(\partial\phi)^2 =\frac43\int d^4x\,\phi^3\Box\phi.

A perturbative local field redefinition can therefore use the leading light-field equation of motion to trade this derivative term for other interactions. The leading matched quartic is $\lambda_{\mathrm{EFT}}=\lambda_{\mathrm{full}}-3g^2/M^2>0$ , so $\Box\phi=-\lambda_{\mathrm{EFT}}\phi^3/6$ produces a six-field interaction. The induced higher-order terms must be retained to the requested accuracy, and sources must be transformed when comparing off-shell correlation functions. The four-point kinematic zero alone does not justify simply discarding these effects. This distinction between an unreduced expansion and a reduced basis follows the order-by-order construction in Burgess 2021, § 2.5, pp. 45–46. The full elimination is developed in Integrating Out Heavy Fields.

At fixed center-of-mass angle $\cos\theta=1/3$ , use

s=E^2, \qquad t=-\frac{E^2}{3}, \qquad u=-\frac{2E^2}{3}.

Then

\begin{aligned} s^2+t^2+u^2&=\frac{14}{9}E^4,\\ s^3+t^3+u^3&=\frac23E^6. \end{aligned}

The first omitted contribution is therefore

\frac{\Delta\mathcal A^{(8)}}{g^2} = \frac{2E^6}{3M^8} +O\!\left(\frac{E^8}{M^{10}}\right).

Normalizing the truncation error by the exact exchange contribution gives

r_{\mathrm{ex}}\equiv \frac{|\mathcal A_{\mathrm{full}}-\mathcal A_{\mathrm{EFT}}^{(6)}|} {|\mathcal A_{\mathrm{full}}|} = \frac29\left(\frac EM\right)^6 +O\!\left(\frac{E^8}{M^8}\right).

The residual therefore approaches slope six on a log–log plot against $E/M$ . An exact remainder also turns the expansion into a finite accuracy statement. Define

\rho=\frac{\max(|s|,|t|,|u|)}{M^2}<1.

Subtracting the retained polynomial from each heavy denominator gives

\begin{aligned} R&\equiv\mathcal A_{\mathrm{full}}-\mathcal A_{\mathrm{EFT}}^{(6)} =\frac{g^2}{M^6}\sum_{x=s,t,u}\frac{x^3}{M^2-x},\\ |R|&\leq\frac{g^2\bigl(|s|^3+|t|^3+|u|^3\bigr)}{M^8(1-\rho)}. \end{aligned}

Here every invariant is real and $M^2-x\geq M^2(1-\rho)>0$ . For the fixed angle above, $\rho=(E/M)^2$ and $|s|^3+|t|^3+|u|^3=4E^6/3$ . Moreover, $f(y)=1/(1-y)$ is convex for $y<1$ . Since $s+t+u=0$ , averaging the three values $y=x/M^2$ yields $\mathcal A_{\mathrm{full}}\geq3g^2/M^2$ . Hence

r_{\mathrm{ex}}\leq \frac{4(E/M)^6}{9\bigl[1-(E/M)^2\bigr]}.

The bound increases with $E/M$ on $0\leq E/M<1$ . Thus choosing $E/M\leq1/4$ guarantees $r_{\mathrm{ex}}\leq1/8640\simeq1.16\times10^{-4}$ : retaining the quadratic invariant terms meets, for example, a target exchange-relative accuracy of $2\times10^{-4}$ throughout this window. This conservative bound controls the tree-level truncation, not omitted loop contributions.

For the total amplitude, keep the same contact term:

\begin{aligned} \mathcal M_{\mathrm{EFT}}^{(6)} &=-\lambda_{\mathrm{full}}+\mathcal A_{\mathrm{EFT}}^{(6)},\\ r_{\mathrm{tot}} &\equiv\frac{|\mathcal M_{\mathrm{full}}-\mathcal M_{\mathrm{EFT}}^{(6)}|} {|\mathcal M_{\mathrm{full}}|} =r_{\mathrm{ex}} \frac{|\mathcal A_{\mathrm{full}}|} {|-\lambda_{\mathrm{full}}+\mathcal A_{\mathrm{full}}|}. \end{aligned}

The absolute amplitude error is unchanged by the common contact term. Its relative error can be amplified near a cancellation in the total amplitude and is undefined at an exact zero. A cross-section uncertainty must instead compare the complete squared amplitudes with the same phase space. The stable completion therefore preserves the exchange benchmark without turning its relative error into a universal observable error.

Numerical residual check

For the chapter fixture $M=10$ , $g=1$ in consistent mass units, the exact exchange contribution and its expansion through $1/M^6$ give the following values. These columns apply for any common $\lambda_{\mathrm{full}}>0.03$ ; the total amplitude is obtained by subtracting that same $\lambda_{\mathrm{full}}$ from both amplitude columns.

$E/M$	Exact exchange $\mathcal A_{\mathrm{full}}$	EFT exchange $\mathcal A_{\mathrm{EFT}}^{(6)}$	Exchange-relative residual $r_{\mathrm{ex}}$
0.050	0.03000009733	0.03000009722	$3.49\times10^{-9}$
0.075	0.03000049339	0.03000049219	$4.00\times10^{-8}$
0.100	0.03000156234	0.03000155556	$2.26\times10^{-7}$
0.150	0.03000795409	0.03000787500	$2.64\times10^{-6}$
0.200	0.03002534746	0.03002488889	$1.53\times10^{-5}$
0.250	0.03006258503	0.03006076389	$6.06\times10^{-5}$
0.300	0.03013171112	0.03012600000	$1.90\times10^{-4}$

An unweighted linear fit to $\ln r_{\mathrm{ex}}$ versus $\ln(E/M)$ over these seven points gives slope $6.080$ . The small excess above six is expected because the exact residual contains higher powers. Restricting the fit toward smaller $E/M$ approaches the analytic slope six; omitting the $1/M^6$ term instead gives a leading slope of four.

A slope checks the leading power, but cannot establish the normalization. At fixed $M$ , replacing $E/M$ by the numerical value of $E$ in fixed units only translates the horizontal logarithmic coordinate, leaving the slope unchanged. A constant multiplicative error in $r_{\mathrm{ex}}$ likewise translates the vertical coordinate. The dimensionless axis, stated parameters and direct amplitude/residual comparisons in the table are therefore separate checks.

A reproducible calculation is designed around this deterministic benchmark and adds explicit adversarial cases. The table above preserves the reference claim independently of an interactive implementation.

Top-down and bottom-up EFTs

When the full theory is known, one can integrate out or match its heavy degrees of freedom. The coefficients $C_i$ are then calculable functions of the heavy masses, couplings, renormalization scheme, and matching scale. The exact tree-level heavy-exchange calculation, combined with the retained contact interaction, is such a top-down construction. In particular, the leading matched quartic is $\lambda_{\mathrm{EFT}}=\lambda_{\mathrm{full}}-3g^2/M^2>0$ .

When the ultraviolet completion is unknown, locality and symmetry still determine the operator structures. Their coefficients are independent low-energy parameters to be measured or constrained. This bottom-up construction remains predictive because only finitely many combinations contribute at a declared order. Measurements can then reveal which symmetries are approximate, estimate $\Lambda_b$ , and test whether the assumed counting is self-consistent.

The two viewpoints share the same low-energy action. They differ in how its coefficients are obtained and what correlations among them are justified. A bottom-up coefficient should not be assigned a heavy-mediator relation merely because that relation holds in one possible completion. Conversely, matching a known full theory without including every EFT operator required at the retained order makes the comparison incomplete.

Burgess constructs the low-energy generator and Wilson action, then organizes their local interactions by dimensions and scaling Burgess 2021, §§ 2.2–2.4, pp. 26–44.

What systematic improvement does and does not promise

Systematic improvement means that a larger calculation comes with a sharper residual prediction. It does not mean that every series converges indefinitely. Perturbative coefficients may eventually grow, several small parameters may compete, or a new threshold may reorganize the degrees of freedom. The useful claim is local in theory space and kinematics: within a tested window, the retained hierarchy orders contributions and the residual behaves accordingly.

The statement also does not guarantee naturally sized coefficients. A symmetry can suppress a coefficient; a resonance can enhance one; an infrared fine tuning can promote an interaction; and a poor normalization can make dimensionless coefficients appear large. Coefficient sizes become evidence only relative to a specified normalization and mechanism.

Finally, an EFT does not erase ultraviolet physics. Heavy effects survive in Wilson coefficients, threshold corrections, anomalies, and the values of relevant parameters. What decouples is the need to resolve the detailed heavy dynamics in every low-energy calculation. The assumptions behind that statement are examined in Decoupling Theorems and Threshold Corrections.

Common pitfalls

“Nonrenormalizable” means unpredictive. An interaction with canonical dimension greater than four requires additional counterterms, but an EFT includes them in a hierarchy. Predictivity is an order-by-order claim, tested by Loops, Counterterms, and Closure of an EFT Expansion.

The regulator cutoff is the breakdown scale. A regulator is an intermediate definition; $\Lambda_b$ is a property of the chosen physical description. Cutoff variation can diagnose missing counterterms, but setting the regulator equal to a heavy mass does not prove the EFT is valid up to that mass.

A small correction proves the expansion. A single accidental cancellation can make one order tiny. Control requires the predicted scaling across energies or observables and stability under the complete contribution set.

Integrating out means deleting a field. Eliminating $H$ produces a generally nonlocal functional of $\phi$ ; the local EFT is its low-energy expansion. In this model the Gaussian kernel $\Box+M^2$ is independent of $\phi$ , so its determinant contributes only to vacuum normalization. A background-dependent heavy kernel can instead generate field-dependent loop interactions, as explained in Integrating Out Heavy Fields.

Exercises

For the fixed-angle heavy-exchange fixture, truncate the amplitude after the $1/M^4$ term. What residual slope is expected even though $s+t+u=0$ ?

Solution

On shell the entire $1/M^4$ contribution cancels, so this truncation equals the leading result $3g^2/M^2$ . The first nonzero correction is

\frac{g^2(s^2+t^2+u^2)}{M^6} = \frac{14g^2E^4}{9M^6}.

Relative to $3g^2/M^2$ , the residual begins as $14(E/M)^4/27$ . The expected log–log slope is four, not two. The absent quadratic correction is an observable-specific kinematic cancellation.

Suppose a full amplitude contains $\ln[(-s-i0)/\mu_0^2]$ from a massless light-particle cut, where $\mu_0>0$ is a reference mass scale. The retained kinematic domain resolves the nonanalytic dependence on $s$ near the light threshold. Can its entire effect be absorbed into a momentum-independent Wilson coefficient after the light particle is removed?