[论文解读] 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

一句话总结

本文通过从 $x^r h(x)^{q-1}$ 衍生的分式多项式，构造了六个新的偶特征有限域 ($\mathbb{F}_{2^{2k}}$) 上的置换三项式类，以及三个奇特征三元域 ($\mathbb{F}_{3^{2k}}$) 上的置换三项式类，其中 $h(x)$ 为三项式。主要贡献在于提出一个含一个自由参数的置换三项式通解族，扩展了已知结果，并通过单位根上的群作用提供了新的结构洞见。

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.

研究动机与目标

• 在有限域的偶特征与奇特征下，构造新的置换三项式类，扩展已知此类多项式的列表。
• 建立一个通用框架，用于构造指数中含一个自由参数的置换三项式，提升通用性，超越固定指数构造方法。
• 通过分析 $\mu_{q+1}$（即 $q+1$ 阶乘法群）上诱导映射的方式，研究形式为 $f(x) = x^r h(x^{q-1})$ 的三项式在 $\mathbb{F}_{q^2}$ 上的置换性质。
• 基于分式多项式 $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$ 次单位根群。
• 证明 $h(x) \neq 0$ 对所有 $x \in \mu_{q+1}$ 成立，以确保 $g(x)$ 在该群上定义良好。
• 利用域自同态性质与对称恒等式（例如在 $\mu_{q+1}$ 中有 $x^q = x^{-1}$），将 $g(x)$ 化简为形如 $x^{r-n} \frac{x^n + x^{n-m} + 1}{1 + x^m + x^n}$ 的有理函数，适用于特征 2 的情况。
• 分析 $\mathbb{F}_q$ 上高次方程（三次、四次）的解数，以验证 $g(x)$ 在 $\mu_{q+1}$ 上的单射性，从而推出 $\mathbb{F}_{q^2}$ 上的置换性。
• 使用 Magma 对较小的 $k$ 值进行计算验证，以支持猜想并验证理论框架的正确性。
• 将新构造与已知定理（如 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})$ 的置换性质，还原为 $g(x) = x^r h(x)^{q-1}$ 在 $\mu_{q+1}$ 上的行为？在何种条件下可确保该映射为置换？
• RQ3 是否存在新的含一个自由参数的置换三项式族，其结构与先前已知的固定指数构造不同？
• RQ4 能否系统性地求解在 $\mu_{q+1}$ 上分析 $g(x)$ 时出现的高次方程，以证明其置换行为？
• RQ5 关于 $\mathbb{F}_{3^{2k}}$ 上新置换三项式的猜想是否成立？能否将其简化为 $\mu_{q+1}$ 上有理函数的置换性？

主要发现

• 在 $\mathbb{F}_{2^{2k}}$ 上，构造了六个新的置换三项式类，其基于三项式 $h(x) = 1 + x^m + x^n$（其中 $1 < m < n$）的分式多项式，参数化于 $r$ 和 $k$。
• 在 $\mathbb{F}_{3^{2k}}$ 上，构造了三个新的置换三项式类，具体形式为 $f(x) = x^{lq + l + 1} + x^{(l+2)q + l - 1} - x^{(l-2)q + l + 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}$ 上的单射性至关重要。