Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
Separate model-identification and transfer bounds
Access as a circuit invariant and the complete channel › Separate model-identification and transfer bounds · lines 1225–1230
The predecoder distance in this proposition is not supplied by a certificate for one already decoded channel.