Two-Step Decoding of Binary $2\times2$ Sum-Rank-Metric Codes

基本信息

• 论文ID: 2511.19812
• 标题: Two-Step Decoding of Binary $2\times2$ Sum-Rank-Metric Codes
• 作者: Hao Wu, Bocong Chen, Guanghui Zhang, Hongwei Liu
• 机构: 华南理工大学、宿迁学院、华中师范大学
• 分类: cs.IT (信息论), math.IT (数学-信息论)
• 提交时间: 2025年11月25日
• 论文链接: https://arxiv.org/abs/2511.19812

摘要

本文解决了Chen-Cheng-Qi在IEEE Trans. Inf. Theory 2025中提出的一个开放问题：能否将二进制$2\times2$矩阵块的和秩度量码$\text{SR}(C_1,C_2)$的解码完全归约为其组成的汉明度量码$C_1$和$C_2$的解码，而无需其快速解码器所要求的额外条件$d_1\geq\frac{2}{3}d_{\text{sr}}$？作者给出了肯定答案，提出了一个简单的两步过程：首先唯一解码$C_2$，然后对$C_1$应用单次错误/擦除解码。这表明限制性假设$d_1\geq\frac{2}{3}d_{\text{sr}}$在理论上是不必要的。所得解码器在总代价为$T_2+T_1$的情况下实现了高达$\lfloor(d_{\text{sr}}-1)/2\rfloor$的唯一解码能力，其中$T_2$和$T_1$分别是$C_2$和$C_1$的汉明解码器复杂度。对于$\mathbb{F}_4$上的BCH或Goppa码实例化，解码器运行时间为$O(\ell^2)$。

研究背景与动机

问题背景

和秩度量码(Sum-rank-metric codes)是经典汉明度量码和秩度量码之间的自然插值，在多射网络编码、分布式存储和空时编码等领域有重要应用。这类码同时捕获了汉明型和秩型行为，提供了更灵活的编码框架。

核心问题

Chen-Cheng-Qi在2025年的工作中构造了一类特殊的二进制和秩度量码$\text{SR}(C_1,C_2)$，其基于两个四元码$C_1=[ℓ,k_1,d_1]_4$和$C_2=[ℓ,k_2,d_2]_4$，通过线性化多项式$L_{x_1,x_2}(x)=x_1x+x_2x^2$建立了$\mathbb{F}_4^2$与$2\times2$二进制矩阵之间的对应关系。他们证明了关键的权重分解公式： $\text{wt}_{\text{sr}}(a_1x+a_2x^2) = 2\text{wt}_H(a_1) + 2\text{wt}_H(a_2) - 3|I|$ 其中$I=\text{supp}(a_1)\cap\text{supp}(a_2)$。

现有方法的局限

Chen-Cheng-Qi提出的快速解码算法能够将和秩解码归约为汉明度量解码，但需要满足两个条件：

1. $d_2 \geq d_{\text{sr}}$
2. $d_1 \geq \frac{2}{3}d_{\text{sr}}$（限制性条件）

第二个条件严重限制了码的设计空间。他们的解码器需要对$C_1$（或其标量倍数）调用三次汉明解码器，总复杂度为$T_{\text{CCQ}}=T_2+3T_1$。这个额外的$\frac{2}{3}$约束源于对错误模式$I_3$（两个分量同时出错的坐标）的处理策略。

研究动机

Chen-Cheng-Qi明确提出的开放问题：能否在不假设$d_1\geq\frac{2}{3}d_{\text{sr}}$的情况下，将$\text{SR}(C_1,C_2)$的解码归约到$C_1$和$C_2$的解码器？

这个问题的重要性在于：

1. 理论意义：阐明和秩解码的本质复杂度
2. 实用价值：扩大可用码的设计空间
3. 效率提升：可能减少解码器调用次数

核心贡献

本文的主要贡献包括：

1. 解决开放问题：证明了对于满足$d_2\geq d_{\text{sr}}$的任意线性四元码对$(C_1,C_2)$，码$\text{SR}(C_1,C_2)$可以通过归约到$C_1$和$C_2$的解码器实现高达$\lfloor(d_{\text{sr}}-1)/2\rfloor$的唯一解码，无需$d_1\geq\frac{2}{3}d_{\text{sr}}$的限制。
2. 简洁的两步解码算法：
   • 步骤1：从第二分量$y_2=a_2+e_2$唯一解码$C_2$，恢复$a_2$和错误向量$e_2$
   • 步骤2：使用$J=\text{supp}(e_2)$作为擦除模式，对$C_1$执行单次错误/擦除解码
