Skip to content

Short-Range Scattering Data as Many-Body Inputs

A zero-range coupling is not an observable: it changes with the regulator. The physical many-body input is the on-shell scattering amplitude, parameterized at leading order by the scattering length aa. Matching the two-body TT matrix replaces the bare coupling by aa and simultaneously fixes the shallow bound-state pole.

Required background. Coherent-State Path Integrals supplies the nonrelativistic action, Tree-Level Matching and Classical Elimination supplies matching logic, and Power Counting and Predictive Order supplies the truncation criterion.

Helpful background. Spectra, Resolvents, and Functional Calculus clarifies the pole–bound-state correspondence.

Consider two distinguishable fermions of equal mass mm in three spatial dimensions,

L=σ=,ψσ(it+22m)ψσC0(Λ)ψψψψ.\mathcal L =\sum_{\sigma=\uparrow,\downarrow} \psi_\sigma^\dagger \left(i\partial_t+\frac{\nabla^2}{2m}\right)\psi_\sigma -C_0(\Lambda) \psi_\uparrow^\dagger\psi_\downarrow^\dagger \psi_\downarrow\psi_\uparrow.

Loop momenta are restricted by a sharp spherical cutoff p<Λp<\Lambda. With the amplitude convention

A(k)=4π/ma1ik+O(k2R2),\mathcal A(k)=\frac{4\pi/m}{-a^{-1}-ik}+O(k^2R^2),

the bubble sum is cutoff independent at leading order when

1C0(Λ)=m4πamΛ2π2.\frac{1}{C_0(\Lambda)} =\frac{m}{4\pi a}-\frac{m\Lambda}{2\pi^2}.

The numerical coefficients depend on the regulator, while A(k)\mathcal A(k) does not. Dimensional regularization with power-divergence subtraction or a lattice cutoff gives a different relation for C0C_0 and the same matched low-energy amplitude.

The center-of-mass two-particle loop at energy E=k2/mE=k^2/m is

I0(E,Λ)=mp<Λ ⁣d3p(2π)31k2p2+i0+=mΛ2π2imk4π+O(k2/Λ).I_0(E,\Lambda) =m\int_{p<\Lambda}\!\frac{\mathrm d^3p}{(2\pi)^3} \frac{1}{k^2-p^2+i0^+} =-\frac{m\Lambda}{2\pi^2}-\frac{imk}{4\pi} +O(k^2/\Lambda).

Summing repeated contact interactions gives an inverse amplitude proportional to C01I0C_0^{-1}-I_0. Substituting the matching relation cancels the linear divergence and yields the stated a1ik-a^{-1}-ik denominator, up to the overall scattering-amplitude convention. This is the central renormalization check: predictions depend on aa, not on C0C_0 or Λ\Lambda.

The imaginary term is fixed by two-body unitarity. In the normalization f(k)=1/(kcotδik)f(k)=1/(k\cot\delta-ik) and A=(4π/m)f\mathcal A=(4\pi/m)f, leading order has kcotδ=1/ak\cot\delta=-1/a.

Continue kk to iκi\kappa with κ>0\kappa>0. The denominator vanishes for

κ=1a,EB=1ma2,\kappa=\frac1a, \qquad E_B=-\frac{1}{ma^2},

so a shallow dimer exists for a>0a>0. For a<0a<0 the pole is on the virtual-state sheet rather than a normalizable bound state. The result is universal only when aR|a|\gg R, where RR denotes the interaction range; range corrections shift both the pole and residue.

At unitarity, a1=0a^{-1}=0, the two-body amplitude has no scattering-length scale. Density, temperature, effective range, three-body data, confinement, and external fields can still supply scales to the many-body problem. The universal zero-range discussion and its domain are reviewed in Braaten and Hammer 2006, §§2–3.

Vacuum matching must be completed before inserting medium occupation factors. At leading order a dilute-gas calculation is organized in kFak_Fa when kFa1|k_Fa|\ll1, or around unitarity with range corrections controlled by kFRk_FR. Deep molecular states and inelastic channels have been integrated out; if they are accessible, their effects require additional operators, complex couplings, or explicit fields.

A cutoff plateau is necessary but not sufficient. It must occur with kΛk\ll\Lambda and Λ\Lambda below scales where the zero-range model’s omitted physics becomes relevant, or within a renormalization scheme whose counterterms cover that range.

Treating C0C_0 as measured. Its value changes with regulator and cutoff. Quote aa and the matching prescription.

Using the wrong reduced mass. For two equal masses the relative energy is k2/mk^2/m because the reduced mass is m/2m/2.

Calling every pole a bound state. The sheet and sign of aa distinguish a physical dimer from a virtual-state pole.

Differentiate the matching relation with respect to Λ\Lambda at fixed aa.

Solution

d(C01)/dΛ=m/(2π2)\mathrm d(C_0^{-1})/\mathrm d\Lambda=-m/(2\pi^2), so dC0/dΛ=(m/2π2)C02\mathrm dC_0/\mathrm d\Lambda=(m/2\pi^2)C_0^2. This running cancels the corresponding cutoff derivative of the loop. Keeping C0C_0 fixed would make the amplitude regulator dependent.

Continue the leading amplitude to negative energy and locate its normalizable pole.

Solution

Set k=iκk=i\kappa with κ>0\kappa>0. The denominator becomes a1+κ-a^{-1}+\kappa, so κ=a1\kappa=a^{-1}. A positive κ\kappa requires a>0a>0, and E=κ2/m=1/(ma2)E=-\kappa^2/m=-1/(ma^2).

Effective Range, Shallow Poles, and Universality Windows adds the first derivative correction. Two-Channel Resonance Models represents an energy-dependent resonance explicitly. Universal Relations and Tan Contact turns the matched short-distance interaction into exact many-body identities.

  • Braaten, Eric, and Hans-Werner Hammer. “Universality in Few-Body Systems with Large Scattering Length.” Physics Reports 428 (2006): 259–390. DOI.
  • Kaplan, David B., Martin J. Savage, and Mark B. Wise. “A New Expansion for Nucleon–Nucleon Interactions.” Physics Letters B 424 (1998): 390–396. DOI.
  • Lee, T. D., Kerson Huang, and C. N. Yang. “Eigenvalues and Eigenfunctions of a Bose System of Hard Spheres and Its Low-Temperature Properties.” Physical Review 106 (1957): 1135–1145. DOI.