[论文解读] Permutation polynomials of the form x+c*Tr(x^k)

Gohar Kyureghyan, Michael E. Zieve|arXiv (Cornell University)|Mar 3, 2016

Coding theory and cryptography参考文献 1被引用 3

一句话总结

本文对有限域 $\mathbb{F}_{q^n}$ 上形如 $X + \gamma \operatorname{Tr}_{q^n/q}(X^k)$ 的置换多项式进行分类，证明在特定条件下这些多项式会置换整个域。通过多种方法——包括迹函数分析、单位根置换准则、Gröbner 基计算及平面函数技术——建立了九个不同的族，为这类二项式置换多项式提供了全面的理论框架。

ABSTRACT

Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than 5000, and found that our examples comprise all examples with n>1 except for some simple cases where the polynomial induces a homomorphism of the additive group of F_{q^n}, along with a few sporadic examples. One intriguing feature is that our proofs of the different sequences use various different methods, including a new variant of Dobbertin's method among others.

研究动机与目标

• 系统识别并分类所有形如 $X + \gamma \operatorname{Tr}_{q^n/q}(X^k)$ 的置换多项式，排除平凡情形。
• 理解此类二项式在 $\mathbb{F}_{q^n}$ 上置换的结构与算术条件，特别是当 $\gamma \in \mathbb{F}_{q^n}^*$ 且 $k$ 不是 $p$ 的幂时。
• 将分散的技术——如迹函数操作、单位根置换准则与Gröbner基计算——统一为一个连贯的框架，以证明置换行为。
• 表明所观察到的置换多项式并非随机产生，而是源于深层的代数与数论结构。
• 证明绝大多数此类置换多项式均可由定理 1.1 中列出的九个族覆盖，仅存在少数例外情况超出这些族。

提出的方法

• 利用命题 2.2 将 $\mathbb{F}_{q^n}$ 上的置换性问题转化为集合 $\mu_{(q^n-1)/(q-1)}$（即 $(q^n-1)/(q-1)$ 次单位根）上的置换性问题。
• 通过有理函数与幂映射对迹条件进行重述，以简化情形 (a)–(d) 与 (g) 的验证。
• 采用基于多元多项式环中 Gröbner 基计算的 Dobbertin 方法变体，处理其他方法失效的情形 (e) 与 (f)。
• 在情形 (h) 中采用平方-非平方分解策略，通过仿射等价性关联到平面函数，证明多项式在两集合上分别置换。
• 在情形 (i) 中应用命题 2.2 的加法类比（命题 2.1），将置换条件简化为验证相关多项式在 $\mathbb{F}_q$ 上诱导的函数等价于 $X + c$。
• 在情形 (h) 中使用关键恒等式 $L(H(x^2)) = L(x)^2$，将平方与非平方上的行为与平方映射联系起来，从而实现直接的双射性验证。

实验结果

研究问题

• RQ1 在何种 $q$、$n$、$k$ 与 $\gamma$ 条件下，多项式 $X + \gamma \operatorname{Tr}_{q^n/q}(X^k)$ 会置换 $\mathbb{F}_{q^n}$？
• RQ2 尽管置换函数在所有 $\mathbb{F}_{q^n} \to \mathbb{F}_{q^n}$ 函数中密度很低，为何此类置换多项式仍大量存在？
• RQ3 何种结构性或数论性原因可解释此类置换二项式存在无穷多个族？
• RQ4 如何有效结合不同代数技术——如单位根置换、Gröbner 基与平面函数方法——以证明置换行为？
• RQ5 定理 1.1 中构造的族在多大程度上涵盖了所有非平凡的此类形式的置换多项式？

主要发现

• 当 $n=2$，$q \equiv \pm 1 \pmod{6}$，$\gamma = -1/3$，$k = 2q - 1$ 时，多项式 $X + \gamma \operatorname{Tr}_{q^n/q}(X^k)$ 在 $\mathbb{F}_{q^2}$ 上置换，其证明基于 $\mu_{q+1}$ 上的有理函数置换。
• 当 $n=2$，$q \equiv 5 \pmod{6}$，$\gamma^3 = -1/27$，$k = 2q - 1$ 时，多项式在 $\mathbb{F}_{q^2}$ 上置换，证明依赖于单位根上立方有理函数的行为。
• 当 $n=2$，$q \equiv 1 \pmod{3}$，$\gamma = 1$，$k = (q^2 + q + 1)/3$ 时，多项式在 $\mathbb{F}_{q^2}$ 上置换，原因在于幂映射 $X^N$ 置换 $\mu_{q+1}$。
• 当 $n=2$，$q \equiv 1 \pmod{4}$，$(2\gamma)^{(q+1)/2} = 1$，$k = (q+1)^2/4$ 时，多项式在 $\mathbb{F}_{q^2}$ 上置换，通过分别分析其在 $\mu_{q+1}$ 中平方与非平方上的作用实现。
• 当 $n=3$，$q$ 为奇数，$\gamma = 1$，$k = (q^2 + 1)/2$ 时，多项式在 $\mathbb{F}_{q^3}$ 上置换，通过两次应用命题 2.2 并模 $X^{q^2+q+1} - 1$ 简化得到。
• 当 $n=2\ell r$，$\gamma^{q^{2\ell}-1} = -1$，$k = q^\ell + 1$ 时，多项式在 $\mathbb{F}_{q^n}$ 上置换，通过证明相关加法多项式在 $\mathbb{F}_q$ 上诱导 $X + c$ 类型函数，依命题 2.1 保证成立。