[论文解读] List decoding subspace codes from insertions and deletions

Venkatesan Guruswami, S. Sathish Narayanan+1 more|arXiv (Cornell University)|Feb 2, 2012

Coding theory and cryptography参考文献 14被引用 5

一句话总结

本文提出了首个针对插入和删除的子空间码高效列表译码算法，采用受折叠Reed-Solomon码启发的线性代数方法，基于线性化多项式。该方法在接近信息论极限的插入与删除比例下实现列表译码，且码率多项式衰减，通过避免基于复合方法中因次数增长导致的码率限制，优于先前工作。

ABSTRACT

We present a construction of subspace codes along with an efficient algorithm for list decoding from both insertions and deletions, handling an information-theoretically maximum fraction of these with polynomially small rate. Our construction is based on a variant of the folded Reed-Solomon codes in the world of linearized polynomials, and the algorithm is inspired by the recent linear-algebraic approach to list decoding. Ours is the first list decoding algorithm for subspace codes that can handle deletions; even one deletion can totally distort the structure of the basis of a subspace and is thus challenging to handle. When there are only insertions, we also present results for list decoding subspace codes that are the linearized analog of Reed-Solomon codes (proposed previously, and closely related to the Gabidulin codes for rank-metric), obtaining some improvements over similar results in previous work.

研究动机与目标

• 开发一种高效列表译码算法，用于可纠正插入和删除的子空间码，这些操作会结构性地破坏子空间基。
• 克服删除操作扭曲子空间结构的挑战，此前该问题曾阻止在此设置下实现列表译码。
• 将线性代数列表译码框架扩展至算子信道模型，实现超越最小距离一半的译码能力。
• 改进先前因多项式复合导致码率受限的构造，尤其在处理插入时表现更优。
• 探索在插入和删除下实现常数码率列表译码的可行性，特别是针对KK码。

提出的方法

• 该方法在有限域扩张上的线性化多项式世界中构造折叠Reed-Solomon码的变体，使用扩展域上的求值点。
• 采用基于投影的译码策略，将接收子空间投影到相关子空间上，以恢复平移多项式在这些点的求值。
• 关键技术包括对多变量多项式 $ Q(X, Y_1, \dots, Y_s) = A_0(X) + A_1(Y_1) + \cdots + A_s(Y_s) $ 进行插值，使其在投影点处满足特定的消失条件。
• 插值设计确保 $ Q(X, f(\gamma X), \dots, f(\gamma^{[s-1]}X)) = 0 $，从而实现原始多项式 $ f $ 的恢复。
• 算法使用度数界 $ D = \left\lfloor \frac{m(\ell + t) - k + 1}{s+1} \right\rfloor $ 以保证非零插值多项式的存在性。
• 列表大小被限制为 $ q^{s-1} $，且在 $ s $ 为常数时，修剪过程可在多项式时间内完成。

实验结果

研究问题

• RQ1 在已知严重破坏子空间结构的插入和删除同时存在的情况下，能否高效实现子空间码的列表译码？
• RQ2 在纠正插入和删除的常数比例下，能否保持列表可译码子空间码的码率为常数？
• RQ3 能否避免先前方法中因多项式复合导致的码率退化，尤其是在处理插入时？
• RQ4 KK码或其子码能否在插入和删除下实现超越最小距离一半的列表译码？
• RQ5 是否存在适用于算子信道上子空间码列表译码的Johnson型界？

主要发现

• 所提算法在接近信息论极限的插入与删除比例下实现列表译码，且码率多项式衰减。
• 该方法通过避免依赖多项式复合（其会增加 $ q $-度并限制参数），避免了先前工作中出现的码率损失。
• 在仅存在插入的情况下，该算法在[10]的基础上进一步放松了码率约束，并实现了更优的译码半径条件。
• 当列表大小为 $ q^{s-1} $ 时，译码条件为 $ t < s\ell + \ell - (s+1)\left(\frac{k-1}{m}\right) $，该条件比[10]中的对应条件更严格。
• 当 $ m\ell > \left\lfloor \frac{m(\ell + t) - k + 1}{s+1} \right\rfloor + k - 1 $ 时，插值多项式 $ \hat{Q}(X) = Q(X, f(\gamma X), \dots, f(\gamma^{[s-1]}X)) $ 恒为零，从而保证原始多项式的恢复。
• 该构造基于线性化多项式，并利用 $ \mathbb{F}_{q^{m\ell}} $ 中的正规基，实现高效的基恢复与插值。