[论文解读] Permutation polynomials of finite fields

Christopher J. Shallue|arXiv (Cornell University)|Nov 23, 2012

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

一句话总结

本文重构了有限域上六次置换多项式的分类，解决了迪克森1897年分类中长期存在的模糊问题。通过结合迪克森的工作与近期成果，确认了六次置换多项式分类的完备性，证实了奇数大q下的卡尔茨猜想，并提供了对马伦猜想广义形式的反例，进一步明确了使得n次多项式无法接近置换多项式的条件。

ABSTRACT

Let $\mathbb{F}_q$ be the finite field of $q$ elements. Then a \emph{permutation polynomial} (PP) of $\mathbb{F}_q$ is a polynomial $f \in \mathbb{F}_q[x]$ such that the associated function $c \mapsto f(c)$ is a permutation of the elements of $\mathbb{F}_q$. In 1897 Dickson gave what he claimed to be a complete list of PPs of degree at most 6, however there have been suggestions recently that this classification might be incomplete. Unfortunately, Dickson's claim of a full characterisation is not easily verified because his published proof is difficult to follow. This is mainly due to antiquated terminology. In this project we present a full reconstruction of the classification of degree 6 PPs, which combined with a recent paper by Li \emph{et al.} finally puts to rest the characterisation problem of PPs of degree up to 6. In addition, we give a survey of the major results on PPs since Dickson's 1897 paper. Particular emphasis is placed on the proof of the so-called \emph{Carlitz Conjecture}, which states that if $q$ is odd and `large' and $n$ is even then there are no PPs of degree $n$. This important result was resolved in the affirmative by research spanning three decades. A generalisation of Carlitz's conjecture due to Mullen proposes that if $q$ is odd and `large' and $n$ is even then no polynomial of degree $n$ is `close' to being a PP. This has remained an unresolved problem in published literature. We provide a counterexample to Mullen's conjecture, and also point out how recent results imply a more general version of this statement (provided one increases what is meant by $q$ being `large').

研究动机与目标

• 解决迪克森1897年对有限域上次数≤6的置换多项式分类中的不一致与漏洞。
• 以严谨、现代的方式重构有限域上六次置换多项式的分类。
• 证实奇数、足够大的有限域下卡尔茨猜想的有效性。
• 研究并否定马伦关于‘接近’置换多项式的多项式之广义猜想。
• 分类有限域特征为3的六次正交多项式。

提出的方法

• 使用现代代数术语与工具（特别是有限域算术及模 $x^q - x$ 的多项式约化）重构迪克森原始分类。
• 应用赫尔米特准则及其他已知的置换多项式判定准则，验证并分类 $F_q$ 上的六次PP。
• 利用卡尔茨插值公式将 $F_q$ 上的任意函数表示为次数 ≤ $q-1$ 的唯一多项式，从而实现系统性分析。
• 采用线性变换与归一化技术，将分类问题简化为标准形式。
• 通过分析 $f(x) - x$ 的结构来确定正交多项式，利用 $F_{3^2}$ 与 $F_{3^r}$（$r > 2$）的域特有性质。
• 通过分析 $F_{3^2}$ 与 $F_{3^3}$ 中的系数约束与域结构，构造出马伦猜想的显式反例。

实验结果

研究问题

• RQ1 迪克森1897年对有限域上次数≤6的置换多项式的分类是否完备且正确？
• RQ2 卡尔茨猜想——即在奇数、足够大的有限域上不存在偶数次置换多项式——是否成立？
• RQ3 马伦的广义猜想（声称在大奇数有限域上，不存在偶数次多项式‘接近’置换多项式）能否被验证或否定？
• RQ4 $F_{3^2}$ 与 $F_{3^r}$（$r > 2$）上六次置换多项式与正交多项式的完整集合是什么？
• RQ5 系数与域特征的哪些条件允许一个六次多项式成为置换多项式或正交多项式？

主要发现

• 有限域上六次置换多项式的分类已完全重构并确认，解决了迪克森原始工作中存在的模糊问题。
• 卡尔茨猜想得到证实：对于奇数、足够大的 $q$，不存在偶数次置换多项式。
• 构造出马伦广义猜想的反例，表明在某些 $q$ 下，偶数次多项式可以‘接近’置换多项式。
• 本文证明：六次正交多项式存在于 $F_{3^2}$ 上，但不存在于 $F_{3^r}$（$r > 2$）上，并为 $F_{3^2}$ 提供了完整的分类。
• 列出了多种 $q$（包括 $q = 3^2$、$q = 7$、$q = 9$ 与 $q = 11$）下六次PP的显式标准化形式，附带系数与域元素的条件。
• $F_{3^2}$ 上六次PP的分类包括五个不同的族，由 $a eq 0$ 及附加参数 $b$、$ heta$ 和 $ heta = ext{根 of } x^2 - 2$ 参数化，且具有特定的系数约束。