Skip to content

Unstable-Particle Effective Theory and the Width Expansion

An unstable excitation is an internal resonant mode, not an asymptotic particle to which LSZ reduction may be applied. When its width is perturbative and narrow, Γ/M1\Gamma_\star/M_\star\ll1, stable-particle amplitudes near the complex pole contain a second long time scale, 1/Γ1/\Gamma_\star. Unstable-particle effective theory integrates out fluctuations of order MM_\star, retains the resonant propagation and any observable-dependent low-energy modes, and expands the complete amplitude in the width-to-mass ratio.

This page constructs that expansion for one isolated scalar resonance. It derives the resonant and nonresonant counting, evaluates a scalar amplitude through first relative order in Γ/M\Gamma/M, and states the conditions under which selective self-energy resummation belongs to a gauge-independent prediction. Pole and line-shape definitions remain with Volume 4; WW, top, and Higgs applications remain with Volume 6.

Required background. Power Counting and Predictive Order supplies homogeneous order counting. Infrared Cancellation, Regulators, and Matching Consistency supplies the full-minus-EFT matching test. Resonance Poles, Riemann Sheets, and Unstable States defines the pole input, while Unstable-Particle Observables and Controlled Resonance Approximations defines observables with stable decay products. Modes, Virtualities, and EFT Scale Separation supplies the region-to-field criterion used below.

Consider an amplitude between stable external states. In a neighborhood of an isolated simple pole it has the Laurent form

Aif(s)=Rifss+Nif(s),s=M2iMΓ,\mathcal A_{i\to f}(s) =\frac{R_{if}}{s-s_\star}+N_{if}(s), \qquad s_\star=M_\star^2-iM_\star\Gamma_\star,

where NifN_{if} is regular at s=ss=s_\star. The pole position and the residue of the physical stable-state amplitude are gauge independent. An off-shell self-energy, a field residue, or a selected set of resonant diagrams need not be. Stuart explains why the Laurent expansion of a physical amplitude, rather than an arbitrary off-shell resummation, supplies the gauge-invariant starting point in Stuart 1991, pp. 113–119.

For a perturbatively generated width, introduce

δΓMα1,zsM2MΓ.\delta\equiv\frac{\Gamma_\star}{M_\star}\sim\alpha\ll1, \qquad z\equiv \frac{s-M_\star^2}{M_\star\Gamma_\star}.

The resonance region is z=O(1)z=O(1). There the inverse propagator is of order M2δM_\star^2\delta, so the propagator is enhanced by 1/δ1/\delta relative to a generic hard propagator. Write the near-on-shell momentum as

Pμ=Mvμ+kμ,v2=1,kμMδΓ.P^\mu=M_\star v^\mu+k^\mu, \qquad v^2=1, \qquad k^\mu\sim M_\star\delta\sim\Gamma_\star.

Then

P2M2=2Mv ⁣k+k2M2δMΓ.P^2-M_\star^2 =2M_\star v\!\cdot k+k^2 \sim M_\star^2\delta \sim M_\star\Gamma_\star.

This distinguishes two quantities that are easily confused: the residual momentum kk has mass dimension one and size Γ\Gamma_\star, whereas the invariant off-shellness has mass dimension two and size MΓM_\star\Gamma_\star.

IngredientHomogeneous sizeEFT role
Hard momentum or virtualityqMq\sim M_\star, q2M2q^2\sim M_\star^2Integrated out into pole, production, decay, and nonresonant coefficients
Resonant residual momentumkμMδΓk^\mu\sim M_\star\delta\sim\Gamma_\starMomentum carried by the resonant field ϕv\phi_v
Resonant off-shellnessP2M2M2δP^2-M_\star^2\sim M_\star^2\deltaProduces the 1/δ1/\delta propagator enhancement
Soft radiation, when selectedqsμMδq_s^\mu\sim M_\star\deltaDynamical low-energy field coupled to the resonant and stable energetic sectors
Nonresonant hard exchangevirtuality M2\sim M_\star^2Local operator with no enhanced resonant propagator

