Manuscript Hawk01-B@1 · Hawk01-B.tex · section · cfa976f1
Exact arbitrary-code criterion
Exact and approximate residual-leakage certificates › Exact arbitrary-code criterion · lines 365–372
This is the arbitrary-code constant-complement form of exact Knill–Laflamme correctability KnillLaflamme1997,CheungEm05B,CheungHawkA. Testing only a small preparation ensemble does not establish its matrix-unit requirement.