--- title: Error-and-Erasure Decoding url: https://www.emergentmind.com/topics/error-and-erasure-decoding type: topic --- # Error-and-Erasure Decoding Error-and-erasure decoding is the family of decoding methods in which the receiver corrects both **errors**, where a received symbol is wrong but not flagged, and **erasures**, where a symbol position is declared unknown. In its classical form for a linear code of minimum distance \(d_{\min}\), the decoder trades one erasure against roughly half an error-correction step; in modern formulations, that tradeoff is expressed by decoder-specific capability functions, probabilistic reliability models, or channel-dependent exponent criteria. The topic spans algebraic decoding of Reed–Solomon and BCH codes, generalized remainder and affine-variety codes, sum-rank-metric codes, iterative decoders for product and staircase codes, and information-theoretic erasure/list decoders for discrete memoryless channels [1104.0576] [2202.06758] [0801.4544]. ## 1. Classical decoding radius and generalized tradeoff laws For a linear block code \([n,k,d_{\min}]\), the classical unique-decoding statement is that a decoder can correct up to \(t\) errors if \(2t \le d_{\min}-1\), up to \(e\) erasures if \(e \le d_{\min}-1\), or any mixture \((t,e)\) satisfying \[ 2t + e \le d_{\min} - 1. \] For Reed–Solomon codes \((q;n,k,d_{\min})\) with \(d_{\min}=n-k+1\), standard bounded minimum distance decoding with erasure handling succeeds whenever \[ 2\varepsilon + \tau < d_{\min}, \] equivalently \[ \varepsilon \le \left\lfloor \frac{d_{\min}-1-\tau}{2}\right\rfloor \] errors remain among the non-erased symbols [1104.0576]. A broader algebraic viewpoint replaces the fixed coefficient \(2\) by a decoder-specific tradeoff parameter or capability function. For binary codes, a \(\lambda\)-extended bounded-distance decoder corrects any pattern satisfying \[ \lambda \varepsilon + \tau \le d_{\min}-1,\qquad 1<\lambda\le 2, \] so smaller \(\lambda\) makes errors “cheaper” relative to erasures [1004.3372]. For Reed–Solomon codes, the same idea is abstracted by a **decoder capability function** \(f(n,\varepsilon,\tau)\), where guaranteed decoding is characterized by \[ f(n,\varepsilon,\tau) > k-1. \] The maximal correctable number of errors for a fixed erasure count \(\tau\) is then \[ \varepsilon_\tau = \max\{\varepsilon : f(n,\varepsilon,\tau)>k-1\}, \] which defines an error-correction boundary in the \((\varepsilon,\tau)\)-plane [1104.0576]. This generalization is structurally important because it separates the **geometry of the decoder’s success region** from the **strategy used to choose erasures**. The classical inequality \(2\varepsilon+\tau \sqrt{(n-\tau)(k-1)}, \] and boundary \[ \varepsilon_\tau = \left\lceil n-\tau-\sqrt{(n-\tau)(k-1)} \right\rceil -1. \] These examples show that error-and-erasure decoding regions may be linear or nonlinear, but the adaptive machinery only needs the mapping \(\tau\mapsto \varepsilon_\tau\) [1104.0576]. The same subject also has a multi-trial form. Forney’s generalized minimum distance decoding performs several trials with increasing erasure counts and approaches ML performance when the number of trials is approximately \(d_{\min}/2\), but with a complexity increase by a factor \(\Theta(d_{\min})=\Theta(n)\). A later treatment generalized threshold-based multi-trial decoding to decoders with tradeoff factor \(1<\lambda\le 2\), including BMD and Guruswami–Sudan decoding. For a constant-\(\lambda\) decoder, the guaranteed decoding condition is essentially \[ \lambda v + e < d, \] and the optimal thresholds for \(z\) trials are \[ T_k = \frac{E_0(R)}{s} F_k(\lambda), \] with \[ F_k(\lambda)=\frac{2\left(\frac{1}{\lambda-1}\right)^{k-1}-\lambda}{2\left(\frac{1}{\lambda-1}\right)^{z-1}-\lambda}. \] For classical BMD, \(\lambda=2\) and the thresholds reduce to \[ T_k = \frac{E_0(R)}{s}\cdot \frac{2k-1}{2z+1}. \] In the studied RS\((255,144,112)\) setting, BMD decoders with \(z_{\text{BMD}}\) trials can yield lower residual codeword error probability than GS decoders with \(z_{\text{GS}}\) trials if \(z_{\text{BMD}}\) is only slightly larger than \(z_{\text{GS}}\) [1104.3419]. A recurrent misconception is that stronger list decoders always benefit more from erasures. For the Guruswami–Sudan decoder, the error-correction boundary decreases concavely with \(\tau\), and the cited simulations show that adaptive erasures can be practically negligible for the studied code, unlike the BMD case [1104.0576]. ## 3. Reliability-based erasing strategies and residual error optimization Modern error-and-erasure decoding often begins with a soft-output channel but ends with a hard/erasure algebraic decoder. The central design problem is then to decide **which symbols to erase** and **how many erasures to introduce**. For Reed–Solomon codes over a symbol-by-symbol channel, one computes a symbol unreliability \[ h(r_i)=1-\Pr(\tilde{x}_i \text{ transmitted}\mid y_i \text{ received}), \] or, under equiprobable signaling, \[ h(r_i)=1-\frac{\Pr(y_i\mid \tilde{x}_i)}{\sum_{x\in\mathcal{X}}\Pr(y_i\mid x)}, \] with a nearest-neighbor approximation in practice. The received symbols are sorted by decreasing unreliability, \[ h(r_0)\ge h(r_1)\ge \cdots \ge h(r_{n-1}), \] and for a given \(\tau\), the \(\tau\) most unreliable symbols are erased before applying the algebraic decoder. If \(Y_\tau\) denotes the number of errors among the non-erased symbols, then decoding succeeds iff \(Y_\tau\le \varepsilon_\tau\), so the residual codeword error probability is \[ P(\tau)=1-\sum_{\varepsilon=0}^{\varepsilon_\tau}\Pr(Y_\tau=\varepsilon), \] and the optimal erasure count is \[ \tau^\star=\arg\min_{0\le \tau\le d_{\min}-1} P(\tau). \] The exact computation uses the probability generating function \[ G_{Y_\tau}(\rho)=\prod_{i=\tau}^{n-1}(1-h(r_i)+\rho\,h(r_i)), \] but direct evaluation for all \(\tau\) is about \(\mathcal{O}(n^3)\). Two approximations were proposed: a Hoeffding-based windowed summation of order \(\mathcal{O}(n^2\sqrt{n})\), and an empirical “\(\varepsilon_\tau\)-boundary” approximation of order \(\mathcal{O}(n^2)\) that uses only one or two PGF coefficients [1104.0576]. An analogous per-vector optimization was developed for binary codes with \(\lambda \varepsilon+\tau\le d_{\min}-1\). There the hard decisions are derived from antipodal signaling, the symbol unreliability on AWGN is \[ h_{\sigma,\mathrm{AWGN}}(y)=\frac{1}{1+\exp\left(\tfrac{2y\,\alpha(y)}{\sigma^2}\right)}, \] and the optimal number of erased least-reliable positions is \[ \tau_\sigma^\star = \arg\min_{0\le \tau\le d_{\min}-1} P_\sigma(\tau), \] with \[ P_\sigma(\tau)=1-\sum_{\varepsilon=0}^{\left\lfloor\frac{d_{\min}-1-\tau}{\lambda}\right\rfloor}\Pr(Y_\tau=\varepsilon). \] The exact algorithm has complexity \(\mathcal{O}(n^3)\), while a Hoeffding-based approximation reduces this to \(\mathcal{O}(n^2\sqrt[4]{n})\) [1004.3372]. For the Reed–Solomon code \((256;255,144,112)\) on AWGN with 256-QAM and Gray labeling, adaptive single-trial error/erasure decoding yields roughly \(0.2\) dB gain in \(E_b/N_0\) at practical residual codeword error probabilities compared to errors-only BMD decoding, and captures most of the gain of Forney GMD while using only one decoding run. By contrast, the potential gain from adaptive erasures is negligible for the Guruswami–Sudan list decoder in the same setup [1104.0576]. A separate line of work analyzed the decoding error probability of binary BCH codes under BDD, EaE decoding, and anchor-bit variants. It derived closed-form expressions for the decoding transition probabilities and showed that anchor bits reject candidate codewords that disagree with highly reliable positions, significantly reducing miscorrections while retaining most of the extra decoding capability of EaE decoding [2509.24794]. ## 4. Beyond Hamming-metric symbol erasures Error-and-erasure decoding is not confined to Reed–Solomon or binary Hamming-metric settings. Several algebraic generalizations replace simple symbol counts by weighted degrees, row/column spaces, or Gröbner-basis support sets. For **irreducible polynomial remainder codes**, one starts from pairwise coprime monic irreducible moduli \(m_0(x),\dots,m_{n-1}(x)\) and the CRT map \[ \psi(a)=\big(a\bmod m_0(x),\dots,a\bmod m_{n-1}(x)\big). \] The error pattern is split into known positions \(S_p\) and unknown positions \(S_u\), with locator polynomials \[ A_p(x)=\prod_{i\in S_p} m_i(x),\qquad A_u(x)=\prod_{i\in S_u} m_i(x), \] and the joint decoding condition becomes \[ \deg A_u(x)\le \frac{N-K-\deg A_p(x)}{2}. \] Two fixed-transform approaches incorporate erasures without recomputing the CRT basis: one multiplies by the erasure locator on the polynomial side, the other divides it out of \(M_n(x)\). Both lead to partial extended-Euclid algorithms that recover a scalar multiple of \(A_u(x)\), and both reduce to the known error-only decoders when \(A_p(x)=1\). Approach II appears to be new even for Reed–Solomon codes [1202.5413]. For **affine variety codes**, the central structural statement is that the vector space indexed by codeword positions and the vector space indexed by the support of the Gröbner basis of the vanishing ideal are canonically isomorphic. The isomorphism is realized by extension through linear feedback shift registers induced by the Gröbner basis and generalized discrete Fourier transforms. This lemma yields a unified system for encoding and decoding erasures and errors in a class of affine variety codes, and systematic encoding becomes a special erasure-only decoding problem [1208.5429]. For **linearized Reed–Solomon codes in the sum-rank metric**, the decoder handles three classes of corruption: \[ e = e_F + e_R + e_C, \] where \(e_F\) are full errors, \(e_R\) row erasures, and \(e_C\) column erasures. The unique-decoding condition is \[ 2t_F + t_R + t_C \le n-k, \] and the syndrome-based Berlekamp–Massey-like decoder operates over a skew polynomial ring with complexity at most \(\mathcal{O}(n^2)\) operations in \(\mathbb{F}_{q^m}\). This extends the classical RS and Gabidulin error-and-erasure inequality to the sum-rank setting and enables decoding in multishot network coding via the sum-subspace reduction [2202.06758]. These frameworks show that the essential object in error-and-erasure decoding is not always the number of bad positions. Depending on the code family, the relevant “erasure budget” may be a weighted degree, a rank quantity, or a root-space dimension. This suggests that the classical Hamming-metric inequality is best viewed as one instance of a more general algebraic balance law. ## 5. Iterative, ternary, and soft-aided decoding architectures In high-rate product and staircase codes, error-and-erasure decoding is used as a low-complexity way to inject limited soft information into iterative bounded-distance decoding. For a BI-AWGN channel, the receiver quantizes each sample to a ternary alphabet \(\{0,1,?\}\) using a threshold \(T\): \[ r_i= \begin{cases} 0,& \tilde{r}_i > +T,\\ 1,& \tilde{r}_i < -T,\\ ?,& -T\le \tilde{r}_i \le +T. \end{cases} \] Component decoders then operate on ternary vectors. A standard EaE decoder for a BCH component code corrects all patterns satisfying \[ 2D + E < \delta_{\text{des}}, \] where \(D\) is the number of errors on non-erased positions and \(E\) the number of erasures. Density-evolution analysis for product and staircase codes with ternary message passing showed that additional coding gains of up to \(0.6\) dB are possible by ternary decoding, at only a small additional increase in complexity compared to traditional binary message passing. The same analysis also showed that even-weight BCH subcodes can improve decoding performance at high rates [2103.05716]. The extrinsic message-passing decoder required by density evolution is, however, much more complex than intrinsic message passing. A later simplification derived EMP outputs from IMP decoding plus additional logical operations based on the component-code structure and the EaE rule. Simulation results showed that the number of BDD steps is reduced to being comparable with IMP, and a heuristic modification yielded up to \(0.2\) dB improvement compared to standard EMP decoding [2201.08322]. A related soft-aided architecture for product codes uses dynamic reliability scores. Initial reliabilities are derived from the channel magnitudes, erasures are generated by a threshold on \(|\tilde{y}_i|\), and a 5-bit dynamic reliability score per bit determines whether a bit becomes an “anchor” that is not allowed to flip. When a component decode would flip an anchor bit, the decision is discarded and the reliability score is reduced. This decoder, based on dynamic reliability scores and error-and-erasure decoding, achieved coding gains of up to \(1.2\) dB compared to conventional hard-decision decoders [2112.05433]. Error-and-erasure decoding has also been integrated into universal noise-guessing decoders. In GRAND-EDGE, jammed positions are treated as erasures, and the parity-check matrix is split into erased and non-erased columns: \[ \mathbf{H}\mathbf{r}^\top = \mathbf{H_e}\mathbf{r_e}^\top \oplus \mathbf{H_c}\mathbf{r_c}^\top = \mathbf{0}. \] The erased bits are then reconstructed by solving \[ \mathbf{H_e}\mathbf{r_e}^\top = \mathbf{H_c}\mathbf{r_c}^\top \] via Gaussian elimination. For a random linear code of rate \(105/128\), GRAND-EDGE and ORBGRAND-EDGE lowered both BLER and computational complexity by up to five order of magnitude compared to the original GRAND and ORBGRAND algorithms, and ORBGRAND-EDGE improved BLER by up to three orders of magnitude compared to Ordered Statistics Decoding in the reported simulations [2301.09778]. A common misunderstanding is that ternary or erasure-aware decoders are merely heuristic variants of hard-decision decoding. In the cited product, staircase, BCH, and GRAND settings, the improvement is tied to explicit decoding radii, density-evolution equations, or closed-form error-probability calculations rather than to purely empirical thresholding [2103.05716] [2509.24794] [2301.09778]. ## 6. Information-theoretic formulations, universality, and asymptotic behavior In information theory, erasure decoding is often formulated as a Neyman–Pearson tradeoff between undetected errors and erasures, or between list-error probability and expected list size. For constant-composition random codes over a compound class of DMCs, the \(F\)-MMI decoder accepts a message \(\hat m\) if \[ I(\mathbf{x}(\hat m);\mathbf{y}) > R + \max_{i\neq \hat m} F\big(I(\mathbf{x}(i);\mathbf{y})-R\big), \] and erases otherwise. If \(F(t)\ge t\), there is at most one accepted message; if not, the rule becomes a list decoder. The incorrect-message exponent is \[ E_{\mathrm{i}}(R,P_X,p_{Y|X},F)=E_{r,F}(R,P_X,p_{Y|X}), \] while the erasure exponent is \[ E_\emptyset(R,P_X,p_{Y|X},F)=E_{r,|F^{-1}|^+}(R,P_X,p_{Y|X}), \] and the optimal weighting function for list decoding is \[ F^{L*}(t)=\alpha - E_{sp}(R+t,P_X,\mathcal{W}). \] In the relevant regime, the exponents take the Forney form \[ E_{\mathrm{i}} = E_{sp}(R,P_X,\mathcal{W})+\Delta,\qquad E_\emptyset = E_{sp}(R+\Delta,P_X,\mathcal{W}), \] showing that universal decoding can match Forney’s classical exponents for symmetric channels in the small-erasure-exponent regime [0801.4544]. A related universal treatment exists for channels with non-causal side information at the transmitter. There the decoder uses the metric \[ J(\mathbf{u}_{l,m};\mathbf{y},\lambda)=I(\mathbf{u}_{l,m};\mathbf{y})-I_\lambda(U;S), \] and parameters \(a,T\) define both erasure decoding (\(a\ge 1\), \(T\ge 0\)) and list decoding (\(0