[論文レビュー] A Note on Stable Quadratic Polynomials over Fields of Characteristic Two

Omran Ahmadi|ArXiv.org|Oct 23, 2009

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

ひとこと要約

本稿では、特徴が2の有限体上に安定な二次多項式が存在しないことを、トレース写像の性質とCapelliの補題を用いて証明している。具体的には、任意のこのような多項式の三番目の反復が非可約でないことを示している。一方で、関数体においては、$ f(x) = x^2 + t $ といった明示的な例を構成し、Eisensteinの判定法によりすべての反復が非可約のまま保たれることを示している。

ABSTRACT

In this note, first we show that there is no stable quadratic polynomial over finite fields of characteristic two and then show that there exist stable quadratic polynomials over function fields of characteristic two.

研究の動機と目的

• 特徴が2の有限体上に安定な二次多項式が存在するかを特定すること。
• 特徴が2の関数体上に安定な二次多項式が存在するかを調査すること。
• 正の特性における多項式反復が非可約性を保つための構造的・代数的条件を確立すること。
• 奇数特性の有限体上における安定な二次多項式の数と構造に関する未解決問題を、特徴が2のケースを分析することで解決すること。

提案手法

• 有限体 $ \mathbb{F}_q $（$ q = 2^m $）上での二次多項式の非可約性を特徴づけるために、トレース写像 $ \mathrm{Tr}_{q|2} $ を用いる。
• Capelliの補題を適用し、拡張体上での合成多項式の非可約性に帰着することで、反復多項式の非可約性を簡略化する。
• 多項式 $ f(f(x)) $ の根 $ \alpha $ に対する $ \mathbb{F}_{q^4} $ 上の $ \alpha / a^2 $ のトレースを分析し、$ f^{(3)}(x) $ が非可約であると仮定した場合に矛盾を導く。
• $ f(f(x)) $ の根 $ \alpha $ に対して $ \mathrm{Tr}_{q^4|q}(\alpha) = 0 $ が成り立つことを利用し、非可約性に必要なトレース条件と矛盾することを示す。
• $ \mathbb{F}_2(t)[x] $ 上の明示的例 $ f(x) = x^2 + t $ を構成し、関数体上でのEisensteinの判定法によりすべての反復 $ f^{(n)}(x) $ が非可約であることを示す。
• $ f^{(n)}(x) = x^{2^n} + t^{2^{n-1}} + \cdots + t $ という恒等式を用いて反復の形とその非可約性を示す。

実験結果

リサーチクエスチョン

• RQ1 特徴が2の有限体上に安定な二次多項式が存在するか？
• RQ2 係数にどのような条件を課すと、特徴が2の環境下で反復二次多項式が非可約になるか？
• RQ3 有限体上に存在しないにもかかわらず、特徴が2の関数体上に安定な二次多項式が存在するか？
• RQ4 トレース写像と体拡張は、正の特性における安定多項式の存在をどのように制約するか？

主な発見

• 任意の特徴が2の有限体上には安定な二次多項式が存在せず、$ f^{(3)}(x) $ が非可約でないからである。
• $ f^{(3)}(x)$ が非可約であるためには $ \mathrm{Tr}_{q^4|2}(\alpha / a^2) = 1 $ が必要であるが、$ f(f(x)) $ の $ x^3 $ 項の係数が0であるため $ \mathrm{Tr}_{q^4|q}(\alpha) = 0 $ が成り立ち、これと矛盾する。
• 関数体、特に $ \mathbb{F}_2(t)[x] $ においては、安定な二次多項式が存在する。例えば $ f(x) = x^2 + t $ がその例である。
• $ f(x) = x^2 + t $ のすべての反復 $ f^{(n)}(x) $ は、$ \mathbb{F}_2(t) $ 上で非可約であり、$ t $ を素数としてEisensteinの判定法により示されている。
• 反復の形は $ f^{(n)}(x) = x^{2^n} + t^{2^{n-1}} + t^{2^{n-2}} + \cdots + t $ であり、モニックかつ分離可能で、定数項の和が $ \mathbb{F}_2(t) $ 内の非平方である。
• トレース計算における矛盾は、$ \mathrm{Tr}_{q^4|2}(b/a^2) = 0 $ であるため $ \mathrm{Tr}_{q^4|2}(\alpha / a^2) = 1 $ を要求するが、$ \alpha $ の $ \mathbb{F}_q $ 上でのトレースが0であるため $ \mathrm{Tr}_{q^4|2}(\alpha / a^2) = 0 $ でなければならない。