Manuscript Hawk02-E@1 · Hawk02-E.tex · section · 4841592b
Complete-residual certificates and decoder certificates
Complete-residual certificates and decoder certificates · lines 1144–1160
Let
For a channel , define the normalized Choi operator
Displayed formulas in this passage
unlabeled · line 1147
unlabeled · line 1155