🔢 mathematics

Short Salem polynomials

本文对长度为 5 的 Salem 多项式给出了完整分类，并在假设 Lehmer 猜想成立的前提下，通过识别 12 个无限族并列出 126 个具体例外，刻画了除有限个之外所有长度为 6 的 Salem 多项式，同时提供了小于最小 Pisot 数的 Salem 数所对应的短多项式的综合表。

原作者： James McKee, Chris Smyth

发布于 2026-05-20

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： James McKee, Chris Smyth

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

想象你是一名侦探，试图寻找能够解开一种非常特殊的数学锁的“最短”秘密代码。这些锁被称为萨勒姆数（Salem numbers）。

在这篇论文中，作者詹姆斯·麦基（James McKee）和克里斯·斯迈思（Chris Smyth）扮演了破译大师的角色。他们花费时间搜寻这些数字，但遵循一条非常具体的规则：他们只寻找“短”的代码（多项式）。

什么是“短”代码？

在数学世界中，多项式就像是由数字和变量（如 $z$ ）组成的食谱。这个食谱的“长度”并非取决于它包含多少种配料，而是其数字绝对值之和。

想象一个食谱： $z^{12} - z^7 - z^6 - z^5 + 1$ 。
其中的数字是 $1, -1, -1, -1, 1$。
如果你忽略负号并将它们相加（ $1+1+1+1+1$ ），那么长度就是 5。

作者希望找出每一个可以通过长度为 5 或 6 的代码解锁的“萨勒姆数”。

长度为 5 的谜团：“完美的 17"

首先，作者攻克了最短的可能代码：长度为 5。

规则：他们证明了你无法用短于 5 的代码制造出萨勒姆数。这就像试图只用 3 块砖盖房子；它根本立不起来。
发现：他们找到了恰好 17 个长度为 5 的独特代码。
结果：这 17 个代码解锁了 13 个不同的萨勒姆数。其中一个数字非常著名：它是迄今为止发现的最小的萨勒姆数（被称为勒梅尔数）。作者确认，不存在其他具有如此短代码的“隐藏”萨勒姆数。他们拥有一份完整的清单，且清单已终结。

长度为 6 的谜团：“无限家族”与“异类”

接下来，他们研究了长度为 6 的代码。这里的情节变得更加复杂。

1. 无限家族（铁轨）
他们发现，大多数长度为 6 的代码并非随机。它们属于 12 个无限家族。

类比：想象一条铁轨。一旦你找到了铁轨的模式，你就知道火车可以无限前行。这 12 个家族就像 12 条无限延伸的不同铁轨。你可以通过遵循这些特定模式，生成无限数量的萨勒姆数。

2. 零散的异类（流浪猫）
但是，并非所有长度为 6 的代码都符合这些轨道。有些是“零散”的——它们是独特的、一次性的代码，不遵循无限模式。

挑战：既然有无限多个数字，你怎么知道没有漏掉一只“流浪猫”？
解决方案：作者利用强大的数学工具证明，这些“异类”的数量只有有限个。
清单：他们成功找到并列举了 126 个这样的“流浪猫”代码。
- 注：他们找到了 116 个对应于小于著名数字“最小皮索数”（将其想象为数轴上的特定限速）的萨勒姆数的代码。
- 他们又找到了 10 个稍大一点的。
- 保留意见：他们说，如果一个著名的数学猜想“勒梅尔猜想”成立（大多数人相信它是成立的），那么我们的 126 个清单就是 100% 完整的。如果该猜想是错误的，可能还有极少数非常微小的数字隐藏在那里，但它们太小了，几乎看不见。

“皮索”联系

为了理解他们是如何发现这些无限家族的，作者使用了一个名为**皮索数（Pisot number）**的助手。

类比：将皮索数想象成一颗“种子”。如果你种下这颗种子，并使用一位名叫萨勒姆的数学家发现的方法培育一种特定类型的数学植物，它就会长成萨勒姆数。
作者表明，对于每一类特定类型的“种子”（皮索多项式），你都可以培育出一条无限的萨勒姆数线。他们详细记录了哪些种子能长出哪些线。

最终的藏宝图

论文以一张巨大的表格（表 4）结束。

这是一份所有已知小于最小皮索数的萨勒姆数的“名人录”。
对于每个数字，他们提供了解锁它的“最短代码”（多项式）。
他们还告诉你“次数”（代码有多复杂）和“短度”（数字之和）。

总结

简而言之，麦基和斯迈思已经：

完成了最短代码（长度为 5）的工作：恰好有 17 个。
绘制了次短代码（长度为 6）的地图：他们发现了 12 种无限模式和一份包含 126 个独特例外的具体清单。
创建了一份参考指南，涵盖了人类目前已知的所有小型萨勒姆数。

他们尚未发现这些数字在现实世界（如医学或工程）中的新用途；相反，他们仅仅解决了一个纯数学中的巨大谜题，确保对于这些特定的“短”代码，清单已尽可能完整。

技术摘要：短萨勒姆多项式

