[论文解读] Systematic Single-Deletion Multiple-Substitution Correcting Codes

Wentu Song, Polyanskii, Nikita+2 more|arXiv (Cornell University)|Jun 20, 2020

DNA and Biological Computing参考文献 15被引用 5

一句话总结

该论文提出了一类系统化的单删除 $ s $-替换纠错码，其渐近冗余度不超过 $ (3s+4)/\log n + o(/\log n) $，通过高阶权重向量和基于BCH码的预编码技术实现。该构造实现了多项式时间编码与解码，复杂度分别为 $ O(n^{s+3}) $ 和 $ O(n^{s+2}) $，相比先前构造减少了 $ s\log n $ 的冗余度。

ABSTRACT

Recent work by Smagloy et al. (ISIT 2020) shows that the redundancy of a single-deletion $s$-substitution correcting code is asymptotically at least $(s+1)\log n+o(\log n)$, where $n$ is the length of the codes. They also provide a construction of single-deletion and single-substitution codes with redundancy $6\log n+8$. In this paper, we propose a family of systematic single-deletion $s$-substitution correcting codes of length $n$ with asymptotical redundancy at most $(3s+4)\log n+o(\log n)$ and polynomial encoding/decoding complexity, where $s\geq 2$ is a constant. Specifically, the encoding and decoding complexity of the proposed codes are $O(n^{s+3})$ and $O(n^{s+2})$, respectively.

研究动机与目标

• 设计可纠正一个删除和最多 $ s $ 次替换的系统化码，以实现直接信息提取并支持实际应用。
• 将冗余度降低至现有构造之下，特别是当 $ s \geq 2 $ 时，此时先前界限表现不佳。
• 在保持高码率和系统化结构的同时，实现多项式时间编码与解码。
• 将基于BCH码的预编码技术推广，以最小化在编辑错误下无法区分的序列数量。
• 弥合单删除多替换码的存 在性下界与显式构造之间的差距。

提出的方法

• 该构造使用 $ 2s+2 $ 个高阶权重向量 $ \mathbf{a}^{(j)} $，$ j = 0,1,\dots,2s+1 $，基于码字位置的加权和定义校验。
• 应用预编码函数 $ h $ 对信息序列进行处理，利用BCH码以减少在单个删除和 $ s $ 次替换下无法区分的序列数量。
• 对 $ h(\mathbf{x}) $ 应用伴随矩阵压缩技术，进一步通过 $ 2s\log n $ 减少冗余度，从而实现更紧的界限。
• 最终码为系统化码：信息位被直接嵌入，冗余度通过基于高阶权重向量的校验生成。
• 编码计算 $ g(\mathbf{c}) = (M(f(\mathbf{c})) \mod P(\mathbf{c}), P(\mathbf{c})) $，其中 $ P(\mathbf{c}) $ 是从码字导出的类似素数的模数。
• 解码通过在 $ O(n^{s+2}) $ 个候选序列中进行暴力搜索实现，利用 $ g(\mathbf{c}) $ 的唯一性，从任意 $ 1 $-删除 $ s $-替换错误模式中识别出正确的码字。

实验结果

研究问题

• RQ1 能否构造出冗余度更接近于 $ (s+1)\log n + o(\log n) $ 的系统化单删除 $ s $-替换纠错码？
• RQ2 如何利用BCH码的预编码技术减少在单个删除和 $ s $ 次替换下无法区分的序列数量？
• RQ3 在保持多项式时间编码与解码的前提下，此类码的最小冗余度是多少？
• RQ4 能否有效结合伴随矩阵压缩技术与预编码技术以进一步减少冗余度？
• RQ5 是否可以将预编码方法推广至 $ t $-删除 $ s $-替换码，以实现更优的冗余度？

主要发现

• 所提出的码实现了最多 $ (3s+4)\log n + o(\log n) $ 的渐近冗余度，比现有最佳构造减少了 $ s\log n $。
• 编码复杂度为 $ O(n^{s+3}) $，解码复杂度为 $ O(n^{s+2}) $，两者均为 $ n $ 的多项式函数，使码在中等 $ n $ 值下具有实用性。
• 该构造为系统化码，允许直接从码字中提取信息位，无需完整解码。
• 高阶权重向量与BCH码预编码的结合，有效减少了编辑错误下的模糊序列数量。
• 预编码技术相比文献 [12] 的构造，使冗余度减少了 $ s\log n $，优于当前最先进水平。
• 该方法可推广至 $ t $-删除 $ s $-替换码，实现 $ (4t-1)\log n $ 的冗余度，相比先前显式构造提升了 $ \log n $。