Manuscript Oai069-A@1 · Oai069-A.tex · proposition · a4913aab

Proposition: Equivalence alone does not determine accessible recovery

The exact remaining source-to-operation bridge · lines 1688–1711 · proof included or linked

Oai069-A@1#prop:source-separation

Back to manuscript

Fix the same finite categorical equivalence and named label. Without a fixed positive encoding/access bridge, independent operational completions can have zero or nonzero full qubit recovery error.

Proof. For a fixed , append equal-dimensional accessible and inaccessible coefficient spaces. One isometry sends

and another sends

Keep the local-system monodromy and categorical character decomposition unchanged. The first accessible channel is identity; the second is replacement. Their optimal qubit recovery errors are respectively zero and , by the Bell argument in Theorem thm:loss.

Displayed formulas in this passage

  • unlabeled · line 1699

  • unlabeled · line 1703

Nearby in this section