★加星zzllrr小樂公眾號數(shù)學(xué)科普不迷路！

這個猜想的證明極其困難，它將量子力學(xué)與無限復(fù)雜的數(shù)學(xué)結(jié)構(gòu)聯(lián)系起來，一位數(shù)學(xué)家曾為能解決它的人請客提供10杯馬提尼酒。

圖源：Wei-An Ji / Quanta Magazine

作者：Lyndie Chiou、Joseph Howlett（量子雜志撰稿人）2025-8-25

譯者：zzllrr小樂（數(shù)學(xué)科普公眾號）2025-8-26

1974年，在侯世達(dá)（道格拉斯·霍夫施塔特，Douglas Hofstadter）創(chuàng)作普利策獎獲獎神作《GEB》（中文版譯名《哥德爾、艾舍爾、巴赫——集異璧之大成》，英文版名為《G?del, Escher, Bach: An Eternal Golden Braid》，直譯為：哥德爾、艾舍爾、巴赫——一條永恒的金縷）的五年前，他還是俄勒岡大學(xué)的物理學(xué)研究生。

他的博士生導(dǎo)師去德國雷根斯堡休假時(shí)，侯世達(dá)也跟著去了，希望能練習(xí)一下德語。兩人加入了一群才華橫溢的理論物理學(xué)家，他們當(dāng)時(shí)正苦苦思索量子理論中的一個特定問題。他們想確定靠近磁鐵的晶格中電子的能級。

侯世達(dá)是個異類，跟不上其他人的思路?，F(xiàn)在回想起來，他很慶幸。“我的運(yùn)氣一部分在于我跟不上他們，”他說，“他們雖然在證明定理，但跟情況的本質(zhì)毫無關(guān)系?！?/p>

侯世達(dá)決定嘗試一種更務(wù)實(shí)的方法。他不打算證明定理，而是打算用一臺惠普9820A臺式計(jì)算器 https://www.hpmuseum.org/hp9820.htm 來計(jì)算一些數(shù)字——這臺類似計(jì)算機(jī)的機(jī)器重近40磅，可以通過編程進(jìn)行復(fù)雜的計(jì)算。

侯世達(dá)需要它來求解薛定諤方程（Schr?dinger equation）的一個特定公式，該方程是量子力學(xué)的核心。當(dāng)輸入關(guān)于電子及其環(huán)境的某些信息時(shí)，薛定諤方程會描述電子的行為。具體來說，它的解可以告訴你電子所能擁有的能量。

在侯世達(dá)感興趣的案例中，薛定諤方程包含一個名為α的變量，它是磁場強(qiáng)度與一個網(wǎng)格面積的乘積。α刻畫了作用于電子的力的信息。

侯世達(dá)（Douglas Hofstadter）是普利策獎獲獎書籍《哥德爾、艾舍爾、巴赫——集異璧之大成》的作者，該書探討了數(shù)學(xué)、音樂等領(lǐng)域中的自指性質(zhì)。

侯世達(dá)供圖

德國數(shù)學(xué)家團(tuán)隊(duì)知道，當(dāng)α為有理數(shù)（即整數(shù)或分?jǐn)?shù)）時(shí)，解薛定諤方程雖然困難，但并非不可能（只要你有一個足夠大的計(jì)算器）。但當(dāng)α為無理數(shù)時(shí)，也就是說它不能寫成分?jǐn)?shù)，他們就不知道該如何解了。

侯世達(dá)沒有像他的同事那樣苦苦思索無理數(shù)的情況，而是從他所知道的入手。他編寫了計(jì)算器程序，將一個是有理數(shù)的α值作為輸入，并將輸出打印在一卷紙上。結(jié)果代表了電子的允許能級和禁止能級。

每天晚上，侯世達(dá)都會讓他的計(jì)算器嗡嗡作響。第二天早上，他回到機(jī)器旁，看到一卷紙從機(jī)器里展開，上面列出了他設(shè)定的每個有理α值對應(yīng)的能量位置。他把幾張坐標(biāo)紙粘在一起，用氈尖筆一絲不茍地畫出這些能量值。這幅圖后來被稱為“侯世達(dá)蝴蝶”，因?yàn)閳D表的負(fù)空間與這種昆蟲翅膀的圖案非常相似。

