Manuscript Hawk04-B@2 · Hawk04-B.tex · remark · ba3b0713
Remark: Nonconstant does not mean residual-only recoverable
Complete preservation, exact correction, and no-hiding · lines 608–614
A nonconstant means that some logical inputs are distinguished by the residual channel. It does not mean that contains an independently recoverable copy of the entire code. Recovery may require joint access to . The exact control in Section sec:control demonstrates this.
Nearby in this section
- theorem: Theorem: Complete unitary preservation
- section: Complete preservation, exact correction, and no-hiding
- theorem: Theorem: Exact recovery and a constant complete complement
- section: Complete preservation, exact correction, and no-hiding
- corollary: Corollary: The precise residual-only no-hiding conclusion
- section: Complete preservation, exact correction, and no-hiding