Manuscript Oai280-C@1 · Oai280-C.tex · corollary · 7d44b8c0

Corollary: Bell-correlation interval

Finite-confidence certification › The three-correlation qubit identity certificate · lines 1570–1585 · proof included or linked

Oai280-C@1#cor:bell, Oai280-C@1#eq:bellinterval

For the qubit identity target,

L = max {0, 1 - f_{U} - b}, U = min {1, 2 1 - f_{L} + b}

has failure probability at most $δ_{x} + δ_{y} + δ_{z} + β$ .

Proof. The overlap interval follows from the coefficient intervals. Apply Corollary cor:pure with $d = 2$ and the transfer triangle.

Displayed formulas in this passage

Oai280-C@1#eq:bellinterval · line 1573
$L = max {0, 1 - f_{U} - b}, U = min {1, 2 1 - f_{L} + b}$