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

Back to manuscript

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

Nearby in this section