Analyticity, dispersion, and positivity bounds
Relate a pole-subtracted low-energy scattering coefficient to a positive dispersive moment with explicit assumptions.
On this page
The question for today
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 . Use a forward amplitude normalization with positive absorptive part, and assume crossing, analyticity, and high-energy boundedness sufficient for two subtractions. Set at zero momentum transfer. Crossing exchanges s and u and makes the pole-subtracted amplitude even. Its expansion point 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 . 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.
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 has mass dimension two, 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.
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.
Work it through
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₂.
Integrate ν prime to the minus third power from L to 2L. The antiderivative is −1/(2ν prime squared), giving 3/(8L squared).
Multiply by 2a/π to obtain 3a/(4πL squared). With a = π/3 and L squared = 4, the numerator and π cancel to give 1/16.
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 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.
The living notebook
Explore the model
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.
- Coupling factor g⁴
- 0.24
- Angular factor 1 + cos²θ
- 1.329
- Illustrative weight
- 0.319
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.
Pause & reason
Check your understanding
Your turn
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.
Keep the idea
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.