十杯马丁尼的赌约：一只量子蝴蝶五十年的诞生史

一、1974 年的德国，一台 40 磅重的计算器

1974 年的 Regensburg，多瑙河畔的巴伐利亚古城。Douglas Hofstadter 跟着他的博士导师从俄勒冈大学来到这里，本意是练德语。但他很快发现自己跟不上导师和一群理论物理学家同事的思路——他们围在黑板前证明定理，研究电子在晶格里受磁场作用时的能级。

Hofstadter 后来回忆："我运气好的一部分原因是我跟不上他们。他们在证明定理，但那些定理和问题的本质无关。"

他决定走一条更"土"的路。搬来一台 HP 9820A 台式计算器——这玩意儿重 40 磅，能编程做复杂运算。每天傍晚，他把参数输进去，让机器嗡嗡转一整夜。第二天早上回到实验室，纸带从机器里卷出来，上面打印着一行行数字——电子允许和不允许的能量值。

他用几页坐标纸粘成大图，拿毡笔在上面一格一格地点。同事们看他每天对着纸带发呆，觉得他在搞玄学。他们给他起了个外号叫 Rumpelstilzchen——格林童话里那个能把稻草纺成金子的小矮人。导师更不客气，说他在搞"numerology"（数字占卜），威胁要撤他的资助。

但他觉得图上浮现的东西不对劲。那是一只蝴蝶。

二、Cantor 集与电子的"允许能量"

要理解这只蝴蝶，得先回到 1883 年。

那一年，德国数学家 Georg Cantor 提出一个看起来像恶作剧的构造：拿一条线段，分成三等份，擦掉中间那段。现在你剩下两段，中间一个空隙。再对每一段做同样的事——擦掉中间三分之一。无限重复下去。

最后剩下什么？一堆散落在数轴上的"灰尘"——无穷多个点，但总长度为零。这就是 Cantor 集。它有一个诡异性质：自相似——把它的任何一小段放大，看起来和整体一模一样。这是人类历史上第一个被严格定义的分形。

Cantor 集在数学里是个"怪物"。它太破碎了，连续函数的那套工具对它失效。19 世纪末的数学家们把它当玩具，没人想到它会出现在物理世界里。

快进到 1974 年。Hofstadter 在解的是量子力学的核心方程——Schrödinger 方程。这个方程告诉你：一个电子在给定环境里，能拥有哪些能量。答案不是连续的——电子不能随便挑一个能量值，只能在某些"允许"的能级上存在。这就像楼梯：你可以站在第 3 级或第 4 级，但不能站在 3.5 级。

Hofstadter 关心的情况是：电子在一个二维晶格里（像石墨烯那样的蜂窝结构），外加一个垂直磁场。这里有个关键参数 α，定义为磁场强度乘以一个格子面积。α 描述了电子受到的"力"和晶格结构的耦合强度。

当 α 是有理数（能写成分数，比如 1/2、3/7）时，Schrödinger 方程能解，但很费劲——需要大计算器。当 α 是无理数（不能写成分数，比如 √2、π）时，那群德国物理学家完全不知道怎么处理。

Hofstadter 的做法是：先算有理数，看趋势。他让计算器跑了一堆分数 α 值，把允许能量画在坐标纸上。他发现当分数的分母越来越大（也就是 α 越来越接近无理数），允许能量之间的"空隙"越来越多，越来越碎。

他的直觉告诉他：当 α 真的是无理数时，允许能量会形成一个 Cantor 集。

三、1981 年的午餐与十杯马丁尼

1981 年，数学家 Barry Simon 和 Mark Kac 在一次午餐时聊到这个问题。

Simon 和 Kac 一直在研究"几乎周期函数"（almost-periodic function）。普通的周期函数（比如 sin(x)）会精确地重复自己。几乎周期函数则是一种"差一点就重复"的函数——它的图像看起来在某些地方非常接近地重复了，但永远不真的重复。

当 α 是无理数时，Hofstadter 关心的那个 Schrödinger 方程就变成了一个几乎周期函数。Simon 和 Kac 从这个角度独立得到了和 Hofstadter 一样的结论：允许能量形成 Cantor 集。

但他们也证不出来。

