Manuscript VII-F-ST@1 · VII-F-ST.tex · proposition · 9eee7a44
Proposition: Informative records exclude whole-input recovery
Observation and recovery separations · lines 1516–1542 · proof included or linked
VII-F-ST@1#prop:informative
For a finite recorded instrument
if some effect is nonscalar, no channel recovers every input in the full quantum algebra from the complete record-plus-residual output.
Proof. Choose branch Kraus operators . Kraus operators of are . If a recovery channel has Kraus operators , then is a Kraus family for the identity. The identity channel has rank-one Choi matrix, so each such operator is a scalar multiple of . Completeness of the implies
In particular, summing the diagonal terms at fixed makes scalar, a contradiction.
Displayed formulas in this passage
unlabeled · line 1519
unlabeled · line 1536