[論文レビュー] On Inverses for Quadratic Permutation Polynomials over Integer Rings

Jonghoon Ryu, O.Y. Takeshita|arXiv (Cornell University)|Feb 10, 2011

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

ひとこと要約

本稿では、整数環 ℤₙ 上の2次置換多項式（QPP）の最小次数逆多項式を特定するための必要十分条件を、線形合同式アプローチを用いて提示する。線形合同式を解くことで逆多項式を明示的に計算するアルゴリズムを提供し、ハードウェア実装が効率的に行える。また、逆多項式の次数を最大50まで保証できる。

ABSTRACT

Quadratic permutation polynomial interleavers over integer rings have recently received attention in practical turbo coding systems from deep space applications to mobile communications. In this correspondence, a necessary and sufficient condition that determines the least degree inverse of a quadratic permutation polynomial is proven. Moreover, an algorithm is provided to explicitly compute the inverse polynomials.

研究の動機と目的

• 整数環 ℤₙ 上の2次置換多項式（QPP）の最小次数逆多項式に対する必要十分条件を確立すること。
• 解ける線形合同式を用いて、QPP の逆多項式を明示的に計算するためのアルゴリズムを提供すること。
• 正確な算術比較を用いて、逆多項式の次数を50まで特徴付けること。これにより、従来の級数展開や中国剰余定理法を改善する。
• 低複雑性の逆多項式計算を保証することで、実用的なターボ符号システムへの実装を支援すること。

提案手法

• 数論から導かれた線形合同式アプローチを用いて、ℤₙ 上の QPP の逆を分析する。
• 線形合同式の可解性に関する定理 II.2 を適用し、逆多項式計算の存在と解の個数を特定する。
• 零多項式の概念と、それらの構造を法 N における下り階乗の積を用いて特徴づける。これにより、等価な多項式表現を特定する。
• 次数 K の零多項式の個数を ∏ₖ₌₁ᴷ gcd(k!, N) で明示的に与える公式を導出し、等価表現の制御を可能にする。
• 逆写像条件から導かれる線形合同式の連立方程式を解くことで、逆多項式を構築する。
• 後退差分作用素とモジュラー算術を用いた再帰的構成により、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ℤₙ 上の QPP が最小次数の逆多項式をもつための必要十分条件は何か？
• RQ2 算術比較と線形合同式のみを用いて、QPP の逆多項式をどのように明示的に計算できるか？
• RQ3 実装に適した低次数（特に2次以下）の逆多項式を保証できる最大次数は何か？
• RQ4 級数展開や中国剰余定理による分解に依存せずに、QPP の逆多項式を体系的に決定できるか？
• RQ5 法 N における次数 K の零多項式の正確な構造は何か？また、これと等価な多項式表現の関係は？

主な発見

• 線形合同式を用いた解析により、ℤₙ 上の QPP の最小次数逆多項式に対する必要十分条件が導出され、逆次数が50まで有効である。
• 線形合同式の解法に基づくアルゴリズムにより、QPP の逆多項式が明示的に計算可能であり、ハードウェア効率が保証される。
• 法 N における次数 K の零多項式の個数は、正確に ∏ₖ₌₁ᴷ gcd(k!, N) で与えられ、等価多項式の空間を特徴付ける。
• QPP の逆多項式は一般に QPP ではないが、本稿では算術比較に基づく基準を提示し、それが QPP である条件を特定する。
• 近似や級数展開を用いずに、逆多項式の次数を正確に決定し、明示的な逆多項式の構築が可能である。
• 単純な算術演算と可解な合同式に依存するため、アルゴリズムはターボ符号システムへの実装に適している。