[论文解读] On Polynomial Remainder Codes

Jiun-Hung Yu, Hans‐Andrea Loeliger|arXiv (Cornell University)|Jan 9, 2012

Coding theory and cryptography参考文献 13被引用 13

一句话总结

本文重新探討了基于中国剩余定理的多项式余数码，允许多项式模的次数不同，引入了两种不同的距离概念：汉明距离与度加权距离。提出了一种基于最大公因式的新型解码框架，该框架推广了标准的 Reed-Solomon 解码方法，在模非不可约时，用误差因子多项式替代误差定位多项式，并在一般条件下（包括模非不可约的情形）证明了这些算法的正确性。

ABSTRACT

Polynomial remainder codes are a large class of codes derived from the Chinese remainder theorem that includes Reed-Solomon codes as a special case. In this paper, we revisit these codes and study them more carefully than in previous work. We explicitly allow the code symbols to be polynomials of different degrees, which leads to two different notions of weight and distance. Algebraic decoding is studied in detail. If the moduli are not irreducible, the notion of an error locator polynomial is replaced by an error factor polynomial. We then obtain a collection of gcd-based decoding algorithms, some of which are not quite standard even when specialized to Reed-Solomon codes.

研究动机与目标

• 通过允许不同次数的模，推广多项式余数码，实现超越固定符号大小码的灵活码构造。
• 为具有可变次数符号的码定义并分析两种不同的距离概念：汉明距离与度加权距离。
• 开发一种系统化的、基于最大公因式的解码框架，将标准 Reed-Solomon 解码推广至非不可约模。
• 在模可约的情况下，用误差因子多项式替代经典误差定位多项式，以确保解码的鲁棒性。

提出的方法

• 利用多项式环上的中国剩余定理，定义码结构，其中码字是模一组两两互素的、次数可变的多项式的剩余。
• 引入两种距离度量：标准汉明距离与考虑多项式符号次数的度加权距离。
• 在模非不可约时，提出一个涉及误差因子多项式的主方程，推广了 Reed-Solomon 解码中使用的标准主方程。
• 设计一族基于最大公因式的解码算法，包括 Partial GCD Algorithm II，其在特定次数约束下与扩展最大公因式算法保持等价。
• 建立终止条件（基于次数比较），以保证误差因子多项式及其值的正确恢复。
• 通过证明在 2 deg Λf(x) ≤ N−K 条件下，解码算法与扩展最大公因式算法等价，从而证明其正确性。

实验结果

研究问题

• RQ1 如何在保持有效解码的前提下，将多项式余数码推广至允许不同次数的模？
• RQ2 使用两种不同的距离度量（汉明距离与度加权距离）对码设计与解码性能有何影响？
• RQ3 当模非不可约时，如何推广经典误差定位多项式？何种解码框架可支持此推广？
• RQ4 基于最大公因式的多项式余数码解码算法在何种条件下与扩展最大公因式算法保持等价？
• RQ5 所提出的解码算法是否能在模可约时正确恢复码字？何种终止条件可确保正确性？

主要发现

• 论文证明，当误差因子多项式满足 2 deg Λf(x) ≤ N−K 时，所提出的基于最大公因式的解码算法与扩展最大公因式算法保持相同的中间多项式，从而确保正确性。
• 当 deg r(x) < deg t(x) 时，算法能正确终止，该条件由 deg r(x) > (N−K)/2 与 deg t(x) = deg Λf(x) ≤ (N−K)/2 的次数比较条件所保证。
• 所提出的解码框架通过用误差因子多项式替代误差定位多项式，推广了标准 Reed-Solomon 解码，实现了对非不可约模的解码。
• 通过中国剩余定理求逆实现仅擦除解码的方法被提出为一项新贡献，尤其适用于已知擦除位置的场景。
• 论文证明，涉及误差因子多项式的主方程可导出一致且正确的解码路径，即使模为可约多项式亦成立。
• 终止条件 (86) 与 (87) 被证明有效且充分，其中 (86) 为主要条件，确保基于次数的停止逻辑。