當(dāng)晶體靠近磁鐵時(shí)，其電子只能擁有一定的能量。這些能量值取決于晶體的磁通量，磁通量衡量電子受到的力的大小。1974年，侯世達(dá)繪制了這一現(xiàn)象的圖表（上圖）?？v軸代表磁通量；橫軸代表電子可能的能量值。侯世達(dá)注意到，這些能量形成了分形圖案。這張完整的圖表（下圖）后來被命名為“侯世達(dá)蝴蝶”。

上圖：侯世達(dá)（Douglas Hofstadter）提供；

下圖：Douglas Hofstadter CC BY SA 3.0，來自 Wikimedia Commons

侯世達(dá)的同事們無法理解他這種費(fèi)力的做法。他們開玩笑說，他這是在把稻草紡成金子，還把他的計(jì)算器叫做“侏儒計(jì)算器”（Rumpelstilzchen，是格林兄弟收錄的德國民間童話角色，該妖怪以能夠?qū)⒌静菁彸牲S金的超自然能力著稱。 故事中通過三次魔法交易幫助磨坊主女兒擺脫困境，最終因真實(shí)姓名被識破而暴怒自戕的情節(jié)構(gòu)成敘事核心——zzllrr小樂譯注）。

就連他的導(dǎo)師也認(rèn)為他的研究只是“數(shù)字命理學(xué)”，并威脅要停止資助他?！八f我講迷信，胡言亂語，”侯世達(dá)說，“在數(shù)字中尋找意義和模式，即使它們并不存在?！?/p>

但坐標(biāo)紙上浮現(xiàn)的蝴蝶卻激起了他的興趣。侯世達(dá)注意到，當(dāng)他輸入一個分?jǐn)?shù)時(shí)，允許的能量會被一長串的禁止值打斷。隨著分?jǐn)?shù)越來越復(fù)雜，分母的位數(shù)越來越多，可能的能量之間的斷點(diǎn)也越來越多。能量值開始形成一種視覺上引人注目的圖案——分形，這意味著分形中較小的部分看起來與整體相同。

他的直覺告訴他，這反映了一個深刻的數(shù)學(xué)真理。“我很清楚，我抓住了老虎的尾巴，”他說。他認(rèn)出了那只老虎。它就是康托集。

該集合以數(shù)學(xué)家格奧爾格·康托爾（Georg Cantor）的名字命名，他于1883年通過一條簡單的規(guī)則推廣了該集合：取一條線段，將其分成三等份，然后擦去中間的三分之一。這樣就剩下兩條線段，中間有一條空隙?，F(xiàn)在，擦去每條線段中間的三分之一，以此類推。如果無限次地重復(fù)這個過程，就會得到一個無限的點(diǎn)集，像塵埃一樣沿著數(shù)軸散布開來。

圖源：Merrill Sherman / Quanta Magazine

侯世達(dá)絕不會代入α的無理數(shù)值。無理數(shù)無法用分?jǐn)?shù)來表示——這需要分子或分母有無窮多位數(shù)字，而這在計(jì)算器中是無法處理的。但他注意到，隨著α的有理數(shù)值越來越接近無理數(shù)，其允許的能量值集合——也就是他蝴蝶圖每一行的墨跡——看起來越來越像康托集。因此，他假設(shè)，當(dāng)α為無理數(shù)時(shí)，可能的能量將形成一個真正的康托集。

幾年后，兩位杰出的數(shù)學(xué)家從截然不同的角度得出了相同的結(jié)論。巴里·西蒙（Barry Simon）和馬克·卡克（Mark Kac）一直在研究他們所謂的“概周期函數(shù)”（almost-periodic，也稱殆周期）。周期函數(shù)的輸出，例如正弦波，會一遍又一遍地重復(fù)。而概周期函數(shù)則會描繪出一條非常接近重復(fù)的路徑，但永遠(yuǎn)不會重復(fù)。

1981年，卡克和西蒙共進(jìn)午餐，討論了侯世達(dá)及其同事試圖求解的薛定諤方程版本。當(dāng)α為無理數(shù)時(shí)，該方程變成了一個概周期函數(shù)。這正是他們一直在研究的現(xiàn)象。基于他們對概周期函數(shù)的了解，侯世達(dá)是對的：當(dāng)α為無理數(shù)時(shí)，允許的能級應(yīng)該形成一個康托集。

但西蒙和卡克也無法證明這一點(diǎn)?？苏f，誰能證明，他就請客給誰買10杯馬提尼酒。西蒙開始宣傳卡克的提議，這個問題后來被稱為“十杯馬提尼猜想”。

