🔢 mathematics

Orthomorphism Polynomials of degree $7$ over finite fields

本文在项凡 2019 年关于 7 次置换多项式分类研究的基础上，确定了特定阶有限域上 7 次正交变形多项式的完整列表，同时也确定了它们在其他某些情况下的不存在性。

原作者： Bhitali Kousik, Dhiren Kumar Basnet

发布于 2026-01-30

📖 1 分钟阅读🧠 深度阅读

原作者： Bhitali Kousik, Dhiren Kumar Basnet

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你是一位正在使用一套非常特殊的建筑积木工作的顶级建筑师。这些积木生活在一个被称为“有限域”的世界里，这就像是一个微小的、自给自足的宇宙，拥有固定数量的元素（比如 11、13 或 17）。在这个宇宙中，你有一个特殊规则：你只能使用存在于该特定宇宙中的数字。

你所询问的论文是一张由两位建筑师 Kousik Bhitali 和 Dhiren Kumar Basnet 绘制的详细地图。他们试图寻找一种非常特殊的结构，称为正交变换多项式 (Orthomorphism Polynomial)。

以下是他们所做工作的简单拆解以及他们的发现：

游戏的两个规则

要构建一个“正交变换”结构，你必须同时遵循两个严格的规则：

规则 A： 如果你将你的结构代入你宇宙中的每一个数字，输出结果必须是一个完美的洗牌。每个数字恰好出现一次，既没有重复，也没有遗漏。（在数学上，这被称为置换多项式 (Permutation Polynomial)）。
规则 B： 如果你将你的结构减去输入的原始数字，并观察这个新的结果，那么这个新结果也必须是该宇宙的一个完美洗牌。

如果一个结构通过了这两项测试，它就是赢家。如果它在其中任何一项上失败了，它就是输家。

挑战：“7 次方”高塔

作者们特别感兴趣的是构建特定高度的塔：7 次方 (Degree 7)。你可以把这想象成一个最高次幂为 $x^7$ 的多项式方程（例如 $x^7 + \dots$ ）。

他们想知道：“在哪些这些微小的宇宙（有限域）中，我们实际上可以建造出一个通过规则 A 和规则 B 的 7 次方高塔？”

侦探工作

作者们并没有靠猜测。他们结合了数学逻辑和计算机算力（具体使用了名为 SageMath 的程序）来扮演侦探的角色。

筛选器： 他们从之前的研究中得知，大多数 7 次方高塔在大多数宇宙中都是“不可能”建造的。因此，他们列出了一份需要检查的“候选”宇宙名单。
变换： 他们意识到许多高塔看起来不同，但实际上是相同的结构，只是经过了旋转或翻转（在数学上称为“线性变换”）。与其检查每一个变体，不如先检查“基础”版本，然后再计算存在多少种变体。
测试： 对于每个候选对象，他们运行了这两条规则。他们询问计算机：“这个多项式是否洗牌了这些数字？以及，这个多项式减去 $x$ 是否也洗牌了这些数字？”

重大发现

在检查了许多个宇宙后，他们发现了一个非常特定的模式。

“是”名单：
7 次方正交变换多项式仅存在于具有以下特定规模的宇宙中：

11, 13, 17, 19, 以及 25。

对于这些规模，他们不仅说了“是”，还写下了每一个可能的获胜结构的精确蓝图。

对于规模为 13 的宇宙，他们发现了正好 6,422 个独特的获胜结构。
对于规模为 11 的宇宙，发现了 7,260 个。
对于规模为 25 的宇宙，发现了庞大的 60,000 个。

“否”名单：
他们同时也证明了，在许多其他宇宙中，建造这样的结构是不可能的。

如果宇宙规模是 23 或 31，则不存在这样的结构。
如果宇宙规模是 49（即 $7 \times 7$ ），结构确实存在，但它们是“特殊”或“例外”的（这意味着它们的行为方式与在较小领域中发现的标准类型不同）。
如果宇宙规模是 27 或更大的 7 的倍数，他们发现不存在标准的结构。

“例外型”与“非例外型”

论文对两类获胜者进行了区分：

非例外型 (Non-Exceptional)： 这些是在规模 11, 13, 17, 19 和 25 中发现的“标准”获胜者。它们是本文的研究重点。
例外型 (Exceptional)： 这些是出现在较大领域（如 49）或特定条件下的稀有、特殊案例。作者们也将它们绘制了出来，并指出在像 $F_{49}$ 这样的领域中，所有 7 次方正交变换都是这种“例外”类型。

结论

简单来说，这篇论文是一份完整的目录。它告诉我们确切地在哪里可以找到这些特殊的 7 次方数学洗牌结构，以及它们长什么样。

如果你处于规模为 11, 13, 17, 19 或 25 的宇宙中： 你可以建造它们，并且这里有每一个的清单。
如果你处于规模为 23, 3 1 或 27 的宇宙中： 你无法建造它们（至少不是标准类型的）。
如果你处于规模为 49 的宇宙中： 你可以建造它们，但它们全都是“例外”类型，且数量接近 400 万个。

作者们基本上为这个特定的谜题为所有最常见的有限域画上了句号，为“这些特定的数学洗牌是否存在”这个问题提供了一个明确的答案。

