[論文レビュー] 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型に限らない）に対して1段階でデコード可能なベルレクランプ＝マッセイのアルゴリズムが利用可能になる。

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型でない循環符号に対しても有効であることを目的とする。
• 基本体に属する係数と符号長に関する次数制約を持つサイノーム表現を構築し、効率的な1段階デコードを可能とすることを目的とする。
• 提案されたMVIFを用いて欠落したサイノームを補完することで、ベルレクランプ＝マッセイのアルゴリズムを任意の循環符号に拡張することを目的とする。
• 高重み誤り（例：長さ47のQR符号における重み5誤り）において単一行列法が失敗することを克服し、一貫した表現を提供することを目的とする。

提案手法

• 有限体上に新しく定義されたクロネッカー・デルタ関数を用いて、対称有理関数のための多変数補間公式（MVIF）を構築する。
• MVIFを特定の集合上の同次対称有理関数に適用し、すべての多項式係数が基本体に属することを保証する。
• 既知のサイノームを用いて未知のサイノームの多項式表現を導出し、各項の次数が符号長に関して合同となることを保証する。
• MVIFを用いて、デコードに適した代数的構造を保つサイノーム表現を生成する。
• MVIFに基づく未知サイノーム表現とベルレクランプ＝マッセイのアルゴリズムを組み合わせ、1段階デコードアルゴリズムを構築する。
• バイナリ2次剰余符号（長さ71〜113）を含む循環符号に対して本手法を検証し、サイノームの回復とデコードに成功したことを示した。

実験結果

リサーチクエスチョン

• RQ1 有限体上に多変数補間公式を構築し、生成多項式が既約でない場合を含め、循環符号における未知サイノームを表現することは可能か？
• RQ2 提案されたMVIFが、得られる多項式のすべての係数が基本体に属し、符号長に関して次数の合同条件を満たすことを保証するか？
• RQ3 MVIFに基づくサイノーム表現により、連続するサイノームが欠落している場合でも、ベルレクランプ＝マッセイのアルゴリズムを用いて任意の循環符号を1段階でデコード可能か？
• RQ4 MVIFは、高重み誤りケースで失敗する従来の行列ベースの手法の制限をどのように克服するか？
• RQ5 MVIFは、BCH型でない循環符号（例：長さ47、71、それ以上のバイナリ2次剰余符号）のデコードに対しても有効か？

主な発見

• 提案されたMVIFは、すべての係数が基本体に属する多項式表現を効果的に生成し、一変数の場合から対称関数への一般化に成功した。
• 補間された多項式の各項は、有限体上の一変数補間と同様に、符号長に関して次数の合同条件を満たす。
• 欠落したサイノームを再構築することで、任意の循環符号に対して1段階デコードを可能とし、段階的デコードや複数の行列を必要としない。
• 長さ71から113のバイナリ2次剰余符号に対して、MVIFに基づく手法とベルレクランプ＝マッセイの組み合わせにより、重み推定ヒューリスティクスに依存せず、完全な誤り訂正能力を達成した。
• MVIFは、高重み誤り（例：[47,24,11] QR符号における重み5誤り）において単一行列法が失敗する問題を、統一的かつ一貫性のある表現により解決した。
• 本手法は一般性を有し、既約生成多項式に制限されないため、BCH符号やRS符号に限らず、任意の循環符号に適用可能であり、効率的デコードの適用範囲を大幅に拡大した。