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
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