Manuscript VI@1 · VI.tex · proposition · b5b60afb
Proposition: Approximate annihilation without coefficient bounds
Static audit of the proposed quantum certificate › Interval evaluations · lines 2894–2904 · proof included or linked
Let . Then
Proof. Choose with , and replace by . The absolute value grows linearly with .
Displayed formulas in this passage
unlabeled · line 2896