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 1565–1569
For a Hermiticity-preserving difference , let , with input-reference factor first.