Manuscript Oai211-A@1 · Oai211-A.tex · proposition · 3f3e4f63

Proposition: Same record, opposite recovery

Metric convergence and quantum recovery are separate › The complete-complement theorem, locally stated · lines 1641–1666 · proof included or linked

Oai211-A@1#prop:goodbad

Back to manuscript

Every fixed metric-measure or marked-tree record admits independent completions with optimal recovery errors and , on the same logical and output dimensions. For every pure logical input, selected accessible entropy can be zero in both completions.

Proof. Take , and define

The first accessible channel is identity and is exactly recoverable. The second is replacement. Every decoder of a replacement is a replacement, whose Bell overlap is . Thus every decoder has error at least . Preparation of attains the bound, as in Lemma lem:depolarizing.

For pure inputs, the accessible output in either completion is pure, so its entropy is zero. Neither isometry changes the fixed combinatorial or metric record.

Displayed formulas in this passage

  • unlabeled · line 1652

Nearby in this section