[论文解读] List-Decoding Gabidulin Codes via Interpolation and the Euclidean Algorithm

Margreta Kuijper, Anna-Lena Trautmann|arXiv (Cornell University)|Apr 23, 2014

Coding theory and cryptography参考文献 17被引用 4

一句话总结

本文提出了一种基于线性化多项式上的插值与复合的欧几里得算法的新型Gabidulin码列表译码算法。通过构建插值模并利用欧几里得算法计算其最小基，该方法能高效地列出所有与接收字在给定秩距离内的码字，首次在此类方法中实现了完整且正确的列表译码。

ABSTRACT

We show how Gabidulin codes can be list decoded by using a parametrization approach. For this we consider a certain module in the ring of linearized polynomials and find a minimal basis for this module using the Euclidean algorithm with respect to composition of polynomials. For a given received word, our decoding algorithm computes a list of all codewords that are closest to the received word with respect to the rank metric.

研究动机与目标

• 开发一种超越唯一译码半径的Gabidulin码完整列表译码算法。
• 解决现有基于结构化代数技术的秩度量码高效且完整的列表译码方法缺失的问题。
• 利用线性化多项式环中的欧几里得算法，计算插值模的最小基。
• 确保所有目标秩距离内的码字均被检索，避免部分或启发式解法。
• 提供一种类似于Reed-Solomon码列表译码的参数化译码框架，但适配秩度量。

提出的方法

• 构建在秩度量下于接收字处消失的线性化多项式插值模。
• 定义加权q-度（0,k−1）-度，以指导基的最小性准则。
• 应用线性化多项式复合的欧几里得算法，计算插值模的最小Gröbner基。
• 利用基元素对满足可除性条件的所有可能信息多项式进行参数化。
• 通过检查形如 $ D(m(x)) \circ b(x) = a(x) $ 的可除性条件（其中 $ b(x) $ 为有界q-度的首一多项式），恢复有效码字。
• 通过在参数化中评估所有有效参数组合，生成完整的码字列表。

实验结果

研究问题

• RQ1 能否将欧几里得算法适配于线性化多项式环中，以计算Gabidulin码插值模的最小基？
• RQ2 所提出的参数化方法是否能获得与接收字在给定秩距离内的所有码字？
• RQ3 与现有的Sudan型或Guruswami风格方法相比，该基于插值的列表译码方法在性能上如何？
• RQ4 该方法能否系统性地扩展至译码半径仅略超出唯一译码半径的情况？
• RQ5 插值模的最小基与所有最近码字集合之间存在何种结构关系？

主要发现

• 该算法利用带复合的欧几里得算法计算插值模的最小基，确保了正确性与完整性。
• 所有目标秩距离内的码字均被成功恢复，如示例15所示，共六组码字均与接收字保持秩距离1。
• 通过基元素的参数化与可除性条件检查，该方法实现了完整的列表译码，避免了迭代求根或插值网格的需要。
• 该方法是首个直接使用欧几里得算法进行Gabidulin码列表译码的工作，提供了一条与Sudan型方法不同的新代数路径。
• 该算法在实践中效率较高，尤其在接近唯一译码半径时表现优异，如在 $ q=2, m=3 $ 的一步超前译码示例中所示。
• 参数化确保不会遗漏任何有效码字，且该方法保证返回所有最近码字，与仅返回单一解的方法形成对比。