3. 复杂度改进：总代价为$T_{\text{SR}}=T_2+T_1+O(\ell)$，相比Chen-Cheng-Qi的$T_{\text{CCQ}}=T_2+3T_1$，对$C_1$的调用次数从3次减少到1次。对于BCH或Goppa码，保持$O(\ell^2)$复杂度但常数因子显著降低。
4. 扩大设计空间：从要求$(d_1,d_2)$满足$d_2\geq d_{\text{sr}}$且$d_1\geq\frac{2}{3}d_{\text{sr}}$，放宽到仅需$d_2\geq d_{\text{sr}}$。在归一化坐标$(\delta_1,\delta_2)=(d_1/d_{\text{sr}},d_2/d_{\text{sr}})$中，可用区域从$\delta_1\geq\frac{2}{3}$扩展到$\delta_1\geq\frac{1}{2}$（理论下界）。
5. 简化设计准则：提供充分条件$d_2\geq 2d_1$，无需显式计算$d_{\text{sr}}$即可保证解码器成功。
6. 黑箱最优性：证明在黑箱模型下（仅通过汉明解码器访问$C_1$和$C_2$），该归约在常数因子内是渐近最优的。

方法详解

任务定义

输入：

• 接收字$y(x)=(y_1,y_2)\in\mathbb{F}_4^\ell\times\mathbb{F}_4^\ell$
• 和秩度量码$\text{SR}(C_1,C_2)$及其组成码的解码器

输出：

• 发送的码字$c(x)=a_1x+a_2x^2\in\text{SR}(C_1,C_2)$

约束：

• 和秩错误重量$\text{wt}_{\text{sr}}(e)\leq\lfloor(d_{\text{sr}}-1)/2\rfloor$
• 假设$d_2\geq d_{\text{sr}}$

错误分解与关键不等式

传输模型为$y(x)=c(x)+e(x)$，其中$c(x)=a_1x+a_2x^2$，$e(x)=e_1x+e_2x^2$。

坐标分类：根据错误模式$(e_{1,i},e_{2,i})$将坐标$i\in\{1,\ldots,\ell\}$分为三类：

• $I_1=\{i:e_{1,i}\neq 0, e_{2,i}=0\}$（仅第一分量出错）
• $I_2=\{i:e_{1,i}=0, e_{2,i}\neq 0\}$（仅第二分量出错）
• $I_3=\{i:e_{1,i}\neq 0, e_{2,i}\neq 0\}$（两个分量都出错）

记$i_j=|I_j|$，则： $\text{wt}_{\text{sr}}(e) = 2i_1 + 2i_2 + i_3$

关键引理（Lemma 2）： $d_{\text{sr}}(\text{SR}(C_1,C_2)) \leq 2d_1$

证明思路：考虑子码$\{a_1x:a_1\in C_1\}$，取$a_1$为最小汉明重量$d_1$的码字，$a_2=0$，则权重分解公式给出$\text{wt}_{\text{sr}}(a_1x)=2d_1$。

两步解码算法详解

步骤1：解码$C_2$

目标：从$y_2=a_2+e_2$恢复$a_2$和$e_2$。

可行性分析： $\text{wt}_H(e_2) = i_2 + i_3 \leq 2i_2 + i_3 = \text{wt}_{\text{sr}}(e) - 2i_1 \leq \text{wt}_{\text{sr}}(e) \leq \left\lfloor\frac{d_{\text{sr}}-1}{2}\right\rfloor$

由$d_2\geq d_{\text{sr}}$得： $\text{wt}_H(e_2) \leq \left\lfloor\frac{d_2-1}{2}\right\rfloor$

因此$C_2$的有界最小距离(BMD)解码器能够唯一恢复$a_2$。

步骤2：擦除引导的$C_1$解码

构造：

1. 计算$y'(x)=y(x)-a_2x^2=(a_1+e_1)x+e_2x^2$
2. 定义擦除集$J=\text{supp}(e_2)=I_2\cup I_3$，擦除数$r=|J|=i_2+i_3$
3. 在$J$外的真实错误数为$t=|I_1|=i_1$

唯一性条件验证： $2t+r = 2i_1+(i_2+i_3) = (2i_1+2i_2+i_3)-i_2 = \text{wt}_{\text{sr}}(e)-i_2 \leq \text{wt}_{\text{sr}}(e)$