技术摘要：有限域上 7 次正交置换多项式

问题陈述
本文研究了有限域 $\mathbb{F}_q$ 上 7 次正交置换多项式（Orthomorphism Polynomials, OPs）的分类。若多项式 $f \in \mathbb{F}_q[x]$ 满足 $f(x)$ 与 $f(x) - x$ 均为有限域 $\mathbb{F}_q$ 上的置换多项式（Permutation Polynomials, PPs），则称 $f(x)$ 为正交置换多项式。虽然 Neiderreiter、Robinson、Shallue 和 Wanless 等人的前人工作已经对次数小于 7 以及特定次数为 6 的完全置换多项式（CPPs）和正交置换多项式进行了分类，但 7 次正交置换多项式的显式形式及完整枚举在多种阶数的有限域下仍是一个悬而未决的问题。作者旨在确定 7 次非例外（non-exceptional）正交置换多项式的完整列表，并对例外情况进行部分特征化描述。

方法论
作者结合了理论分类结果与计算枚举方法：

通过线性变换进行简化： 本研究依赖于 Xiang Fan [2] 的工作，该工作确立了任何 $\mathbb{F}_q$ 上的 7 次 PP 都与归一化形式 $x^7 + \sum_{i=1}^5 f_i x^i$ 线性相关。两个多项式被称为“线性相关”，是指可以通过变换 $g(x) = af(bx+c)+d$ 将一个转化为另一个。
区分 PPs 与 OPs： 文中指出一个关键的方法论挑战在于：虽然线性变换保持了 PP 的性质，但它们并不一定保持 OP 的性质。因此，作者不能简单地检查一个归一化后的 PP 是否为 OP；相反，他们必须确定特定的缩放因子 $\alpha$ 和 $\beta$ ，使得 $\alpha f(\beta x)$ （及其平移）满足 OP 条件。
系统性枚举：
- 作者利用引理 2 [2] 识别出特定阶数（ $q \in \{11, 13, 17, 19, 23, 25, 31\}$ ）下所有非例外的 7 次 PP。
- 对于每个候选多项式族，他们构建了由条件 $h(x) = \alpha f(\beta x) - x$ 必须也是一个 PP（从而也与已知的归一化形式线性相关）所导出的方程组。
- 使用计算机代数系统 SageMath 求解这些方程组，以寻找有效的对 $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$ 。
- 利用引理 3 [5]，通过平移 $f(x+\gamma) + \delta$ 从有效的基多项式生成完整的 OP 集合。
- 引理 4 确保了不同的对 $(\alpha, \beta)$ 会产生不同的多项式，从而实现了精确计数。

主要贡献与结果

非例外 OP 的存在性与分类：
本文证明，当 $q > 7$ 时， $\mathbb{F}_q$ 上存在非例外正交置换多项式的充要条件是 $q \in \{11, 13, 17, 19, 25\}$ 。
- 显式列表： 作者为每个有效的 $q$ 提供了这些多项式的显式形式，并由对 $(\alpha, \beta)$ 参数化。
- 精确计数：
  - $\mathbb{F}_{11}$ ：7,260 个 OPs（20 个例外）。
  - $\mathbb{F}_{13}$ ：6,422 个 OPs（4 个例外）。
  - $\mathbb{F}_{17}$ ：4,624 个 OPs（全部为非例外）。
  - $\mathbb{F}_{19}$ ：4,332 个 OPs（4 个例外）。
  - $\mathbb{F}_{25}$ ：60,000 个 OPs（20 个例外）。
- 上述对于 $q=11, 13, 17$ 的计数与 Shallue 和 Wanless [7] 提供的数据完全一致。
不存在性结果：
研究确定了 $\mathbb{F}_{23}$ 和 $\mathbb{F}_{31}$ 上不存在 7 次 OP。此外，研究确认在 $q \equiv 6 \pmod 7$ （除 $q=13$ 外）的域中不存在 OP，这扩展了此前关于特征 2 域的研究结果。
例外多项式：
本文对例外 OP（即在无限个扩域上均为 PP 的多项式）进行了特征化。
- 对于 $\mathbb{F}_{49}$ （以及通常的 $\mathbb{F}_{7^t}, t \ge 2$ ），所有的 7 次 OP 均为例外多项式。
- 作者提供了 $\mathbb{F}_{49}$ 的显式特征化描述，指出其共有 3,937,640 个此类多项式。
- 研究表明，对于 $\mathbb{F}_{27}$ ，不存在 7 次 OP。

意义
本文声称完成了对所有存在 7 次正交置换多项式的有限域中，非例外正交置换多项式的分类。通过验证较小规模域下的计数并将其扩展到 $q=19, 25, 49$ ，作者填补了关于 7 次 OP 的文献空白。这项工作提供了这些多项式显式形式的确定性列表，这些形式在设计理论（特别是拉丁方构造）中具有重要意义。作者指出，未来的工作将涉及考察 $\mathbb{F}_{7^r}$ ( $r \ge 3$ ) 以及 $q \not\equiv 0, 1, 6 \pmod 7$ 且 $q > 31$ 的域，尽管他们预判在这些情况下可能只会发现例外多项式。