Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a

Observable-specific obstructions

A named observable is a different task › Observable-specific obstructions · lines 634–646

The optimal effect-only error is the finite semidefinite optimization

in f {t : 0 ⪯ G ⪯ I_{A}, - t I_{C} ⪯ N^{*} (G) - F ⪯ t I_{C}} .

A verified feasible $G, t$ gives an upper certificate. A favorable unvalidated numerical fit is not a certificate.

Displayed formulas in this passage

unlabeled · line 638
$in f {t : 0 ⪯ G ⪯ I_{A}, - t I_{C} ⪯ N^{*} (G) - F ⪯ t I_{C}} .$