由Lemma 2，$d_{\text{sr}}\leq 2d_1$，因此： $2t+r \leq \left\lfloor\frac{d_{\text{sr}}-1}{2}\right\rfloor \leq d_1-1 < d_1$

根据经典的错误-擦除唯一性条件（Lemma 1），当$2t+r<d_1$时，在删余码$C_1|_J$中最多有一个码字与接收字的汉明距离$\leq t$。因此错误/擦除解码器能够唯一恢复$a_1$。

技术创新点

1. 擦除引导策略：核心创新在于利用已恢复的$e_2$的支撑集作为擦除模式。这避免了Chen-Cheng-Qi方法中需要通过三次评估来"猜测"$I_3$中哪些位置的错误会被抵消的复杂性。
2. 精确的不等式链：通过精细分析$2t+r=\text{wt}_{\text{sr}}(e)-i_2$，利用$i_2\geq 0$和上界$d_{\text{sr}}\leq 2d_1$，建立了$2t+r<d_1$的关键不等式，无需额外假设。
3. 单次调用即可：相比Chen-Cheng-Qi需要在$\{x=1,\omega,\omega^2\}$处评估并尝试三次解码，本方法只需一次错误/擦除解码，因为擦除集$J$精确捕获了可能影响$C_1$解码的所有"危险"位置。
4. 保守但有效的擦除：将$I_2$（只有$e_2$非零）也标记为擦除是保守的（这些位置$e_1=0$实际无错），但这种保守性被$2t+r$不等式中的$-i_2$项所补偿，不影响唯一性保证。

算法伪代码

Algorithm 1: Two-Step Erasure-Guided Decoding
Input: y = (y1, y2) ∈ F₄^ℓ × F₄^ℓ; decoders for C1 and C2
Assume: d2 ≥ dsr
1. [Decode C2] Run BMD decoder on y2 → get c2, e2 = y2 - c2
2. [Set Erasures] J ← supp(e2)
3. [Decode C1] Decode y1 in C1 using J as erasures → get c1
Output: ĉ(x) = c1·x + c2·x²

实验设置

具体实例（Example 5）

参数：

• 块长度$\ell=4$
• 有限域$\mathbb{F}_4=\{0,1,\omega,\omega^2\}$，其中$\omega^2=\omega+1$
• 评估集$T=(0,1,\omega,\omega^2)$

码构造：

• $C_1$：Reed-Solomon码，维数$k_1=2$，由次数$\leq 1$的多项式在$T$上评估得到
  • 最小距离$d_1=4-2+1=3$（MDS码）
• $C_2$：常数码（RS码，维数$k_2=1$）
  • $C_2=\{(a,a,a,a):a\in\mathbb{F}_4\}$
  • 最小距离$d_2=4$

和秩码参数：

• 维数：$\dim_{\mathbb{F}_2}\text{SR}(C_1,C_2)=2(k_1+k_2)=6$
• 距离界：$\min\{d_1,2d_2\}=3\leq d_{\text{sr}}\leq 2d_1=6$

传输实例

发送码字：

• 选择$f_1(t)=1+\omega t$，得$a_1=(1,1+\omega,\omega,0)$
• 选择$a_2=(\omega,\omega,\omega,\omega)\in C_2$
• 码字$c(x)=a_1x+a_2x^2$

信道错误：

• $e_1=(0,0,1,0)$，$e_2=(0,0,\omega,0)$
• 错误分类：$I_1=\emptyset$，$I_2=\emptyset$，$I_3=\{3\}$
• 和秩重量：$\text{wt}_{\text{sr}}(e)=2\cdot 0+2\cdot 0+1=1$（坐标3的$2\times2$矩阵秩为1）

接收字：

• $y_1=(1,1+\omega,\omega+1,0)$
• $y_2=(\omega,\omega,0,\omega)$

解码过程

步骤1（解码$C_2$）：

• 输入：$y_2=(\omega,\omega,0,\omega)$
• 最近的常数向量：$a_2=(\omega,\omega,\omega,\omega)$
• 恢复错误：$e_2=(0,0,\omega,0)$，$\text{wt}_H(e_2)=1\leq\lfloor 3/2\rfloor=1$ ✓

步骤2（擦除引导解码$C_1$）：

• 擦除集：$J=\text{supp}(e_2)=\{3\}$，$r=1$
• 未擦除位置的错误数：$t=0$（因为$e_1$在$\{1,2,4\}$上都是0）
• 验证：$2t+r=1<d_1=3$ ✓
• 从位置$\{1,2,4\}$的观测值插值：
  • $f(0)=\alpha=1$
  • $f(1)=\alpha+\beta=1+\omega\Rightarrow\beta=\omega$
  • 验证：$f(\omega^2)=1+\omega\cdot\omega^2=1+\omega^3=1+1=0$ ✓（与$y_{1,4}$一致）
