Manuscript Hawk03-A@1 · Hawk03-A.tex · proposition · 9a109c12
Proposition: Entropy and occupation underdetermination
Diagnostics that do not determine the required channel · lines 1151–1185 · proof included or linked
Hawk03-A@1#prop:diagnostics
Let , , and fix a density with purification . There are complete isometric interfaces whose accessible channels are
For every pure code input, their accessible entropies are equal to . Their complete accessible density operators also agree on the selected input . Every diagnostic on agrees for all inputs. Nevertheless,
Proof. Complete isometries are
The accessible outputs have the stated form. For pure inputs the state is pure in both models, so the entropies are . The remaining diagnostic assertions follow directly.
Tracing recovers the good input. The bad accessible channel is constant. For the maximally entangled code-reference input, every decoded bad output has the form and Bell overlap . The Bell projection gives the lower bound.
Displayed formulas in this passage
unlabeled · line 1156
unlabeled · line 1164
unlabeled · line 1172
Nearby in this section
- section: Diagnostics that do not determine the required channel
- proposition: Proposition: Record equality does not fix the residual instrument
- section: Diagnostics that do not determine the required channel
- proposition: Proposition: Finite records do not bound unobserved energy
- section: Diagnostics that do not determine the required channel