For a Hermitian scalar field in a positive-norm Hilbert space with a Lorentz-invariant vacuum, the spectrum condition and completeness give the connected vacuum two-point function as a superposition of free mass-shell functions. Define the Källén–Lehmann spectral density by , where and its vacuum expectation value has been subtracted if nonzero. Squared intermediate-state matrix elements make a nonnegative measure supported on nonnegative mass squared. Applying time ordering to each free mass shell gives the displayed Feynman propagator representation, using and signature . Its positivity does not automatically extend to gauge-variant fields in an indefinite auxiliary space.
The Källén–Lehmann spectral density is the nonnegative invariant-mass measure in a scalar vacuum two-point function. With complete intermediate states it satisfies , with continuous state measures included in the sum. A stable one-particle state of mass , with covariant normalization and squared field overlap , contributes . Other particles and multiparticle states contribute additional nonnegative weight. The isolated pole of the scalar propagator then has residue .
For a real scalar field with canonical field normalization, impose . The Källén–Lehmann spectral representation also represents its vacuum commutator as the weighted sum of free commutators. The equal-time derivative of each free commutator is independently of mass. Comparison therefore gives the displayed sum rule, whenever the canonical commutator and spectral integral admit this distributional limit. Since the measure is nonnegative, an isolated one-particle weight obeys , and is strictly positive if the field couples to that particle. Arbitrary rescaling of the field rescales the total spectral weight, so positivity alone does not imply this normalization or upper bound.

Articles by others on the same topic (1)

The Källén–Lehmann spectral representation is a fundamental concept in quantum field theory, particularly in the context of the study of quantum fields and their propagators. It provides a way to express correlation functions (or Green's functions) of quantum fields in terms of their spectral properties.