Manuscript Oai280-A@1 · Oai280-A.tex · proposition · 27038823
Proposition: Identical sector record, opposite recovery
Stage 2: sector data are not a complete information account · lines 792–821 · proof included or linked
Oai280-A@1#prop:goodbad
Fix any record and a logical dimension . There are independent completions with the same -dimensional accessible and complementary spaces whose optimal full-code recovery errors are and . For every pure code input, accessible entropy is zero in both.
Proof. Take , and set
The first accessible channel is identity. The second is replacement, and every decoder after it is again replacement.
For the normalized Bell input, any replacement output has Bell overlap . Testing the Bell projector gives recovery error at least . Returning attains this bound: the depolarizing channel is the average of Weyl conjugations; separating the identity term and using the triangle inequality gives the upper bound .
Pure inputs give pure accessible outputs in both completions. Neither construction changes any part of .
Displayed formulas in this passage
unlabeled · line 803
Nearby in this section
- definition: Definition: Declared sector record
- section: Stage 2: sector data are not a complete information account
- definition: Definition: Record-only determination
- section: Stage 2: sector data are not a complete information account
- proposition: Proposition: Identical record, different entropy histories
- section: Stage 2: sector data are not a complete information account