Manuscript XVIII-B@2 · XVIII-B-v2.tex · proposition · 27ed4f4b
Proposition: A compact spectral detector
The exact two-particle spectral calculation › Spectral detection, not observation · lines 594–637 · proof included or linked
XVIII-B@2#prop:detector, XVIII-B@2#eq:vacnorm
For every nonzero , take . Then
This detects the spectral coefficient and is independent of the finite retarded contact prescription.
It is not a finite measurement instrument, an Enter destructive readout, a classical record, or a decoder.
Proof. The norm follows by vacuum positivity and the Fourier representation of . Since and , the second line follows.
The Fourier transform of a nonzero compact smooth function is real analytic on real momentum space and cannot vanish on the entire open future threshold region. The positive integrand is therefore nonzero on an open set. Rapid Fourier decay makes the integral finite.
A finite change in the retarded splitting does not change the already fixed vacuum Wightman distribution. No apparatus or selective map is constructed by this norm.
Displayed formulas in this passage
XVIII-B@2#eq:vacnorm · line 598