The scale map shows what to inspect: the pole lies below the real ss axis, the real kinematics lie within a width-sized window, and hard matching produces resonant, nonresonant, and dynamical low-energy terms that must be recombined before an observable is formed.

A complex pole lies a distance M Gamma below the real s axis; inside a width-sized real window, hard matching splits into enhanced resonant, local nonresonant, and soft branches whose complete sum gives a stable-particle observable.

For δ=Γ/M1\delta=\Gamma_\star/M_\star\ll1, residual momenta have size MδΓM_\star\delta\sim\Gamma_\star while the resonant off-shellness has size M2δMΓM_\star^2\delta\sim M_\star\Gamma_\star. The pole s=M2iMΓs_\star=M_\star^2-iM_\star\Gamma_\star supplies gauge-invariant matching input. The displayed z5|z|\leq5 interval is the companion benchmark’s accepted window, not a universal boundary; the general resonance condition is z=O(1)z=O(1). Resonant, nonresonant, and observable-dependent soft or collinear terms must be combined at one declared order and attached to stable external states. The diagram is schematic and not to scale.

The resonant field makes width counting homogeneous

Section titled “The resonant field makes width counting homogeneous”

Remove the hard phase from the positive-frequency part of the scalar field, ϕv(x)=eiMvxP+ϕ(x)\phi_v(x)=e^{iM_\star v\cdot x}P_+\phi(x). More generally, matching may use a renormalized mass M^\widehat M different from the pole mass. Define the short-distance residual-mass coefficient

ΔsM^2M^=Δ(1)+Δ(2)+.\Delta\equiv\frac{s_\star-\widehat M^2}{\widehat M} =\Delta^{(1)}+\Delta^{(2)}+\cdots.

In the pole scheme M^=M\widehat M=M_\star, one may parameterize s=M2iMΓs_\star=M_\star^2-iM_\star\Gamma_\star, so Δ=iΓ\Delta=-i\Gamma_\star and Δ(1)Mδ\Delta^{(1)}\sim M_\star\delta. The leading resonant Lagrangian is

Lres(0)=2Mϕv(iv ⁣DsΔ(1)2)ϕv,\mathcal L_{\mathrm{res}}^{(0)} =2M_\star\, \phi_v^\dagger \left(iv\!\cdot D_s-\frac{\Delta^{(1)}}{2}\right) \phi_v,

and its propagator is

i2M(v ⁣kΔ(1)/2).\frac{i} {2M_\star\left(v\!\cdot k-\Delta^{(1)}/2\right)}.

With Δ(1)=iΓ\Delta^{(1)}=-i\Gamma_\star, the pole is in the lower half-plane and the denominator contains v ⁣k+iΓ/2v\!\cdot k+i\Gamma_\star/2. Both v ⁣kv\!\cdot k and Δ(1)\Delta^{(1)} are leading because they are the same size. This is the EFT origin of the fixed-width propagator; it is not an extra phenomenological insertion.

The first suppressed bilinear terms are

Lres(1)=2Mϕv[(iDs)22M+(Δ(1))28MΔ(2)2]ϕv,\begin{aligned} \mathcal L_{\mathrm{res}}^{(1)} =2M_\star\phi_v^\dagger \left[ \frac{(iD_{s\perp})^2}{2M_\star} +\frac{\left(\Delta^{(1)}\right)^2}{8M_\star} -\frac{\Delta^{(2)}}{2} \right]\phi_v, \end{aligned}

where Dsμ=Dsμvμv ⁣DsD_{s\perp}^\mu=D_s^\mu-v^\mu v\!\cdot D_s. Each bracketed term is suppressed by one power of δ\delta or the weak coupling relative to the leading inverse propagator. Beneke, Chapovsky, Signer, and Zanderighi derive this heavy-scalar effective Lagrangian, the production sources, and their matching in Beneke et al. 2004, §§ 2.1–2.3 and 3.1, preprint pp. 3–20, Open PDF.

The interaction Lagrangian has two topologies,

