Manuscript Oai265-B@2 · Oai265-B-v2.tex · section · 94b6f42f
Validated matrix upper witness
A tighter channel-confidence-region route › Validated matrix upper witness · lines 1604–1611
SDP formulations for completely bounded norms are established Watrous. Positivity, trace preservation, matrix inequalities, residuals, and numerical rounding must be validated. A favorable optimizer objective is not itself a feasible upper witness CheungHawk04B.