research38 min studyLesson 695 in Physics

One-loop matching and regulator consistency

Subtract common infrared physics to identify a local one-loop coefficient and keep UV renormalization distinct from IR cancellation.

Before you begin

On this page

The question for today

What you’ll understand

Match renormalized amplitudes using a common infrared prescription.
Explain the hidden UV/IR bookkeeping of scaleless dimensionally regulated integrals.
Separate a hard matching correction from low-energy running and matrix elements.

At tree level, expanding a heavy propagator often makes matching look like an ordinary Taylor series. At one loop, the integration samples both heavy and light momentum regions, and expanding the wrong contribution can erase the very infrared behavior the EFT must reproduce. The robust definition compares the same low-energy quantity in both theories with compatible conventions. Their common long-distance part cancels, leaving local short-distance information in Wilson coefficients. Counterterms, external-field normalizations, and regulator choices are part of that comparison.

Subtract the EFT loop instead of assigning it twice

Choose a complete operator basis and a low-energy amplitude or a sufficient set of Green functions with a consistent projection onto that basis. Renormalize the full theory and EFT in specified schemes, and express their parameters in compatible variables. In a one-coefficient illustration, separate a common infrared function F_IR from a local hard logarithm and finite constant. Equality of the amplitudes determines the coefficient, while the EFT loop retains the long-distance function.

The numerical constants in this illustration are deliberately toy inputs rather than results for an unspecified ultraviolet theory. Their role is to show the subtraction and its scale dependence. If one simply identifies the full one-loop amplitude with the Wilson coefficient, the infrared function is included again when the EFT loop is calculated. The resulting prediction double counts light physics and can falsely make the short-distance coefficient depend on an infrared regulator.

\mathcal A_F^{\mathrm{ren}}=C_0+\kappa\!\left[F_{\mathrm{IR}}+a\ln\frac{M^2}{\mu^2}+b\right],\qquad \mathcal A_E^{\mathrm{ren}}=C(\mu)+\kappa F_{\mathrm{IR}},\qquad C(\mu)=C_0+\kappa\!\left[a\ln\frac{M^2}{\mu^2}+b\right]

A common matrix-element normalization has been stripped off, making all displayed amplitudes and C dimensionless. κ is a small loop-order parameter, and a,b are specified toy constants. FIR contains the common low-energy kinematics and regulator dependence; it is not assumed to be local.↔ Scroll wide equations horizontally.

A vanishing scaleless integral can contain essential poles

Dimensional regularization may make an EFT loop scaleless after all infrared scales have been expanded out. Such an integral is set to zero as a complete regulated expression. For a logarithmically divergent example, however, that zero can be understood as cancellation between ultraviolet and infrared poles. The distinction matters because ultraviolet counterterms renormalize the operator, whereas infrared poles must cancel between the compared low-energy amplitudes or in appropriate physical inclusive observables.

Dropping a scaleless integral before extracting its ultraviolet subtraction can hide an anomalous dimension or spoil matching bookkeeping. One can label poles by their origin while remembering that dimensional regularization uses the same continued dimension. With a different regulator, the overlap between hard and soft expansions need not vanish and requires its own subtraction. A cutoff-dependent coefficient is not wrong by itself; combining it with matrix elements defined in a different prescription is the inconsistent step.

I_{\mathrm{scaleless}}\propto\frac1{\epsilon_{\mathrm{UV}}}-\frac1{\epsilon_{\mathrm{IR}}}=0,\qquad C^{(1)}\langle O\rangle^{(0)}=\left[\mathcal A_F^{(1)}-\mathcal A_E^{(1)}\big|_{C=C^{(0)}}\right]_{\mathrm{ren,\ expanded}}

The first expression is symbolic pole bookkeeping for a logarithmically divergent scaleless integral in dimensional regularization, not two independent regulator dimensions. The second states one-loop matching after lower-order coefficients, counterterms, field factors, and the soft-scale expansion are included consistently.↔ Scroll wide equations horizontally.

Choose a matching scale without confusing it with a cutoff