• 恢复：$a_1=(1,1+\omega,\omega,0)$（正确）

输出：$\hat{c}(x)=a_1x+a_2x^2$（与发送码字一致）

实验结果

复杂度分析

本文算法： $T_{\text{SR}}=T_2+T_1+O(\ell)$

其中$O(\ell)$项包括：

• 计算$y'(x)=y(x)-a_2x^2$
• 确定$\text{supp}(e_2)$
• 簿记操作

Chen-Cheng-Qi算法： $T_{\text{CCQ}}=T_2+3T_1$

复杂度对比： $T_{\text{SR}}=T_{\text{CCQ}}-2T_1+O(\ell)$

对于BCH或Goppa码，$T_1(\ell)=\kappa_1\ell^2+O(\ell)$，$T_2(\ell)=\kappa_2\ell^2+O(\ell)$：

• Chen-Cheng-Qi：$(3\kappa_1+\kappa_2)\ell^2+O(\ell)$
• 本文：$(\kappa_1+\kappa_2)\ell^2+O(\ell)$

改进：当$\kappa_1\approx\kappa_2$时，二次项系数从$\approx 4\kappa_1$降至$\approx 2\kappa_1$，减半。

设计空间扩展

在归一化坐标$(\delta_1,\delta_2)=(d_1/d_{\text{sr}},d_2/d_{\text{sr}})$中：

Chen-Cheng-Qi的可行域： $\{\delta_2\geq 1,\ \delta_1\geq 2/3\}$

本文的可行域： $\{\delta_2\geq 1,\ \delta_1\geq 1/2\}$

其中$\delta_1\geq 1/2$来自理论下界$d_{\text{sr}}\leq 2d_1$。

扩展区域：$1/2\leq\delta_1<2/3$，相当于： $\frac{1}{2}d_{\text{sr}}\leq d_1<\frac{2}{3}d_{\text{sr}}$

这允许$C_1$具有更小的汉明距离（从而可能有更高的维数），显著增加了码设计的灵活性。

简化设计准则

充分条件：$d_2\geq 2d_1$

理由：由于$d_{\text{sr}}\leq 2d_1$，条件$d_2\geq 2d_1$自动满足$d_2\geq d_{\text{sr}}$。

实用价值：无需显式计算$d_{\text{sr}}$（通常较困难），只需确保$C_2$的汉明距离至少是$C_1$的两倍即可保证解码器成功。

黑箱最优性（第5节）

模型：仅通过汉明解码器（复杂度$T_1$和$T_2$）访问$C_1$和$C_2$。

下界论证：

• 子码$S_1=\{a_1x:a_1\in C_1\}$满足$d_{\text{sr}}(S_1)=2d_1$
• 任何能解码$\text{SR}(C_1,C_2)$到半径$\lfloor(d_{\text{sr}}-1)/2\rfloor$的算法必须能解码$S_1$，从而必须能解码$C_1$到半径$\lfloor(d_1-1)/2\rfloor$
• 类似地，必须能解码$C_2$

结论：在黑箱模型下，任何和秩解码器的复杂度至少为$\Omega(T_1+T_2)$，因此本文的$T_2+T_1+O(\ell)$在常数因子内是最优的。

相关工作

和秩度量码的背景

和秩度量码由Martínez-Peñas等人系统研究，作为汉明度量和秩度量的统一框架。文献2研究了和秩BCH码和循环-斜循环码。

Chen-Cheng-Qi构造

文献1是本文的直接前驱工作，提出了：

1. 基于线性化多项式的$2\times 2$二进制和秩码构造
2. 权重分解公式（公式(1)）
3. 快速解码算法（需要$d_1\geq\frac{2}{3}d_{\text{sr}}$）
4. 开放问题：能否去除$\frac{2}{3}$限制

错误-擦除解码

经典的汉明度量错误-擦除解码理论（Lemma 1的唯一性条件$2t+r<d$）可见于MacWilliams-Sloane 4、Huffman-Pless 3、van Lint 5等教材。Sugiyama等人6给出了Goppa码的关键方程解法，可处理错误和擦除。

本文的定位

本文首次证明了擦除引导策略可以完全消除Chen-Cheng-Qi框架中的$\frac{2}{3}$约束，将和秩解码问题的本质复杂度精确刻画为两个汉明解码问题的和。