數(shù)學(xué)家馬克·卡克曾為任何能解決量子理論中一個重要問題的人提供10杯馬提尼酒。2004年，卡克在證明完成前去世。上圖為一群致力于該問題的數(shù)學(xué)家在當(dāng)年舉行的一次會議上慶祝這一證明的完成。

圖源：Michael Aizenman

多年來，數(shù)學(xué)家們不斷努力，證明了某些（但并非全部）無理數(shù)α值的猜想。西蒙在1??982年宣布了其中一個中間結(jié)果。卡克請他喝了三杯馬提尼。1984年卡克去世時(shí)，這個問題依然懸而未決。一個值得獲得全部10杯馬提尼酒的證明，直到20年后才出現(xiàn)。

微瑕

2003年， 斯維特蘭娜·吉托米爾斯卡婭 （Svetlana Jitomirskaya）花了數(shù)年時(shí)間研究薛定諤方程中蘊(yùn)含的概周期函數(shù) https://www.quantamagazine.org/in-math-and-life-svetlana-jitomirskaya-stares-down-complexity-20221101/ ，最終放棄了她畢生追求的證明“十杯馬提尼猜想”的目標(biāo)。一年前，一位名叫若阿金·普伊格（Joaquim Puig）的競爭對手已經(jīng)證明了除少數(shù)幾類無理α值外，所有類型的猜想都成立。而且，他使用了她之前發(fā)表的技術(shù)?！拔耶?dāng)時(shí)真是后悔不已，”她說道，“我的證明中已有最難的部分，然后卻是他提出了這個漂亮的證明?！?/p>

因此，當(dāng)一位名叫阿圖爾·阿維拉（Artur Avila）的24歲數(shù)學(xué)家來找她，并建議他們研究α的其余數(shù)值時(shí)，她感到很驚訝?！拔腋嬖V他這會非常困難，非常耗時(shí)，而且沒人會在意，”她說。

阿圖爾·阿維拉（Artur Avila）

但他們確實(shí)做到了。他們于2005年在網(wǎng)上發(fā)布的證明最終發(fā)表在了數(shù)學(xué)領(lǐng)域最負(fù)盛名的期刊《數(shù)學(xué)年鑒》上。 阿維拉后來憑借他對這個問題的研究獲得了菲爾茲獎 https://www.quantamagazine.org/artur-avila-is-first-brazilian-mathematician-to-win-fields-medal-20140812/ 。

他們決定親自履行10杯馬提尼的合同?！拔覀兒攘撕芏鄳c祝酒，包括馬提尼，”吉托米爾斯卡婭說。

斯維特拉娜·吉托米爾斯卡婭 (Svetlana Jitomirskaya) 花了數(shù)十年時(shí)間研究電子量子行為中出現(xiàn)的微妙模式。

圖源：Monica Almeida

但從某些方面來看，這個證明有點(diǎn)不盡如人意。吉托米爾斯卡婭和阿維拉使用的方法只適用于某些α無理數(shù)值的情況。通過將其與之前的中間證明相結(jié)合，他們可以說問題已經(jīng)解決了。但這個組合證明并不優(yōu)雅。它就像一塊拼布，每個方格都由不同的證明拼接而成。

此外，這些證明僅僅解決了最初提出的猜想，即對電子環(huán)境做出簡化的假設(shè)。更現(xiàn)實(shí)的情況更加復(fù)雜：固體中的原子排列方式更復(fù)雜，磁場也并非完全恒定?！澳阋呀?jīng)驗(yàn)證了這個模型，但這與現(xiàn)實(shí)有什么關(guān)系？”瑞士蘇黎世聯(lián)邦理工學(xué)院的數(shù)學(xué)家西蒙·貝克爾問道。

這些更現(xiàn)實(shí)的情況需要你調(diào)整薛定諤方程中出現(xiàn)α的部分。而當(dāng)你這樣做的時(shí)候，十杯馬提尼酒的證明就失效了?！斑@一直讓我很困擾，”吉托米爾斯卡婭說。

在這些更廣泛的背景下證明的崩潰也意味著，已經(jīng)出現(xiàn)的美麗分形圖案——康托集、侯世達(dá)蝴蝶——只不過是一種數(shù)學(xué)上的好奇心，一旦方程變得更加現(xiàn)實(shí)，它就會消失。

阿維拉和吉托米爾斯卡婭轉(zhuǎn)向了其他問題。就連侯世達(dá)也心存疑慮。如果實(shí)驗(yàn)真的發(fā)現(xiàn)了他的蝴蝶，他曾在《哥德爾、埃舍爾、巴赫》 一書中寫道：“我會是世界上最驚訝的人?！?/p>

