Skip to content

Contact Scattering and Renormalization in Quantum Mechanics

The previous page introduced effective actions as local long-distance descriptions. This page studies the smallest possible laboratory for that idea: a nonrelativistic particle scattering from a pointlike potential,

V(r)=g0δ(d)(r).V(\boldsymbol r)=g_0\delta^{(d)}(\boldsymbol r).

This model is deliberately crude. A literal delta-function potential tries to replace all short-distance structure by one number. That replacement is harmless in one spatial dimension, logarithmically delicate in two, and power-divergent in three. The lesson is exactly the one QFT needs: a local interaction is not specified by its bare coefficient alone; it is specified by a prescription for how that coefficient is matched to physical observables as the cutoff is changed.

The calculation is also a perfect preview of loop diagrams. Repeated scattering from the fixed contact potential gives a geometric resolvent series. The divergent object is the free Green function evaluated at coincident points. In a nonrelativistic field theory the same algebra becomes a bubble sum after the loop energy is integrated out. Renormalization means replacing the singular bare strength g0g_0 by a measurable low-energy parameter such as a scattering length or a binding energy. The derivation keeps three objects distinct: the cutoff-dependent bare coupling g0(Λ)g_0(\Lambda), the coincident-point Green function Id(E,Λ)I_d(E,\Lambda), and cutoff-independent observables such as pole positions, the three-dimensional scattering length aa, or the two-dimensional binding energy B2B_2.

The contact potential as a resolvent problem

Section titled “The contact potential as a resolvent problem”

Resolvent and scattering normalization. We use dd for the number of spatial dimensions. The nonrelativistic Hamiltonian is

H=H0+V,H0=p22m,H=H_0+V, \qquad H_0={\boldsymbol p^2\over 2m},

and momentum states obey

⟨k∣k′⟩=(2π)dδ(d)(k−k′).\langle \boldsymbol k|\boldsymbol k'\rangle=(2\pi)^d\delta^{(d)}(\boldsymbol k-\boldsymbol k').

For positive energy,

E=p22m,p>0,E={p^2\over 2m}, \qquad p>0,

we define the outgoing free resolvent by

G0(E;k)=1E−k2/(2m)+i0.G_0(E;\boldsymbol k)={1\over E-\boldsymbol k^2/(2m)+i0}.

The TT matrix is defined by the Lippmann–Schwinger equation T=V+VG0TT=V+VG_0T. Overall signs in the scattering amplitude differ across books because some define ff with an extra minus sign relative to TT. The pole locations, cutoff dependence, and low-energy denominators below are convention-independent.

The exact scattering state with incoming momentum p\boldsymbol p satisfies

∣ψp(+)⟩=∣p⟩+G0(E+i0)V∣ψp(+)⟩.|\psi_{\boldsymbol p}^{(+)}\rangle =|\boldsymbol p\rangle+G_0(E+i0)V|\psi_{\boldsymbol p}^{(+)}\rangle.

Equivalently, the TT matrix obeys

T(E)=V+VG0(E)T(E).T(E)=V+VG_0(E)T(E).

In momentum space this reads

