[论文解读] Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets

Roni Con, Zeyu Guo+2 more|arXiv (Cornell University)|Jul 10, 2024

Coding theory and cryptography被引用 1

一句话总结

该论文证明了在线性大小字母表上的随机 Reed–Solomon 码以高概率实现插入删除错误的半 Singleton 界。通过结合随机矩阵秩分析与最长公共子序列的结构特性，作者表明当字母表大小为 n + poly(1/ε)k 时，此类码可纠正高达 (1−ε)n−2k+1 个对抗性插入删除错误，显著优于先前指数级字母表大小的界。

ABSTRACT

In this paper, we prove that with high probability, random Reed-Solomon codes approach the half-Singleton bound - the optimal rate versus error tradeoff for linear insdel codes - with linear-sized alphabets. More precisely, we prove that, for any $ε>0$ and positive integers $n$ and $k$, with high probability, random Reed--Solomon codes of length $n$ and dimension $k$ can correct $(1-\varepsilon)n-2k+1$ adversarial insdel errors over alphabets of size $n+2^{\mathsf{poly}(1/\varepsilon)}k$. This significantly improves upon the alphabet size demonstrated in the work of Con, Shpilka, and Tamo (IEEE TIT, 2023), who showed the existence of Reed--Solomon codes with exponential alphabet size $\widetilde O\left(\binom{n}{2k-1}^2 ight)$ precisely achieving the half-Singleton bound. Our methods are inspired by recent works on list-decoding Reed-Solomon codes. Brakensiek-Gopi-Makam (STOC 2023) showed that random Reed-Solomon codes are list-decodable up to capacity with exponential-sized alphabets, and Guo-Zhang (FOCS 2023) and Alrabiah-Guruswami-Li (STOC 2024) improved the alphabet-size to linear. We achieve a similar alphabet-size reduction by similarly establishing strong bounds on the probability that certain random rectangular matrices are full rank. To accomplish this in our insdel context, our proof combines the random matrix techniques from list-decoding with structural properties of Longest Common Subsequences.

研究动机与目标

• 通过研究 Reed–Solomon 码在插入删除模型中的性能，弥合最优 insdel 码性能与实际线性码之间的差距。
• 证明随机 Reed–Solomon 码可在半 Singleton 界下实现接近最优的速率-错误权衡。
• 将实现该界所需的字母表大小从先前工作的指数级（如 eO(n²/k²)）降低至 n 的线性规模。
• 建立随机 RS 码在高概率下对对抗性 insdel 错误具有鲁棒性的结论，且字母表大小为线性规模。
• 提出一种新的证明框架，结合随机矩阵理论与最长公共子序列结构，用于 insdel 错误纠正。

提出的方法

• 借鉴列表译码文献中的随机矩阵技术，以界定特定矩阵阵列为满秩的概率。
• 分析两个索引序列 I 和 J 之间最长公共子序列（LCS）的结构，以刻画 insdel 错误的鲁棒性。
• 利用条件概率与多项式次数界，控制在随机域元素赋值下矩阵奇异性的可能性。
• 通过贪心算法式逐步固定变量，追踪依赖关系与变量集合，以界定失败概率。
• 对所有长度为 ℓ 的递增子序列对 I, J 应用并集界，以控制全局失败概率。
• 使用递归算法模拟矩阵秩检测，并通过行列式多项式系数分析界定非满列秩的概率。

实验结果

研究问题

• RQ1 随机 Reed–Solomon 码能否在字母表大小为线性规模时实现插入删除错误的半 Singleton 界？
• RQ2 随机 RS 码在高概率下纠正常数比例对抗性 insdel 错误所需的最小字母表大小是多少？
• RQ3 最长公共子序列的结构如何与 insdel 纠错码中求值矩阵的秩相关联？
• RQ4 能否将列表译码中随机矩阵秩集中技术适配至 insdel 错误模型？
• RQ5 在实现 RS 码中近似最优 insdel 错误纠正时，码维 k、长度 n 与字母表大小 q 之间的权衡关系如何？

主要发现

• 在大小为 n + poly(1/ε)k 的字母表上，随机 Reed–Solomon 码以高概率实现 insdel 错误的半 Singleton 界。
• 该码以至少 1 − 2−n 的概率可纠正高达 (1−ε)n − 2k + 1 个对抗性 insdel 错误。
• 字母表大小从指数级（eO(n²/k²)）降低至 n 的线性规模，显著优于先前构造。
• 证明表明，在随机域元素赋值下，求值矩阵 Vk,ℓ,I,J 以高概率具有满列秩。
• 通过所有递增子序列对的并集界与行列式多项式系数分析，界定了失败概率。
• 结果证实，当字母表大小为 n 的线性规模且为 1/ε 的多项式规模时，随机 RS 码对对抗性 insdel 错误具有鲁棒性。