🔢 mathematics

If a machine did it, it is probably transcendental (even $p$ -adically)

本文证明了由广义自动、周期或回文词生成的连分数所构成的 $p$ 进数，要么是次数至多为 2 的代数数，要么是超越数，从而将实数域中的关键结果扩展到了 $p$ 进数领域。

原作者： Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

发布于 2026-07-14

📖 1 分钟阅读🧠 深度阅读

原作者： Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

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

想象一下，你拥有一台神奇的机器，它能将一个数字分解成一段长长的、无穷无尽的符号序列，就像一段秘密代码。在实数世界（即我们用来测量披萨块的那种数字）中，数学家们早就知道，如果这段代码遵循一种简单的、重复的模式，那么这个数字通常是“特殊的”（比如 $\sqrt{2}$ ）。但如果代码是杂乱且混沌的，那么这个数字很可能是“超越数”——这是一个高级词汇，用来形容那些如此狂野且复杂，以至于无法用任何简单的代数方程来描述的数字。

现在，想象另一种不同的数字系统，叫做 p-adic 数。你可以把它们想象成生活在一个奇特、颠倒宇宙中的数字，在这个宇宙里，一个数字的“大小”取决于它能被特定的质数（如 3、5 或 7）整除的程度，而不是它在直尺上看起来有多大。在这个宇宙中，将数字分解成代码（称为连分数）的规则要模糊得多。这里不存在仅仅一种方法；而是有无数种方法，而且长期以来，没人知道同样的“简单代码 = 特殊数字”的规则是否也适用于这里。

重大发现
在这篇论文中，Laura Capuano 及其团队在混乱的 p-adic 代码世界与严谨的代数世界之间架起了一座桥梁。他们提出了一个简单的问题：“如果一台机器使用具有特定结构化模式（例如重复区块或镜像部分）的代码来生成一个 p-adic 数，那么这个数是一个简单的‘二次’数，还是一个狂野的‘超越数’？”

他们的回答是一个肯定的 “是”。他们证明了，如果代码遵循这些特定的模式（他们称之为“属性 ♠”和“属性 ♣”），那么生成的数字绝不会是一个次数为 3 或更高的复杂代数数。这是一个非黑即白的情况：该数字要么是简单的（次数为 2 或更低），要么是超越数。不存在中间地带。

他们排除了什么
该论文明确反对了这样一种观点，即可以在这些有结构的编码中找到隐藏的“复杂”代数数（那些需要复杂方程才能求解的数字）。

“不太可能相交”的论点： 作者解释说，有结构的编码是稀有的，就像在所有可能的乱码图书馆中寻找一个特定的句子。高次数的代数数也是稀有的。论文指出，除非代码极其简单（有限或完美重复），否则这两个稀有群体极不可能相遇。
“机器”的极限： 他们展示了，即使你使用一台机器（有限状态机）来生成代码，或者代码具有“低复杂度”（意味着它没有太多不同的模式），你也找不到那些棘手的、高次数的代数数。如果代码的结构足以使其变得有趣，那么它所产生的数字要么太简单，要么太狂野，而不属于那种特定的“中间”类型代数数。

他们有多确定？
作者们不仅仅是在猜测或进行模拟；他们证明了这一点。

他们使用了一个强大的数学工具，叫做子空间定理（这是对施密特著名的定理的一个 p-adic 版本）。你可以把这个定理想象成一个超灵敏的探测器，它能分辨出一个数字是否被过于完美地近似为简单的分数。
他们表明，如果代码具有正确的结构，那么该数字会被一系列更简单的数字如此完美地近似，以至于它必然是二次数或超越数。
他们的证明对于任何 p-adic 阶函数（即机器用来选择下一个符号的规则）都成立，只要这些符号在特定的 p-adic 意义下不是太小即可。他们甚至给出了这些符号需要有多大的精确公式（涉及像 $p^k$ 这样的常数）来使证明生效。

“机器”的比喻
把 p-adic 数想象成一首歌。

如果这首歌是一个简单的、循环往复的片段，它就是“二次”数。
如果这首歌是纯粹的混沌，它就是“超越数”。
论文证明了，你不可能拥有一首既是复杂的、非重复的旋律（比如遵循严格规则的爵士即兴演奏），同时又是“中间地带”的代数数。如果旋律遵循作者发现的特定“结构化”规则，这首歌要么会坍缩为一个简单的循环，要么会变成彻底的混沌。

为什么这很重要
在此之前，我们只知道这条规则适用于实数。在 p-adic 世界中，情况很混乱，因为构建“阶函数”（机器的规则书）的方法有很多种。这篇论文说：“无论你选择哪本规则书，只要代码具有这些特定的模式，结果都是一样的。”它将 Bugeaud 在实数世界中的著名成果扩展到了 p-adic 世界，填补了我们对数字与模式如何在这些奇异数学宇宙中相互作用的理解空白。

简而言之：如果一台机器通过结构化的、重复的或镜像的编码来构建一个 p-adic 数，那么这个数要么是简单的，要么是超越数。那里不存在隐藏的“中间”代数数。

技术摘要：“如果是由机器生成的，它很可能是超越数的（即使在 p 进数意义下也是如此）”

问题陈述
本文研究了其连分数展开对应于特定类别的词的 $p$ 进数的代数性质。虽然实数集 ( $\mathbb{R}$ ) 中的连分数在词的组合结构与数的代数属性之间提供了成熟的桥梁（例如，通过拉格朗日定理将周期词与二次无理数联系起来），但 $p$ 进数集 ( $\mathbb{Q}_p$ ) 的研究面临着显著的结构性挑战。

