Manuscript Oai280-B@1 · Oai280-B.tex · proposition · 6d92ab75

Proposition: A sufficient calibration budget

Bell correlations and simultaneous finite-data certification › Validation contract · lines 1353–1376 · proof included or linked

Oai280-B@1#prop:calibration

Back to manuscript

Suppose the common actual tested state satisfies

and the complete score observable differs from by operator norm at most . Then a sufficient allowance is

Proof. Let . Then . The Bell projector is an effect, so its expectation changes by at most under the state comparison. Applying both bounds gives the claim.

Displayed formulas in this passage

  • unlabeled · line 1356

  • unlabeled · line 1362

Nearby in this section