[論文レビュー] Divisibility of Trinomials by Irreducible Polynomials over F2

Ryul Kim, Wolfram Koepf|arXiv (Cornell University)|Nov 6, 2013

Cryptography and Residue Arithmetic参考文献 8被引用数 3

ひとこと要約

本稿は、F2 上の既約多項式が三項式を割り切る条件を調査し、特に自己双対三項式とWelchの基準の一般化に注目している。自己双対三項式のための可除性条件を確立し、Welchの手法を $x^{am} + x^{bs} + 1$ 形式の三項式へ拡張することで、$n$ 次の既約三項式が存在しない場合に、三項式内の既約因数を特定する理論的枠組みを提供する。

ABSTRACT

Irreducible trinomials of given degree n over $F_2$ do not always exist and in the cases that there is no irreducible trinomial of degree n it may be effective to use trinomials with an irreducible factor of degree n. In this paper we consider some conditions under which irreducible polynomials divide trinomials over $F_2$. A condition for divisibility of self-reciprocal trinomials by irreducible polynomials over $F_2$ is established. And we extend Welch's criterion for testing if an irreducible polynomial divides trinomials $x^m+x^s+1$ to the trinomials $x^{am}+x^{bs}+1$.

研究の動機と目的

• F2 上に $n$ 次の既約三項式が存在しないことによる制限を解消する。これは、擬似乱数生成や誤り訂正符号の応用分野で問題となる。
• F2 上の既約多項式が三項式を割り切る十分条件を特定する。特に、希望する次数の既約三項式が存在しない場合に焦点を当てる。
• 元来 $x^m + x^s + 1$ に対する三項式に限られていたWelchの基準を、$x^{am} + x^{bs} + 1$ 形式のより広いクラスの三項式へ拡張する。
• 三項式内の既約因数を特定する理論的基盤を提供し、暗号および符号化応用分野における原始的または既約多項式の効率的構築を可能にする。

提案手法

• 著者らは、有限体の代数的性質と多項式因数分解を用いて、F2 上の既約多項式が自己双対三項式 $x^n + x^s + 1$ を割り切るかどうかを分析する。
• Welchの基準（既約多項式が $x^m + x^s + 1$ を割り切るかをテストするもの）を、指数構造を拡張することで、$x^{am} + x^{bs} + 1$ 形式の三項式へ一般化する。
• この手法は、$\mathbb{F}_{2^n}$ 内の根の位数の性質と、円分多項式の使用に基づく可除性条件の特徴付けに依存する。
• 重要な要素として、トレース関数と根の最小多項式を用いて、可除性の必要十分条件を導出する。
• 分析は、特に乗法的部分群の構造と、根の位数に関する指数の法演算の性質に根ざしている有限体理論に基づく。
• 理論的導出は、指数 $am$、$bs$、および次数 $n$ に関する代数的変形と合同条件によって裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 F2 上の既約多項式が自己双対三項式 $x^n + x^s + 1$ を割り切る条件は何か？
• RQ2 $x^m + x^s + 1$ に対するWelchの基準が、$x^{am} + x^{bs} + 1$ 形式の三項式へ一般化可能か？
• RQ3 代数的または数論的条件として、$n$ 次の既約多項式が三項式を割り切るための条件は何か？ ただし、$n$ 次の既約三項式が存在しない場合を想定する。
• RQ4 指数 $am$ と $bs$ の構造をどのように用いて、F2 上の既約多項式による可除性を特定できるか？

主な発見

• 自己双対三項式 $x^n + x^s + 1$ をF2上の既約多項式が割り切るための必要十分条件が、根の位数と指数の合同条件に基づいて確立された。
• 本稿では、$x^{am} + x^{bs} + 1$ 形式の三項式へWelchの基準を成功裏に拡張し、より広いクラスの三項式に適用可能な一般化された可除性テストを提供した。
• この手法により、希望する次数 $n$ の既約三項式が存在しない場合でも、三項式内の既約因数を特定できるようになった。これは、原始的または既約多項式を必要とする応用分野にとって極めて重要である。
• 導出された条件は、$\mathbb{F}_{2^n}^\times$ 内の根の位数に関する合同式で表現されており、可除性と乗法的位数の性質を結びつける。
• 結果は、既約三項式が存在しない場合に、合成的三項式の因数分解を通じて既約多項式を構築する応用に適している。
• 理論的枠組みにより、完全な因数分解を実行せずに可除性をテストする効率的アルゴリズムが可能となり、有限体構築における計算複雑性が低減される。