Lint=CpOpϕv+CdϕvOd+aCnr,aMda4Onr,a+h.c.+.\mathcal L_{\mathrm{int}} =C_{\mathrm p}\,\mathcal O_{\mathrm p}\phi_v +C_{\mathrm d}\,\phi_v^\dagger\mathcal O_{\mathrm d} +\sum_a\frac{C_{\mathrm{nr},a}}{M_\star^{d_a-4}} \mathcal O_{\mathrm{nr},a} +\text{h.c.}+\cdots.

Production and decay operators contain a resonant field and stable energetic fields. Nonresonant operators contain only stable fields and represent the hard expansion of background topologies. The observable determines whether soft and collinear fields must also remain dynamical.

The homogeneous counting follows directly. In momentum space the resonant propagator scales as δ1\delta^{-1} after hard dimensions are removed, while d4kδ4d^4k\sim\delta^4. Requiring the quadratic action to be order one gives

ϕvδ3/2.\phi_v\sim\delta^{3/2}.

If the width-generating coupling obeys αδ\alpha\sim\delta, two production or decay vertices and one resonant propagator give a normalized leading amplitude of order α/δ1\alpha/\delta\sim1. A local nonresonant term has no 1/δ1/\delta enhancement and is therefore relatively of order δ\delta in the scalar example. Hard corrections to Δ\Delta and Cp,dC_{\mathrm p,d}, subleading bilinears, nonresonant operators, and soft loops can consequently enter at the same next-to-leading order. The long review gives the field scaling and this complete order assignment in Beneke 2015, §§ 1.1 and 2.1–2.4, article pp. 2–7, Open PDF.

First application: a scalar amplitude through first order

Section titled “First application: a scalar amplitude through first order”

Use the dimensionful scalar benchmark

Aref(s)=Rssp+N+KsM2M4,\mathcal A_{\mathrm{ref}}(s) =\frac{R}{s-s_p} +N +K\frac{s-M^2}{M^4},

with

sp=(MiΓ2)2,M=100,R=1,N=0.05M2,K=0.2.s_p=\left(M-\frac{i\Gamma}{2}\right)^2, \qquad M=100, \qquad R=1, \qquad N=\frac{0.05}{M^2}, \qquad K=0.2.

This is a controlled algebraic fixture, not a physical line-shape model. It isolates the resonant pole, a local nonresonant term, and the first analytic energy-dependent remainder. At fixed scaled detuning

z=sM2MΓ,δ=ΓM,z=\frac{s-M^2}{M\Gamma}, \qquad \delta=\frac{\Gamma}{M},

the denominator is

ssp=M2δ(z+i+δ4).s-s_p=M^2\delta\left(z+i+\frac{\delta}{4}\right).

Multiplying the amplitude by its leading resonant scale gives

M2δAref=1z+i+δ/4+0.05δ+0.2zδ2.M^2\delta\,\mathcal A_{\mathrm{ref}} =\frac{1}{z+i+\delta/4} +0.05\delta +0.2z\delta^2.

A strict width expansion through first relative order is therefore

M2δAref=1z+i+δ[0.0514(z+i)2]+O(δ2).\boxed{ M^2\delta\,\mathcal A_{\mathrm{ref}} =\frac{1}{z+i} +\delta\left[ 0.05-\frac{1}{4(z+i)^2} \right] +O(\delta^2) }.

The first term is the resonant leading amplitude. The term 1/[4(z+i)2]-1/[4(z+i)^2] is the relative-δ\delta correction obtained when the exact convention sp=(MiΓ/2)2s_p=(M-i\Gamma/2)^2 is itself expanded; it is already present if the exact complex pole is retained in the leading denominator. The 0.050.05 term is the local nonresonant contribution and is genuinely NLO relative to the enhanced pole. The analytic slope term proportional to KK begins at relative order δ2\delta^2.

The registered benchmark adopts the pole-resummed convention

ALO=1ssp,ANLO=1ssp+0.05M2,\mathcal A_{\mathrm{LO}}=\frac{1}{s-s_p}, \qquad \mathcal A_{\mathrm{NLO}}=\frac{1}{s-s_p}+\frac{0.05}{M^2},

and uses the KK term as an explicit NNLO remainder. At z=1z=1, define

