[論文レビュー] Determination of a Class of Permutation Trinomials in Characteristic Three

Xiang‐dong Hou, Ziran Tu+1 more|arXiv (Cornell University)|Nov 29, 2018

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

ひとこと要約

本稿は、特徴が3の有限体上における置換三項式の必要十分条件を確立する。ハッセ＝ヴェイルの補題と多項式の結果式を用いて、三項式 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ が $ \mathbb{F}_{q^2} $ を置換するための必要十分条件は、$ (ab)^q = a(b^{q+1} - a^{q+1}) $ かつ $ 1 - (b/a)^{q+1} $ が $ \mathbb{F}_q^* $ 内の平方であることであることを証明する。これにより、特徴が3の場合に既に知られていた十分条件の必要性が確認される。

ABSTRACT

Let $f(X)=X(1+aX^{q(q-1)}+bX^{2(q-1)})\in\Bbb F_{q^2}[X]$, where $a,b\in\Bbb F_{q^2}^*$. In a series of recent papers by several authors, sufficient conditions on $a$ and $b$ were found for $f$ to be a permutation polynomial (PP) of $\Bbb F_{q^2}$ and, in characteristic $2$, the sufficient conditions were shown to be necessary. In the present paper, we confirm that in characteristic 3, the sufficient conditions are also necessary. More precisely, we show that when $ ext{char}\,\Bbb F_q=3$, $f$ is a PP of $\Bbb F_{q^2}$ if and only if $(ab)^q=a(b^{q+1}-a^{q+1})$ and $1-(b/a)^{q+1}$ is a square in $\Bbb F_q^*$.

研究の動機と目的

• 有限体の特徴が3であるような三項式が体を置換する正確な条件を同定すること。
• 特徴が3の場合の置換挙動について、これまでに知られていた十分条件と必要条件の間のギャップを埋めること。
• 特徴が2の場合に既に必要性が示されている結果を、特徴が3の場合に拡張すること。
• $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ の形の置換三項式が $ \mathbb{F}_{q^2}[X] $ で完全に特徴付けられること。
• 代数幾何学と多項式の結果式解析を用いて、$ p = 3 $ の場合に以前に提案された十分条件の必要性を検証すること。

提案手法

• 証明は、$ f(X) $ が $ \mathbb{F}_{q^2} $ 上で置換多項式であることと、有理関数 $ g(X) $ が乗法的群 $ \mu_{q+1} $ を置換することとの同値性に依拠する。
• 関連する代数曲線の有理点の数を制限するためにハッセ＝ヴェイルの補題が適用され、非置換ケースの削除に役立つ。
• 結果式の計算と解析により、特定の3次方程式が $ \mu_{q+1} $ に根を持つかどうかを特定し、置換挙動に不可欠な要因を特定する。
• 証明は $ q = 3^n $ の値に基づく3つの場合に分けられ、それぞれで徐々に複雑化する結果式の計算が行われる。
• 変数変換 $ \phi(X) = (X + z^q)/(X + z) $ を用いて、$ \mathbb{F}_q \cup \{\infty\} $ から $ \mu_{q+1} $ への全単射が得られ、これにより合成逆元の解析が可能になる。
• 広範な代数的変形と記号計算が行われ、中間結果は検証のための付録に記録されている。

実験結果

リサーチクエスチョン

• RQ1 特徴が3の有限体 $ \mathbb{F}_{q^2} $ 上で三項式 $ f(X) $ が置換多項式であるための十分条件は、必要条件でもあるか？
• RQ2 特徴が3のとき、三項式 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ が $ \mathbb{F}_{q^2} $ を置換する正確な代数的条件は何か？
• RQ3 ハッセ＝ヴェイルの補題と多項式の結果式を用いて、置換三項式分類における係数条件の必要性を効果的に証明できるか？
• RQ4 関連する有理関数 $ g(X) = \frac{a^q X^3 + X^2 + b^q}{b X^3 + X + a} $ の構造的性質が置換挙動にどのように影響するか？
• RQ5 $ 1 - (b/a)^{q+1} $ が $ \mathbb{F}_q^* $ 内の平方であるという条件が、置換性を保証するために果たす役割は何か？

主な発見

• 特徴が3の場合の三項式 $ f(X) $ が置換多項式であるための十分条件は、必要条件でもあることが確認され、この場合の分類が完全に完成する。
• 必要十分条件は $ (ab)^q = a(b^{q+1} - a^{q+1}) $ であり、フロベニウス自己同型写像下での係数の整合性を保証する。
• $ 1 - (b/a)^{q+1} $ が $ \mathbb{F}_q^* $ 内の平方であるという条件は、$ \mu_{q+1} $ に根がないことの確保に不可欠である。
• 主な係数条件の下で、$ bX^3 + X + a $ が $ \mu_{q+1} $ に根を持たないことは、$ 1 - (b/a)^{q+1} $ が $ \mathbb{F}_q^* $ 内の平方であることと同値であることが証明される。
• ハッセ＝ヴェイルの補題は、関連する曲線の有理点の数を制限するために用いられ、非置換ケースの削除に貢献する。
• 解析により、先行研究で提示された係数条件が、特徴が3の場合に限り、十分であるだけでなく必要でもあることが確認され、特徴が2の場合の既知の結果が拡張される。