research39 min studyLesson 100 in Physics

Analyticity, dispersion, and positivity bounds

Relate a pole-subtracted low-energy scattering coefficient to a positive dispersive moment with explicit assumptions.

On this page

What you’ll understand

  • Explain how analyticity, crossing, unitarity, and high-energy boundedness enter a forward dispersion relation.
  • Calculate a positive spectral moment with dimensions and subtraction conventions stated.
  • Distinguish a necessary effective-coefficient constraint from a proof of ultraviolet completion, especially with massless exchange.

Ultraviolet completion can constrain symmetry-compatible effective coefficients. Dispersion relations connect low-energy amplitude derivatives with higher-energy absorptive data. Together with unitarity, they can force certain coefficient combinations to be nonnegative. These are conditional theorems: their analytic, infrared, and high-energy assumptions must remain attached to the result.

Specify an amplitude with an analytic expansion point

Consider identical stable scalars of mass m, the lightest species in a four-dimensional relativistic theory with its first continuum threshold at 4m24m^2. Use a forward amplitude normalization with positive absorptive part, and assume crossing, analyticity, and high-energy boundedness sufficient for two subtractions. Set ν=s−2m2\nu=s-2m^2 at zero momentum transfer. Crossing exchanges s and u and makes the pole-subtracted amplitude B(ν)B(\nu) even. Its expansion point ν=0\nu=0 lies between the crossed physical cuts.

Subtract explicitly known light-particle poles before differentiating, and include their effects consistently in the coefficient being bounded. The remaining right-hand cut begins at the appropriate multiparticle threshold; in the simple elastic massive setup its location is νth=2m2\nu_{\mathrm{th}}=2m^2. A contour argument also needs control of the contribution at infinity. Analyticity alone does not make that arc vanish, and the number of subtractions depends on the growth assumption. These premises are part of the calculation rather than optional background.

