Effective field theory and matching

An effective field theory (EFT) describes a chosen range of energies without pretending to resolve shorter-distance physics. It is predictive when its degrees of freedom, symmetries, expansion parameters, operator basis, and breakdown conditions are stated together. The result is not merely a convenient approximation: it is an ordered calculation whose first omitted terms can be identified and tested.

Required background. Use perturbative rules to translate local operators into amplitudes, loops and regularization to separate momentum regions, and renormalization and the RG to distinguish matching from scale evolution. Helpful background. The complex and asymptotic methods review is useful when an expansion is being mistaken for an exact identity.

Why a low-energy theory can predict

Suppose a process probes momenta and light masses of a common scale $Q$, while a particle or excitation of mass $M$ is not produced and $Q\ll M$. Its virtual effects can often be expanded in powers of

$$\epsilon=\frac{Q}{M}.$$

At low energy, short-distance propagation then appears as a sequence of local interactions with increasing numbers of derivatives. The EFT keeps the light fields explicitly and represents the removed physics through Wilson coefficients:

$$\mathcal L_{\mathrm{EFT}} =\mathcal L_{\mathrm{light}} +\sum_{d,i}\frac{C_i^{(d)}(\mu)}{M^{d-4}}\,\mathcal O_i^{(d)}(\mu).$$

The index $i$ distinguishes operators of the same dimension; $\mu$ is the renormalization scale. This notation is only a starting point. Canonical dimension alone does not determine importance when a problem contains small couplings, nonrelativistic velocities, symmetry breaking, large logarithms, or several low scales. A usable EFT needs a power counting that assigns an order to every derivative, mass insertion, coupling, loop, and operator insertion.

The locality expansion has a boundary. A heavy pole, a threshold for a removed state, or the loss of the hierarchy $Q/M\ll1$ cannot be repaired by adding a few more local terms. The domain must therefore be specified before the Lagrangian is truncated. This is the organizing principle behind Weinberg’s low-energy construction and modern EFT practice.

Worked matching: remove a heavy scalar

Consider a light real scalar $\phi$ and a heavy real scalar $H$ in four spacetime dimensions:

$$\mathcal L =\frac12(\partial\phi)^2-\frac12m^2\phi^2 +\frac12(\partial H)^2-\frac12M^2H^2 -\frac{g}{2}H\phi^2+\cdots, \qquad m,Q\ll M.$$

The omitted terms may stabilize the full potential and generate interactions irrelevant to this tree-level example. After integrating the heavy kinetic term by parts, its contribution is

$$\mathcal L_H =-\frac12H(\Box+M^2)H-\frac{g}{2}H\phi^2.$$

The classical heavy-field equation is

$$(\Box+M^2)H=-\frac{g}{2}\phi^2,$$

so substituting its solution gives the exact tree-level nonlocal interaction

$$\Delta\mathcal L_{\mathrm{tree}} =\frac{g^2}{8}\, \phi^2\frac{1}{\Box+M^2}\phi^2.$$

For field configurations whose momenta are small compared with $M$,

$$\frac{1}{\Box+M^2} =\frac{1}{M^2} \left(1-\frac{\Box}{M^2} +\frac{\Box^2}{M^4}-\cdots\right),$$

and hence

$$\Delta\mathcal L_{\mathrm{EFT}} =\frac{g^2}{8M^2}\phi^4 -\frac{g^2}{8M^4}\phi^2\Box(\phi^2) +O\!\left(\frac{g^2Q^4}{M^6}\phi^4\right).$$

On a momentum mode, $\Box\to-q^2$, so this reproduces the geometric expansion

$$\frac{g^2}{M^2-q^2} =\frac{g^2}{M^2} \left[1+\frac{q^2}{M^2} +\left(\frac{q^2}{M^2}\right)^2+\cdots\right].$$

This is tree-level matching: coefficients of local EFT operators are chosen so that low-energy amplitudes in the full and effective theories agree to a declared order. The matching calculation determines the coefficients; the power counting determines which coefficients are needed.

The example also exposes breakdown cleanly. The local series cannot reproduce the pole at $q^2=M^2$ at any finite order. Near that pole, $H$ must be restored as an active degree of freedom, or a different description must be used.

Choose an operator basis

All local operators allowed by the retained symmetries should be considered through the requested order. The word “all” is qualified by equivalences:

• integration by parts moves derivatives between fields without changing the action when the boundary term vanishes;
• algebraic identities can relate apparently different contractions;
• the leading equations of motion remove operators that differ by perturbative field redefinitions; and
• flavor, discrete-symmetry, and gauge identities further reduce the list.

These choices define an operator basis. Coefficients quoted in different bases are not directly comparable. A field redefinition can change off-shell Green functions and individual Wilson coefficients while leaving consistently computed on-shell observables unchanged. The local-operator overview and operator-basis chapter develop these equivalences in detail.

Power counting is separate from basis reduction. In the heavy-scalar example, every extra pair of derivatives costs $Q^2/M^2$ relative to the previous term. In a gauge theory or many-body system, symmetry and kinematics may force a different order. The test is operational: at a fixed order, the counting must produce a finite list of terms, loops built from lower-order vertices must be absorbed by operators allowed at that or higher order, and successive predictions should improve while the declared expansion parameters remain small.

Match at the high scale and run to the low scale

Matching and running answer different questions:

1. Matching compares the full and effective theories at a scale $\mu_M$ usually chosen near $M$. It fixes the short-distance coefficients.
2. Running evolves those coefficients between scales within the EFT. It sums logarithms and compensates the scale dependence of renormalized operators.
3. Low-energy calculation combines the evolved coefficients with EFT matrix elements at a scale suited to the observable.

If the renormalized operators obey

$$\mu\frac{\mathrm d}{\mathrm d\mu}\mathcal O_i =-\gamma_{ij}\mathcal O_j,$$

then scale independence of $\sum_iC_i\mathcal O_i$ requires

$$\mu\frac{\mathrm d}{\mathrm d\mu}C_i =\gamma_{ji}C_j.$$

Operator mixing therefore makes the Wilson coefficients a coupled vector rather than a collection of independent numbers. A physical amplitude has the schematic form

$$\mathcal A(Q) =\sum_i C_i(\mu)\, \langle f\lvert\mathcal O_i(\mu)\rvert i\rangle,$$

and its $\mu$ dependence cancels through the calculated order. Residual scale dependence is a diagnostic of omitted terms, not a physical dependence on an arbitrary scale.

At loop level, compare the same object in both theories with compatible regulators, gauges, subtraction schemes, and infrared prescriptions. Low-momentum contributions appear in both calculations and cancel in the matching difference; the remaining hard part belongs in the Wilson coefficient. A scaleless EFT integral that vanishes in dimensional regularization does not by itself imply a zero matching coefficient. Appelquist and Carazzone’s decoupling theorem explains when heavy effects are suppressed, but spontaneous symmetry breaking, anomalies, or couplings that grow with the heavy mass can defeat a naive decoupling argument.

Estimate omissions without overclaiming

Assume an observable has an expansion

$$X=X_0\sum_{n=0}^{\infty}c_n\epsilon^n, \qquad \lvert\epsilon\rvert<1.$$

After retaining terms through order $k$, a first truncation estimate is the size expected for $X_0c_{k+1}\epsilon^{k+1}$. This statement needs a coefficient model: “$c_{k+1}$ is of order one,” a bound inferred from symmetry, or a distribution calibrated from a relevant class of calculations. Without such a model, the first omitted power supplies an order estimate, not a confidence interval.

The heavy propagator gives an unusually transparent check. Let $x=q^2/M^2$ and truncate $1/(1-x)$ after $x^N$. The exact relative error is

$$\frac{\left\lvert(1-x)^{-1}-\sum_{n=0}^{N}x^n\right\rvert} {\left\lvert(1-x)^{-1}\right\rvert} =\lvert x\rvert^{N+1}.$$

For $x=0.1$, the leading and next-to-leading relative errors are $10\%$ and $1\%$. For $x=0.5$, they are $50\%$ and $25\%$. The exact model confirms the expected next-power scaling and also shows why the expansion becomes unhelpful near the pole.

A credible EFT result reports at least four distinct limitations:

• parametric truncation: powers, couplings, or loops not retained;
• matching and running: perturbative order, scheme, scale, and basis choices;
• inputs and numerics: parameter covariance, discretization, sampling, and integration error; and
• domain: thresholds, new light modes, large logarithms, or other failures of the assumed hierarchy.