结论与讨论

主要结论

1. 理论贡献：证明了限制性条件$d_1\geq\frac{2}{3}d_{\text{sr}}$在理论上是不必要的，完全解决了Chen-Cheng-Qi提出的开放问题。
2. 算法贡献：提出了极其简洁的两步解码算法，仅需：
   • 一次$C_2$的BMD解码
   • 一次$C_1$的错误/擦除解码
3. 效率提升：
   • 对$C_1$的调用从3次减少到1次
   • 对于BCH/Goppa码，二次项常数因子减半
   • 保持$O(\ell^2)$时间复杂度
4. 设计灵活性：将可用的$(d_1,d_2)$参数空间从$\delta_1\geq 2/3$扩展到理论极限$\delta_1\geq 1/2$。
5. 最优性：在黑箱模型下证明了该归约在常数因子内是渐近最优的。

局限性

1. 单一假设依然存在：仍需要$d_2\geq d_{\text{sr}}$。虽然可以通过对称性在$d_1\geq d_{\text{sr}}$时交换角色（Remark 4），但不能同时放松两个条件。
2. $2\times 2$矩阵限制：方法专门针对$2\times 2$矩阵块的二进制和秩码。对于一般的$m\times n$矩阵块或更高维的和秩码，技术需要显著推广。
3. 线性码假设：分析基于$C_1$和$C_2$是线性码，非线性情况未涉及。
4. 黑箱模型的局限：最优性结果仅在黑箱模型下成立。如果允许利用$C_1$和$C_2$的特殊代数结构（如BCH码的循环性），可能存在更高效的直接方法。
5. 实际实现细节：论文未提供错误/擦除解码器的具体实现（如修改的Berlekamp-Massey算法或Sugiyama算法），实际部署需要补充这些细节。

未来方向

论文在结论中暗示但未明确列出未来方向，可能包括：

1. 推广到一般矩阵尺寸：研究$m\times n$矩阵块（$m,n>2$）的和秩码是否存在类似的擦除引导策略。
2. 放松$d_2\geq d_{\text{sr}}$：探索在$d_2<d_{\text{sr}}$时的部分解码或列表解码算法。
3. 非二元域：将技术推广到$q>2$的一般有限域。
4. 多块情况：对于$\ell>1$个不同尺寸矩阵块的一般和秩码，开发统一的解码框架。
5. 软判决解码：将硬判决的唯一解码扩展到软信息和概率解码。
6. 实际性能评估：在具体的BCH/Goppa码实例上实现并测试算法，与Chen-Cheng-Qi方法进行实验对比。

深度评价

优点

1. 问题重要性：解决了明确提出的开放问题，具有清晰的理论价值。
2. 方法优雅性：两步算法极其简洁，核心思想（用$\text{supp}(e_2)$作为擦除集）直观且易于理解。相比Chen-Cheng-Qi需要三次评估和平均论证的复杂性，本文方法在概念上更为清晰。
3. 证明严谨性：
   • 逐步推导$2t+r<d_1$的不等式链（第3.3节）
   • 引入Lemma 2建立关键上界$d_{\text{sr}}\leq 2d_1$
   • 每个步骤都有明确的数学依据
4. 完整的实例：Example 5提供了从码构造、错误模式到解码过程的完整演示，增强了可理解性和可验证性。
5. 多维度贡献：不仅给出算法，还分析了：
   • 复杂度改进（具体到二次项常数）
   • 设计空间扩展（可视化的$(\delta_1,\delta_2)$平面）
   • 简化设计准则（$d_2\geq 2d_1$）
   • 理论最优性（黑箱下界）
6. 写作清晰度：论文结构清晰，从背景、开放问题、方法、到最优性的逻辑流畅。引言中对Chen-Cheng-Qi工作的详细回顾（A-C小节）帮助读者快速进入状态。

不足

1. 实验验证缺失：
   • 没有实际实现和运行时间测试
   • 没有与Chen-Cheng-Qi方法的实验对比（仅理论分析）
   • Example 5是手工计算的小例子（$\ell=4$），缺乏大规模实例
2. 错误/擦除解码器的黑箱处理：
   • Theorem 3假设存在满足$2t+r<d_1$的错误/擦除解码器，但未讨论：
     • 哪些具体算法（如修改的Berlekamp-Massey、Sugiyama算法）满足要求
     • 这些算法的实际复杂度是否与纯错误解码相同
   • 对于一般的线性码，错误/擦除解码可能比纯错误解码更复杂