Kac 是个爱开玩笑的人。他说：谁能证明这个，我请他喝 10 杯马丁尼。

Simon 开始到处宣传这个赌约，问题就以"Ten Martini Conjecture"（十马丁尼猜想）的名字传开了。Hofstadter 自己后来写了那本拿普利策奖的奇书《Gödel, Escher, Bach》（哥德尔、艾舍尔、巴赫），在书里提到自己的蝴蝶时写道：如果哪天有人在实验里真的看到这只蝴蝶，"我会是世界上最惊讶的人"。

Kac 在 1984 年去世，没能等到证明。问题继续悬着。

四、2005 年的拼布被

2003 年，Svetlana Jitomirskaya 已经在这个问题上花了大半辈子。她几乎要放弃了——前一年，一个叫 Joaquim Puig 的竞争对手用她自己发明的技术，把猜想证明了一大半。她回忆说："我把自己踢了一脚。所有难的活都在我的证明里，结果他过来一个漂亮的论证就搞定了。"

这时一个 24 岁的巴西年轻人 Artur Avila 找到她，说想一起把剩下的情况证完。Jitomirskaya 当时的反应是："我告诉他这会非常难、非常耗时，而且没人在乎。"

但有人在乎。他们 2005 年把证明挂到 arXiv 上，后来发在数学界最顶级的期刊 Annals of Mathematics。Avila 后来因此拿了 2014 年的 Fields Medal（数学界的诺贝尔奖）。

他们自己兑现了那 10 杯马丁尼——"我们喝了不少庆祝饮料，包括马丁尼，"Jitomirskaya 说。

但这个证明有点美中不足。Avila 和 Jitomirskaya 用的是一种"拼布被"（patchwork quilt）的方法：不同的 α 值用不同的论证，最后缝在一起。每一块"补丁"都是精致的，但整体不优雅。

更糟的是，这个证明只对原始模型成立。原始模型做了简化假设——晶格是完美的，磁场是均匀的。现实世界没那么干净：原子排列比理想晶格复杂，磁场也有起伏。一旦你把方程改得更现实一点，证明就失效了。

Jitomirskaya 一直对此耿耿于怀："这总是让我不安。"

更让人不安的是：如果证明在更现实的情形下不成立，那这只蝴蝶——Cantor 集、Hofstadter butterfly——可能只是数学家脑中的玩具，一碰到现实就消失。

五、2013 年：蝴蝶在石墨烯里现身

2013 年 5 月，三个研究团队几乎同时宣布：他们在实验室里看到了 Hofstadter butterfly。

做法是这样的：把单层石墨烯放在氮化硼晶体表面。两种材料都有六边形结构，但晶格常数略有差异，叠在一起形成"Moiré 超晶格"——一种大尺度的周期性图案，就像两层纱窗叠在一起产生的花纹。这种超晶格的周期是几十纳米，比原子间距大得多，于是在实验室能实现的磁场下就能看到蝴蝶。

哥伦比亚大学团队在 35 特斯拉磁场下测量电导率，把电子密度对磁场强度作图——那只蝴蝶从数据里飞了出来。

Cory Dean，当时在纽约市立学院，说："能确认一个 40 年前的物理预测——它位于我们对低维材料系统理解的内核——这种机会很罕见，也极其激动人心。"

Hofstadter 自己成了"世界上最惊讶的人"。

对 Jitomirskaya 来说，这件事更让她坐立难安："突然之间，它从数学家的想象变成了一个实际的东西。这变得非常让人不安。"

她要解释它。

六、2025 年：藏在全球理论里的暗门

2019 年，一个叫葛凌锐（Lingrui Ge）的年轻人加入 Jitomirskaya 的小组。他被 Avila 这些年发展的"全局理论"（global theory）迷住了。

Avila 早就厌倦了拼布被式的证明。他想找一个统一框架：给几乎周期函数关联一个几何对象，研究这个对象的性质，就能反推出原函数的性质。这是一种"换层面解决问题"的思路——不在原方程里死磕，而是把它映射到几何世界里。

但全局理论有一个盲区。要证明 Ten Martini 猜想，数学家得先把 Schrödinger 方程变成它的"对偶方程"再解。Avila 的全局理论对原方程有用，但对对偶方程——大家都以为它无能为力。