问题陈述
本文旨在根据“长度”对萨勒姆多项式进行分类，长度定义为多项式系数绝对值之和。萨勒姆数 $\tau > 1$ 是一个实代数整数，其伽罗瓦共轭（ $\tau$ 除外）的模至多为 1，且至少有一个共轭的模恰好为 1。萨勒姆多项式是萨勒姆数的极小多项式，可能乘以分圆多项式。作者聚焦于短长度的多项式，具体为长度 5 和长度 6。虽然已知长度 $\le 4$ 的首一互反整系数多项式均为分圆多项式，但萨勒姆多项式的最小长度为 5。本文旨在提供长度 5 的萨勒姆多项式的完整枚举，以及对长度 6 的多项式进行结构性分类。

方法论
作者结合了解析数论、代数运算和计算搜索算法：

解析界限与交错：对于长度 5，作者分析了在单位圆（ $z = e^{i\theta}$ ）上评估多项式所得的函数 $s(\theta)$ 。他们利用关于 $f(\theta)$ 和 $f'(\theta)$ 零点交错的引理 2.1，对 $s(\theta)=1$ 的解的数量进行界定。这使得他们能够证明，对于足够大的次数，多项式无法满足成为萨勒姆多项式的条件，从而将搜索范围限制在有限参数集内。
萨勒姆构造与皮索序列：对于长度 6，本文依赖于萨勒姆构造收敛于皮索数的萨勒姆数序列的方法。具体而言，对于不可约皮索多项式 $P(z)$ 和 $\epsilon \in \{-1, 1\}$ ，分析序列 $P_n(z) = z^n P(z) + \epsilon P^*(z)$ 。命题 2.5 主要基于博伊德（Boyd）的工作，确立了这些多项式在单位圆外拥有唯一零点（使其成为萨勒姆数或皮索数）的条件，并刻画了它们的分圆因子。
带有间隙界限的计算搜索：为了寻找长度 6 的零星（非家族）萨勒姆多项式，作者改编自文献 [10] 的算法，在特定区间 $[a, b]$ 内搜索互反多项式。他们利用冈萨维斯（Gonçalves）不等式和多布罗沃尔斯基（Dobrowolski）的下界来约束搜索空间。搜索涉及界定非零系数之间的“间隙”。当由于区间内中间多项式的零点导致间隙无法界定时，作者将其识别为对应于无限家族或特定零星情况的极限点。
分圆因子分析：作者利用结式和单位根的性质（引理 2.3）显式计算无限家族的分圆因子，从而确定所得萨勒姆数的极小多项式和次数。

主要贡献与结果

长度 5 的分类（定理 1）：本文提供了所有长度 5 的萨勒姆多项式的完整列表。恰好存在 17 个这样的多项式，对应 13 个不同的萨勒姆数。这些结果证实，不存在长度 5 且小于勒梅尔数（ $\lambda_0 \approx 1.176$ ）的萨勒姆数，这与文献 [7] 之前的发现一致，但提供了完备性的严格证明。
长度 6 的分类（定理 2）：作者证明，除有限个例外外，所有长度 6 的萨勒姆多项式都属于 12 个无限家族之一。这些家族由萨勒姆构造利用特定的皮索多项式（三项式和 $z-2$ $z - 2$ ）生成。
- 本文识别出 126 个萨勒姆数 $\ge 1.01$ 的“零星”长度 6 萨勒姆多项式。
- 其中，116 个对应于小于最小皮索数 $\theta_0 \approx 1.3247$ 的萨勒姆数，10 个大于 $\theta_0$ 。
- 这些家族的存在性和零星集合的有限性已得证，尽管 1.01 以下零星列表的完备性依赖于搜索可以任意接近 1 的假设（这在计算上不切实际）或勒梅尔猜想（Lehmer's Conjecture）的真实性。
家族中的分圆因子（定理 3 与命题 5.1）：本文详细阐述了 12 个无限家族的分圆因子。它提供了这些家族中萨勒姆数极小多项式的显式公式，表明对于大的 $n$ ，极小多项式的次数随 $n$ 线性增长，减去由分圆因子决定的周期性修正项。
综合表格：作者提供了：
- 表 1：17 个长度 5 的萨勒姆多项式及其对应的数。
- 表 2：126 个已知的零星长度 6 萨勒姆多项式（针对数 $\ge 1.01$ ）。
- 表 4：所有已知小于最小皮索数 $\theta_0$ 的萨勒姆数的汇编，列出它们的次数、短度以及最小次数的短多项式。这包括收敛于 $\theta_0$ 的序列 $\tau_n$ 和 53 个零星数。

意义
本文声称提供了首个长度 5 萨勒姆多项式的完整分类。对于长度 6，它确立了一种结构二分法：此类多项式的集合由有限个零星示例和可数无限家族组成。作者指出，他们列出的零星长度 6 多项式对于萨勒姆数 $\ge 1.01$ 是完备的。他们表示，虽然将此列表扩展到任意接近 1 的数在实践上不可行，但如果勒梅尔猜想（即 $\lambda_0$ 是最小的萨勒姆数）成立，则该列表将是完备的。这项工作通过显式的多项式构造，细化了对 1 附近萨勒姆数分布的理解，并阐明了萨勒姆数、皮索数与分圆因子之间的关系。

什么是“短”代码？

长度为 5 的谜团：“完美的 17"

长度为 6 的谜团：“无限家族”与“异类”

“皮索”联系

最终的藏宝图

总结

类似论文