🔢 mathematics

Parry order of Parry numbers

本文引入了帕里数（Parry numbers）的帕里阶概念，证明了佩隆数（Perron numbers）具有无限个帕里幂当且仅当其为皮索特（Pisot）或萨勒姆（Salem）数，并据此建立了佩隆数的新分类体系，给出了帕里阶的显式上界及丰富的构造性示例。

原作者： Kevin G Hare, Hachem Hichri

发布于 2026-03-23

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Kevin G Hare, Hachem Hichri

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

这篇文章就像是在给一群特殊的数字（叫做佩隆数，Perron numbers）做“体检”和“分类”。为了让你更容易理解，我们可以把这群数字想象成一群**“魔法种子”**。

1. 核心概念：魔法种子与“完美果实”

想象你手里有一颗魔法种子（这就是一个佩隆数 $\beta$ ）。

如果你把这颗种子种下去，它会长出一棵大树。
这棵树上会结出很多果实，这些果实就是种子不断自乘的结果： $\beta^1, \beta^2, \beta^3, \dots$ （也就是种子的 1 次方、2 次方、3 次方……）。

在这个数学世界里，有一种特殊的果实叫做**“帕里果实”**（Parry numbers）。

帕里果实：这是一种非常“完美”的果实，它的生长规律（数学上叫 $\beta$ -展开）是有规律且会循环的。就像一首歌，唱到后面会重复之前的旋律，永远不会乱套。
非帕里果实：这种果实长出来就乱套了，它的生长规律是无限且不重复的，像是一串永远猜不到下一个音符的噪音。

2. 文章发现了什么？（“帕里阶数”）

作者们提出了一个非常酷的概念，叫**“帕里阶数”**（Parry Order）。
你可以把它理解为：这颗魔法种子最多能连续长出多少个“完美果实”？

情况 A：无限完美的种子（皮索特数和萨勒姆数）
有些种子（比如皮索特数和萨勒姆数）是“超级种子”。无论你怎么种（不管乘多少次方），它们长出来的果实永远都是完美的“帕里果实”。
- 比喻：这就像是一个拥有“无限续航”的永动机，永远能产出完美的产品。
- 结论：如果一颗种子能无限次产出完美果实，那它一定是这种“超级种子”。
情况 B：有限完美的种子（普通的佩隆数）
大多数种子（既不是皮索特也不是萨勒姆的佩隆数）比较“短命”。
- 它们可能刚开始能长出几个完美果实（比如 $\beta^1$ 是完美的， $\beta^2$ 也是完美的）。
- 但是，一旦种子的次数（幂次）超过某个界限，长出来的果实就会开始“发疯”（变成非帕里数），而且永远再也变不回完美果实了。
- 比喻：这就像是一个电池，刚开始电量很足（能产出完美果实），但用着用着电量耗尽，之后无论怎么折腾，都只能产出“次品”了。

3. 文章做了什么工作？

制定了分类标准：
作者把佩隆数分成了不同的“班级”（ $H_n$ ）。
- $H_\infty$ 班：超级种子（永远完美）。
- $H_0$ 班：一开始就发疯的种子（连 1 次方都不是完美果实）。
- $H_1, H_2, \dots$ 班：能坚持 $n$ 次，然后发疯的种子。
  这就把原本混乱的数字世界，整理得井井有条。
找到了“保质期”公式：
对于那种“短命”的种子，作者算出了一个公式，告诉你它最多能坚持多少步。这个公式取决于种子的“能量大小”（数学上叫马勒测度）。能量越大，它维持完美的时间可能越短。
发现了新物种：
以前大家以为，如果一个种子一开始就不完美，那它以后永远都不完美。但作者发现了一些**“先甜后苦”**的种子：
- 它们自己（1 次方）是“次品”（非帕里数）。
- 但是它们的平方（2 次方）竟然变成了“完美果实”（帕里数）！
- 再往后（3 次方、4 次方……）又变回了次品。
  这是人类第一次发现这种“先坏后好再变坏”的神奇种子。
构建了“无限家族”：
作者还构造了一大堆三次方程的根，发现这些种子的“保质期”可以无限长。也就是说，你可以找到一种种子，它能坚持 100 次完美，也可以找到一种能坚持 1000 次完美的。这证明了这些“有限完美”的班级里，藏着无穷无尽的秘密。

4. 为什么这很重要？（现实意义）

这就好比我们在研究**“为什么有些系统能长期稳定，而有些系统最终会崩溃”**。

