[论文解读] Explicit Constructions of Two-Dimensional Reed-Solomon Codes in High Insertion and Deletion Noise Regime

Tai Do Duc, Shu Liu+2 more|arXiv (Cornell University)|Sep 8, 2019

Coding theory and cryptography参考文献 28被引用 7

一句话总结

本文提出了二维 Reed-Solomon 码的显式构造，具备插入和删除（insdel）错误纠正能力，其性能渐近逼近 Singleton 界。通过利用有限域中的差集和分圆陪集等代数结构，作者构造出 insdel 距离 $ d = 2n - 4 $ 的码，实现了在长度 $ n = \Theta(\sqrt{\log q}) $ 时的近最优错误纠正性能，显著优于以往仅具对数能力的构造方法。

ABSTRACT

Insertion and deletion (insdel for short) errors are synchronization errors in communication systems caused by the loss of positional information in the message. Reed-Solomon codes have gained a lot of interest due to its encoding simplicity, well structuredness and list-decoding capability in the classical setting. This interest also translates to the insdel metric setting, as the Guruswami-Sudan decoding algorithm can be utilized to provide a deletion correcting algorithm in the insdel metric. Nevertheless, there have been few studies on the insdel error-correcting capability of Reed-Solomon codes. Our main contributions in this paper are explicit constructions of two families of 2-dimensional Reed-Solomon codes with insdel error-correcting capabilities asymptotically reaching those provided by the Singleton bound. The first construction gives a family of Reed-Solomon codes with insdel error-correcting capability asymptotic to its length. The second construction provides a family of Reed Solomon codes with an exact insdel error-correcting capability up to its length. Both our constructions improve the previously known construction of 2-dimensional Reed-Solomon codes whose insdel error-correcting capability is only logarithmic on the code length.

研究动机与目标

• 为解决在高插入/删除噪声环境下，高 insdel 错误纠正能力的 Reed-Solomon 码缺乏显式构造的问题。
• 克服以往构造方法的局限性，即仅能在码长上实现对数级 insdel 错误纠正能力。
• 构造显式的 2D Reed-Solomon 码，使其 insdel 距离逼近由 Singleton 界给出的理论上限。
• 建立一个框架，用于构造 insdel 距离 $ d = 2n - 4 $ 的码，该距离在条件 $ q \geq n^2 $ 下达到理论上限。
• 扩展 Reed-Solomon 码在同步错误易发系统（如 DNA 存储和磁道内存）中的适用性。

提出的方法

• 构造一个子集 $ T \subset \mathbb{Z}_f $，其大小为 $ \Theta(\sqrt{f}) $，且在差集 $ T - T $ 中具有有界重数，确保每个非零元素至多出现两次。
• 利用模 $ f $ 的分圆陪集和本原根来定义 Reed-Solomon 码的求值点，以保证代数结构并控制 insdel 距离。
• 应用 $ \mathbb{Z}_{r^2 + r + 1} $ 中差集的理论，生成一个大小为 $ |T| = r+1 $ 的子集 $ T $，使得所有非零差值恰好出现一次。
• 利用 $ q = p^s \equiv 1 \pmod{f} $ 且 $ s \geq \text{ord}_f(p) $ 的事实，确保 $ q > n^2 $，从而实现 insdel 距离的紧致上界。
• 证明所构造码的 insdel 距离恰好为 $ d = 2n - 4 $，与在 $ q \geq n^2 $ 条件下由 Singleton 型不等式导出的上界一致。
• 采用适配于 insdel 度量的 Guruswami-Sudan 列表译码算法，以支持所构造码的高效译码。

实验结果

研究问题

• RQ1 能否构造出 insdel 错误纠正能力逼近 Singleton 界的显式 2D Reed-Solomon 码？
• RQ2 在约束 $ q \geq n^2 $ 下，何种代数结构可支持构造出 insdel 距离 $ d = 2n - 4 $ 的 Reed-Solomon 码？
• RQ3 如何利用有限循环群中的差集来设计求值点，以实现高 insdel 距离？
• RQ4 能否将 2D Reed-Solomon 码的 insdel 距离提升至超过以往对 $ k=2 $ 已知的 $ \log_{k+1}n - 1 $ 能力？
• RQ5 Reed-Solomon 码的对偶码与其在 insdel 度量下的 insdel 距离之间存在何种关系？

主要发现

• 作者构造了一类 2D Reed-Solomon 码，其 insdel 距离为 $ d = 2n - 4 $，在 $ q \geq n^2 $ 条件下达到上界 $ d \leq 2n - 4 $，因此与理论极限完全匹配。
• 码长为 $ n = \Theta(\sqrt{\log q}) $，其增长速度远快于以往构造中的对数长度，显著提升了可扩展性。
• 该构造是显式的，依赖于模 $ f $ 的本原根的存在性，其中 $ f = \Theta(\log q) $，确保 $ q > n^2 $，从而支持 insdel 距离的紧致上界。
• 在 $ \mathbb{Z}_{r^2 + r + 1} $ 中的差集构造确保 $ T - T $ 中所有非零差值恰好出现一次，该性质在 $ \mathbb{Z}_f $ 中以有界重数得以保持。
• 所构造码的 insdel 错误纠正能力渐近逼近 $ n - 3 $，接近 2D 码在 Singleton 界下的理论最大值。
• 本工作表明，当 $ q \geq n^2 $ 时，大域 $ \mathbb{F}_q $ 上的 2D Reed-Solomon 码无法达到完整的 Singleton 界 $ d = 2n - 2k + 2 $，而仅能实现 $ d = 2n - 4 $，且该界是紧致的。