[论文解读] Gabidulin Decoding via Minimal Bases of Linearized Polynomial Modules

Anna-Lena Trautmann, Margreta Kuijper|arXiv (Cornell University)|Aug 11, 2014

Coding theory and cryptography参考文献 34被引用 3

一句话总结

本文提出了一种基于模理论的Gabidulin码译码算法，通过线性化多项式模的极小基计算接收到的字与所有最近码字之间的关系。利用可预测首项单项式（PLM）性质与参数化方法，该算法在唯一译码半径内实现多项式时间译码，并在译码半径小于 $ n-k $ 时优于Chase列表译码，进一步强化了Gabidulin码与Reed-Solomon码之间的联系。

ABSTRACT

We show how Gabidulin codes can be decoded via parametrization by using interpolation modules over the ring of linearized polynomials with composition. Our decoding algorithm computes a list of message words that correspond to all closest codewords to a given received word. This involves the computation of a minimal basis for the interpolation module that corresponds to the received word, followed by a search through the parametrization for valid message words. Our module-theoretic approach strengthens the link between Gabidulin decoding and Reed-Solomon decoding. Two subalgorithms are presented to compute the minimal basis, one iterative, the other an extended Euclidean algorithm. Both of these subalgorithms have polynomial time complexity. The complexity order of the overall algorithm, using the parametrization, is then compared to straightforward exhaustive search as well as to chase list decoding.

研究动机与目标

• 开发一种针对Gabidulin码的多项式时间列表译码算法，以找到给定接收到的字与所有最近码字之间的对应关系。
• 通过模理论参数化方法，加强Gabidulin码与Reed-Solomon码在概念与算法层面的类比关系。
• 分析所提译码算法的计算复杂度，并与Chase列表译码和穷举搜索等现有方法进行比较。
• 研究在唯一译码半径与Johnson半径之间的区域，Gabidulin码是否存在多项式规模的码字列表。
• 提供两种高效的子算法——迭代法与扩展欧几里得算法——用于计算插值模的极小基。

提出的方法

• 该方法将Gabidulin码的列表译码问题形式化为在线性化多项式环上的插值问题，使用四个 $ q $-线性化多项式来定义一个插值模。
• 利用极小基的可预测首项单项式（PLM）性质，实现对插值条件解的系统化参数化。
• 通过两种子算法计算插值模的极小基：一种为迭代算法，另一种基于线性化多项式的扩展欧几里得算法。
• 随后通过参数化步骤在基中搜索，提取所有对应于最小秩距离内码字的有效信息多项式。
• 译码过程通过利用代数结构与模的性质，避免了穷举搜索。
• 通过将该算法的时间复杂度与Chase列表译码和穷举搜索的复杂度进行比较，完成复杂度分析。

实验结果

研究问题

• RQ1 能否通过结构化的代数方法，高效实现Gabidulin码在唯一译码半径之外的列表译码？
• RQ2 当译码半径小于 $ n-k $ 时，Gabidulin码的列表译码计算复杂度是多少？
• RQ3 所提出的模理论方法在复杂度上与Chase列表译码和穷举搜索相比如何？
• RQ4 Reed-Solomon码中使用的参数化框架在多大程度上可被适配至Gabidulin码？
• RQ5 Gabidulin码在Johnson半径区域内是否存在多项式规模的码字列表，且该列表能否在多项式时间内计算得出？

主要发现

• 所提算法在唯一译码半径内实现多项式时间复杂度，其复杂度与已知的唯一译码器相当。
• 当译码半径小于 $ n-k $ 时，该算法的复杂度严格优于Chase列表译码算法。
• 当译码半径为 $ n-k $ 或更大时，该算法的复杂度阶与Chase算法一致。
• 对于所有小于 $ n/2 $ 的译码半径，该算法均优于穷举搜索列表译码。
• 通过迭代法与扩展欧几里得子算法计算极小基的过程被证明是高效且等价于已知算法的，但现被重新用于列表译码。
• 参数化方法成功将译码框架推广至寻找所有最近码字，而不仅限于单一码字，从而实现了完整的列表译码。