连接过去与未来：这项研究把古老的数学猜想（比如关于“最小萨勒姆数”的勒梅问题）和现代的动力学系统（种子怎么生长）联系在了一起。
新的视角：以前我们只看数字长什么样（代数性质），现在我们看数字“怎么动”（动力学性质）。通过观察种子能坚持多久，我们反而能更深刻地理解这些数字的本质。

总结

简单来说，这篇文章就像是在给数字界的“种子”做寿命测试：

有的种子是永生者，永远完美。
有的种子是短命鬼，一开始就烂。
有的种子是昙花一现，能完美一会儿，然后彻底崩坏。
作者不仅给它们分了类，还找到了预测它们“保质期”的方法，甚至发现了一些以前没见过的“先坏后好”的奇怪种子。

这让我们对数学中那些神秘数字的“性格”有了更生动、更动态的理解。

这是一份关于论文《The Parry Order of Perron Numbers》（Perron 数的 Parry 阶）的详细技术总结。该论文由 Kevin G. Hare 和 Hachem Hichri 撰写，主要研究 Perron 数在幂运算下的动力学行为，特别是其与 Parry 数（Parry numbers）性质的关系。

1. 研究背景与问题 (Problem)

核心背景：

Perron 数、Pisot 数和 Salem 数： 这些是实代数整数，其共轭根的模长分布具有特殊性质。Pisot 数的所有其他共轭模长小于 1；Salem 数的其他共轭模长小于等于 1，且至少有一个在单位圆上；Perron 数则严格大于其所有其他共轭的模长。
Parry 数： 定义为使得 $1 $的$ \beta $-展开（$ \beta$-expansion）是有限或最终周期的实数 $\beta > 1$ 。Pisot 数已被证明都是 Parry 数，而 Salem 数是否为 Parry 数（Schmidt 猜想）及高次 Salem 数的性质仍是开放问题。
动力学视角： 已知 Perron 数集合在加法和乘法下封闭，因此对 Perron 数 $\beta$ 取幂 $\beta^n$ 仍为 Perron 数。然而， $\beta^n$ 是否保持为 Parry 数是一个复杂的动力学问题。

核心问题：
给定一个 Perron 数 $\beta$ ，其幂次 $\beta^n$ 何时是 Parry 数？

是否存在无穷多个 $n$ 使得 $\beta^n$ 是 Parry 数？
如果只有有限个，这个界限是多少？
如何根据 $\beta$ 的代数性质（如共轭根、Mahler 测度）来刻画这一行为？

2. 方法论 (Methodology)

论文结合了代数数论、动力系统理论（ $\beta$ -展开）和计算实验方法：

定义 Parry 阶 (Parry Order)：
引入新概念 $\text{Ord}_P(\beta)$ ，定义为使得 $\beta^n$ 为 Parry 数的最大整数 $n$ 。如果不存在这样的 $n$ ，则定义为 0；如果存在无穷多个，则定义为 $\infty$ 。
定义 Parry 谱 $\text{Spec}_P(\beta) = \{n \in \mathbb{N} \mid \beta^n \in \mathcal{P}\}$ 。
利用判别准则：
- Solomyak 准则： 如果 Perron 数 $\beta$ 有一个共轭根的模长大于黄金分割比 $\theta_0 = \frac{1+\sqrt{5}}{2}$ ，则 $\beta$ 不是 Parry 数。
- Boyd 准则： 利用伴随多项式（companion polynomial）的尾系数界限来判断。
- Akiyama 测试： 通过计算 Galois 共轭在 $\beta$ -变换下的轨道，若满足特定不等式则判定为非 Parry 数。
理论推导与界限估计：
利用 Mahler 测度 $M(\beta)$ 和共轭根的模长，推导出 $\text{Ord}_P(\beta)$ 的上界公式。
证明：若 $\beta$ 既不是 Pisot 也不是 Salem 数，则其共轭根中必有一个模长 $>1$ 。随着 $n$ 增大，该共轭根的 $n$ 次幂模长将超过 $\theta_0$ ，从而根据 Solomyak 准则， $\beta^n$ 最终不再是 Parry 数。
数值实验与构造：
- 对特定多项式族（如 $x^d - x - 1$ 和 $x^d - x^{d-1} - 1$ 的根）进行计算，验证猜想。
- 构造具体的三次非 Pisot 数族，展示其 Parry 阶可以任意大。
- 统计低次多项式生成的 Perron 数在不同 Parry 阶集合中的分布。

