[論文レビュー] On the Tu-Zeng Permutation Trinomial of Type $(1/4,3/4)$

Xiang‐dong Hou|arXiv (Cornell University)|Jun 17, 2019

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

ひとこと要約

本稿は、偶数標数の有限体上における特定の三項式の置換多項式であるための必要十分条件を確立する。三項式の関数方程式から導かれる四次方程式を分析し、有理関数の合成および多項式因数分解に関する結果を応用することで、著者らは、タイプ$(1/4,3/4)$のTu-Zeng三項式が$ bbF_{q^2}$上に置換多項式であるための必要十分条件を示した。それは、$a = b$ かつ立方多項式$X^3 + X + a^{-1}$が$ bbF_q$に根を持たないことである。

ABSTRACT

Let $q$ be a power of $2$. Recently, Tu and Zeng considered trinomials of the form $f(X)=X+aX^{(1/4)q^2(q-1)}+bX^{(3/4)q^2(q-1)}$, where $a,b\in\Bbb F_{q^2}^*$. They proved that $f$ is a permutation polynomial of $\Bbb F_{q^2}$ if $b=a^{2-q}$ and $X^3+X+a^{-1-q}$ has no root in $\Bbb F_q$. In this paper, we show that the above sufficient condition is also necessary.

研究の動機と目的

• ニホ指数を有する置換三項式の分類における空白を埋めるために、特性2における$(r,s_1,s_2) = (1,1/4,3/4)$のケースを解明すること。
• 三項式$f(X) = X^4(1 + aX^{q-1} + bX^{3(q-1)})$が$ bbF_{q^2}$を置換するための正確な条件を特定すること。ここで、$a \in bbF_q^*$ かつ $b \in bbF_{q^2}^*$ である。
• 以前にTuとZengが提示した十分条件（すなわち、$b = a^{2-q}$ かつ $X^3 + X + a^{-1-q}$ が$ bbF_q$に根を持たないこと）が、必要条件であることも証明すること。
• 置換多項式である場合に、$b$ が$ bbF_q^*$ に属することを示す。これは証明における重要な技術的ステップである。
• $b \in \bbF_q^*$ の下で、$f$ が置換多項式であるための必要十分条件を完全に特定すること。その条件は、$a = b$ かつ $X^3 + X + a^{-1}$ が$ bbF_q$上で無因数であることである。

提案手法

• 置換条件を関数方程式に変換する：各$y \in \bbF_q$に対して$f(x) = y$は$ bbF_q$内に唯一の解$x$を持つ。これにより、$ bbF_q(Y)$上での$X$に関する四次方程式が得られる。
• LeonardとWilliamsの定理（偶数標数の有限体上における四次多項式の因数分解）を適用し、解の一意性と関連する立方多項式の無因数性を結びつける。
• HouとIezziの定理（有理関数の合成）を用いて、ある有理関数が合成形式に分解可能であることを導出し、係数比較が可能になる。
• 合成分解における係数を等置することで、$a$、$b$、および補助変数に関する多項方程式の連立式を導出する。
• 記号計算を用いて連立系を解析し、$a \in \bbF_q^*$ および $b \in \bbF_{q^2}^*$ などの制約下で解を絞り込み、矛盾による不適解の除外を行う。
• トレース恒等式や体論的性質（例：$ operatorname{Tr}_{q/2}(k) = 1$）を用いて補助的要素を構成し、候補解の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 タイプ$(1/4,3/4)$のTu-Zeng三項式が$ bbF_{q^2}$上で置換多項式であるための十分条件が、必要条件であるか。
• RQ2 三項式$f(X) = X^4(1 + aX^{q-1} + bX^{3(q-1)})$が$ bbF_{q^2}$を置換するための$a$と$b$の条件は何か。
• RQ3 $f$ が$ bbF_{q^2}$上で置換多項式である場合、係数$b$ は部分体$ bbF_q^*$ に属する必要があるか。
• RQ4 $X^3 + X + a^{-1}$ が$ bbF_q$上で無因数であることと、$f$ の置換性との正確な関係は何か。
• RQ5 $f(x) = y$ から導かれる関数方程式を用いて、$ bbF_q(Y)$上の有理関数の合成分解を導出できるか。また、そのような分解はパラメータ$a$と$b$をどのように制約するか。

主な発見

• 三項式$f$ が置換多項式であるための十分条件（$b = a^{2-q}$ かつ $X^3 + X + a^{-1-q}$ が$ bbF_q$に根を持たないこと）が、必要条件であることも示された。
• 置換多項式である場合に、$b$ が$ bbF_q^*$ に属することは、関数方程式の記号的解析を通じて得られた非自明な制約である。
• $b \in \bbF_q^*$ の下で、三項式$f$ が置換多項式であるための必要十分条件は、$a = b$ かつ立方多項式$X^3 + X + a^{-1}$ が$ bbF_q$上で無因数であることである。
• 証明は、各$y \in \bbF_q$に対して$f(x) = y$の解の一意性から導かれる、$ bbF_q(Y)$上の有理関数の合成分解に依存している。
• 得られた多項式系の解析、特に$1 + a^2 + a^3 = 0$を満たす解の除外は、矛盾を引き起こし、したがって、提示されたパラメータ値のみが有効であることを確認する。
• 最終的な特徴付けは、$X^3 + X + 1/a$ が$ bbF_q$に根を持たないことと同値であり、これは$ bbF_q$上での立方多項式の無因数性と同値である。