Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
Finite-factor subsystem certification
Finite-factor subsystem certification · lines 2211–2216
The bound is deliberately conservative. For , the sharper qubit identity-target factor in Lemma lem:bellbounds should be used.