r(δ)=ArefANLOAref,pi=ln[r(2δi)/r(δi)]ln2.r(\delta) =\frac{|\mathcal A_{\mathrm{ref}}-\mathcal A_{\mathrm{NLO}}|} {|\mathcal A_{\mathrm{ref}}|}, \qquad p_i=\frac{\ln[r(2\delta_i)/r(\delta_i)]}{\ln2}.

Exact complex arithmetic gives

δ\deltar(δ)r(\delta)Successive slope pp
0.0050.0057.0736823×1067.0736823\times10^{-6}
0.0100.0102.8304889×1052.8304889\times10^{-5}2.000522.00052
0.0200.0201.1329724×1041.1329724\times10^{-4}2.000992.00099
0.0400.0404.5375226×1044.5375226\times10^{-4}2.001792.00179

The near-two slopes are not merely numerical evidence. At fixed zz, the omitted term is O(δ/M2)O(\delta/M^2) while the resonant amplitude is O(1/(M2δ))O(1/(M^2\delta)), so their ratio is O(δ2)O(\delta^2). A numerical check should reproduce this scaling and explore its failure cases; the equations and table above also make the result checkable by hand.

Gauge independence belongs to the complete matched order

Section titled “Gauge independence belongs to the complete matched order”

At NLO the amplitude is schematically

ANLO=Ares(0)+AΔ,C(1)+Asoft(1)+Anr(1).\mathcal A_{\mathrm{NLO}} =\mathcal A_{\mathrm{res}}^{(0)} +\mathcal A_{\Delta,C}^{(1)} +\mathcal A_{\mathrm{soft}}^{(1)} +\mathcal A_{\mathrm{nr}}^{(1)}.

The second term contains hard corrections to the pole coefficient, production and decay coefficients, and subleading resonant propagation. The third contains low-energy loops generated by the EFT. The fourth contains local nonresonant matching. Their separation is useful for power counting and single-scale calculations, but only the sum is a prediction.

In the scalar gauge-Yukawa example, expanding a hard self-energy beyond its pole term can cancel an adjacent resonant propagator. The resulting coefficient is gauge dependent until it is combined with hard vertex matching; at the next order, terms cancel both adjacent propagators and contribute to nonresonant matching. This is why a diagram cannot be classified once and for all as “resonant” or “background.” The EFT assigns each momentum region to a coefficient or matrix element and makes the required cancellation occur among operators of the same order. See Beneke 2015, § 2.3, article pp. 6–7, Open PDF.

A deliberately algebraic gauge-bookkeeping fixture makes the acceptance condition transparent:

Ares(ξ)=A0+ξδA1,Anr(ξ)=N0ξδA1.\mathcal A_{\mathrm{res}}(\xi) =\mathcal A_0+\xi\delta\mathcal A_1, \qquad \mathcal A_{\mathrm{nr}}(\xi) =N_0-\xi\delta\mathcal A_1.

For any gauge parameter ξ\xi,

Ares(ξ)+Anr(ξ)=A0+N0.\mathcal A_{\mathrm{res}}(\xi) +\mathcal A_{\mathrm{nr}}(\xi) =\mathcal A_0+N_0.

This identity is a unit test for cancellation, not a physical model of gauge dependence. A result that varies when ξ=0,1,3\xi=0,1,3 is incomplete by construction.

The same counting specifies what is resummed. Since αM2/(sM2)α/δ1\alpha M^2/(s-M^2)\sim\alpha/\delta\sim1, the leading pole coefficient Δ(1)\Delta^{(1)} belongs in the unperturbed resonant propagator. Higher pole terms, production and decay corrections, nonresonant operators, and soft loops are inserted at their assigned order. Resumming an arbitrary off-shell self-energy while omitting equally large vertex or nonresonant terms does not define an NLO approximation and can leave spurious gauge dependence. Only the two-point term responsible for the lifetime is forced into the leading Lagrangian; higher-point functions are not selectively resummed.

