research32 min studyLesson 91 in Physics

Spectral representations and unitarity

Derive positive spectral weights from physical intermediate states and use a Euclidean correlator to test their consequences.

On this page

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 ss. 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.

ρ(s)=Z δ(s−m2)+ρcont(s),Z≥0,ρcont(s)≥0\rho(s)=Z\,\delta(s-m^2)+\rho_{\mathrm{cont}}(s),\qquad Z\geq0,\quad\rho_{\mathrm{cont}}(s)\geq0
A stable scalar pole is included only if it exists and couples to the chosen operator. Positivity assumes a physical positive-norm Hilbert space and a Hermitian operator.↔ Scroll wide equations horizontally.

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 Q2+sQ^2+s. The result is a weighted superposition of free massive denominators. Differentiating a convergent representation at positive Q2Q^2 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.

DE(Q2)=∫0∞ρ(s) dsQ2+s,dDEdQ2=−∫0∞ρ(s) ds(Q2+s)2≤0D_E(Q^2)=\int_0^\infty\frac{\rho(s)\,ds}{Q^2+s},\qquad \frac{dD_E}{dQ^2}=-\int_0^\infty\frac{\rho(s)\,ds}{(Q^2+s)^2}\leq0
This unsubtracted form and differentiation require convergent integrals after any contact terms have been removed. The inequality concerns Q squared, not the signed momentum component.↔ Scroll wide equations horizontally.

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.

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.

  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.

  2. Differentiate each denominator with respect to Q squared. The two slope contributions are −0.8/4 = −0.2 and −0.2/100 = −0.002.

  3. 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 result

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.

Explore the model

Interactive lab

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.

Inspect resolution without confusing two meanings of spectrumA 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. Current readings: Sum at x = π/2: 0.867; Smallest wavelength: 2π / 5; Highest-mode coefficient: 0.2. All parameters are adjustable with the labeled controls below.01.573.144.716.28−2.56−1.2801.282.56x · radiansFinite sine sum
Finite sumHighest included mode
Sum at x = π/2
0.867
Smallest wavelength
2π / 5
Highest-mode coefficient
0.2
t = 0 s

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.

Check your understanding

Which assumption directly supplies nonnegative spectral weights for the physical scalar correlator?

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.

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.