数学与量子交锋：中国数学家破解“十杯马天尼”谜题

长久以来，困扰数学与量子力学交叉领域的问题，因北大与南开数学家的共同努力，终于取得了突破性进展。

这一难题被形象地称为“十杯马天尼”问题（The Ten Martini Problem），其名称源自数学家马克·卡茨（Mark Kac）在1981年的一个提议，谁能解决此问题，便奖励对方十杯马天尼。

△

简而言之，“十杯马天尼”问题涉及量子系统能谱结构的猜想，即“几乎Mathieu算子”在所有无理数频率下的能谱为Cantor集。

其中，“几乎Mathieu算子”是位势为余弦函数的特殊薛定谔算子；而Cantor集，则是一种分形结构，形似“尘埃”，由无限分散的点组成。

在2004至2005年间，数学家Avila和Jitomirskaya给出了完整证明，Avila也因此荣获菲尔兹奖。但北大葛灵睿与南开尤建功两位数学家的加入，进一步推广了此结论：

不仅限于“几乎Mathieu算子”，在更广泛的“准周期算子”下，也成立类似的“十杯马天尼”性质，即能谱为Cantor集。

他们的工作不仅为这一经典问题提供了优雅统一的证明，更重要的是，将结论从理想模型推广至更广泛、更贴近真实物理系统的场景中。

但要全面了解“十杯马天尼”的故事，还需追溯至1974年。

从“计算器上的蝴蝶”诞生的物理学猜想

故事起源于道格拉斯·霍夫斯塔特（Douglas Hofstadter），一位在美国俄勒冈大学攻读物理博士学位的学生。

当时，他随导师前往德国雷根斯堡进行学术休假，并加入了一个由顶尖理论物理学家组成的研究小组。

（PS：五年后，他因撰写《哥德尔、艾舍尔、巴赫：集异璧之大成》一书而荣获普利策奖，成为享誉世界的思想家。）

研究小组的核心议题是一个基础且棘手的量子问题——

电子在规则排列的晶体中运动，同时受垂直磁场作用时，其能量会如何分布？

这个问题被称为“布洛赫电子在磁场中的能谱问题”。小组成员多采用严谨的理论推演，试图直接导出结论。

但霍夫斯塔特发现难以跟上同事们的数学思路，他回忆道：

某种程度上，我的幸运在于我跟不上他们。他们在证明定理，但那些定理似乎与问题的本质无关。

于是，霍夫斯塔特决定采用一种在当时看似“笨拙”的方法：数值计算。

他找到了一台惠普9820A台式计算器，这是一个介于计算器和早期计算机之间的设备。

他的计划是，不直接挑战最困难的理论情况，而是从简化的问题入手，通过大量计算来“看见”答案。

描述这一物理系统的核心工具是量子力学基石——薛定谔方程。

在这个特定问题中，方程解出的“能谱”即电子被允许拥有的能量值集合，其形态由关键参数α决定。这个参数α正比于磁场强度与晶格单位面积的乘积，它捕捉了外部磁场对电子运动影响的本质。

理论上，当α是有理数时，系统具有周期性；然而，当α是无理数时，系统变为“准周期”系统，求解成为巨大障碍。

霍夫斯塔特没有像同事们那样陷入无理数的理论困境。他选择从已知的有理数情况出发。他将计算器编程，自动计算出一系列有理数α值对应的能谱。

△

他将这些数据点绘制在一张巨大的坐标纸上。图的横轴代表电子的能量，纵轴代表参数α；每个α值对应图上的一条水平线，线上标记的点表示电子在该磁场强度下可以存在的能级。

随着有理数α越来越密集，一个令人叹为观止的图形逐渐显现。

在允许能级（黑点）之间，存在大片“禁带”（空白区域），其形状酷似展开翅膀的蝴蝶。

更奇妙的是，这只“蝴蝶”展现出清晰的分形特征：放大任何部分，其图案与整体极为相似，这种自相似性可无限延伸。

△

尽管同事们起初对这种“苦力活”不以为然，甚至导师也批评这是“数字迷信”，并威胁取消资助。但霍夫斯塔特坚信这幅图形背后隐藏着深刻的物理和数学真理。

“十杯马天尼”的悬赏

“霍夫斯塔特蝴蝶”猜想如同一颗投入湖面的石子，在数学物理学界激起层层涟漪。

几年后，数学家马克·卡茨和巴里·西蒙在研究“概周期函数”时，独立得出与霍夫斯塔特完全相同的结论。

这让猜想的可信度大增，但严格证明仍遥不可及。卡茨在1981年美国数学学会年会上半开玩笑地宣布，愿为任何能严格证明此猜想的人献上十杯马天尼。

“十杯马天尼”的突破

“拼凑的被子”与统一方法

“中国数学家破局了”

“One More Thing”