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

Back to manuscript

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

Nearby in this section