葛凌锐怀疑：Avila 关联的那个几何对象，藏着比 Avila 自己以为的更多的信息。那些被忽视的几何性质，可能正好能照亮对偶方程。

他和 Jitomirskaya，加上南开大学的尤建功和周麒，重新诠释了 Avila 的几何对象，把它应用到对偶方程上。这一步把全局理论的力量放大了好几倍。

2025 年，他们发表了一个统一证明——一个证明解决所有版本的 Ten Martini 问题，包括更现实的情形。不再需要拼布被。

葛凌锐说："我们在全局理论背后发现了这个隐藏的谜团。它就像暗海上的一座灯塔，给我们指明了正确方向。"

他们已经用这个方法又解决了该领域的另外两个关键问题。他们说这只是开始。

七、为什么这件事重要

让我说三个层次。

第一层：数学和物理的"不合理有效性"。

1960 年，物理学家 Eugene Wigner 写过一篇著名的文章，叫《数学在自然科学中不合理有效性》。他困惑的是：数学是纯思维产物，物理是关于现实世界的经验科学，为什么这两者会如此精准地对应？

Hofstadter 蝴蝶是这种"不合理有效性"的一个极致案例。Cantor 集是 1883 年一个数学家为了气同行而构造的"怪物"。Schrödinger 方程是 1926 年为了解释原子光谱写的物理方程。这两者在 1974 年通过一台 40 磅重的计算器相遇，然后被证明是同一个东西。

这不是巧合。这是数学结构和物理结构之间某种深层的同构——几乎周期函数的几何性质，恰好对应了电子在磁场中的量子行为。

第二层：被忽视的洞察。

葛凌锐的突破不是来自新工具，而是来自对旧工具的重新凝视。Avila 的几何对象一直都在那里，所有人都觉得它对对偶方程没用。葛凌锐只是问了一句：真的吗？

这让我想到科学史上反复出现的模式。很多重大突破不是"新发现"，而是"重新看见"——把一个已经被大家习以为常的工具，换一个角度审视，发现它一直藏着一扇暗门。

AI 研究里也有这种模式。Transformer 架构里的注意力机制 2017 年就提出了，但直到 2024 年人们才发现，注意力矩阵里藏着" induction heads"——一种自发形成的归纳推理回路。架构没变，变的是看它的眼光。

第三层：拼布被 vs 统一证明。

Avila 和 Jitomirskaya 2005 年的证明是"拼布被"——能用，但不优雅，而且不能推广。2025 年的证明是"统一"——一个论证覆盖所有情况。

在 AI 系统设计里，我们也经常面对这个选择。一个 hack 能解决一个具体 case，但代价是：下一个 case 还得再 hack 一次。一个统一的抽象前期更难，但一旦想通了，后面所有 case 都自动解决。

Avila 自己早就看到了这一点——他厌倦了拼布被，发展全局理论就是为了找统一。葛凌锐把他的愿景完成了。

八、尾声

2025 年 8 月，Quanta Magazine 那篇报道的标题是："'Ten Martini' Proof Uses Number Theory To Explain Quantum Fractals"。

从 1974 年 Hofstadter 在 Regensburg 被叫 Rumpelstilzchen，到 2025 年葛凌锐找到全局理论里的暗门，整整 51 年。

Mark Kac 在 1984 年去世，没看到证明。Hofstadter 在 2013 年成了"世界上最惊讶的人"。Avila 拿了 Fields Medal。Jitomirskaya 等了 22 年，终于等到一个不需要拼布的证明。

那只蝴蝶从纸带上长出来，飞过 Cantor 的灰尘、Kac 的马丁尼、Avila 的几何对象，最后落在葛凌锐手里——

它不是被发现的，是被一层层看出来的。

参考来源：

• Quanta Magazine, "The Year in Mathematics", 2025-12-18
• Quanta Magazine, "'Ten Martini' Proof Uses Number Theory To Explain Quantum Fractals", 2025-08-25
• Physics World, "Hofstadter's butterfly spotted in graphene", 2013-05-15
• Avila & Jitomirskaya, "The Ten Martini Problem", Annals of Mathematics, 2009
• Ge, Jitomirskaya, You & Zhou, 2025