The single-resonance width expansion is controlled only when all of the following statements hold:

  • δ=Γ/M1\delta=\Gamma_\star/M_\star\ll1 and the width is generated in a perturbative sector whose coupling can be counted with δ\delta;
  • the selected kinematics obey z=(sM2)/(MΓ)=O(1)z=(s-M_\star^2)/(M_\star\Gamma_\star)=O(1);
  • the observable is defined using stable external states and is sufficiently specified to identify every soft, collinear, or measurement mode; and
  • resonant, nonresonant, matching, and low-energy contributions are retained through one common target order.

The benchmark accepts z5|z|\leq5 to provide a deterministic test range. The number five is not a theorem. For z1|z|\gg1, the resonant propagator loses its 1/δ1/\delta enhancement and ordinary fixed-order perturbation theory is the appropriate expansion. A uniform result may be assembled schematically as

Auniform=AEFT+Afull[n]AEFTexpanded to [n],\mathcal A_{\mathrm{uniform}} =\mathcal A_{\mathrm{EFT}} +\mathcal A_{\mathrm{full}}^{[n]} -\left.\mathcal A_{\mathrm{EFT}}\right|_{\text{expanded to }[n]},

provided the full and EFT terms use compatible inputs, regulators, and subtraction conventions. The last term removes the overlap; an interpolation without this subtraction double counts the common fixed-order expansion.

Additional small scales require a larger theory. Near pair-production threshold, potential energy Mv2Mv^2 can be comparable to Γ\Gamma and Coulomb exchange may need resummation. A restrictive invariant-mass cut, jet veto, or endpoint measurement can resolve another scale of order Γ\Gamma and alter the mode content. A broad resonance with Γ/M=O(1)\Gamma/M=O(1) has no width hierarchy, while an intrinsically nonperturbative resonance cannot obtain its matching coefficients from a weak-coupling pole expansion. These are stop conditions, not estimates of a larger truncation error.

Finally, never cut the resonant EFT propagator as though ϕv\phi_v were an external state. The physical endpoint is a stable-decay-product observable of the type defined on Unstable-Particle Observables and Controlled Resonance Approximations. The method synthesis and scope on this page were checked through 3 August 2026; process-specific applications and live line-shape inputs are intentionally outside it.

Confusing Γ\Gamma with MΓM\Gamma. Residual four-momentum is of order Γ\Gamma, whereas virtuality is of order MΓM\Gamma. Interchanging them breaks dimensions and the propagator counting.

Treating every nonresonant term as negligible. A local background lacks the resonant 1/δ1/\delta enhancement, but that makes it relatively NLO—not absent—in the scalar benchmark. Cuts or selection rules can change its order.

Calling a resummed propagator gauge invariant by itself. The complex pole is valid matching input. A selected off-shell self-energy and the diagrams built from it need not be gauge independent; the matched operator sum at a declared order must be.

Promoting the benchmark window to a law. z5|z|\leq5 is an executable test convention. The physical overlap with fixed order and any additional threshold or measurement scales determine the useful window in an application.

  1. Why does the resonant propagator scale as 1/(M2δ)1/(M^2\delta)?

    Solution

    Near resonance, both p2M2p^2-M^2 and MΓM\Gamma are of order M2δM^2\delta. The inverse denominator is therefore enhanced by 1/δ1/\delta relative to an ordinary hard propagator of order 1/M21/M^2.

  2. Why are nonresonant operators required even inside the resonance window?

    Solution

    The same stable final state can be produced without the pole. Those hard contributions are not contained in production times resonant propagation times decay, and controlled matching requires their interference at the order assigned by the width counting.

  • Beneke, Martin. 2015. “Unstable-Particle Effective Field Theory.” Nuclear and Particle Physics Proceedings 261–262: 218–231. DOI. Open PDF.

  • Beneke, Martin, Alexander P. Chapovsky, Adrian Signer, and Giulia Zanderighi. 2004. “Effective Theory Calculation of Resonant High-Energy Scattering.” Nuclear Physics B 686 (1–2): 205–247. DOI. Open PDF.

  • Stuart, Robin G. 1991. “Gauge Invariance, Analyticity and Physical Observables at the Z0Z^0 Resonance.” Physics Letters B 262 (1): 113–119. DOI.