🔢 mathematics

Aperiodicity and subword complexity in the binary expansion of powers of three

本文确立了 3 的幂次的二进制展开呈现出递增的非周期性，其中打破周期性的位置数量以 $\log m/\log\log m$ 的速度增长，并证明了对于足够大的指数，其低阶数字能够达到全子词复杂度。

原作者： Ralf Stephan

发布于 2026-07-17

📖 1 分钟阅读🧠 深度阅读

原作者： Ralf Stephan

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

数字的秘密生活：二进制模式之旅

想象你是一名试图在混乱城市中寻找规律的侦探。在数学的世界里，这座城市就是数字系统，而当数字以不同的语言书写时，呈现出的样子就是混乱。我们通常使用“十进制”说话，使用十个数字（0 到 9），但计算机使用的是“二进制”，一种仅由两个数字（0 和 1）组成的语言。当你把像 3 这样的数字不断进行自我乘方（3, 9, 27, 81，依此类推）时，你会得到一组增长极快的数列。如果你将这些巨大的数字写成二进制，它们看起来就像是长串且参差不齐的 0 和 1。

数学家们长期以来一直在思考：这些 0 和 1 的字符串是遵循某种隐藏的节奏，还是完全随机的？这个问题属于数论领域，数论研究的是整数深层且往往神秘的属性。这里的一个核心概念是“周期性”。把周期性模式想象成一种壁纸设计，每隔几英寸就会重复出现同样的图案。如果一个数字的二进制代码具有周期，这意味着在经过某个点之后，0 和 1 的模式会开始完美地自我重复，就像一段循环播放的歌曲。另一个重要的概念是“复杂度”，它衡量了一个模式中存在多少种不同的微小片段。如果一个字符串很简单，它的片段种类就很少；如果它很复杂，它就会拥有极其多样的片段。理解这些模式有助于我们观察像 3 的幂次方这样的数字究竟是真正的混沌，还是隐藏着某种我们尚未发现的秘密秩序。

论文的发现：二进制代码中的混沌

在这篇论文中，数学家拉尔夫·斯特凡（Ralf Stephan）研究了 3 的幂次（ $3^m$ ）的二进制展开。他提出了一个非常具体的问题：随着这些数字变得越来越大，它们的二进制位最终会进入一个重复的循环，还是会保持混乱且不可预测？

该论文证明了两件事，这两件事都证实了 $3^m$ 的二进制代码是令人愉悦的混沌，并且拒绝被简单的重复所驯服。

第一，“无循环”规则：
作者证明了，对于任何你可能尝试寻找的固定重复模式（例如，每 5 位重复一次或每 100 位重复一次的模式）， $3^m$ 的二进制代码最终都会打破该模式。这就像是你试图强迫一只野兽在完美的圆圈中行进；无论你等待多久，这只动物最终都会走出队列。论文表明，随着幂次 $m$ 的增大，二进制代码“打破”这种周期性的次数也会随之增加。具体来说，这些打破次数的增长率大约为 $\frac{\log m}{\log \log m}$ 。

用一个类比来说：想象 $3^m$ 的二进制位是一条长长的舞者队伍。如果你试图让他们跳一种重复的舞步（一个周期），论文证明了只要队伍变得更长，必然会有越来越多的舞者出错。论文计算出，随着数字的增大，这些“出错”的次数也会增加，这意味着舞蹈永远不会进入一种完美的、枯燥的循环。即使你在一个深度为 $m$ 的对数幂次的观察窗口内观察舞池，你也找不到完美的重复模式。

第二，“最大多样性”规则：
第二个发现是关于二进制代码中存在多少种不同的“块”。如果你取一段很小的二进制字符串（比如 10 位长），你能找到多少种不同的 0 和 1 的组合？论文证明了，对于足够大的 3 的幂次，长度为 $n$ 的不同块的数量至少为 $n + 1$ 。

用日常语言来说，这意味着在低阶层面，其二进制代码是“最大复杂度”的。它不仅仅是随机，它是“丰富地”随机。如果你有一个长度为 $n$ 的字符串，最简单的模式（如完美的循环）只会产生 $n$ 个不同的块。但 $3^m$ 至少有 $n + 1$ 个。这就像一副扑克牌，无论你怎么洗牌，它总能比被视为“不枯燥”所需的最低限度多出一手独特的牌。这证明了 $3^m$ 的低阶位在不趋于无穷大的前提下，具有尽可能多样且不可预测的特性。

我们有多确定？
作者对这些结果非常有信心。论文不仅仅是在猜测或模拟，它提供了严密的数学证明。其逻辑依赖于一个被称为“对数线性形式”的强大工具，它就像一把数学放大镜，用以展示如果这些模式是简单的，那么这些数字就必须变得不可能之小或产生矛盾。论文还提到，这些证明已通过名为 Lean 4 的计算机程序进行了形式化验证，该程序会复核每一个逻辑步骤以确保没有任何错误。因此，我们可以确定， $3^m$ 的二进制展开是非周期的，并具有全子词复杂度。

简而言之，这篇论文告诉我们，3 的幂次方是数字世界中的终极叛逆者。它们拒绝陷入可预测的节奏，且它们的二进制代码是一个由独特的、非重复的模式构成的宝库，并随着数字的增大而变得更加复杂。

