困扰数学和量子力学交叉范畴长达半个世纪的难题开云(中国)Kaiyun·体育官方网站-登录入口，因为北大、南开数学家的参与，终于是有了较为无缺的谜底。
这个难题有个非常兴致兴致的名字，叫作念"十杯马天尼"（The Ten Martini Problem）。
之是以叫这个名字，是因为数学家马克 · 卡茨（Mark Kac）在 1981 年暗示，谁能科罚这个问题，就请对方喝十杯马天尼。
图源：QuantaMagazine
要是简便来描摹，十杯马天尼问题是对于量子系统能谱结构的一个意想，它断言"简直 Mathieu 算子"（Almost Mathieu operators）在扫数乖谬数频率下的能谱是 Cantor 集。
其中，"简直 Mathieu 算子"是位势为余弦函数的极端薛定谔算子；Cantor 集，则是一种分形结构（看起来像"尘埃"，莫得区间，唯有无限分散的点）。
自然在 2004 年至 2005 年时分，数学家 Avila 和 Jitomirskaya 最终给出了完整解说，即"简直 Mathieu 算子"的能谱等于 Cantor 集（Avila 自后也因此获取了菲尔兹奖）。
但跟着两位中国数学家（北京大学葛灵睿、南开大学尤立功）加入 Jitomirskaya 的研究，他们进一步实践了这个论断：
不单是是"简直 Mathieu 算子"，在更大类的"准周期算子"（quasiperiodic operators） 下，也种植访佛的十杯马天尼性质，即能谱是 Cantor 集。
他们的职责不仅为这个经典问题提供了一个前所未有地优雅、调处的解说，更症结的是，将论断从一个高度联想化的模子实践到了更等闲、更接近真什物理系统的场景中。
但要完整了解对于十杯马天尼的故事，咱们还需要记忆到1974 年。
从"计较器上的蝴蝶"出身的物理学意想
故事的缘故还要从一个叫作念说念格拉斯 · 霍夫斯塔特（Douglas Hofstadter）的东说念主提及。
其时，他还只是别称在好意思国俄勒冈大学攻读博士学位的物理系学生，那一年，他奴隶导师赶赴德国雷根斯堡进行学术放假，并加入了一个由顶尖表面物理学家构成的研究小组。
（PS：五年后，他将因撰写《哥德尔、艾舍尔、巴赫：集异璧之大成》一书而荣获普利策奖，成为一位享誉寰宇的想想家。）
小组的中枢议题是一个基础而又难办的量子问题——
当一个电子在规则枚举的晶体（晶格）中畅通，况且同期受到一个垂直磁场的作用时，它的能量会呈现出奈何的踱步景色？
这个问题在物理学上被称为"布洛赫电子在磁场中的能谱问题"。小组的物理学家们遍及采用的是严谨而概述的定理推演，试图从表面上径直导出最终论断。
但霍夫斯塔特发觉我方很难跟上同寅们高妙的数学想路，他回忆说念：
从某种进度上说，我的庆幸在于我跟不上他们。他们在解说定理，但那些定理似乎与问题的骨子无关。
于是，霍夫斯塔特决定独辟门道，选用一种在其时看来颇为"顽劣"的实验特性式：数值计较。
他找到了一台惠普 9820A 台式计较器，这是一个重达近 40 磅、功能介于计较器和早期计较机之间的开辟。
他的操办是，不去径直挑战最繁难的表面情况，而是节约化的问题动手，通过大批的计较来"看见"谜底。
描摹这一物理系统的中枢器具是量子力学的基石——薛定谔方程。
在这个特定问题中，方程解出的"能谱"，即电子被允许领有的能量值的聚会，其花样由一个要道参数 α 决定。这个参数 α 正比于磁场强度与晶格单元面积的乘积，它捕捉了外部磁场对电子畅通影响的骨子。
表面上，当 α 是一个有理数时，系统具有周期性，自然计较繁琐，但原则上是可解的；计划词，当 α 是一个乖谬数时，系统不再具有简便的周期性，形成所谓的"准周期"系统，其求解在其时是一个庞杂的表面阻碍。
霍夫斯塔特莫得像共事们那样一头扎进乖谬数的表面窘境中。他取舍从已知的有理数情况开赴。他将计较器编程，让它自动计较出一系列有理数 α 值所对应的能谱。
每天晚上，他设定好一个 α 值，然后让计较器一夜职责；第二天黎明，他会看到一卷长长的纸带从机器中伸出，上头打印着该 α 值下扫数允许的能量值的位置。
△图源：QuantaMagazine
他将这些数据点压雪求油地用笔绘画在了一张庞杂的坐标纸上。这张图的横轴代表电子的能量，纵轴代表参数 α；每一个 α 值对应图上的一条水平线，线上被美丽出的点，等于电子在该磁场强度下不错存在的能级。
跟着他绘画的有理数 α 越来越密集，一个令东说念主叹为不雅止的图形慢慢浮现。
在那些被允许的能级（雀斑）之间，存在着大片的"禁带"（空缺区域），而这些空缺区域的表情惊东说念主地神似一只张开翅膀的蝴蝶。
更奇妙的是，这只"蝴蝶"呈现出走漏的分形特征：如果你放大蝴蝶翅膀的任何一小部分，会发现它的图案结构与系数蝴蝶的花样极其相似，这种自相似性不错无限蔓延下去。
这张图自后被科学界亲切地称为"霍夫斯塔特蝴蝶"。
图源：QuantaMagazine
他的共事们一开动对这种"苦力活"不认为然，以至他的导师也月旦这是"数字迷信"，并扬言要取消对他的资助。但霍夫斯塔特敬佩，这幅鲜艳的图形背后粉饰着深切的物理和数学真谛。
通过不雅察图形，他提倡了一个惊东说念主的意想。
他能干到，手脚为输入的有理数 α =p/q 的分母 q 越来越大，即分数越来越复杂，越来越靠拢一个乖谬数时，对应的能谱带会分裂成越来越多的子带，中间的漏洞也越来越多。
它举座结构在视觉上无限趋近于一个着名的数学对象——也等于咱们开头提到的，Cantor 集。
Cantor 集是一个经典的数学分形，不错通过一个简便的迭代历程构造：从一条线段开动，去掉其中间的三分之一，剩下两条较短的线段；然后，再别离去掉这两条线段各自中间的三分之一；如斯无限重叠下去。
最终剩下的将不再是任何线段，而是一组无限多个闹翻的点，像尘埃通常踱步在正本的线段上。
图源：QuantaMagazine
霍夫斯塔特由此推断：当参数 α 是真实的乖谬数时，电子的能谱将不再是一语气的能带，而是一个无缺的、具有无限缜密结构的 Cantor 集。
用"十杯马天尼"来赏格
霍夫斯塔特的意想如归拢颗参加安心湖面的石子，在数学物理学界激起了层层摇荡。
几年后，两位凸起的数学家马克 · 卡茨（Mark Kac）和巴里 · 西蒙（Barry Simon）在研究一类被称为"概周期函数"的数学对象时，独赶紧从纯数学的角度得出了与霍夫斯塔特完全疏通的论断。
这就让意想的确实度大大加多，但严格的数学解说仍然驴年马月。问题的难度之大，却引发了卡茨的幽默感。
在 1981 年的一次好意思国数学学会年会上，他半开打趣地公开秘书，答允为任何大略严格解说此意想的东说念主献上十杯马天尼。
西蒙随后在多样学术局面实践了这个赏格，使得"十杯马天尼问题"申明远播，成为了揣摸准周期系统研究确认的标尺。
在接下来的二十多年里，一代又一代的数学家向这个难题发起冲击。
他们不停发展出新的数学器具，告成地解说了对于"某些"特定类型的乖谬数（举例，那些不错用有理数很好近似的"刘维尔数"或性质相背的"丢番图数"），意想是种植的。
计划词，一个大略覆盖扫数乖谬数、不留任何死角的通用解说，永久未能出现。
△图源：QuantaMagazine
直到 2005 年，僵局终于被龙套。
数学家 Svetlana Jitomirskaya 与其时年仅 24 岁的天才数学家 Artur Avila 合营，发表了一篇里程碑式的论文，宣告"十杯马天尼问题"还是被科罚了。
他们我方也答允地终显豁那十杯马天尼的承诺，碰杯庆祝这一紧要告成。
计划词，这个解说在庆祝的香槟气泡散去后，却显暴露其内在的"不无缺"。它更像是一个"凑合的被子"（a patchwork quilt），而非一件自然浑成的艺术品。
因为他们的解说为了覆盖扫数乖谬数，依赖了多种截然有异的、以至偶然是相互矛盾的工夫技能：对于性质"和善"的丢番图数，他们采用一套分析表情；而对于性质"狂野"的刘维尔数，则不得不求援于另一套截然有异的代数器具。
这就让系数解说历程显得复杂而短缺内在的调处好意思感。
Svetlana Jitomirskaya
更要道的是，这个解说存在一个根人道的局限：它严重依赖于霍夫斯塔特领先研究的阿谁模子的极端对称性，即所谓的"简直 Mathieu 算子"（Almost Mathieu Operator）。
这个模子是一个高度联想化的数学对象，就像几何学中的无缺圆形。
但在现实寰宇中，物理系统远比这复杂：晶格可能存在缺点，磁场也并非完全均匀。当东说念主们试图将这个解说实践到更贴近现实、对称性被苟且的模子时，系数解说框架便轰然倒塌。
这让数学家们堕入了新的困惑。难说念"霍夫斯塔特蝴蝶"和 Cantor 集只是在阿谁无缺数学模子中才存在的刚巧吗？
但戏剧性的一幕发生了，物理学的确认再次推动了数学的想考。
2013 年，哥伦比亚大学的物理学家们诈欺两层石墨烯材料，在强磁场下进行实验，居然在实验室中走漏地不雅测到了"霍夫斯塔特蝴蝶"的能谱结构！
这一发现轰动了学界，它雄辩地解说了这种奇特的分形结构并非数学家的空中楼阁，而是一种遍及存在的、矜重的物理风光。
Jitomirskaya 坦言："这倏得让问题从数学家的联想形成了现实的东西，这变得非常令东说念主不安。"
物理现实症结需要一个更刚劲、更具普适性的数学表面来给以解释。
中国数学家破局了
2019 年，中国数学家葛灵睿加入到 Jitomirskaya 的团队，与南开大学数学教师尤立功系数改革 Avila 的表面。
葛灵睿（左）和尤立功（右）
这一次，他们不再只盯着"简直 Mathieu 算子"，而是界说了一类更等闲的Type I 算子（I 型），这些 Type I 算子是通过T- 加快度界定的。
起初，数学家们给 Lyapunov 指数（描摹准周期算子对应"解的增长 / 衰降速率"的物理量）加了一个革新参数，这个革新参数会引起 Lyapunov 指数数值的变化，每段变化之间会有一个革新点。
而 T- 加快度就不错简便清醒成 Lyapunov 指数在第一个革新点隔邻的变化速率。具体界说如下：
而对于某个能量 E，如果它对应的 T- 加快度等于 1，那么就说这个 E 是 Type I 能量。对系数 Mathieu 算子来说，如果算子里扫数能量 E 的 T- 加快度齐等于 1，那这个算子等于 Type I 算子。
葛灵睿、尤立功团队解说的中枢论断等于：只须是 Type I 算子，无论频率是哪个乖谬数，它的频谱一定是 Cantor 集。
解说的要道想路是诈欺对偶性和调处表情，具体表咫尺：
诈欺计合算子的对偶算子反推原算子的频谱性质，裁减解说的繁难性；
还要实现大略用清醒的调处表情来完成对这一类算子的解说。
为了解说 Type I 算子的频谱是 Cantor 集，团队还开发了 3 个可孤苦使用的数学器具：
将只适用于扫数 Lyapunov 指数齐为 0 情况下的 Kotani 表面，膨胀到部分 Lyapunov 指数为 0，部分为正的情况；
解说了 PH2 算子（Type I 算子的对偶算子等于 PH2 算子）的点谱是简便的：即每个特征值只对应一个孤苦的解；
将简直 Mathieu 算子解说历程顶用到的，只适用于丢番图频率的 Puig 论证膨胀到全频率适用。
以前，在不同乖谬数频率下解说该问题要用不同的表情，此次，他们通过 Type I 算子和 3 个器具搞出了一套调处的解说表情，径直将之前 Avila 对于不同算子、特例算子的凑合解说膨胀到了一大类算子的单一解说上。
况且，Type I 这类算子包含了简直 Mathieu 算子的轻微变形、超临界广义 Harper 模子等，困扰数学家和物理学家半世纪之久的十杯马天尼问题由此提升了极大的一步。
图源：QuantaMagazine
除了十杯马天尼中枢问题以外，团队还有一些稀薄孝顺。
起初，他们解说了十杯马天尼问题的清醒性，即如果一个 Type I 算子满足浪漫乖谬数频率下的频谱齐是 Cantor 集，那么该算子隔邻的轻微变形算子也满足，这这种清醒性对现实应用有提神要兴致。
其次，这项职责还鼓吹了干燥十杯马天尼问题，这是比原问题要求更严格的要求：需要频谱的间隙不行闭合，全是通达的。咫尺团队解说了简直 Mathieu 算子在某些要求下满足该要求，为后续研究打下了基础。
这些效果证明霍夫斯塔特蝴蝶并不是刚巧，也解说了数论在物理学研究中有提神要作用。研究团队暗示：
咱们预计，这只是咱们用新表情所能科罚的问题的来源。
这项职责的中枢孝顺者葛灵睿也说：
咱们发现的这个阴事就像暮夜里的灯塔，指挥咱们走向正确的成见。
One More Thing
专诚想的是，这项突破背后的两位中国数学家是师徒相干，自然咫尺一个在南开，一个在北大，但渊源伏笔却在南京大学。
尤立功教师咫尺职职南开大学陈省身数学研究所，研究成见聚焦于能源系统。但现实上从 1991 年起，尤教师齐在南京大学任职，直到 2016 年加盟南开陈省身数学研究所。
另一位数学家葛灵睿，本硕博均就读于南京大学，他其时的携带诚挚等于尤立功教师。
他本东说念主袒露过，在读大四时，尤诚挚保举他读了一册遍历薛定谔算子谱表面的初学书。也恰是这个机缘刚巧，促使本在纠结研究成见的葛灵睿绝不游移地取舍了能源系统中算子谱表面与数学物理的交叉范畴。
2022 年，葛灵睿加盟北京大学孤苦缔造的北京外洋数学研究中心，现任助理教师。而且他到北大后，就明确暗示但愿能在北打开设遍历薛定谔算子谱表面这门课程，迷惑更多的年青东说念主参加到这个范畴的研究中。
真的学无南北，穷尽西东～
参考相连：
[ 1 ] https://www.quantamagazine.org/ten-martini-proof-uses-number-theory-to-explain-quantum-fractals-20250825/
[ 2 ] https://arxiv.org/abs/2308.09321
[ 3 ] https://scholar.google.com/citations?user=T_jE_YAAAAAJ&hl=en
一键三连「点赞」「转发」「防卫心」
接待在指摘区留住你的想法！
— 完 —
专属 AI 家具从业者的实名社群，只聊 AI 家具最落地的真问题 扫码添加小助手，发送「姓名 + 公司 + 职位」恳求入群～
进群后，你将径直获取：
� � 最新最专科的 AI 家具信息及分析 � �
� � 不依期披发的热点家具内测码 � �
� � 里面专属内容与专科权术 � �
� � 点亮星标 � �
科技前沿确认逐日见开云(中国)Kaiyun·体育官方网站-登录入口