A Weil Sum Approach to Permutation Polynomials over Quadratic Extensions of Finite Fields

技術要約：有限体の二次拡大における置換多項式へのヴェイユ和のアプローチ

問題提起
本論文は、有限体の二次拡大 $\mathbb{F}_{q^2}$ 上の置換多項式（PP）の分類に取り組んでいる。著者らは、以下の2つの異なる多項式のクラスを調査している：

1. $f(x) = x^q + bx^2 + cx + d$
2. $f(x) = x^{q+1} + bx^q + cx + d$

中心となる問題は、係数 $b, c, d \in \mathbb{F}_{q^2}$ が $\mathbb{F}_{q^2}$ 上の全単射を誘導するための必要十分条件を決定することである。著者らは、検討対象となっている多項式が Wan-Lidl 型（$x^s f(x^r)$）でもなく、アフィン $q$-多項式でもないことを明記しており、これによって既存の多くの研究対象とは区別されている。

手法
核となる手法は、多項式が置換であるための条件は、すべての $t \in \mathbb{F}_{q^2}$ に対して方程式 $f(x) = t$ がちょうど一つの解を持つことと同値であるという性質に基づいている。あるいは、多項式 $f(x) + t$ が $\mathbb{F}_{q^2}$ 内にちょうど一つの零点を持つことと同値である。

これらの多項式の零点の正確な個数（$M$）を決定するために、著者らは $\mathbb{F}_{q^2}$ の標準的な加法文字 $\chi$ に関連するヴェイユ和（指標和）を用いている。零点の個数は以下の恒等式によって表される：
$$M = \frac{1}{q^2} \sum_{x \in \mathbb{F}_{q^2}} \sum_{y \in \mathbb{F}_{q^2}} \chi(y f(x))$$
解析は、体の標数に基づくケース分け（$q$ が奇数か偶数か）および係数の特定の構造に基づいて進められる。

• $q$ が奇数の場合： 著者らは、二次指標および $x^{q+1}+1$ や二次項を含む和の特定の評価に関する結果を利用している。彼らは、二次指標 $\eta$ とトレース写像を含む零点の個数の明示的な公式を導出している。
• $q$ が偶数の場合： 著者らは、$(q+1)$ 乗根の集合（$\mu_{q+1}$）内における補助多項式の根の解析、および自己共役相反多項式の性質を利用している。
• 逆関数の構成： 特定された置換多項式に対して、著者らはディックソン行列（線形成分用）および加法的多項式の一般的な合成定理を用いて、その合成逆関数を導出している。

主要な貢献と結果

1. $x^q + bx^2 + cx + d$ の特性化：

   • $q$ が奇数の場合： 定理 3.6 は、$x^q + bx^2 + cx + d$ が置換多項式であるための必要十分条件が $b = 0$ かつ $c \notin \mu_{q+1}$ であることを確立している。著者らは、$q$ が奇数の場合、$b \neq 0$ であればこの多項式は決して $\mathbb{F}_{q^2}$ を置換しないことを証明している。
   • $q$ が偶数の場合： 定理 3.7 は完全な特性化を提供している。すなわち、この多項式が PP であるための必要十分条件は、（$b=0$ かつ $c \in \mathbb{F}_q \setminus \{1\}$）または（$b \in \mathbb{F}_q^*$ かつ $c = 1$）である。

2. $x^{q+1} + bx^q + cx + d$ の特性化：

   • $q$ が偶数の場合： 命題 3.8 は、この多項式が係数に関わらず、$\mathbb{F}_{q^2}$ 上の置換多項式には決してならないことを証明している。この結果は、既存の文献（特に [2]）とは独立して、ヴェイユ和を用いた新しい証明によって導かれている。
   • $q$ が奇数の場合： 命題 3.9 は、$b^q = c$ である場合、この多項式は決して PP にならないことを示している。また、著者らは予想 3.10 を提示し、$q$ が奇数の場合、$b^q \neq c$ であってもこの多項式は決して PP にならないことを示唆しているが、これは現在の手法では未解決であることを注記している。

3. 合成逆関数：
   論文では、特定された有効な置換多項式の合成逆関数を明示的に構成している：

   • 奇数 $q$ の場合（$b=0, c \notin \mu_{q+1}$）、逆関数は $f^{-1}(x) = \frac{1}{c^{q+1}-1}(c^q x + x^q)$ で与えられる。
   • 偶数 $q$ の場合、逆関数は $q$-線形多項式の性質および特定のトレースに基づく合成を用いて導出される。

意義と主張
著者らは、自身の研究を、アフィン $q$-多項式や Wan-Lidl 型ではないクラスに対するヴェイユ和の直接的な応用として位置づけている。その意義は以下の点にある：

• 完全性： 奇数および偶数の両方の標数において、$x^q + bx^2 + cx + d$ の形式に対する完全な特性化を提供していること。
• 証明の新規性： $q$ が偶数のときの $x^{q+1} + bx^q + cx + d$ の形の PP の非存在に関する、既存の文献とは異なる独立した証明を提供していること。
• 手法の有用性： 指標和が、混合次数（$x^q$ と $x^2$ または $x^{q+1}$）を持つ多項式の零点を数え、置換の性質を決定するためにいかに効果的に使用できるかを示している。

論文は、第二の多項式クラスにおいて $q$ が奇数の場合の $b^q \neq c$ というケースが依然として未解決であることを認めつつ、確立された結果がこれらの特定の多項式形式の置換挙動に関するさらなる調査への強固な基礎を提供するものであるとして、控えめに締めくくられている。