Manuscript Oai283-A@1 · Oai283-A.tex · corollary · 6fb75895
Corollary: An inhabited finite acceptance example
Operational certification of the logical channel › A complete finite-shot certificate · lines 1003–1020 · proof included or linked
Oai283-A@1#cor:inhabited-test
For the exact one-qubit phase pilot with ideal preparation and tests, let , , and
The procedure using attempted circuit runs certifies the half-diamond threshold with probability at least .
Proof. Here , and the stated budget gives . On the simultaneous concentration event, the true Choi state equals , so . The upper bound in (eq:confidence) is at most .
Displayed formulas in this passage
unlabeled · line 1007