核心问题在于：具有“结构化”词（周期词、自动词或回文词的推广）的集合，是否对应于 $\mathbb{Q}_p$ 中次数大于 2 的代数数。在实数情形下，Bugeaud 和 Adamczewski-Bugeaud 的结果表明，此类结构化词通常产生超越数，唯一的代数例外是二次（周期性）或有理数。作者旨在建立一个类似的 $p$ 进数结果，通过克服缺乏规范地板函数（floor function）以及缺乏完整的 $p$ 进拉格朗日定理类比这一难题。

方法论
作者借鉴了 Bugeaud 在实数设置中所使用的策略，利用 $p$ 进子空间定理（特别是 Schlickewei 版本）作为主要工具。其方法论流程如下：

词类别： 研究聚焦于由 Bugeaud 定义的两种周期词的推广：
- $\spadesuit$ -词： 包含形式为 $W_n U_n V_n U_n$ 前缀（重复块）的词。
- $\clubsuit$ -词： 包含形式为 $W_n U_n V_n \tilde{U}_n$ 前缀（回文块，其中 $\tilde{U}_n$ 是 $U_n$ 的反转）的词。
  这些类别包含了自动词和低复杂度词。
逼近策略： 核心思想是利用词的重复或回文结构来构造逼近数 ( $\alpha_n$ )，这些数要么是二次数，要么是有理数。
- 对于 $\spadesuit$ -词，作者构造了具有周期连分数的 $\alpha_n$ 。
- 对于 $\clubsuit$ -词，作者构造了具有回文连分数的 $\alpha_n$ 。
  由于原始数 $\alpha$ 与逼近数 $\alpha_n$ 在连分数展开中共享一个长公共前缀，因此它们在 $p$ 进度量下极其接近。
应用子空间定理： 作者定义了涉及 $\alpha$ 和连分数（continuants） $A_n, B_n$ 的特定线性型。他们证明，如果 $\alpha$ 是次数 $\ge 3$ 的代数数，那么由结构化词提供的逼近质量将违反 $p$ 进子空间定理所规定的界限。这导致了一个矛盾，从而意味着 $\alpha$ 不可能是 3 次或更高次数。
处理 $p$ 进特性： 技术工作的显著部分在于管理非规范的 $p$ 进地板函数 ( $s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$ )。作者对部分商（partial quotients）施加了温和的条件（特别是关于其 $p$ 进范数和欧几里得范数的限制），以确保收敛性和子空间定理的适用性。

主要贡献与结果
本文的主要贡献是 定理 1.4（以及其显式版本，定理 4.1 和 4.3），该定理指出：

设 $p$ 为奇素数， $s$ 为 $p$ 进地板函数。若 $\alpha = [0, a_1, a_2, \dots]_s$ 是一个其关联词满足条件 $\spadesuit$ 或 $\clubsuit$ （带有关于连分数增长和部分商大小的具体界限）的 $p$ 进数，则 $\alpha$ 要么是有理数，要么是二次数，要么是超越数。

具体发现包括：

实数结果的推广： 这为 Bugeaud 的实数定理 1.3 提供了 $p$ 进类比，将“不寻常交集”（unlikely intersections）的哲学扩展到了非阿基米德设置。
推论 1.5： 该结果适用于 Ruban 和 Browkin 的经典 $p$ 进连分数算法，前提是部分商满足特定的 $p$ 进绝对值下界（例如，对于具有重复性的 Ruban 函数， $|a_n|_p \ge p^4$ ）。
推论 1.6： 该结果适用于有限字母表上的自动序列（特别是在 $\{n/p, m/p\}$ 上），表明对于足够大的 $p$ ，所得的 $p$ 进数要么是有理数，要么是二次数，要么是超越数。
条件的精细化： 作者在定理 4.1 和 4.3 中提供了显式常数 ( $C_\infty, C_p, k$ )，这些常数定义了保证超越性所需的关于部分商的精确阈值。

意义与主张
作者声称，这项工作在负面回答了问题 1.1（即结构化词是否可能对应于次数 $>2$ 的代数数）对于一类广泛的词。

克服结构性困难： 论文强调， $p$ 进情况比实数情况更复杂，因为存在无穷多种地板函数的选择，且缺乏通用的拉格朗日定理。作者的结果具有重要意义，因为它们对于任何满足温和有界条件的 $p$ 进地板函数都成立，而不局限于特定的构造。
跨领域连接： 这项工作强化了词组合学与数论之间的深层联系，证明了即使在缺乏实数地板函数之规范属性的情况下，周期词（代数次数 2）与一般词（超越数）之间的“间隙”在 $p$ 进领域依然存在。
谦逊态度： 作者指出，虽然其结果涵盖了 $\spadesuit$ 和 $\clubsuit$ 词（包括自动词），但关于是否所有低复杂度词都产生超越数的问题在一般意义上仍然是一个开放问题，因为将定理 2.1（将低复杂度与 $\spadesuit$ 联系起来）直接类比到 $\clubsuit$ 词的理论尚未建立。

总而言之，本文确立了“机器”（生成自动词的有限状态机）产生的结构化 $p$ 进连分数通常产生超越数，而唯一的代数例外是次数最多为 2 的数。

类似论文