Manuscript Hawk02-B@2 · Hawk02-B.tex · proposition · 95ea744f
Proposition: Mode mismatch
Access controls and exact operational effects › Incorrect radiation mode · lines 1273–1290 · proof included or linked
Hawk02-B@2#prop:mismatch
For , let be normalized and . The coherent-mode decoder using instead of has exact error
At its error is .
Proof. . Compression transfers the stated weight and replaces its complement by . Apply Lemma lem:replacement.
Displayed formulas in this passage
unlabeled · line 1279