[論文レビュー] On Polynomial Remainder Codes

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

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

ひとこと要約

この論文は、中国剰余定理に基づく多項式剰余符号を再考し、符号記号の多項式次数を可変にすることを許容することで、ハミング距離と次数重み付き距離の2つの異なる距離の概念を導入する。標準のリード・ソロモン符号のデコーディングを一般化する、GCDに基づく新しいデコーディングフレームワークを提示し、モジュラスが既約でない場合に誤り検出多項式を誤り要因多項式に置き換える。これらのアルゴリズムが一般条件、特に非既約モジュラスの場合にも正しく動作することを証明する。

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.

研究の動機と目的

• モジュラスの次数を異なるものに許容することで、固定符号サイズに限らない柔軟な符号構築を可能にする、多項式剰余符号の一般化を図ること。
• 可変次数の符号記号を有する符号に対して、ハミング距離と次数重み付き距離の2つの異なる距離の概念を定義・分析すること。
• 標準のリード・ソロモン符号のデコーディングを非既約モジュラスにまで拡張する、体系的でGCDに基づくデコーディングフレームワークの構築。
• モジュラスが可約である場合に、古典的な誤り検出多項式を誤り要因多項式に置き換えることにより、デコーディングの耐障害性を確保すること。

提案手法

• 多項式環上での中国剰余定理を用いて、互いに素な多項式（次数が異なるものも含む）を法とする剰余として符号語を定義する。
• 標準的なハミング距離に加え、符号記号の次数を考慮する次数重み付き距離という2つの距離測度を導入する。
• モジュラスが既約でない場合に、誤り要因多項式を含むキーエンジンを提示し、標準のリード・ソロモン符号のキーエンジンを一般化する。
• 部分GCDアルゴリズムIIを含む、GCDに基づくアルゴリズムの族を構築し、特定の次数制約下で拡張GCDアルゴリズムと同等の結果を保つようにする。
• 誤り要因多項式と誤り値の復元が正しく行われることを保証する、次数比較に基づく終了条件を確立する。
• 誤り要因多項式の次数が2倍したものがN−K以下であるという条件下で、拡張GCDアルゴリズムと同等の結果が得られることを示すことにより、デコーディングアルゴリズムの正しさを証明する。

実験結果

リサーチクエスチョン

• RQ1 モジュラスの次数を異なるものに許容することで、効果的なデコーディングを維持しつつ、多項式剰余符号をどのように一般化できるか？
• RQ2 ハミング距離と次数重み付き距離という2つの異なる距離測度を用いることで、符号設計とデコーディング性能にどのような影響が生じるか？
• RQ3 モジュラスが非既約である場合に、古典的な誤り検出多項式をどのように一般化できるか。また、その一般化を支えるデコーディングフレームワークは何か？
• RQ4 多項式剰余符号のGCDベースのデコーディングアルゴリズムが、どのような条件下で拡張GCDアルゴリズムと同等の結果を得られるか？
• RQ5 提案されたデコーディングアルゴリズムは、モジュラスが可約であっても符号語を正しく復元できるか。また、正しさを保証する終了条件は何か？

主な発見

• 誤り要因多項式の次数が 2 deg Λf(x) ≤ N−K を満たす場合、提案されたGCDベースのデコーディングアルゴリズムが、拡張GCDアルゴリズムと同一の中間多項式を生成することを確立した。これは、正しさを保証する。
• deg r(x) < deg t(x) であるとき、アルゴリズムは正しく終了する。これは、deg r(x) > (N−K)/2 および deg t(x) = deg Λf(x) ≤ (N−K)/2 という次数比較条件により保証される。
• 誤り要因多項式に置き換えることで、標準のリード・ソロモン符号のデコーディングを非既約モジュラスにも拡張する、提案されたデコーディングフレームワークは、一般化されたものである。
• 中国剰余定理の逆演算によるエラーのみの復元手法は、本論文で新たに提示された貢献であり、エラー位置が事前に分かっている状況で特に有用である。
• 誤り要因多項式を含むキーエンジンが、モジュラスが可約であっても一貫性があり正しいデコーディングパスを導くことを証明した。
• 終了条件 (86) と (87) が有効かつ十分であることが示され、(86) が次数に基づく停止論理を保証する主な条件である。