[論文レビュー] New Permutation Trinomials Constructed from Fractional Polynomials

Kangquan Li, Longjiang Qu+2 more|arXiv (Cornell University)|May 20, 2016

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

ひとこと要約

本稿では、$h(x)$ が三項式である $x^r h(x)^{q-1}$ から導かれる分数多項式を用いて、偶数特性の有限体 $\mathbb{F}_{2^{2k}}$ において6つの新しい三項式置換多項式の類、および特性3の $\mathbb{F}_{3^{2k}}$ において3つの新しい類を構成する。主な貢献は、指数に1つの自由パラメータを含む一般化されたパラメトリック族の置換三項式を提供することであり、これは既知の結果を拡張し、単位根の上での群作用を通じて新たな構造的洞察をもたらす。

ABSTRACT

Permutation trinomials over finite fields consititute an active research due to their simple algebraic form, additional extraordinary properties and their wide applications in many areas of science and engineering. In the present paper, six new classes of permutation trinomials over finite fields of even characteristic are constructed from six fractional polynomials. Further, three classes of permutation trinomials over finite fields of characteristic three are raised. Distinct from most of the known permutation trinomials which are with fixed exponents, our results are some general classes of permutation trinomials with one parameter in the exponents. Finally, we propose a few conjectures.

研究の動機と目的

• 有限体の偶数および奇数特性における新しい置換三項式の類の構成を通じて、このような多項式の既知のリストを拡張すること。
• 指数に1つの自由パラメータを含む一般枠組みを構築し、固定指数の構成を超えて一般性を高めること。
• $\mathbb{F}_{q^2}$ 上の $f(x) = x^r h(x^{q-1})$ 形式の三項式の置換性を、$\mu_{q+1}$（$q+1$ 次単位根の乗法的群）への誘導写像の分析によって調べること。
• 分数多項式 $g(x) = x^r h(x)^{q-1}$ が $\mu_{q+1}$ 上でどのように振る舞うかに基づく、新しい理論的ツールと予想を提示すること。特に高次方程式に対する挙動に注目する。

提案手法

• 補題1.1を活用し、$\mathbb{F}_{q^2}$ 上での $f(x) = x^r h(x^{q-1})$ の置換性を、$g(x) = x^r h(x)^{q-1}$ が $\mu_{q+1}$（$(q+1)$ 乗単位根の群）を置換することの証明に還元する。
• $g(x)$ がこの群上で正しく定義されていることを保証するため、$x \in \mu_{q+1}$ に対して $h(x) \neq 0$ であることを証明する。
• 体自己同型の性質と対称的恒等式（例：$\mu_{q+1}$ 内で $x^q = x^{-1}$）を用いて、$g(x)$ を特性2では $x^{r-n} \frac{x^n + x^{n-m} + 1}{1 + x^m + x^n}$ の形の有理関数に簡略化する。
• $\mathbb{F}_q$ 上での高次方程式（三次、四次）の解の個数を分析し、$g(x)$ が $\mu_{q+1}$ 上で単射であることを確認することで、$\mathbb{F}_{q^2}$ 上での置換性を裏付ける。
• 小規模な $k$ の値について Magma を用いて計算的検証を行い、予想の支持と理論的枠組みの妥当性を検証する。
• 既知の定理（例：Zieveの基準、Lee-Parkの三項式条件）と比較し、新しいクラスが異なる構造的条件を満たすため、既存の枠組みではカバーされないことを示す。

実験結果

リサーチクエスチョン

• RQ1 分数多項式 $x^r h(x)^{q-1}$ の形を用いて、$\mathbb{F}_{2^{2k}}$ および $\mathbb{F}_{3^{2k}}$ 上で新しい一般クラスの置換三項式を構成できるか？
• RQ2 $f(x) = x^r h(x^{q-1})$ の置換性が $\mu_{q+1}$ 上での $g(x) = x^r h(x)^{q-1}$ の挙動にどのように還元できるか。また、この写像が置換であるための条件は何か？
• RQ3 指数に1つの自由パラメータを含む、従来の固定指数構成とは異なる新しい置換三項式の族は存在するか？
• RQ4 $\mu_{q+1}$ 上での $g(x)$ の分析から生じる高次方程式（三次、四次）を体系的に解くことは可能か？ これにより置換性を証明できるか？
• RQ5 $\mathbb{F}_{3^{2k}}$ 上での新しい置換三項式に関する提案された予想は妥当か？ また、これらは $\mu_{q+1}$ 上での有理関数の置換性に還元可能か？

主な発見

• 特性2の $\mathbb{F}_{2^{2k}}$ 上に、$h(x) = 1 + x^m + x^n$（$1 < m < n$）から導かれる分数多項式を用いて、$r$ と $k$ をパラメータとする6つの新しい置換三項式の類が構成された。
• 特性3の $\mathbb{F}_{3^{2k}}$ 上に、$f(x) = x^{lq + l + 1} + x^{(l+2)q + l - 1} - x^{(l-2)q + l + 3}$ や類似形の三項式を含む3つの新しい類が、$k$ および $\gcd(2l+1, q-1) = 1$ の条件下で構成された。
• 構成された三項式は、例えば Lee-Park の定理4.4 や Zieve の定理4.5 に含まれる既知のクラスとは乗法的に同値でない。これは $h(x)$ の構造的条件および関数方程式 $(x^d h(1/x))^q = \beta h(x^q)$ における差異による。
• Zieveの基準ではカバーされない。三項式 $h(x) = 1 + x^m - x^n$ は、必要な関数方程式 $(x^d h(1/x))^q = \beta h(x^q)$ を満たさないため、特に特性3において顕著である。
• $\mathbb{F}_{3^{2k}}$ 上での追加の置換三項式に関する予想が提示され、例として $f(x) = x^{lq + l + 5} + x^{(l+5)q + l} - x^{(l-1)q + l + 6}$ のような形が含まれ、$\gcd(5+2l, q-1) = 1$ の条件を満たす。$1 \leq k \leq 6$ の範囲で計算的に検証された。
• 予想の証明における主な課題は、$\mathbb{F}_q$ 上で三次や四次方程式の解の個数を特定することにあり、これは $g(x)$ が $\mu_{q+1}$ 上で単射であることを確認する上で不可欠である。