← 返回 PaperDaily
大模型与智能体
法国数学家最新证明：3的幂的二进制，想简单都难！
纯数学也能玩出花样！这篇法国斯特拉斯堡大学学者新作，把3的幂的二进制展开和组合词论绑在一起，证明“简单二进制表示”的3的幂只有有限多个。Schmidt子空间定理与Baker理论双武器联合，看懂证明思路就值回票价。
龙哥读论文
发布于 2026-08-27 00:20:10
阅读 1
查看原文
原论文信息如下：
如果问一个看起来人畜无害的问题：3的幂的二进制展开，能有多简单？估计大多数人会愣住——3的幂还有二进制展开？展开就展开呗，还能复杂到哪里去？
但就是这个看似简单的问题，从1973年至今，让数论学家们折腾了半个世纪。从最初的“非零数字个数趋于无穷”，到如今法国学者用组合词论和丢番图逼近的“重炮”轰出了新结论——3的幂想要“简单”，门儿都没有。
这篇论文的作者Yann Bugeaud是法国斯特拉斯堡大学及法国国家科研中心（I.R.M.A.）的资深数论学者，长期深耕数字表示、丢番图逼近与组合词论的交叉地带。他在这篇最新的预印本中，将“3的幂二进制展开是否简单”这个经典问题，翻译成了组合词论中关于“因子复杂度”的精确语言，并利用两套互补的丢番图逼近工具——Schmidt子空间定理与Baker理论——给出了一个相当彻底的否定回答。本文不打算复述论文的全部技术细节，而是希望沿着作者的证明主线，把“问题是怎么被翻译的”“两套工具各自扮演什么角色”“结论到底强在哪里、弱在哪里”这几个关键环节讲清楚。
3的幂二进制展开：一个看似简单却悬而未决的问题 先来做个小实验：3的1次方等于3，二进制是“11”；3的2次方等于9，二进制是“1001”；3的3次方等于27，二进制是“11011”；3的4次方等于81，二进制是“1010001”；如果继续写到3的6次方729，会是“1011011001”。这些0和1组成的串，长度不断增长，表面上好像看不出什么统一的简单规律。
但如果问题反过来问：3的幂的二进制展开，能不能“很简单”？比如只有有限个1，或者整体呈现出周期性的重复结构？答案似乎很自然地应该是“不能”，可要严格证明这一点，数学家们从1973年一直折腾到现在。
最初的结果来自Senge和Strauss在1973年的工作。他们证明：3的幂的二进制表示中，非零数字（也就是1）的个数随着幂指数变大而趋于无穷。换句话说，不可能用“只含固定有限个1”这种最简单的形式来表达3的幂。后来，Stewart在1980年利用Baker的对数线性型理论，把结论定量化：当指数m足够大时，3的m次方的二进制展开里，至少有 (log m)/(2 log log m) 个非零数字。虽然这个下界增长得非常缓慢，但已经足够说明问题——1的个数没有上限。
不过，这里所谓的“简单”只关注了非零数字的个数。如果把视野放宽一些，问一个更“文科”的问题：3的幂的二进制展开，整体上能不能呈现出某种“规律感”？比如像“10101010…”这样无限交替，或者像“100100100…”这样周期重复？这种问题就不能光数1了，需要用更精细的工具去刻画。本篇论文的作者Yann Bugeaud，来自法国斯特拉斯堡大学，正是选择了一个全新的视角——组合词论——来回答这个升级版的问题。
他把“简单”这个词，翻译成了组合词论中的“低因子复杂度”。在这个框架下，二进制展开被看作一个由0和1组成的有限词，而“简单”则对应着这个词只有非常少的连续子串类型。论文的核心结论很干脆：除了有限多个例外，3的幂的二进制展开不可能是Sturmian词——而Sturmian词是“最简单的非周期无限词”。换句话说，3的幂想要拥有“极简结构”的二进制展开，连门儿都没有。
这里需要特别指出的是，论文讨论的“二进制展开”并不局限于3的幂本身，而是把问题放在一个更一般的框架里：给定一个正整数x，它的b进制展开是一个有限词a0a1…an（其中a0≠0）。论文关心的是，当x的素因子全部来自某个给定的有限集合S时（即x是S-单位），它的b进制展开词能有多“简单”。3的幂对应的是b=2、S={3}的特例。这种推广并非为了炫技，而是因为证明过程必须依赖S-单位这一结构——只有把问题放到这个更宽的语境中，Schmidt子空间定理和Baker理论这两套数论工具才能自然地切入。
从Sturmian词到因子复杂度：组合词论视角的引入 要理解这篇论文，必须先搞清楚一个概念：因子复杂度。给定一个由有限个字母组成的无限序列a，它的因子复杂度函数p(ℓ, a)表示：在这个序列中，长度为ℓ的连续子串（称为因子）一共有多少种不同的类型。举个例子，对于无限词“01010101…”，当ℓ=2时，它只包含“01”和“10”两种因子，所以p(2)=2；ℓ=3时只有“010”和“101”两种，p(3)=2。可以猜到，这个词的因子复杂度不会跟着ℓ增长而变化。
Morse和Hedlund在1938至1940年间的经典工作揭示了因子复杂度的“分水岭”：如果某个无限词是（最终）周期的，那么它的复杂度函数p(ℓ, a)会是一个有界函数；反过来，只要这个词不是最终周期的，那么对于所有ℓ≥1，一定有p(ℓ, a)≥ℓ+1。这个看似简单的二分法，是整个符号动力学和组合词论的地基之一。
顺着这个二分法往下推：非周期词的最低复杂度是ℓ+1，那么有没有词能真的达到这个下界？有，它们就是Sturmian词。一个无限词s如果对所有ℓ≥1都满足p(ℓ, s)=ℓ+1，就说s是Sturmian词。这类词可以被理解为“最不像周期词的非周期词”，通常由无理斜率对应的旋转序列生成，比如著名的Fibonacci词：从“0”开始，反复执行替换规则0→01、1→0，生成的无限词“0100101001001…”就是典型的Sturmian词。一个有限词，如果它是某个Sturmian词的连续片段，就叫做有限Sturmian词。
现在可以正式陈述论文的第一个主要结果了，定理1.1：对于所有足够大的整数m，3^m的二进制展开词a0a1…an不可能是Sturmian词。这句话的分量在于：Sturmian词已经是非周期词里最“朴素”的了，它的因子复杂度只是最小的ℓ+1；如果连Sturmian都当不了，那就说明3^m的二进制展开必须拥有更复杂的内部结构。
证明的起点，是论文核心引理中的一个构造。设x是一个正整数，其b进制展开是有限词a0a1…a_n。可以定义u_x为最大的正整数u，使得展开式的前缀中存在两个长度为u的相同因子。如果这种重复结构出现，就可以把展开词的一段写成某个较短单词的幂，从而把“低复杂度”这一信息转换成“存在重复块”这一组合事实。后续的数论工具，就全部作用在这段重复块派生出的代数关系上。
这里值得多花一点篇幅解释“低复杂度”与“重复块”之间的等价关系。对于任意有限词w，如果它的因子复杂度满足p(ℓ,w)≤Cℓ（C为常数），那么当ℓ取到某个与C相关的阈值时，w中必然出现两个完全相同的长度为ℓ的因子。这个事实在组合词论中被称为“重复引理”，它并不难证明——抽屉原理即可——但却是整个论文的枢纽：它把“复杂度低”这种看似模糊的性质，转化成了“存在重复块”这种可以代入代数方程的刚性条件。论文的引理2.1正是这一思想的精确化表述，它给出了u_x（最大重复块长度）与因子复杂度之间的定量关系。
核心武器：Schmidt子空间定理与Baker理论的巧妙结合 接下来进入论文最硬核的部分。证明所使用的工具，一个叫Schmidt子空间定理，另一个叫Baker理论。两者都是丢番图逼近领域的“重炮”。Schmidt子空间定理于1970年代由Wolfgang Schmidt提出，是Roth定理在高维情形的深刻推广；而Baker理论则专注于对“对数线性型”给出有效的下界估计。有意思的是，这两个工具恰好拥有互补的性格：一个极其强大但无法给出具体界，另一个能给出界但适用范围较窄。
先看Schmidt子空间定理。论文使用的是Schlickewei在1977年建立的p-adic版本，它允许在不等式两边同时包含普通绝对值与多个p-adic绝对值。定理的结论可以直观地理解为：如果一个整数向量在各线性型取值下的乘积异常小，那么这样的向量不可能无限四散，而必然落在有限多个“真有理子空间”中。这就像说，极端的事情只会发生在极端特殊的方向上，不会在空间里到处乱长。
论文的巧妙之处，在于把“进制展开存在重复块”翻译成一个满足Schmidt定理条件的向量不等式。具体来说，对整数x，构造三元向量(x1, x2, x3)=(x·b^s, x, b^{n-r+1}f)，其中s是重复块的周期长度，r是重复出现的起始位置，f是由重复片段定义的整数。经过一系列代数变形（见原文第2.2节），可以得到等式b^s·x−x−b^{n−r+1}·f=g，其中g是一个绝对值很小的整数项。
当x的所有素因子都来自给定有限集S时（即x是S-单位），上述不等式左边的p-adic因子会变得非常小，使得整个乘积满足Schmidt定理的条件。于是，定理断言：所有这样的x只能落在有限多个真有理子空间里。再逐一排除这些子空间，最终就得到了矛盾。这就是定理1.2的证明骨架。
然而，Schmidt子空间定理有一个“阿喀琉斯之踵”：非有效性。它只告诉你“存在有限多个子空间”，却完全没有给出如何找到这些子空间、或者它们在哪个范围内。因此，凡是依赖它的结论，都只能得到“充分大之后一定成立”的存在性断言，而无法算出“充分大”到底是多少。这是整个论文最核心的局限性，也是把定理1.2称为非有效结论的原因。
为了弥补这种不足，论文对“更强重复结构”的情形换用了Baker理论。定理1.6考虑的是：如果S-单位的b进制展开可以写成某个词W的t次幂（允许末尾截断），即形如W^tW'的形式，那么t必须被某个有效可计算常数C所控制。Baker理论给出的对数线性型下界是可有效计算的，因此这里能够得到真正的数字上界。当然，代价是这种结构要求整段展开都是近似重复的块，比“低复杂度”条件严苛得多。
这里需要补充说明一下Baker理论的具体角色。Baker理论的核心是给出“对数线性型”的非零下界：给定代数数α1,…,αn和整数b1,…,bn，如果Λ=b1logα1+…+bnlogαn≠0，那么|Λ|大于某个可有效计算的常数乘以(某个关于高度和系数的函数)的负幂。在定理1.6的证明中，作者从重复展开的等式出发，构造了一个形如Λ的表达式，并利用Baker下界来限制重复指数t的大小。由于Baker下界中的常数都是可计算的，因此定理1.6给出的上界C也是可计算的。这正是它与定理1.2的本质区别。
主要定理解读：从有限性到S-单位的定量刻画 论文的主定理是定理1.2，它把结论从“3的幂”推广到了更一般的“S-单位序列”。这里需要先解释什么叫S-部分。设S={p1,…,ps}是一个非空有限素数集合，对任意非零整数m，把m中能被S内素数整除的部分提取出来，得到的乘积叫做m的S-部分，记为[m]_S。比如取S={2,3}，那么整数12=2²×3，它的S-部分就是12本身；而整数10=2×5，其S-部分是2。
定理1.2断言：给定整数b≥2、实数C≥2，考虑所有能由一个“因子复杂度至多Cℓ”的无限词生成的整数x_m（并要求x_m不被某个固定的b的幂整除），当m充分大时，x_m一定含有S以外的素因子。用一句话概括就是：复杂度受限的进制展开词，对应的整数不可能长期保持为S-单位。把b=2、S={3}代入，就得到了关于3的幂二进制表示的结论，也就是定理1.1。
定理1.2还有一个面向自动机理论的推论（推论1.3）。自动词可以被k-均匀态射迭代生成，其因子复杂度本身有线性上界。因此，定理1.2自动适用于自动词生成的数。推论1.3用精确的语言表述为：对任意固定正整数K，当m足够大时，3^m的二进制展开词不能由“k+D≤K”这种规模的均匀态射生成。换句话说，想用一台“麻雀虽小五脏俱全”的有限自动机来生成3的幂展开，同样是不可能的。
接下来的定理1.4是一个漂亮的量化改进。它不再只断言“不是Sturmian词”，而是更精确地指出：设a0a1…an是一个有限Sturmian词，x是对应的整数。那么当x足够大时，它的S-部分小于x^{3/4+ε}，这里ε是任意给定的正数。由于Sturmian词的因子复杂度已经是最小的线性级别，这个定理告诉我们：连最简非周期结构的数，其S-部分也不可能长得太大。
推论1.5把定理1.4进一步“翻译”成整除形式：若x是二进制展开为有限Sturmian词的足够大整数，则x不可能被3^{⌈n/2⌉}整除。这里的n是x的二进制最高次幂。想一下：3的幂要伪装成Sturmian展开的整数，其指数最多只能到n/2左右，再往上就会穿帮。这个结果，比单纯“不是Sturmian词”要定量得多。
最后是定理1.6。它考虑更特殊的“整段展开都由一个词重复而成”的情形，即展开词形如W^tW'，其中W'是W的前缀。定理说：若x是S-单位，其b进制展开具有这种形式，那么t≤C，其中C是一个仅依赖于S和b的有效可计算常数。值得强调的是，这是论文中唯一具有“可计算界”的结论，因为它完全建立在Baker理论之上，绕开了非有效的Schmidt子空间定理。
从定理1.2到定理1.6，论文呈现出一条清晰的“从存在性到定量化”的递进脉络。定理1.2和1.4依赖Schmidt子空间定理，给出的是“充分大后必然成立”的存在性断言；定理1.6则通过Baker理论，在更强的重复结构假设下给出了可计算的界。这种“双轨制”的安排并非作者的偏好，而是由两套工具的本质决定的：Schmidt定理强大但非有效，Baker理论有效但适用范围窄。作者在两者之间巧妙地分配了任务，让每套工具都在自己最擅长的场景下发挥作用。
方法局限与未来展望：非有效性的困境与潜在突破 这篇论文写得干净利落，但无法回避的软肋是“非有效性”。定理1.1和1.2都依赖Schmidt子空间定理，而这个定理在本质上是不具备可计算性的。它告诉你“存在一个阈值M，当m大于M时一定成立”，但完全不告诉你M到底有多大。你让计算机验证到10的6次方、10的9次方，甚至10的12次方，都没问题；但你无法在数学上证明“超过某个可计算的数之后依然正确”。
这种“知道一定存在，却无法指出在哪”的证明风格，在丢番图逼近领域并不罕见，但确实让实际应用者感到无力。论文自己也在结语中承认了这一点，并指出定理1.6是可以给出有效界的唯一结果。
未来可能突破的方向，论文也点到为止。例如作者推测，利用Luca、Ouaknine和Worrell最近的方法，应该可以证明：对任何ε>0，Fibonacci词前缀对应的整数，其3-部分至多等于x^ε。这将会是一个比定理1.4还要强得多的定量结果，因为Sturmian词本身的范围要大于Fibonacci词前缀。
另外作者还透露，结合连分数逼近的思想，同一套方法可以证明关于(3/2)^n小数部分连分数展开的一些有趣结论（比如不可能是回文），以及“有界部分商且子线性复杂度”的实数其收敛子分子分母的最大素因子趋于无穷等。这些后续工作如果完成，将会进一步展示组合词论与丢番图逼近交叉领域的生产力。
从更大的图景来看，这篇论文是对“暴力穷举式验证”的彻底反叛。它不依赖于任何算力，而是用深刻的数学结构，一步到位地解决无穷多个数的共性问题。虽然非有效性的阴影挥之不去，但正如作者所说，这更像是一盏探照灯——它没法照亮每一步路，却坚定地指出了方向。
对于普通读者来说，这篇论文最大的启示或许在于：一个看似“无聊”的算术问题——3的幂的二进制长什么样——竟然能牵引出如此深刻的数学结构。从Senge-Strauss的初等估计，到Stewart的Baker理论应用，再到Bugeaud的组合词论视角，每一步都让“简单”这个词的含义变得更加精确、更加丰富。也许，这就是纯数学的魅力所在：它不追求立竿见影的实用价值，却在不断追问“到底什么才算简单”的过程中，开辟出一片又一片意想不到的风景。
龙迷三问 这篇论文到底在解决什么问题？ 法国学者Yann Bugeaud最新证明：除有限多个例外，3的幂的二进制表示不可能具有Sturmian词等“简单”结构。这篇工作最值得看的点是什么？ 本文为纯理论数学论文，无实验部分。主要结果为定理1.1-1.6及其推论，通过严格的数学证明建立。这篇工作的边界或风险在哪里？ 优点：理论深度高，将组合词论与超越数论、丢番图逼近工具结合，结果具有一般性（可推广至任意基数、有限素数集）。缺点：证明依赖Schmidt子空间定理，非有效方法，无法给出有效可计算的界；结果仅为定性（有限性），未给出具体数值阈值。如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~
龙哥点评 论文创新性分数： ★★★★☆
利用p-adic Schmidt子空间定理与Baker对数线性形式理论，通过分析二进制展开中重复因子的结构，证明具有低复杂度（如Sturmian）二进制表示的3的幂仅有有限多个。实验合理度： ★★★☆☆
现有材料未完整覆盖数据划分、基线公平性和统计显著性，因此按中性评价处理。学术研究价值： ★★★★☆
利用p-adic Schmidt子空间定理与Baker对数线性形式理论，通过分析二进制展开中重复因子的结构，证明具有低复杂度（如Sturmian）二进制表示的3的幂仅有有限多个；更关键的是问题定义是否可复用到同类任务。稳定性： ★★★☆☆
现有材料未提供充分的极端条件、重复运行或扰动测试，稳定性暂按中性评价。适应性以及泛化能力： ★★★☆☆
现有材料未完整展示跨数据集、跨场景或分布外实验，泛化能力仍需进一步验证。硬件需求及成本： ★★★☆☆
现有材料缺少完整训练资源、参数量、显存和推理时延信息，成本暂按中性评价。复现难度： ★★★☆☆
现有材料未确认完整代码、配置、数据处理脚本和权重是否齐备，复现难度暂按中性评价。产品化成熟度： ★★★☆☆
论文验证以研究实验为主，真实部署中的时延、成本、维护和异常场景仍需补充验证。可能的问题： 证明依赖Schmidt子空间定理，非有效方法，无法给出有效可计算的界；结果仅为定性（有限性），未给出具体数值阈值。
主要参考文献
[1] Senge H G, Straus E G. PV-numbers and sets of multiplicity. Period. Math. Hungar. 3 (1973), 93–100. [2] Stewart C L. On the representation of an integer in two different bases. J. reine angew. Math. 319 (1980), 63–72. [3] Morse M, Hedlund G A. Symbolic dynamics. Amer. J. Math. 60 (1938), 815–866. [4] Schmidt W M. Norm form equations. Ann. of Math. 96 (1972), 526–551. [5] Schlickewei H P. The p-adic Thue-Siegel-Roth-Schmidt Theorem. Arch. Math. 29 (1977), 267–270. [6] Bugeaud Y, Kaneko H. On the digital representation of smooth numbers. Math. Proc. Cambridge Philos. Soc. 165 (2018), 533–540. [7] Matveev E M. An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II. Izv. Math. 64 (2000), 1217–1269. [8] Bugeaud Y, Evertse J-H. S-parts of terms of integer linear recurrence sequences. Mathematika 63 (2017), 840–851. *本文仅代表个人理解及观点，不构成任何论文审核或者项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击 "阅读原文"， 查看更多原论文细节哦！
3的幂再大也逃不过质因子的“五指山”，二进制想简单也难；数论的乐趣再深，也需同好一起分享！欢迎加入龙哥读论文粉丝群，
扫描下方二维码或者添加龙哥助手微信号加群 ：kangjinlonghelper。
一定要备注：研究方向+地点+学校/公司+昵称（如 数论+南京+北大+小龙人） ，根据格式备注，可更快被通过且邀请进群。群里不仅有AI、图像、机器人，还有纯数学的硬核脑洞等你来battle～