T(p′,p;E)=V(p′,p)+∫Λddk(2π)d V(p′,k)1E−k2/(2m)+i0T(k,p;E),T(\boldsymbol p',\boldsymbol p;E) = V(\boldsymbol p',\boldsymbol p) + \int^\Lambda {d^dk\over(2\pi)^d}\, V(\boldsymbol p',\boldsymbol k) {1\over E-\boldsymbol k^2/(2m)+i0} T(\boldsymbol k,\boldsymbol p;E),

where a cutoff Λ\Lambda has been inserted to make the short-distance question explicit.

For the contact potential,

V(p′,p)=g0,V(\boldsymbol p',\boldsymbol p)=g_0,

so the solution is independent of the external momenta. We can write

T(p′,p;E)=T(E).T(\boldsymbol p',\boldsymbol p;E)=T(E).

The Lippmann–Schwinger equation collapses to the scalar equation

T(E)=g0+g0Id(E,Λ)T(E),T(E)=g_0+g_0 I_d(E,\Lambda)T(E),

where

Id(E,Λ)=∫Λddk(2π)d 1E−k2/(2m)+i0.I_d(E,\Lambda) = \int^\Lambda {d^dk\over(2\pi)^d}\,{1\over E-\boldsymbol k^2/(2m)+i0}.

Thus

T(E)=g01−g0Id(E,Λ)=1g0−1−Id(E,Λ).\boxed{ T(E)=\frac{g_0}{1-g_0I_d(E,\Lambda)} =\frac{1}{g_0^{-1}-I_d(E,\Lambda)}. }

The perturbation series is

T(E)=g0+g0Id(E,Λ)g0+g0Id(E,Λ)g0Id(E,Λ)g0+⋯ .T(E)=g_0+g_0I_d(E,\Lambda)g_0+g_0I_d(E,\Lambda)g_0I_d(E,\Lambda)g_0+\cdots.

Geometric resolvent series for contact scattering

Repeated scattering from a contact interaction gives a geometric series. The whole ultraviolet problem is contained in the coincident Green function Id(E)=G0(E;r=0)I_d(E)=G_0(E;\boldsymbol r=0).

In coordinate space the same object is even more transparent. Since

V(r)=g0δ(d)(r),V(\boldsymbol r)=g_0\delta^{(d)}(\boldsymbol r),

the scattering wavefunction has the form

ψp(+)(r)=eip⋅r+g0G0(E;r)ψp(+)(0),\psi^{(+)}_{\boldsymbol p}(\boldsymbol r) =e^{i\boldsymbol p\cdot\boldsymbol r} +g_0G_0(E;\boldsymbol r)\psi^{(+)}_{\boldsymbol p}(0),

where

G0(E;r)=∫Λddk(2π)d eik⋅rE−k2/(2m)+i0.G_0(E;\boldsymbol r) = \int^\Lambda {d^dk\over(2\pi)^d}\, {e^{i\boldsymbol k\cdot\boldsymbol r}\over E-\boldsymbol k^2/(2m)+i0}.

Setting r=0\boldsymbol r=0 gives

ψp(+)(0)=1+g0G0(E;0)ψp(+)(0),\psi^{(+)}_{\boldsymbol p}(0) =1+g_0G_0(E;0)\psi^{(+)}_{\boldsymbol p}(0),

so the same denominator appears. The singularity of the zero-range potential is the singularity of the free Green function at coincident points.

Write

E=p22m.E={p^2\over2m}.

Then

Id(E,Λ)=2m∫∣k∣<Λddk(2π)d 1p2−k2+i0.I_d(E,\Lambda) =2m\int_{|\boldsymbol k|<\Lambda}{d^dk\over(2\pi)^d}\,{1\over p^2-\boldsymbol k^2+i0}.

At large kk, the integrand behaves as

1E−k2/(2m)+i0∼−2mk2.{1\over E-k^2/(2m)+i0}\sim -{2m\over k^2}.

The measure contributes kd−1dkk^{d-1}dk, so the high-momentum behavior is

Id∼−2m∫Λdk kd−3.I_d\sim -2m\int^\Lambda dk\,k^{d-3}.

Therefore:

spatial dimensionUV behavior of Idmeaningd=1finitea delta potential is a genuine potentiald=2log⁡Λa scale is generated by renormalizationd=3Λthe bare coupling must be tunedd>3Λd−2more short-distance data are needed\begin{array}{c|c|c} \text{spatial dimension} & \text{UV behavior of }I_d & \text{meaning} \\ \hline d=1 & \text{finite} & \text{a delta potential is a genuine potential} \\ d=2 & \log\Lambda & \text{a scale is generated by renormalization} \\ d=3 & \Lambda & \text{the bare coupling must be tuned} \\ d>3 & \Lambda^{d-2} & \text{more short-distance data are needed} \end{array}

This is the quantum-mechanical version of power counting. The contact interaction is more singular in higher dimension because the wavefunction has more angular phase space available near the origin.

There is also a useful relation to the relativistic propagator. A scalar Feynman propagator is

Grel(p)=ip02−p2−m2+i0.G_{\mathrm{rel}}(p)={i\over p_0^2-\boldsymbol p^2-m^2+i0}.

Near the positive-energy mass shell, write p0=m+Ep^0=m+E with E≪mE\ll m. Then

p02−p2−m2=(m+E)2−p2−m2≃2m(E−p22m),p_0^2-\boldsymbol p^2-m^2 =(m+E)^2-\boldsymbol p^2-m^2 \simeq 2m\left(E-{\boldsymbol p^2\over2m}\right),

so

Grel(p)≃i2m 1E−p2/(2m)+i0.G_{\mathrm{rel}}(p) \simeq {i\over 2m}\,{1\over E-\boldsymbol p^2/(2m)+i0}.

The nonrelativistic resolvent is the positive-energy, low-velocity limit of the relativistic propagator, up to the conventional normalization factor 2m2m.

One spatial dimension: finite point scattering

Section titled “One spatial dimension: finite point scattering”

In one dimension the integral can be evaluated with no UV cutoff:

I1(E)=2m∫−∞∞dk2π 1p2−k2+i0.I_1(E) =2m\int_{-\infty}^{\infty}{dk\over2\pi}\,{1\over p^2-k^2+i0}.

Using

1p2−k2+i0=PV⁡1p2−k2−iπδ(p2−k2),{1\over p^2-k^2+i0} =\operatorname{PV}{1\over p^2-k^2}-i\pi\delta(p^2-k^2),

the symmetric principal-value limit is zero, and

δ(p2−k2)=12p[δ(k−p)+δ(k+p)].\delta(p^2-k^2)={1\over2p}\left[\delta(k-p)+\delta(k+p)\right].

Hence

I1(E)=−imp.I_1(E)=-{im\over p}.

The exact contact TT matrix is therefore

T1(p)=1g0−1+im/p=g01+img0/p.\boxed{ T_1(p)=\frac{1}{g_0^{-1}+im/p} =\frac{g_0}{1+img_0/p}. }

No cutoff dependence appears. The delta-function potential is a well-defined self-adjoint interaction in one dimension.

The pole structure is also simple. A bound state has energy

Ebound=−κ22m,κ>0,E_{\mathrm{bound}}=-{\kappa^2\over2m}, \qquad \kappa>0,

which corresponds to p=iκp=i\kappa. The pole condition is

g0−1+mκ=0,g_0^{-1}+{m\over\kappa}=0,

so

κ=−mg0.\kappa=-mg_0.

Thus a bound state exists for attractive coupling g0<0g_0<0. Its binding-energy magnitude and energy are

B1=κ22m=mg022,Ebound=−B1.B_1={\kappa^2\over2m}={mg_0^2\over2}, \qquad E_{\mathrm{bound}}=-B_1.

This is the only dimension in which the naive contact coupling is already physical without any renormalization.

Two spatial dimensions: logarithmic contact scattering

Section titled “Two spatial dimensions: logarithmic contact scattering”

In two dimensions,

I2(E,Λ)=2m∫∣k∣<Λd2k(2π)2 1p2−k2+i0.I_2(E,\Lambda) =2m\int_{|\boldsymbol k|<\Lambda}{d^2k\over(2\pi)^2}\,{1\over p^2-k^2+i0}.

Using polar coordinates,

I2(E,Λ)=mπ∫0Λdk kp2−k2+i0.I_2(E,\Lambda) ={m\over\pi}\int_0^\Lambda dk\,{k\over p^2-k^2+i0}.

The radial integral gives

∫0Λdk kp2−k2+i0=−12[log⁡Λ2p2+iπ]+O(p2Λ2),\int_0^\Lambda dk\,{k\over p^2-k^2+i0} =-{1\over2}\left[\log{\Lambda^2\over p^2}+i\pi\right]+O\left({p^2\over\Lambda^2}\right),

so

I2(E,Λ)=−m2π[log⁡Λ2p2+iπ]+O(mp2Λ2).\boxed{ I_2(E,\Lambda) =-{m\over2\pi}\left[\log{\Lambda^2\over p^2}+i\pi\right] +O\left({mp^2\over\Lambda^2}\right). }

The TT matrix becomes

1T2(p)=1g0+m2π[log⁡Λ2p2+iπ]+O(mp2Λ2).{1\over T_2(p)} ={1\over g_0} +{m\over2\pi}\left[\log{\Lambda^2\over p^2}+i\pi\right] +O\left({mp^2\over\Lambda^2}\right).

A finite bare coupling cannot survive the limit Λ→∞\Lambda\to\infty. Instead define a renormalized coupling at a subtraction scale μ\mu by

1gR(μ)=1g0(Λ)+m2πlog⁡Λ2μ2.\boxed{ {1\over g_R(\mu)} ={1\over g_0(\Lambda)}+{m\over2\pi}\log{\Lambda^2\over\mu^2}. }

After taking the zero-range limit at fixed gR(μ)g_R(\mu),

1T2(p)=1gR(μ)+m2π[log⁡μ2p2+iπ].{1\over T_2(p)} ={1\over g_R(\mu)} +{m\over2\pi}\left[\log{\mu^2\over p^2}+i\pi\right].

The physical amplitude cannot depend on the arbitrary scale μ\mu. Therefore gR(μ)g_R(\mu) must run. Differentiating the definition at fixed bare coupling gives

μddμ1gR(μ)=−mπ.\mu{d\over d\mu}{1\over g_R(\mu)}=-{m\over\pi}.

Equivalently,

μdgRdμ=mπgR2.\boxed{ \mu{d g_R\over d\mu}={m\over\pi}g_R^2. }

This is the first beta function in the course. It is not yet a relativistic QFT beta function, but the mechanism is the same: logarithmic UV sensitivity is traded for scale dependence of a coupling.

A more physical parametrization uses the positive binding-energy magnitude. For an attractive interaction, the pole condition at p=iκp=i\kappa defines

B2=κ22m>0,Ebound=−B2.B_2={\kappa^2\over2m}>0, \qquad E_{\mathrm{bound}}=-B_2.

Analytic continuation gives

1gR(μ)+m2πlog⁡μ2κ2=0.{1\over g_R(\mu)}+{m\over2\pi}\log{\mu^2\over\kappa^2}=0.

Eliminating gR(μ)g_R(\mu) yields

T2(E)=2π/mlog⁡(B2/E)+iπ\boxed{ T_2(E)= {2\pi/m\over \log(B_2/E)+i\pi} }

for E>0E>0. More generally, away from the positive-energy cut the denominator is log⁡[B2/(−E)]\log[B_2/(-E)]; its upper-edge value is log⁡(B2/E)+iπ\log(B_2/E)+i\pi. Every attractive two-dimensional zero-range interaction therefore carries one bound-state scale. The essential fact is that the dimensionless coupling mg0mg_0 has produced the energy scale B2B_2: dimensional transmutation in its simplest nonrelativistic form.

Three spatial dimensions: scattering length and resonance

Section titled “Three spatial dimensions: scattering length and resonance”

In three dimensions,

I3(E,Λ)=2m∫∣k∣<Λd3k(2π)3 1p2−k2+i0.I_3(E,\Lambda) =2m\int_{|\boldsymbol k|<\Lambda}{d^3k\over(2\pi)^3}\,{1\over p^2-k^2+i0}.

The angular integral gives

I3(E,Λ)=mπ2∫0Λdk k2p2−k2+i0.I_3(E,\Lambda) ={m\over\pi^2}\int_0^\Lambda dk\,{k^2\over p^2-k^2+i0}.

For 0<p<Λ0<p<\Lambda, the principal value and the outgoing boundary prescription give

I3(E,Λ)=mπ2[−Λ+p2log⁡Λ+pΛ−p]−imp2π.I_3(E,\Lambda) ={m\over\pi^2}\left[-\Lambda+{p\over2}\log{\Lambda+p\over\Lambda-p}\right] -{imp\over2\pi}.

Thus, for p≪Λp\ll\Lambda,

I3(E,Λ)=−mΛπ2−imp2π+O(mp2Λ).\boxed{ I_3(E,\Lambda) =-{m\Lambda\over\pi^2}-{imp\over2\pi}+O\left({mp^2\over\Lambda}\right). }

Thus

1T3(p)=1g0(Λ)+mΛπ2+imp2π+O(mp2Λ).{1\over T_3(p)} ={1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}+{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

The linear divergence is absorbed by defining the physical scattering length aa through

1g0(Λ)+mΛπ2=m2πa.\boxed{ {1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}={m\over2\pi a}. }

At finite sharp cutoff the matched TT matrix is exactly

T3,Λ(p)=2π/ma−1+ip−δΛ(p),δΛ(p)=pπlog⁡Λ+pΛ−p.T_{3,\Lambda}(p) =\frac{2\pi/m}{a^{-1}+ip-\delta_\Lambda(p)}, \qquad \delta_\Lambda(p)={p\over\pi}\log{\Lambda+p\over\Lambda-p}.

The cutoff correction belongs in the inverse amplitude:

1T3,Λ(p)=m2π[a−1+ip−2p2πΛ+O(p4Λ3)].{1\over T_{3,\Lambda}(p)} ={m\over2\pi}\left[a^{-1}+ip-{2p^2\over\pi\Lambda} +O\left({p^4\over\Lambda^3}\right)\right].

The zero-range limit at fixed aa and pp is therefore

T3(p)=2π/ma−1+ip.\boxed{ T_3(p)=\frac{2\pi/m}{a^{-1}+ip}. }

An expansion of T3,ΛT_{3,\Lambda} relative to this limit additionally requires ∣δΛ(p)∣≪∣a−1+ip∣|\delta_\Lambda(p)|\ll|a^{-1}+ip|. This condition must be reconsidered on analytic continuation near a pole; an additive O(p2/Λ)O(p^2/\Lambda) error on TT would have neither the correct dimensions nor a uniform pole estimate.

The corresponding zero-range ss-wave scattering amplitude is

f0(p)=−m2πT3(p)=−1a−1+ip=1−a−1−ip,f_0(p)=-{m\over2\pi}T_3(p) =-{1\over a^{-1}+ip} ={1\over -a^{-1}-ip},

and the total low-energy cross-section is

σ(p)=4π∣f0(p)∣2=4πa−2+p2.\sigma(p)=4\pi |f_0(p)|^2 ={4\pi\over a^{-2}+p^2}.

The special point a−1=0a^{-1}=0 is a zero-energy resonance, often called the unitary limit. At that point

f0(p)=ip,σ(p)=4πp2,f_0(p)={i\over p}, \qquad \sigma(p)={4\pi\over p^2},

which saturates the ss-wave unitarity bound.

Pole structure of the three-dimensional contact scattering amplitude

In the zero-range limit, the three-dimensional contact amplitude is governed by the denominator a−1+ipa^{-1}+ip. For a>0a>0 the pole at p=i/ap=i/a is a bound state; for a<0a<0 it is a virtual state. The resonance limit ∣a∣→∞|a|\to\infty places the pole at threshold.

Keeping aa finite while Λ\Lambda changes requires a cutoff-dependent bare coupling,

g0(Λ)=1−mΛ/π2+m/(2πa).g_0(\Lambda) ={1\over -m\Lambda/\pi^2+m/(2\pi a)}.

For large Λ\Lambda,

g0(Λ)=−π2mΛ[1+π2aΛ+O(1(aΛ)2)].g_0(\Lambda) =-{\pi^2\over m\Lambda} \left[1+{\pi\over2a\Lambda}+O\left({1\over(a\Lambda)^2}\right)\right].

The bare coupling goes to zero, but it goes to zero in a very specific way. A finite physical scattering length is obtained only by tuning g0(Λ)g_0(\Lambda) close to the cutoff-dependent critical curve.

Cutoff-dependent bare coupling for fixed scattering length

In three dimensions, fixed physical scattering length means g0−1(Λ)+mΛ/π2=m/(2πa)g_0^{-1}(\Lambda)+m\Lambda/\pi^2=m/(2\pi a). Changing the cutoff changes the bare parameter while preserving aa. At nonzero momentum the finite sharp cutoff leaves the inverse-amplitude correction δΛ(p)\delta_\Lambda(p); the matched amplitude approaches its zero-range limit as the cutoff grows.

This is the key renormalization lesson. A divergent bare expression can still define finite physics if the bare parameters are regarded as cutoff-dependent coordinates on a space of effective theories.

The tuning becomes especially transparent at the resonance a−1=0a^{-1}=0:

g0,c(Λ)=−π2mΛ.g_{0,c}(\Lambda)=-{\pi^2\over m\Lambda}.

A large but finite scattering length means that g0(Λ)g_0(\Lambda) is close to this cutoff-dependent critical curve. In other words, the low-energy resonance is not produced by a large bare coupling; it is produced by a precise cancellation in g0−1−I3(0,Λ)g_0^{-1}-I_3(0,\Lambda).

From a singular potential to an effective field theory

Section titled “From a singular potential to an effective field theory”

A point interaction in three dimensions is not a normal function-valued potential. It is better understood as a boundary condition or as the leading term of a low-energy effective theory.

A finite-range potential of range RR has an ss-wave amplitude that can be expanded at low momentum as

f0(p)=1−a−1+12rep2−ip+O(p4R3),f_0(p)={1\over -a^{-1}+{1\over2}r_ep^2-ip+O(p^4R^3)},

where aa is the scattering length and rer_e is the effective range. The zero-range contact limit captures aa and has re=0r_e=0; the finite sharp-cutoff approximation above instead has the regulator contribution re=4/(πΛ)r_e=4/(\pi\Lambda). A more accurate effective interaction includes derivative terms,

Veff(p′,p)=C0(Λ)+C2(Λ)(p2+p′2)+C4(Λ)(p4+⋯ )+⋯ .V_{\mathrm{eff}}(\boldsymbol p',\boldsymbol p) =C_0(\Lambda) +C_2(\Lambda)(\boldsymbol p^2+\boldsymbol p'^2) +C_4(\Lambda)(\boldsymbol p^4+\cdots)+\cdots.

The scattering-length sign, effective-range expansion and equal-mass Born normalization are given in Braaten and Hammer 2006, § 2.1, pp. 11–13, PDF. Their mm is the constituent mass MM in the translation above; the sharp-cutoff correction displayed here follows from our explicit principal-value integral.

The coefficients C0,C2,…C_0,C_2,\ldots are not determined by the zero-range idealization. They must be matched to physical low-energy data: scattering length, effective range, and higher threshold parameters. This is the nonrelativistic version of the Wilsonian operator expansion.

The same structure appears in a nonrelativistic field theory with constituent mass MM and Lagrangian

L=ψ†(i∂t+∇22M)ψ−C02(ψ†ψ)2+C22[∇(ψ†ψ)]2+⋯ .\mathcal L =\psi^\dagger\left(i\partial_t+{\nabla^2\over2M}\right)\psi -{C_0\over2}(\psi^\dagger\psi)^2 +{C_2\over2}\left[\nabla(\psi^\dagger\psi)\right]^2+\cdots.

The quartic vertex C0C_0 generates the same geometric bubble structure as the potential problem. For two equal constituent masses MM, the relative kinetic denominator after the loop energy integral is E−k2/M+i0E-k^2/M+i0. Thus the spatial resolvent is IdI_d with its fixed-center mass replaced by M/2M/2; the vertex and external-state normalizations must also be matched. The contact potential supplies a simple exact example of a local interaction whose repeated short-distance fluctuations require renormalization.

In three dimensions, elastic unitarity for a single ss-wave channel implies

Im⁡1f0(p)=−p(p>0).\operatorname{Im}{1\over f_0(p)}=-p \qquad (p>0).

The zero-range contact result gives

f0(p)=1−a−1−ip,f_0(p)={1\over -a^{-1}-ip},

so

1f0(p)=−a−1−ip.{1\over f_0(p)}=-a^{-1}-ip.

Therefore

Im⁡1f0(p)=−p,\operatorname{Im}{1\over f_0(p)}=-p,

exactly as required. The real part −a−1-a^{-1} is dynamical data. The imaginary part −p-p is fixed by open phase space and probability conservation. This is why the low-energy denominator a−1+ipa^{-1}+ip is more robust than any particular cutoff calculation.

Relativistic preview: a small coupling and a large logarithm

Section titled “Relativistic preview: a small coupling and a large logarithm”

The manuscript next applies the same lesson to four-dimensional ϕ4\phi^4 theory. A one-loop correction to the four-point vertex contains the schematic Euclidean integral

δΓ(4)(q)∼λ02∫Λd4k(2π)41k2(k+q)2∼λ0216π2log⁡Λ2q2,\delta\Gamma^{(4)}(q) \sim \lambda_0^2 \int^\Lambda {d^4k\over(2\pi)^4} {1\over k^2(k+q)^2} \sim {\lambda_0^2\over16\pi^2} \log{\Lambda^2\over q^2},

up to channel-dependent combinatorial coefficients and local terms. The perturbative parameter is therefore not just λ0\lambda_0, but

λ016π2log⁡Λ2q2.{\lambda_0\over16\pi^2}\log{\Lambda^2\over q^2}.

When this combination becomes order one, terms with the highest power of the logarithm at each loop order must be resummed even if λ0\lambda_0 is small. The next lessons develop the scalar loop integral, the one-loop four-point function, leading logarithms, and the renormalization-group equation in detail.

A contact interaction is the smallest model in which renormalization is unavoidable but completely explicit.

In one spatial dimension, G0(E;0)G_0(E;0) is finite and the delta-function potential is an ordinary exactly solvable interaction. In two dimensions, the coincident Green function diverges logarithmically, producing a running coupling and a dynamically generated scale. In three dimensions, the divergence is linear; the bare coupling must be tuned with the cutoff so that the physical scattering length remains fixed.

The exact contact amplitude is a geometric series,

T(E)=1g0−1−Id(E,Λ).T(E)={1\over g_0^{-1}-I_d(E,\Lambda)}.

The integral IdI_d is the coincident nonrelativistic resolvent; after replacing its kinetic mass by the reduced mass, the same spatial integral appears in the two-body bubble. The renormalized answer is obtained by replacing the unobservable bare coefficient g0(Λ)g_0(\Lambda) by physical low-energy data such as aa or B2B_2.

The three-dimensional zero-range result

T3(p)=2π/ma−1+ipT_3(p)=\frac{2\pi/m}{a^{-1}+ip}

is the prototype for much of what follows: a short-distance singularity is absorbed into a local parameter, while the remaining energy dependence is fixed by long-distance propagation and unitarity.

Treating g0g_0 as an observable. The bare strength of a point interaction depends on the cutoff and regulator. The observable is the scattering amplitude, or equivalently low-energy parameters such as aa and rer_e.

Confusing the cutoff with the physical range. A cutoff Λ\Lambda is a calculation device. A real finite-range potential has a physical range RR. A sensible EFT calculation takes p≪Λp\ll\Lambda while matching coefficients to physics at scales of order R−1R^{-1}.

Dropping the i0i0. The imaginary part of IdI_d is not a detail. It fixes outgoing boundary conditions and enforces elastic unitarity.

Expecting the same behavior in all dimensions. The contact interaction is finite in d=1d=1, logarithmic in d=2d=2, and linearly divergent in d=3d=3. Dimensionality changes the physics.

Calling every divergence a failure. The divergence tells us that the zero-range interaction needs a matching condition. Once matched, it makes finite low-energy predictions.

Derive the geometric formula

T(E)=1g0−1−Id(E,Λ)T(E)={1\over g_0^{-1}-I_d(E,\Lambda)}

from the Lippmann–Schwinger equation for V(r)=g0δ(d)(r)V(\boldsymbol r)=g_0\delta^{(d)}(\boldsymbol r).

Solution

The momentum-space Lippmann–Schwinger equation is

T(p′,p;E)=V(p′,p)+∫Λddk(2π)dV(p′,k)1E−k2/(2m)+i0T(k,p;E).T(\boldsymbol p',\boldsymbol p;E) = V(\boldsymbol p',\boldsymbol p) + \int^\Lambda {d^dk\over(2\pi)^d} V(\boldsymbol p',\boldsymbol k) {1\over E-k^2/(2m)+i0} T(\boldsymbol k,\boldsymbol p;E).

For the contact potential,

V(p′,p)=g0.V(\boldsymbol p',\boldsymbol p)=g_0.

Because the kernel is independent of the external momenta, the solution is also independent of them:

T(p′,p;E)=T(E).T(\boldsymbol p',\boldsymbol p;E)=T(E).

Substituting gives

T(E)=g0+g0T(E)∫Λddk(2π)d1E−k2/(2m)+i0.T(E)=g_0+g_0T(E)\int^\Lambda {d^dk\over(2\pi)^d}{1\over E-k^2/(2m)+i0}.

Define

Id(E,Λ)=∫Λddk(2π)d1E−k2/(2m)+i0.I_d(E,\Lambda)=\int^\Lambda {d^dk\over(2\pi)^d}{1\over E-k^2/(2m)+i0}.

Then

T(E)=g0+g0Id(E,Λ)T(E),T(E)=g_0+g_0I_d(E,\Lambda)T(E),

so

[1−g0Id(E,Λ)]T(E)=g0.\left[1-g_0I_d(E,\Lambda)\right]T(E)=g_0.

Therefore

T(E)=g01−g0Id(E,Λ)=1g0−1−Id(E,Λ).T(E)={g_0\over1-g_0I_d(E,\Lambda)}={1\over g_0^{-1}-I_d(E,\Lambda)}.

Compute the one-dimensional integral

I1(E)=2m∫−∞∞dk2π 1p2−k2+i0,E=p22m,p>0,I_1(E)=2m\int_{-\infty}^{\infty}{dk\over2\pi}\,{1\over p^2-k^2+i0}, \qquad E={p^2\over2m},\quad p>0,

and find the binding-energy magnitude for an attractive delta-function potential.

Solution

Use the distribution identity

1x+i0=PV⁡1x−iπδ(x).{1\over x+i0}=\operatorname{PV}{1\over x}-i\pi\delta(x).

Then

1p2−k2+i0=PV⁡1p2−k2−iπδ(p2−k2).{1\over p^2-k^2+i0} =\operatorname{PV}{1\over p^2-k^2}-i\pi\delta(p^2-k^2).

The symmetric principal-value integral over the real line is zero. Also,

δ(p2−k2)=12p[δ(k−p)+δ(k+p)].\delta(p^2-k^2)={1\over2p}\left[\delta(k-p)+\delta(k+p)\right].

Hence

∫−∞∞dk2πδ(p2−k2)=12πp,\int_{-\infty}^{\infty}{dk\over2\pi}\delta(p^2-k^2) ={1\over2\pi p},

and

I1(E)=2m(−iπ)12πp=−imp.I_1(E)=2m\left(-i\pi\right){1\over2\pi p} =-{im\over p}.

Thus

T1(p)=1g0−1+im/p.T_1(p)={1\over g_0^{-1}+im/p}.

A bound state has p=iκp=i\kappa with κ>0\kappa>0. The pole condition is

g0−1+mκ=0,g_0^{-1}+{m\over\kappa}=0,

so

κ=−mg0.\kappa=-mg_0.

This requires g0<0g_0<0. The binding-energy magnitude and energy are

B1=κ22m=mg022,Ebound=−B1.B_1={\kappa^2\over2m}={mg_0^2\over2}, \qquad E_{\mathrm{bound}}=-B_1.

Show that in three dimensions

I3(E,Λ)=−mΛπ2−imp2π+O(mp2Λ).I_3(E,\Lambda) =-{m\Lambda\over\pi^2}-{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

Then derive the zero-range limit

T3(p)=2π/ma−1+ipT_3(p)=\frac{2\pi/m}{a^{-1}+ip}

from the matching condition

1g0(Λ)+mΛπ2=m2πa.{1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}={m\over2\pi a}.

Also find the leading finite-cutoff correction to the inverse amplitude.

Solution

Start with

I3(E,Λ)=2m∫∣k∣<Λd3k(2π)31p2−k2+i0.I_3(E,\Lambda)=2m\int_{|\boldsymbol k|<\Lambda}{d^3k\over(2\pi)^3}{1\over p^2-k^2+i0}.

The angular integral gives

I3(E,Λ)=mπ2∫0Λdk k2p2−k2+i0.I_3(E,\Lambda)={m\over\pi^2}\int_0^\Lambda dk\,{k^2\over p^2-k^2+i0}.

Write

k2p2−k2+i0=−1+p2p2−k2+i0.{k^2\over p^2-k^2+i0}=-1+{p^2\over p^2-k^2+i0}.

The first term gives

−mΛπ2.-{m\Lambda\over\pi^2}.

For the imaginary part, use

Im⁡1p2−k2+i0=−πδ(p2−k2).\operatorname{Im}{1\over p^2-k^2+i0}=-\pi\delta(p^2-k^2).

Thus

Im⁡I3=mπ2∫0Λdk k2[−πδ(p2−k2)]=−mπ p2=−mp2π.\operatorname{Im} I_3 ={m\over\pi^2}\int_0^\Lambda dk\,k^2\left[-\pi\delta(p^2-k^2)\right] =-{m\over\pi}\,{p\over2} =-{mp\over2\pi}.

For 0<p<Λ0<p<\Lambda, direct principal-value integration gives

Re⁡I3=mπ2[−Λ+p2log⁡Λ+pΛ−p].\operatorname{Re} I_3 ={m\over\pi^2}\left[-\Lambda+{p\over2}\log{\Lambda+p\over\Lambda-p}\right].

The remaining real momentum-dependent part is O(mp2/Λ)O(mp^2/\Lambda) for p≪Λp\ll\Lambda. Therefore

I3(E,Λ)=−mΛπ2−imp2π+O(mp2Λ).I_3(E,\Lambda)=-{m\Lambda\over\pi^2}-{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

Now

1T3(p)=1g0(Λ)−I3(E,Λ)=1g0(Λ)+mΛπ2+imp2π+O(mp2Λ).{1\over T_3(p)}={1\over g_0(\Lambda)}-I_3(E,\Lambda) ={1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}+{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

Using the matching condition gives

1T3(p)=m2πa+imp2π+O(mp2Λ)=m2π(a−1+ip)+O(mp2Λ).{1\over T_3(p)}={m\over2\pi a}+{imp\over2\pi}+O\left({mp^2\over\Lambda}\right) ={m\over2\pi}(a^{-1}+ip)+O\left({mp^2\over\Lambda}\right).

More precisely, expanding the logarithm in the exact principal value gives

1T3,Λ(p)=m2π[a−1+ip−2p2πΛ+O(p4Λ3)].{1\over T_{3,\Lambda}(p)} ={m\over2\pi}\left[a^{-1}+ip-{2p^2\over\pi\Lambda} +O\left({p^4\over\Lambda^3}\right)\right].

Taking Λ→∞\Lambda\to\infty at fixed a,pa,p gives T3(p)=(2π/m)/(a−1+ip)T_3(p)=(2\pi/m)/(a^{-1}+ip). Inverting the expansion at finite cutoff requires the denominator correction to be small compared with a−1+ipa^{-1}+ip; it is not a uniform approximation near a continued pole.

In two dimensions, define gR(μ)g_R(\mu) by

1gR(μ)=1g0(Λ)+m2πlog⁡Λ2μ2.{1\over g_R(\mu)}={1\over g_0(\Lambda)}+{m\over2\pi}\log{\Lambda^2\over\mu^2}.

Derive the beta function for gR(μ)g_R(\mu) at fixed bare coupling.

Solution

Differentiate at fixed g0g_0 and Λ\Lambda:

μddμ1gR(μ)=m2πμddμlog⁡Λ2μ2=−mπ.\mu{d\over d\mu}{1\over g_R(\mu)} ={m\over2\pi}\mu{d\over d\mu}\log{\Lambda^2\over\mu^2} =-{m\over\pi}.

But

μddμ1gR=−1gR2μdgRdμ.\mu{d\over d\mu}{1\over g_R} =-{1\over g_R^2}\mu{dg_R\over d\mu}.

Therefore

−1gR2μdgRdμ=−mπ,-{1\over g_R^2}\mu{dg_R\over d\mu}=-{m\over\pi},

so

μdgRdμ=mπgR2.\boxed{\mu{dg_R\over d\mu}={m\over\pi}g_R^2.}

If one defines the dimensionless coupling λ=mgR/π\lambda=mg_R/\pi, then

μdλdμ=λ2.\mu{d\lambda\over d\mu}=\lambda^2.

For the three-dimensional contact amplitude in the zero-range limit, show that a>0a>0 gives a bound-state pole and find its energy.

Solution

The amplitude has denominator

a−1+ip.a^{-1}+ip.

A bound state corresponds to imaginary momentum

p=iκ,κ>0,p=i\kappa, \qquad \kappa>0,

and bound-state energy

Ebound=−κ22m.E_{\mathrm{bound}}=-{\kappa^2\over2m}.

The pole condition is

a−1+i(iκ)=a−1−κ=0.a^{-1}+i(i\kappa)=a^{-1}-\kappa=0.

Thus

κ=1a.\kappa={1\over a}.

This is positive only when a>0a>0. The binding-energy magnitude and bound-state energy are

B3=12ma2,Ebound=−B3.B_3={1\over2ma^2}, \qquad E_{\mathrm{bound}}=-B_3.

As a→∞a\to\infty, the pole approaches threshold and the scattering becomes resonant.

At fixed cutoff Λ\Lambda, define the critical bare coupling in three dimensions by the unitary-limit condition a−1=0a^{-1}=0:

g0,c(Λ)=−π2mΛ.g_{0,c}(\Lambda)=-{\pi^2\over m\Lambda}.

Write g0=g0,c(1+ϵ)g_0=g_{0,c}(1+\epsilon) with ∣ϵ∣≪1|\epsilon|\ll1. Find the scattering length aa to leading order in ϵ\epsilon.

Solution

The matching condition is

1g0+mΛπ2=m2πa.{1\over g_0}+{m\Lambda\over\pi^2}={m\over2\pi a}.

Since

g0=g0,c(1+ϵ),1g0,c=−mΛπ2,g_0=g_{0,c}(1+\epsilon), \qquad {1\over g_{0,c}}=-{m\Lambda\over\pi^2},

we have exactly,

1g0=1g0,c11+ϵ=−mΛπ211+ϵ.{1\over g_0} ={1\over g_{0,c}}{1\over1+\epsilon} =-{m\Lambda\over\pi^2}{1\over1+\epsilon}.

Therefore

1g0+mΛπ2=mΛπ2ϵ1+ϵ.{1\over g_0}+{m\Lambda\over\pi^2} ={m\Lambda\over\pi^2}{\epsilon\over1+\epsilon}.

Matching gives

m2πa=mΛπ2ϵ1+ϵ,{m\over2\pi a}={m\Lambda\over\pi^2}{\epsilon\over1+\epsilon},

so

a=π(1+ϵ)2Λϵ=π2Λϵ[1+O(ϵ)].\boxed{ a={\pi(1+\epsilon)\over2\Lambda\epsilon} ={\pi\over2\Lambda\epsilon}[1+O(\epsilon)]. }

A large scattering length is therefore a near-critical tuning: ∣a∣Λ≫1|a|\Lambda\gg1 requires ∣ϵ∣≪1|\epsilon|\ll1.

  • Braaten, Eric, and Hans-Werner Hammer. “Universality in Few-Body Systems with Large Scattering Length.” Physics Reports 428 (2006): 259–390. DOI. Open PDF, version 3, 18 August 2006; locators above use the printed preprint pages.
  • Hammer, Hans-Werner, and Richard J. Furnstahl. “Effective Field Theory for Dilute Fermi Systems.” Nuclear Physics A 678, nos. 3–4 (2000): 277–294.
  • Kaplan, David B., Martin J. Savage, and Mark B. Wise. “A New Expansion for Nucleon–Nucleon Interactions.” Physics Letters B 424, nos. 3–4 (1998): 390–396.
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014, Chapters 22–23.
  • Srednicki, Mark. Quantum Field Theory. Cambridge: Cambridge University Press, 2007, Sections 27–29.
  • Weinberg, Steven. The Quantum Theory of Fields. Volume I: Foundations. Cambridge: Cambridge University Press, 1995, Chapter 3.
  • Zee, A. Quantum Field Theory in a Nutshell. 2nd ed. Princeton: Princeton University Press, 2010.

Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.