Scalar propagator (${\Delta }_E(p)$)

For a free massive scalar in a Euclidean path integral, inversion of the quadratic kernel gives ${\Delta }_E(p)=1/(p^2+m^2)$. The Minkowski version follows by Wick rotation.

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 $\tilde{W}(p)=2\pi \theta (p^0)\rho (p^2)$, where $W(x)=⟨0|\varphi (x)\varphi (0)|0⟩$ and its vacuum expectation value has been subtracted if nonzero. Squared intermediate-state matrix elements make $\rho$ a nonnegative measure supported on nonnegative mass squared. Applying time ordering to each free mass shell gives the displayed Feynman propagator representation, using $i\Delta =⟨T\varphi \varphi ⟩$ 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 $2\pi \theta (p^0)\rho (p^2)=(2\pi {)}^4{\sum }_{\alpha }|⟨\alpha |\varphi (0)|0⟩{|}^2{\delta }^4(p-p_{\alpha })$, with continuous state measures included in the sum. A stable one-particle state of mass $m$, with covariant normalization and squared field overlap $Z$, contributes $Z\delta (\sigma -m^2)$. Other particles and multiparticle states contribute additional nonnegative weight. The isolated pole of the scalar propagator then has residue $Z$.

For a real scalar field with canonical field normalization, impose $[\dot{\varphi }(t,\mathbf{x}),\varphi (t,\mathbf{y})]=-i{\delta }^3(\mathbf{x}-\mathbf{y})$. 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 $-i{\delta }^3(\mathbf{x}-\mathbf{y})$ 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 $0\le Z\le 1$, 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.

A smooth-cutoff scalar propagator is the inverse of a positive regulated quadratic kernel. It agrees with the unregulated scalar propagator at low momentum and decreases rapidly at high momentum. Smooth suppression is not identical to vanishing support. Its cutoff derivative is the line weight in an exact renormalization-group flow.

The Gaussian contraction used while integrating out a momentum shell. Its Fourier support lies entirely in that shell. In particular, convolution with a purely low-momentum field is zero. This distinguishes shell Feynman diagrams from unrestricted loop diagrams.