Spectral representations and unitarity
Derive positive spectral weights from physical intermediate states and use a Euclidean correlator to test their consequences.
On this page
The question for today
What you’ll understand
- Explain why inserting positive-norm intermediate states produces a nonnegative scalar spectral measure.
- Separate a stable particle pole, a multiparticle continuum, and contact terms.
- Check monotonicity of a simple Euclidean spectral model without assuming a universal normalization.
Perturbative diagrams are one route to a correlation function. A spectral representation instead asks which physical states an operator can create. Their energies determine denominators, and their creation amplitudes determine weights. This connects unitarity to concrete inequalities even when individual interactions are difficult to calculate. We begin with a physical Hermitian scalar operator in a Lorentz-invariant vacuum and explicitly distinguish exact structure from a finite illustrative model.
Insert states before approximating interactions
Insert a complete set of energy-momentum eigenstates between two scalar operators. Translation invariance supplies their spacetime dependence, while each coefficient contains an absolute square of a vacuum-to-state matrix element. Positivity follows from the positive inner product on the physical Hilbert space. It is a property of physical operators and states; it should not be imposed unchanged on a gauge-fixed gluon propagator living in an enlarged space with unphysical components.
Lorentz invariance organizes these states by invariant mass squared . A stable particle that the operator creates contributes a delta function at its mass, whereas multiparticle states usually generate a continuous distribution above a threshold. A resonance embedded in that continuum need not be a delta function on the physical spectral axis. The spectral density is an operator-dependent record of accessible states, rather than a list of classical particles passing through a detector.
Continue to a question with a definite sign
For a sufficiently well-behaved scalar two-point function, Euclidean momentum replaces the oscillatory propagator denominator by . The result is a weighted superposition of free massive denominators. Differentiating a convergent representation at positive gives a nonpositive derivative, and successive derivatives alternate in sign. These inequalities are useful consistency tests, although a few successful tests do not prove that an arbitrary proposed correlator belongs to a complete local quantum field theory.
Ultraviolet growth can require subtractions, especially for composite operators. Local contact terms appear as polynomials in momentum and must be separated before applying a simple monotonicity argument. Likewise, rescaling an operator rescales its entire spectral density. There is no universal sum rule saying every renormalized or composite operator has total spectral weight one. A canonical normalization with a suitable regulator may provide an additional sum rule; it must be stated rather than silently borrowed.
What Euclidean data can and cannot determine
Recovering a continuous spectral density from finitely many noisy Euclidean data points is an inverse problem. The integral smooths sharp features, so quite different positive densities can fit the same observations within their errors. Positivity, threshold information, sum rules when available, and independently justified asymptotics constrain the reconstruction. A narrow peak produced by an algorithm is not automatically evidence for a sharply measured stable state; its dependence on those assumptions must be assessed.
The numerical exercise deliberately replaces the continuum by two positive discrete contributions. This makes the signs inspectable without pretending to solve the inverse problem. Change one weight to a negative number and the model loses its positive-measure interpretation, even if a particular momentum value still gives a positive correlator. Unitarity constrains a whole representation, not merely the sign of one plotted point. Determining spectral structure in strongly interacting theories remains an active computational challenge.
Work it through
Two positive mass contributions
In arbitrary mass units, use a discrete illustrative density with weight 0.8 at s = 1 and weight 0.2 at s = 9. Evaluate the Euclidean correlator and its slope at Q squared = 1.
The first contribution is 0.8/(1 + 1) = 0.4. The second is 0.2/(1 + 9) = 0.02, so the correlator is 0.42 in inverse mass-squared units.
Differentiate each denominator with respect to Q squared. The two slope contributions are −0.8/4 = −0.2 and −0.2/100 = −0.002.
Add the slopes to obtain −0.202 in inverse mass-to-the-fourth units. The negative sign follows from both positive weights, without fitting a new interaction parameter.
The example satisfies the spectral monotonicity test. Its chosen weights sum to one by construction; that normalization is a property of this example, not a theorem for arbitrary operators.
The living notebook
Explore the model
Interactive lab · spectral
Inspect resolution without confusing two meanings of spectrum
Vary mode count N and decay p in the finite sine sum Σ sin(nx−t)/nᵖ. This exposes how a finite set of modes hides fine structure. These are spatial Fourier modes, not positive invariant-mass spectral weights; the lab does not reconstruct a Källén–Lehmann density or test quantum unitarity.
- Sum at x = π/2
- 0.867
- Smallest wavelength
- 2π / 5
- Highest-mode coefficient
- 0.2
A finite sum of sin(nx − t)/nᵖ. Playback changes t; increasing the cutoff includes finer spatial scales. This is not a proof about a continuum limit or renormalization. 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 finite representation can obscure unresolved detail. The positivity of a QFT spectral measure must come from its Hilbert-space derivation, rather than the appearance of a wave plot.
Pause & reason
Check your understanding
Your turn
Try it yourself
Double the scalar operator used in the worked example. How do its correlator, pole weights, and logarithmic slope change?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
A two-point function contains two operator insertions. Compare the ordinary derivative with the derivative divided by the correlator.
Compare with the solution
Each insertion gains a factor two, so every spectral weight and the correlator gain a factor four. The correlator becomes 1.68 and its ordinary derivative becomes −0.808 in the same units. Their ratio, the logarithmic derivative with respect to Q squared, remains −0.202/0.42, approximately −0.481. Operator normalization changes overall weight but not this ratio.
Keep the idea
Take it with you
- Positive spectral measures follow from physical intermediate states, with explicit operator and Hilbert-space assumptions.
- Contact terms, ultraviolet subtractions, and operator normalization must be handled before using spectral inequalities.
- A finite Euclidean data set does not uniquely reveal a continuum of masses.
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.