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

Back to manuscript

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