Manuscript Hawk04-A@1 · Hawk04-A.tex · section · 526092ba
A complete-complement theorem
Exact recovery and the precise no-hiding statement › A complete-complement theorem · lines 515–523
The theorem is the complete-dilation error-correction/no-hiding structure associated with BraunsteinPati,KnillLaflamme. The proof above is included to make the required output ledger and decoder explicit. Stinespring's representation is an external standard mathematical input KSWContinuity,Watrous.