技术摘要：3 的幂次的二进制展开中的非周期性与子词复杂度

问题陈述
本文研究了整数 $3^m$ 的二进制位（binary digits）的精细结构性质。虽然之前的研究已经证实，非零二进制位（ $s_2(3^m)$ ）以及“块”（相同数字的最大连续运行）的数量会随着 $m$ 的增加而趋于无穷大，但这些结果并未完全刻画这些数字的排列方式。具体而言，本文解决了两个空白：

非周期性（Aperiodicity）： $3^m$ 的二进制展开中是否存在长周期模式（周期为 $p$ 的运行）？先前的研究排除了长常数运行（周期 $p=1$ ），但对于固定周期 $p > 1$ 的行为尚不明确。
子词复杂度（Subword Complexity）： 由 $3^m$ 的低阶数字构成的有限二进制词是否表现出“全”复杂度（full complexity）？在无限词的语境下，Morse–Hedlund 定理指出，若子词复杂度 $p(n) \le n$ ，则意味着最终具有周期性。本文旨在确定 $3^m$ 的有限词是否满足 $p_{3^m}(n) \ge n+1$ （对于足够大的 $m$ ），从而有效地证明其在长度范围内并非“过于简单”或具有周期性。

方法论
证明过程依赖于超越数理论与组合词分析的结合：

对数线性形式（Linear Forms in Logarithms）： 核心引擎是关于代数数对数之线性形式的有效定理——Baker–Wüstholz 定理。本文利用该定理来建立“间隙原理”（gap principles）。其逻辑如下：如果 $3^m$ $3^{m}$ 的二进制展开中存在长周期片段，这将迫使一个特定的整数恒等式产生一个关于 2、3 以及辅助整数的非零对数线性形式 $\Lambda$ $Λ$ 。Baker–Wüstholz 定理提供了 $|\Lambda|$ $∣Λ∣$ 的下界，这与长周期窗口所暗示的极小值产生矛盾。
- 新颖性： 本文引入了一种新的 周期- $p$ 运行估计（引理 2.2）。经典的结论使用三项线性形式来限制常数运行，而本研究推导出了一个 四项线性形式，用以限制任意固定周期 $p$ 的周期性运行。
组合传播（Combinatorial Propagation）： 为了解决子词复杂度问题，本文采用了 Morse–Hedledund 定理的一个有限定量版本（引理 4.1）。该引理确立了：如果一个词的子词复杂度较低（长度为 $n$ 的不同因子至多为 $n$ 个），则它必须包含一个长周期因子。该周期因子随后被引入周期- $p$ 运行估计中，从而在足够大的 $m$ 时导出矛盾。
形式化验证： 本文中的所有定理和引理均已使用 Lean 4 证明助手进行了形式化验证。

主要贡献与结果

1. 周期- $p$ 运行的非周期性（定理 A）
本文证明了对于任何固定的周期 $p \ge 1$ ，破坏 $3^m$ 二进制展开 $p$ -周期性的位置数量 $B_p(3^m)$ 呈渐近增长。

结果： $B_p(3^m) \ge \frac{\log m}{\log \log m + C_p} - 2$ ，其中 $C_p > 0$ 为常数。
意义： 在 $3^m$ 的二进制展开中，不存在深度超过固定 $\log m$ 次幂的 $p$ -周期窗口。这将已知关于 $p=1$ （常数运行）的结论（Blecksmith–Filaseta–Nicol; Bugeaud–Kaneko）推广到了所有固定周期。

2. 全低阶子词复杂度（定理 B）
本文确立了由 $3^m$ 低阶数字构成的有限二进制词的子词复杂度下界。

结果： 对于每个长度 $n \ge 1$ ，复杂度函数满足对于所有足够大的 $m$ ，都有 $p_{3^m}(n) \ge n + 1$ 。
阈值： 该 $m$ 的阈值是有效的。当 $3^m$ 的位数线性增长 $M(3^m) \approx m \log_2 3$ 超过由周期- $p$ 运行估计得到的 $n^2 \log m$ 阶量级时，该阈值便会发生。
意义： $3^m$ 的有限词并非由于具有低复杂度而在意义上是最终周期的；它相对于其长度具有“全”复杂度，满足了防止无限词周期性的条件。

重要性与主张
作者声称这些结果从两个特定方向加强了对 3 的幂次二进制数字分布的理解：

扩展已知界限： 虽然 Stewart 定理及后续研究已经确立了 $3^m$ 具有稀疏数字较少且块较多的特性，但本文将非周期性结果从仅限于常数运行扩展到了任何固定周期 $p$ 。
有限与无限语境： 本文区分了其贡献与关于代数无理数（其具有无限展开）的研究。它首次针对单个 $3^m$ 的有限词，提供了关于数字变化和子词复杂度的定量结果。
最优性： 定理 B 被呈现为针对 $3^m$ 有限数字词的 Morse–Hedlund 定理的类比，处于“对数线性形式的最优解”。本文指出，证明每个词的超线性复杂度是一个独立且更难的问题，本文并未涉及。

这项工作依赖于 $3^m$ 的算术性质（通过 Baker 理论）与数字字符串的组合结构之间的相互作用，为 $3^m$ 固有的“无序性”或非周期性提供了有效的下界。

数字的秘密生活：二进制模式之旅

论文的发现：二进制代码中的混沌

类似论文