3. 主要贡献与结果 (Key Contributions & Results)

A. 理论刻画：Pisot/Salem 数的特征

命题 1.2： 一个 Perron 数 $\beta$ 有无穷多个幂次是 Parry 数，当且仅当 $\beta$ 是 Pisot 数或 Salem 数。

推论： 对于非 Pisot 且非 Salem 的 Perron 数，只有有限个幂次是 Parry 数。这建立了 Perron 数的动力学性质（幂次是否为 Parry）与其代数分类（Pisot/Salem）之间的等价关系。

B. 上界估计

定理 2.2： 对于非 Pisot 且非 Salem 的 $d$ 次 Perron 数 $\beta$ ，其 Parry 阶满足：
$\text{Ord}_P(\beta) \leq \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$
其中 $\theta_0$ 是黄金分割比， $M(\beta)$ 是 Mahler 测度。

这意味着，如果 $\beta$ 的共轭根模长较大（导致 $M(\beta)$ 较大），其 Parry 阶的上界会非常小。

C. Perron 数的新划分

基于 Parry 阶，作者将 Perron 数集合 $\mathcal{P}$ 划分为互不相交的子集 $H_n$ ：
$\mathcal{P} = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty$
其中 $H_n = \{ \beta \in \mathcal{P} \mid \text{Ord}_P(\beta) = n \}$ ， $H_\infty = \mathcal{S} \cup \mathcal{T}$ （Pisot 和 Salem 数）。

这一划分提供了研究 Parry 数分布的新视角。
证明了 $H_0$ （非 Parry 数）在 $(1, \infty)$ 中是稠密的。
提出了 $H_1$ （仅一次幂是 Parry 数）是否稠密的猜想，并给出了数值证据。

D. 具体实例与反例

首次发现： 论文提供了首个已知的非 Parry 数 $\beta$ ，其某些幂次（如 $\beta^2$ ）是 Parry 数，但更高次幂不再是 Parry 数的例子（见例 3.1）。这打破了以往认为非 Parry 数幂次很难成为 Parry 数的认知。
无界 Parry 阶： 构造了一族三次非 Pisot 数，其 Parry 阶可以任意大（见命题 3.13 和例 3.14）。这表明 $H_n$ 对于任意 $n$ 都是非空的。
多项式族分析：
- 对于 $x^d - x - 1$ 的根（ $d \geq 4$ ），猜想其所有幂次均非 Parry 数。
- 对于 $x^d - x^{d-1} - 1$ 的根，猜想其本身是 Parry 数，但 $k \geq 2$ 次幂非 Parry 数。

E. 与 Lehmer 猜想的联系

作者提出了一个强 Lehmer 猜想的动力学版本（猜想 1.6）：
如果 Perron 数 $\beta < \tau_{10}$ （最小的 Salem 数，约 1.176），那么 $\beta^n$ 只能是有限个 Parry 数。这暗示了最小 Salem 数在 Parry 数动力学行为中的临界地位。

4. 意义与影响 (Significance)

统一视角： 该研究将 $\beta$ -展开理论（动力系统）与代数数论（Pisot/Salem 数分类）紧密结合，揭示了代数整数幂次行为的深层规律。
解决开放问题： 首次明确给出了非 Pisot/Salem 数 Parry 阶有限的证明，并给出了显式上界。
新分类体系： 提出的基于 Parry 阶的划分（ $H_n$ ）为理解 Perron 数集合的结构提供了新的工具，特别是揭示了 $H_n$ 集合的丰富性和非空性。
对 Lehmer 问题的启示： 将 Lehmer 问题（关于多项式 Mahler 测度的下界）转化为关于 Perron 数幂次 Parry 性质的动力学问题，为寻找最小 Salem 数提供了新的思路。
计算与理论结合： 通过大量数值计算验证了理论界限的紧性，并发现了理论尚未完全覆盖的复杂现象（如 $H_n$ 的稠密性猜想）。

总结：
这篇论文通过引入"Parry 阶”这一概念，系统性地解决了 Perron 数幂次是否为 Parry 数的判定问题。它不仅证明了 Pisot 和 Salem 数在 Parry 性质下的唯一稳定性，还揭示了非 Pisot/Salem 数在有限次幂内表现出的丰富动力学结构，为代数数论和动力系统领域的交叉研究做出了重要贡献。