Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a

Fixed decoder and transfer

Normalized finite-error certificates › Fixed decoder and transfer · lines 803–816

The transfer allowance is in half-diamond units and is added outside the square root. It is not multiplied by $d$ CheungHawk04B (:certificate).

d_{⋄} (N_{⋆}, N_{0}) \leq a, d_{⋄} (D_{⋆}, D_{0}) \leq k

on common identified interfaces, contraction gives $b \leq a + k$ . Neither comparison follows from a match of selected spectra.

Displayed formulas in this passage