[论文解读] Multivariate Interpolation Formula over Finite Fields and Its Applications in Coding Theory

Yaotsu Chang, Chong‐Dao Lee+1 more|arXiv (Cornell University)|Sep 6, 2012

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

一句话总结

本文提出了一种基于新提出的克罗内克函数的有限域上多元插值公式（MVIF），实现了循环码中未知校验子的精确表示。该方法确保所有系数位于基域中，且各项次数满足模码长的同余条件，从而可对任意循环码（包括非BCH类型）通过Berlekamp-Massey算法实现一步解码。

ABSTRACT

A multivariate interpolation formula (MVIF) over finite fields is presented by using the proposed Kronecker delta function. The MVIF can be applied to yield polynomial relations over the base field among homogeneous symmetric rational functions. Besides the property that all the coefficients are coming from the base field, there is also a significant one on the degrees of the obtained polynomial; namely, the degree of each term satisfies certain condition. Next, for any cyclic codes the unknown syndrome representation can also be provided by the proposed MVIF and also has the same properties. By applying the unknown syndrome representation and the Berlekamp-Massey algorithm, one-step decoding algorithms can be developed to determine the error locator polynomials for arbitrary cyclic codes.

研究动机与目标

• 开发一种在有限域上用于处理循环码中未知校验子的多元插值公式（MVIF），以超越单变量方法的适用范围。
• 解决现有方法需已知错误权重并导致逐步解码的局限性，尤其针对非BCH循环码。
• 构建一种系数位于基域且次数模码长受约束的校验子表示，以实现高效的一步解码。
• 通过使用所提出的MVIF填补缺失校验子，将Berlekamp-Massey算法的适用性扩展至任意循环码。
• 克服单矩阵方法在高权重错误情况下的失效问题，例如长度为47的QR码中的重量-5错误。

提出的方法

• 在有限域上提出一种克罗内克函数，用于构建对称有理函数的多元插值公式（MVIF）。
• 将MVIF应用于特定集合上的齐次对称有理函数，确保所有多项式系数均来自基域。
• 推导出未知校验子关于已知校验子的多项式表示，其中每一项的次数满足模码长的同余条件。
• 利用MVIF生成保持适合解码的代数结构的校验子表示。
• 将基于MVIF的未知校验子表示与Berlekamp-Massey算法结合，构建一步解码算法。
• 在循环码（包括长度为71–113的二元二次剩余码）上验证该方法，成功展示了校验子恢复与解码。

实验结果

研究问题

• RQ1 能否在有限域上构造一种多元插值公式，以表示循环码中的未知校验子，特别是在生成多项式非不可约的情况下？
• RQ2 所提出的MVIF是否能确保所得多项式的所有系数均位于基域中，并满足模码长的次数同余条件？
• RQ3 基于MVIF的校验子表示是否能实现任意循环码的一步解码，即使连续校验子缺失？
• RQ4 MVIF如何克服先前基于矩阵的方法在高权重错误情况下的局限性，或避免需要多个矩阵？
• RQ5 MVIF在解码非BCH循环码（如长度为47、71及更长的二元二次剩余码）方面是否有效？

主要发现

• 所提出的MVIF成功生成了所有系数位于基域中的未知校验子多项式表示，将单变量情形扩展至多元对称函数。
• 插值多项式中每一项均满足模码长的次数同余条件，与有限域上单变量插值中的结构一致。
• 该方法通过重建缺失校验子，实现了对任意循环码的一步解码，克服了对逐步解码或多个矩阵的依赖。
• 对于长度为71至113的二元二次剩余码，基于MVIF的方法结合Berlekamp-Massey算法，无需依赖权重猜测启发式方法，即可实现完整的纠错能力。
• MVIF通过提供统一且一致的表示，解决了单矩阵方法在高权重错误情况（如[47,24,11] QR码中的重量-5错误）下的失效问题。
• 该方法具有普适性，适用于任意循环码，不限于不可约生成多项式，从而将高效解码的适用范围从BCH码和RS码广泛扩展。