Matching near the heavy mass avoids a large hard logarithm. The coefficient can then be evolved to a lower scale, where EFT matrix elements avoid large light logarithms. This separates a threshold boundary condition from running within the light theory. In a mass-independent scheme, heavy particles do not automatically disappear from a full-theory beta function below their mass; replacing that theory by an appropriately matched EFT implements the desired threshold description.

At a fixed loop order, residual scale dependence is higher order, rather than evidence that a physical amplitude depends on an arbitrary subtraction point. Changing renormalization scheme can shift finite coefficient pieces while shifting matrix elements oppositely. A reliable calculation verifies infrared cancellation, the expected symmetries, and scale cancellation to its claimed accuracy. It should not claim that one finite hard constant is regulator independent without also fixing the operator basis and subtraction scheme.

Work it through

Extract a coefficient from a renormalized toy amplitude

At μ=M, a toy matching problem has C0=0.50, κ=0.010, b=3, and a common infrared contribution FIR=−7. Find the full amplitude, the EFT loop contribution, and the matched coefficient. All quantities use the same declared subtraction prescription.

The hard logarithm vanishes at μ=M, so the full amplitude is $0.50+0.010(-7+3)=0.46$ . The finite hard correction is not the entire −0.04 loop shift.
The common EFT loop contribution is $\kappa F_{\mathrm{IR}}=0.010(-7)=-0.07$ . It already belongs to the theory with retained light fields.
Subtract that light contribution: $C(M)=0.46-(-0.07)=0.53$ . Recombining coefficient and EFT loop gives $0.53-0.07=0.46$ , reproducing the full low-energy amplitude.

The result

The full amplitude is 0.46, the light EFT loop is −0.07, and the matched coefficient is 0.53 in the stated toy scheme.

The living notebook

Explore the model

Interactive lab

Interactive lab · waves

Cancel a common contribution before interpreting the remainder

For each fresh comparison, Reset and set BOTH Phase difference=180° and Amplitude ratio. Compare ratios 1.00 and 0.80, predicting resultant amplitudes zero and 0.20. Use Play or Step to inspect the sums of these fixed-frequency copropagating waves. Opposite signs illustrate subtraction of a shared term; the instrument does not evaluate loop integrals, distinguish UV from IR poles, or perform field-theory matching.

SumFirst componentSecond component

Sum at x = 0: 0.866
Resultant amplitude: 1.732
Phase difference: 60°

Phase difference60°Amplitude ratio1

t = 0 s

Two waves share the same frequency and wave number. Playback advances t in sin(2x − t) + a sin(2x − t + phase). Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forAn uncancelled common term can contaminate the inferred remainder. The analogy does not determine any Wilson coefficient.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

A logarithmically divergent scaleless integral can vanish through a UV/IR cancellation. The UV pole controls renormalization, while the matching comparison cancels the common infrared structure.

Your turn

Try it yourself

Change only the common infrared prescription in the worked toy problem so FIR becomes −2 instead of −7, while C0=0.50, κ=0.010, μ=M, and b=3 remain fixed. Compute the new full amplitude, EFT loop, and coefficient. What would subtracting the old loop from the new full amplitude incorrectly produce?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

A shared infrared change must be made in both theories. The hard part is fixed in this toy comparison because its ultraviolet scheme has not been changed.

Compare with the solution

The new full amplitude is $0.50+0.010(-2+3)=0.51$ , and the new EFT loop is −0.02. Their difference is again $C(M)=0.51-(-0.02)=0.53$ . Subtracting the old loop −0.07 from the new amplitude would instead give 0.58, a spurious shift of 0.05 caused by inconsistent infrared prescriptions. The amplitudes themselves here contain regulator-dependent common pieces; the example tests the infrared independence of the matched hard coefficient within a fixed ultraviolet scheme, not the direct observability of either regulated amplitude.

Keep the idea

Take it with you

One-loop matching subtracts the light contribution already reproduced by the EFT.
UV counterterms and common IR cancellation play different roles even in a scaleless integral.
Threshold matching, running, and matrix elements must use compatible conventions.

Read further

Original sources and deeper explanations to follow at your own pace.

Manohar: Introduction to Effective Field Theories, §§5.4–5.9 and §7, printed pp. 36–45 and 58–61 — matching, UV/IR poles, and decoupling

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.