Manuscript Oai280-A@1 · Oai280-A.tex · proposition · 27038823
Proposition: Exact observable survival without full recovery
Stage 3: fusion, observable survival, and exact recovery › A named effect can survive · lines 1018–1045 · proof included or linked
Oai280-A@1#prop:effect
There is a qubit channel preserving the observable exactly, with nonconstant complete complement and optimal full-code half-diamond recovery error .
Proof. Use
The accessible and complementary channels are both computational dephasing
Hence , but the complement distinguishes and .
The Bell-input output is separable, and remains separable after every accessible decoder. A separable two-qubit state has Bell overlap at most . The Bell-projector effect therefore gives a recovery lower bound . The identity decoder attains , by the displayed Pauli mixture and its orthogonal Bell errors.
Displayed formulas in this passage
unlabeled · line 1027
unlabeled · line 1033