Do not combine these automatically in quadrature. State correlations and distinguish probabilistic uncertainties from scale variations, bounds, and qualitative diagnostics.

Common pitfalls

“Nonrenormalizable” means nonpredictive. An EFT usually contains infinitely many symmetry-allowed operators, but only finitely many contribute at any fixed order in a valid power counting. Predictivity comes from that ordering, not from keeping a finite list for all energies.

A heavy mass always decouples. Decoupling is conditional. Check how couplings scale, whether the heavy field participates in symmetry breaking or anomalies, and whether the observable approaches a removed threshold.

Matching and running are interchangeable. Matching supplies boundary data at a threshold; running transports that data within one theory. Running cannot discover a finite hard threshold contribution that was omitted from matching.

One higher-dimension operator is enough. A calculation must include every independent operator and loop contribution at the declared order. Choosing only the most familiar term destroys the stated accuracy.

Exercises

1. Complete the square

Starting from $\mathcal L_H=-\tfrac12HAH-JH$, where $A=\Box+M^2$ and $J=g\phi^2/2$, show that eliminating $H$ gives $\Delta\mathcal L=\tfrac12JA^{-1}J$.

Solution

Write

$$-\frac12HAH-JH =-\frac12(H+A^{-1}J)A(H+A^{-1}J) +\frac12JA^{-1}J.$$

The classical solution is $H=-A^{-1}J$, so the squared term vanishes there. With $J=g\phi^2/2$, the remaining interaction is $g^2\phi^2A^{-1}\phi^2/8$, including the positive sign and the factor $1/8$.

2. Test the truncation

For $x=q^2/M^2$, prove the relative-error formula above and find the largest positive $x$ for which retaining $1+x$ is accurate to better than $5\%$ in this tree-level model.

Solution

The finite geometric sum is

$$S_N=\sum_{n=0}^{N}x^n =\frac{1-x^{N+1}}{1-x}.$$

Thus $(1-x)^{-1}-S_N=x^{N+1}/(1-x)$. Dividing its magnitude by $\lvert(1-x)^{-1}\rvert$ gives $\lvert x\rvert^{N+1}$. Retaining $1+x$ means $N=1$, so $x^2<0.05$ and therefore $0\le x<\sqrt{0.05}\simeq0.224$. This numerical boundary is an accuracy choice, not the physical pole at $x=1$.

3. Identify a redundant operator

Show that $\phi^2(\partial\phi)^2$ and $-\phi^3\Box\phi/3$ differ by a total derivative. For a leading Lagrangian $\mathcal L_0=\tfrac12(\partial\phi)^2-\tfrac12m^2\phi^2-\lambda\phi^4/4!$, use the leading equation of motion to express $\phi^3\Box\phi$ in terms of nonderivative operators.

Solution

The product rule gives

$$\partial_\mu(\phi^3\partial^\mu\phi) =3\phi^2(\partial\phi)^2+\phi^3\Box\phi.$$

After integration, the left side is a boundary term, so the two derivative operators are equivalent in the action under the stated boundary conditions. The leading equation of motion is

$$\Box\phi+m^2\phi+\frac{\lambda}{3!}\phi^3=0.$$

Consequently,

$$\phi^3\Box\phi =-m^2\phi^4-\frac{\lambda}{3!}\phi^6$$

up to terms beyond the order at which the leading equation is valid. This is a basis relation, not permission to discard the corresponding physical effect.

References

• Appelquist, Thomas, and J. Carazzone. “Infrared Singularities and Massive Fields.” Physical Review D 11 (1975): 2856–2861. DOI.
• Georgi, Howard. “Effective Field Theory.” Annual Review of Nuclear and Particle Science 43 (1993): 209–252. DOI.
• Manohar, Aneesh V. “Introduction to Effective Field Theories.” Les Houches 2017: EFT in Particle Physics and Cosmology (2018). arXiv:1804.05863.
• Weinberg, Steven. “Phenomenological Lagrangians.” Physica A 96 (1979): 327–340. DOI.

Continue to infrared-safe observables and synthesis to turn amplitudes and scale-separated ingredients into a measurable prediction. If you are following the displayed roadmap, QED and Yang–Mills theory is the preceding application; EFT itself can be entered directly after loops and renormalization-group reasoning.