B(ν)=b0+b2ν2+O(ν4),b2=2π∫νth∞Im⁡B(ν′+i0)ν′3 dν′≥0B(\nu)=b_0+b_2\nu^2+O(\nu^4),\qquad b_2=\frac{2}{\pi}\int_{\nu_{\mathrm{th}}}^{\infty}\frac{\operatorname{Im}B(\nu'+i0)}{\nu'^3}\,d\nu'\geq0
This even-amplitude forward moment assumes the stated pole subtraction, massive analytic setup, crossing symmetry, and high-energy bound. Strict positivity requires nonzero absorptive support; equality is possible when that support vanishes.↔ Scroll wide equations horizontally.

Why the sign survives unknown high-energy details

The optical theorem relates the forward absorptive part to a sum of physical transition probabilities with positive kinematic factors. The dispersive kernel in the displayed moment is positive over the right-hand integration range. Their combination therefore constrains a low-energy derivative without requiring a microscopic calculation of every high-energy state. The statement is a weighted sum rule; it does not imply that each individual Feynman graph or each basis-dependent Wilson coefficient is separately positive.

Since ν\nu has mass dimension two, b2b_2 has mass dimension minus four for a dimensionless amplitude. In an effective theory, the bounded combination can involve several operators, loop terms, and subtraction contributions. Matching and renormalization conventions must be included before translating the inequality into a claim about a named coefficient. A positive allowed coefficient remains only a necessary consistency condition: it does not establish all higher moments, nonforward constraints, or existence of a complete ultraviolet theory.

Im⁡B(ν′)=a 1[L, 2L](ν′)⟹b2=2aπ∫L2Ldν′ν′3=3a4πL2\operatorname{Im}B(\nu')=a\,\mathbf 1_{[L,\,2L]}(\nu')\quad\Longrightarrow\quad b_2=\frac{2a}{\pi}\int_L^{2L}\frac{d\nu'}{\nu'^3}=\frac{3a}{4\pi L^2}
This is an illustrative positive absorptive contribution with L above the threshold and a dimensionless positive height a. It calculates one dispersive moment, not a complete unitary crossing-symmetric scattering model.↔ Scroll wide equations horizontally.

Know where a familiar forward bound needs revision

Massless exchange can put a singular pole at zero momentum transfer and remove the clean gapped forward setup. Gravity is a central example where infrared singularities, high-energy behavior, and subtraction choices require special care. Moving slightly away from forward scattering, subtracting calculable infrared contributions, or introducing a regulator may help in particular arguments, but each modification needs a justified limit. A massive-scalar theorem cannot simply be quoted unchanged after deleting its mass-gap assumption.

Research bounds also incorporate known low-energy absorptive contributions, higher derivatives, spin, internal symmetries, and several coupled channels. More information can sharpen the allowed coefficient region, while additional assumptions can narrow its applicability. An apparent violation should trigger checks of normalization, poles, loop accuracy, infrared treatment, and the effective-theory domain before claiming a failure of causality. Conversely, passing one positivity inequality supplies useful evidence but never substitutes for the full set of consistency requirements.

Evaluate a positive dispersive contribution

Take the illustrative absorptive height a = π/3 and interval scale L = 2 in mass-squared units, with L strictly above the cut threshold. Compute its contribution to b₂.

  1. Integrate ν prime to the minus third power from L to 2L. The antiderivative is −1/(2ν prime squared), giving 3/(8L squared).

  2. Multiply by 2a/π to obtain 3a/(4πL squared). With a = π/3 and L squared = 4, the numerator and π cancel to give 1/16.

  3. Thus this interval contributes 0.0625 in inverse mass-to-the-fourth units. Any additional nonnegative absorptive support increases this moment under the same dispersion assumptions.

The result

The positive sign follows from a positive absorptive contribution and kernel. The chosen box-shaped input illustrates one moment and is not a constructed ultraviolet completion or a claimed physical resonance spectrum.

Explore the model

Interactive lab

Interactive lab · scattering

Separate a positive toy weight from an analytic amplitude

Vary coupling g and angle θ in the explicitly illustrative weight g⁴(1+cos²θ). Its nonnegative value resembles a probability-weight intuition, but it has no energy dependence, analytic continuation, pole subtraction, or dispersive cut. It is not a process cross section and cannot prove a positivity bound or ultraviolet completion.

Separate a positive toy weight from an analytic amplitudeA schematic term diagram with dimensionless weight g⁴(1 + cos²θ). Lines denote terms, not particle paths; this is not a process cross-section or loop calculation. Current readings: Coupling factor g⁴: 0.24; Angular factor 1 + cos²θ: 1.329; Illustrative weight: 0.319. All parameters are adjustable with the labeled controls below.Incoming termsOutgoing termsθSchematic interaction term · no particle trajectories
Incoming termsOutgoing termsAngle θ
Coupling factor g⁴
0.24
Angular factor 1 + cos²θ
1.329
Illustrative weight
0.319
t = 0 s

A schematic term diagram with dimensionless weight g⁴(1 + cos²θ). Lines denote terms, not particle paths; this is not a process cross-section or loop calculation. 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 forA positive angular weight is insufficient for a dispersion theorem. The theorem connects an analytic amplitude, its physical absorptive part, and its high-energy behavior.

Check your understanding

What does a positive value of one correctly bounded effective coefficient establish?

Try it yourself

For the same illustrative absorptive height, move its interval from [L, 2L] to [2L, 4L]. How does its contribution to b₂ change, and why is this not a statement that heavy states never matter?

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

Give me a hint

The interval scale enters the moment as the inverse square of L, where L itself has mass-squared units.

Compare with the solution

Doubling L reduces the contribution by a factor four, from 1/16 to 1/64 = 0.015625 in the chosen units. The kernel suppresses this equally high contribution when it moves to larger invariant mass. Actual heavy physics can have different spectral strength, multiplicity, or couplings, and can supply the leading allowed effective interaction, so the comparison assumes the height is held fixed.

Take it with you

  • Forward positivity combines analyticity, crossing, unitarity, pole subtraction, and a justified high-energy bound.
  • The inequality constrains a physical coefficient combination or amplitude derivative, rather than every basis coefficient separately.
  • Massless exchange and gravity require additional infrared arguments, and passing one bound does not prove ultraviolet completion.

Read further

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

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

Lesson not marked complete.