3. $d_2\geq d_{\text{sr}}$的必要性未充分讨论：
   • 论文未探讨这个条件是否本质必要
   • 没有给出$d_2<d_{\text{sr}}$时失败的反例或下界
4. 推广性有限：
   • 方法高度依赖于$2\times 2$矩阵的特殊性质（权重公式(1)）
   • 对于更一般的和秩码（不同矩阵尺寸、更多块），技术路径不明确
5. 与相关文献的连接：
   • 仅引用了6篇文献，对和秩度量码的更广泛文献（如Martínez-Peñas的系列工作）讨论较少
   • 未比较其他可能的和秩解码方法（如基于子空间的方法）
6. 符号密集：虽然严谨，但$I_1,I_2,I_3,i_1,i_2,i_3,t,r,J$等符号较多，初次阅读可能需要反复查阅定义。

影响力

对领域的贡献：

• 理论层面：精确刻画了$2\times 2$二进制和秩码的解码复杂度，确立了$d_1\geq\frac{1}{2}d_{\text{sr}}$作为自然边界（来自$d_{\text{sr}}\leq 2d_1$）。
• 实践层面：为设计高效的和秩码提供了更大的参数选择空间，特别是允许$C_1$具有更高的码率。
• 方法论：擦除引导策略可能启发其他度量空间中的解码问题。

实用价值：

• 对于网络编码、分布式存储等应用，$O(\ell^2)$的解码复杂度和扩大的设计空间是实际有益的。
• 简化的设计准则（$d_2\geq 2d_1$）降低了码设计的门槛。

可复现性：

• 算法描述清晰（Algorithm 1仅6行），易于实现。
• Example 5提供了可验证的小例子。
• 但缺少代码实现或大规模测试数据，完全复现需要额外工作。

预期引用：

• Chen-Cheng-Qi的后续工作会引用作为开放问题的解决。
• 和秩码的综述文章会收录本文作为重要的解码结果。
• 可能启发$m\times n$矩阵块的推广研究。

适用场景

适合的应用：

1. 多射网络编码：需要同时抵抗汉明型和秩型错误的场景。
2. 分布式存储：$2\times 2$矩阵块对应于简单的2节点冗余模式。
3. 空时编码：$2\times 2$对应于2天线系统。
4. 码设计工具：当需要在$(d_1,d_2)$参数空间中灵活权衡时。

不适合的场景：

1. 非$2\times 2$结构：方法不直接适用。
2. 非常低延迟要求：$O(\ell^2)$对于极大的$\ell$可能不够快（尽管已是多项式时间）。
3. $d_2\ll d_{\text{sr}}$的情况：第一步解码会失败。

参考文献

论文引用的关键文献：

1. 1 H. Chen, Z. Cheng, Y. Qi (2025): "Construction and Fast Decoding of Binary Linear Sum-Rank-Metric Codes", IEEE Trans. Inf. Theory.
   • 本文直接回应的工作，提出了$2\times 2$构造和开放问题。
2. 2 U. Martínez-Peñas (2021): "Sum-rank BCH Codes and Cyclic-Skew-Cyclic Codes", IEEE Trans. Inf. Theory.
   • 和秩度量码的代表性工作，提供了更广泛的背景。
3. 3 W. C. Huffman, V. Pless (2003): Fundamentals of Error-Correcting Codes.
   • 经典教材，错误-擦除解码的标准参考。
4. 4 F. J. MacWilliams, N. J. A. Sloane (1977): The Theory of Error-Correcting Codes.
   • 编码理论的奠基性著作。
5. 5 J. H. van Lint (1999): Introduction to Coding Theory, 3rd ed.
   • 另一经典教材。
6. 6 Y. Sugiyama et al. (1975): "A Method for Solving the Key Equation for Decoding Goppa Codes", Information and Control.
   • Goppa码解码的关键算法，支持错误和擦除。

总结

本文通过一个优雅的擦除引导策略，完全解决了Chen-Cheng-Qi提出的开放问题，证明了$d_1\geq\frac{2}{3}d_{\text{sr}}$的限制在理论上是不必要的。两步解码算法在保持唯一解码能力和多项式时间复杂度的同时，显著简化了设计约束并减少了计算成本。论文的主要优势在于方法的简洁性、证明的严谨性和对设计空间的精确刻画。主要不足是缺乏实验验证和对更一般情况的推广。总体而言，这是一篇高质量的理论信息论论文，对二进制$2\times 2$和秩码的解码理论做出了明确而重要的贡献。