Manuscript Em04-A@2 · Em04-A-v2.tex · theorem · f5b28abc
Theorem: Compressed-position POVM
Compressed oscillator position measurements › Exact objects and state approximation · lines 1052–1072 · proof included or linked
Em04-A@2#thm:compression
The compressed effects form a countably additive normalized POVM:
Their sum over a countable measurable partition is . They are generally not projections and are not generally the spectral effects of .
Proof. Positivity follows by testing on vectors in . Compression preserves countable additivity of matrix elements, and . For , the vacuum position density is , giving , not a projection. The compressed position operator is zero, whose spectral effect for this set is instead .
Displayed formulas in this passage
unlabeled · line 1055