Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a
A checkable upper matrix witness
Normalized finite-error certificates › A checkable upper matrix witness · lines 878–883
Semidefinite formulations are standard Watrous. Numerical feasibility, positivity, trace preservation, and rounding must be validated before this lemma is used as a certificate.