Manuscript Hawk02-D@1 · Hawk02-D.tex · section · e6e4b72f

Checked perturbations and implementation errors

Finite-chain approximation, perturbations, and recurrence › Checked perturbations and implementation errors · lines 1244–1264

Hawk02-D@1#eq:implementation-budget

Back to manuscript

Combining the preceding results, an implemented channel and decoder obey

d_{⋄} (D N, id_{C}) \leq β_{K} (s_{M} (t)) + b_{chain} (t, L) + b_{dyn} (t) + b_{prep} + b_{access} + b_{decoder},

provided each term is a proved channel comparison at its named interface. A histogram error or a floating-point residual is not substituted for one of these terms.

Displayed formulas in this passage

Hawk02-D@1#eq:implementation-budget · line 1248
$d_{⋄} (D N, id_{C}) \leq β_{K} (s_{M} (t)) + b_{chain} (t, L) + b_{dyn} (t) + b_{prep} + b_{access} + b_{decoder},$

Nearby in this section

proposition: Proposition: Bounded perturbation allowance