Manuscript Hawk04-A@1 · Hawk04-A.tex · corollary · 526092ba
Corollary: No-hiding, with the outputs interchanged
Exact recovery and the precise no-hiding statement › A complete-complement theorem · lines 524–535 · proof included or linked
Hawk04-A@1#cor:nohiding
If the accessible channel is constant on the entire code, then the complete complementary output exactly recovers that code. The arbitrary quantum state cannot reside only in inaccessible correlations between and .
Proof. Interchange and in Theorem thm:exact.