但在2013年，哥倫比亞大學(xué)的一組物理學(xué)家在實(shí)驗(yàn)室里捕捉到了他所構(gòu)想的蝴蝶。他們將兩層薄薄的石墨烯置于磁場中，然后測量了石墨烯電子的能級。量子分形的光芒由此顯現(xiàn)?！巴蝗婚g，它從數(shù)學(xué)家的幻想變成了實(shí)際的東西，”吉托米爾斯卡婭說。“這變得非常令人不安。”

她想用數(shù)學(xué)來解釋這個問題。一位新的合作伙伴想出了一個辦法。

又一回合，略有不同

2019年，葛靈睿加入了吉托米爾斯卡婭的團(tuán)隊(duì)。他受到了吉托米爾斯卡婭和阿維拉在十杯馬提尼酒問題上所做的研究的啟發(fā)，同時(shí)也受到了阿維拉一直以來努力追求的研究方向的啟發(fā)。

阿維拉厭倦了數(shù)學(xué)家們用來理解概周期函數(shù)的零碎方法。他轉(zhuǎn)而開始發(fā)展所謂的“整體理論”（global theory）——一種揭示各種概周期函數(shù)中更高層次結(jié)構(gòu)的方法，然后他可以用這種方法一次性解決所有類型的函數(shù)。

葛靈睿幫助開發(fā)了一種新方法來理解概周期函數(shù)的解，即量子物理學(xué)中出現(xiàn)的重要方程。

葛靈睿供圖

為此，他將一個幾何對象與給定的概周期函數(shù)聯(lián)系起來，并研究了它的性質(zhì)。他意識到其中一些幾何性質(zhì)可以幫助他求解原始函數(shù)。

但它只適用于某些類型的函數(shù)。它無法處理十杯馬提尼酒問題所需的計(jì)算類型。目前還不清楚它是否真的能做到。

這是因?yàn)?，為了證明“十杯馬提尼猜想”，數(shù)學(xué)家必須先將薛定諤方程轉(zhuǎn)化為一個相關(guān)的方程，即它的對偶方程，然后再求解這個新方程。阿維拉的理論無法揭示對偶方程的更高層次結(jié)構(gòu)。

至少他是這么想的。但葛教授對阿維拉描述的幾何對象很感興趣。他猜測這些對象的其他性質(zhì)隱藏著更多信息——這些信息或許可以闡明對偶方程的某些方面?！拔铱梢钥闯鲞@是一個非常漂亮且重要的理論，”葛教授說。

他和吉托米爾斯卡婭，以及中國南開大學(xué)的尤建功和周麒，找到了一種新的方法來解釋阿維拉的幾何對象，并將其應(yīng)用于對偶。這使得該理論更加強(qiáng)大。這也使得葛靈睿、吉托米爾斯卡婭和尤建功可以寫出一個證明，在多種不同情況下解決十杯馬提尼問題的不同版本。無需拼湊。

這一結(jié)果鞏固了“侯世達(dá)蝴蝶”作為一種真實(shí)存在現(xiàn)象的地位。抽象的數(shù)論世界在物理學(xué)領(lǐng)域中占據(jù)著舉足輕重的地位。

此后，數(shù)學(xué)家們利用他們版本的阿維拉整體理論解決了該領(lǐng)域的另外兩個關(guān)鍵問題。他們預(yù)測，這只是他們利用所發(fā)現(xiàn)方法的開端?！拔覀儼l(fā)現(xiàn)了整體理論背后隱藏的秘密，”葛靈睿教授說?！八拖窈诎荡蠛Ｉ系囊槐K明燈，指引著我們正確的方向?！?/p>

參考資料

https://www.quantamagazine.org/ten-martini-proof-uses-number-theory-to-explain-quantum-fractals-20250825/

https://www.hpmuseum.org/hp9820.htm

https://www.quantamagazine.org/in-math-and-life-svetlana-jitomirskaya-stares-down-complexity-20221101/

https://www.quantamagazine.org/artur-avila-is-first-brazilian-mathematician-to-win-fields-medal-20140812/

小樂數(shù)學(xué)科普近期文章

出版社和作家自薦通道

小樂數(shù)學(xué)科普薦書

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評論、點(diǎn)贊、在看、在聽

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點(diǎn)擊zzllrr小樂

公眾號主頁

加星★

數(shù)學(xué)科普不迷路！