Manuscript Psy01-A@1 · Psy01-A.tex · corollary · 94477fa3

Corollary: Certified stress ordering

Stress certificates and a conditional trade-off › A local affine Gaussian response · lines 820–830

Psy01-A@1#cor:stressordering

Let $L_{0}$ be an averaged lower bound for $S_{θ_{0}} (σ)$ , and let $U_{1}$ be an averaged upper bound for $S_{θ_{1}} (σ)$ , obtained from Theorem thm:frozengates or another valid certificate. If $U_{1} < L_{0}$ , then

S_{θ_{1}} (σ) < S_{θ_{0}} (σ) .

Displayed formulas in this passage

unlabeled · line 827
$S_{θ_{1}} (σ) < S_{θ_{0}} (σ) .$

Nearby in this section

section: A local affine Gaussian response
theorem: Theorem: Frozen-gate response with an explicit exit error
section: A local affine Gaussian response