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
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