Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · corollary · 94d46352
Corollary: The precise no-hiding conclusion
Local preservation and exact full-code recovery · lines 553–568 · proof included or linked
Hawk04-C@1#cor:nohiding
The complete residual exactly recovers if and only if is a replacement channel. The accessible factor exactly recovers if and only if is a replacement channel. For , the two factors cannot both independently recover the entire code, and cannot both have constant channels.
Proof. Apply Theorem thm:exact with the output factors interchanged. A replacement channel cannot recover two distinct code states. If one factor recovers, the other is constant; this rules out both independent recovery and simultaneous constancy.
Nearby in this section
- theorem: Theorem: Complete-output restoration
- section: Local preservation and exact full-code recovery
- theorem: Theorem: Exact complete-complement criterion
- section: Local preservation and exact full-code recovery
- corollary: Corollary: A strict finite-dimensional obstruction
- remark: Remark: The information target matters