點(diǎn)擊zzllrr小樂(lè)公眾號(hào)主頁(yè)右上角，設(shè)為星標(biāo)★數(shù)學(xué)科普不迷路！

3.8國(guó)際勞動(dòng)?jì)D女節(jié)本周來(lái)臨，謹(jǐn)以量子雜志這篇應(yīng)景文章獻(xiàn)給令人尊敬的當(dāng)代女?dāng)?shù)學(xué)家們。

新的證明拓展了已故女性菲爾茲獎(jiǎng)得主瑪麗亞姆·米爾扎哈尼（Maryam Mirzakhani，1977 - 2017）的研究成果，鞏固了她作為異域數(shù)學(xué)領(lǐng)域先驅(qū)的地位。

供圖：Kristina Armitage|Quanta

原始圖源（從左至右）：歐萊雅女性科學(xué)家基金會(huì)、Jan Vondrák、P. Imbert/法國(guó)學(xué)院

瑪麗亞姆·米爾扎哈尼（中）在研究生時(shí)期改變了雙曲幾何領(lǐng)域。但她在40歲時(shí)就去世了，當(dāng)時(shí)她還未回答自己感興趣的許多問(wèn)題。

數(shù)學(xué)家勞拉·蒙克（Laura Monk，左）和納里尼·安娜塔拉曼（Nalini Anantharaman，又譯阿南塔拉曼、阿納塔拉曼，右）現(xiàn)在正在繼續(xù)她未竟的事業(yè)。

作者：Joseph Howlett（量子雜志特約撰稿人）2025-3-3

譯者：zzllrr小樂(lè)（數(shù)學(xué)科普公眾號(hào)）2025-3-4

21世紀(jì)初，哈佛大學(xué)一位年輕的研究生開(kāi)始繪制一個(gè)奇異的數(shù)學(xué)世界——一個(gè)充滿(mǎn)幾何直覺(jué)所無(wú)法解釋的形狀的世界。她的名字叫瑪麗亞姆·米爾扎哈尼（Maryam Mirzakhani，1977 - 2017），她后來(lái)成為第一位獲得菲爾茲獎(jiǎng)的女性，這是數(shù)學(xué)界的最高榮譽(yù)。

她最早的作品是研究“雙曲”曲面（hyperbolic surface）的。在這種曲面上，平行線(xiàn)會(huì)相互遠(yuǎn)離，而不是保持相同的距離，而且在每一點(diǎn)，曲面都會(huì)像馬鞍一樣向兩個(gè)相反的方向彎曲。

雖然我們可以想象球面或甜甜圈的表面，但雙曲曲面的幾何特性非常奇怪，以至于無(wú)法形象化。但理解它們也很重要，因?yàn)檫@種曲面在數(shù)學(xué)甚至弦理論中無(wú)處不在。

米爾扎哈尼是一位頗具影響力的雙曲宇宙制圖師。在讀研究生期間，她開(kāi)發(fā)了開(kāi)創(chuàng)性的技術(shù)，使她能夠開(kāi)始對(duì)這些形狀進(jìn)行分類(lèi)，然后繼續(xù)革新數(shù)學(xué)研究的其他領(lǐng)域。

她希望以后能重新審視她的雙曲領(lǐng)域地圖——填補(bǔ)其細(xì)節(jié)并做出新發(fā)現(xiàn)。但在她這樣做之前，她被診斷出患有乳腺癌。她于2017年去世，年僅40歲。

此后，兩位數(shù)學(xué)家繼續(xù)研究她的工作，并進(jìn)一步加深了對(duì)雙曲曲面的理解。在上個(gè)月發(fā)表在網(wǎng)上的一篇論文中，法蘭西學(xué)院的納里尼·安娜塔拉曼（Nalini Anantharaman）和布里斯托爾大學(xué)的勞拉·蒙克（Laura Monk）以米爾扎哈尼的研究為基礎(chǔ)，證明了關(guān)于典型雙曲曲面的廣泛論述。她們證明了，曾經(jīng)被認(rèn)為罕見(jiàn)甚至不可能的曲面實(shí)際上很常見(jiàn)。事實(shí)上，如果你隨機(jī)選擇一個(gè)雙曲曲面，它基本上可以保證具有某些關(guān)鍵屬性。

米爾扎哈尼在多個(gè)研究領(lǐng)域取得重大突破，成為第一位獲得菲爾茲獎(jiǎng)的女性。

圖源：Jan Vondra?k

普林斯頓大學(xué)數(shù)學(xué)家彼得·薩納克 (Peter Sarnak) 表示：“這是一個(gè)里程碑式的成果。未來(lái)還會(huì)有更多成果。”

這項(xiàng)研究尚未經(jīng)過(guò)同行評(píng)審，它表明雙曲面比人們想象的還要奇怪和難以理解。它還繼承了米爾扎哈尼的數(shù)學(xué)遺產(chǎn)，重新點(diǎn)燃了她探索這個(gè)充滿(mǎn)難以想象形狀的宇宙的夢(mèng)想。

一份內(nèi)容豐富的論文

米爾扎哈尼在伊朗德黑蘭長(zhǎng)大，童年時(shí)，她是個(gè)狂熱的讀者，希望有一天能寫(xiě)出自己的書(shū)。但她在數(shù)學(xué)方面也很優(yōu)秀，最終在國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽（IMO，一項(xiàng)針對(duì)高中生的著名競(jìng)賽）上贏得了兩枚金牌。

米爾扎哈尼在伊朗長(zhǎng)大，最初的夢(mèng)想是成為一名作家，后來(lái)才決定成為一名數(shù)學(xué)家。

1999年，從沙里夫理工大學(xué)畢業(yè)后，她前往哈佛大學(xué)讀研究生。在那里，她愛(ài)上了雙曲幾何。她是個(gè)狂熱的涂鴉愛(ài)好者，喜歡嘗試?yán)斫饽切┌炊x無(wú)法繪制的形狀的挑戰(zhàn)。

“雙曲曲面有點(diǎn)像一塊拼圖，你可以在局部拼湊起來(lái)，但在我們的宇宙中卻永遠(yuǎn)無(wú)法完成，”密歇根大學(xué)數(shù)學(xué)家、米爾扎哈尼的前博士后研究員亞歷克斯·賴(lài)特 (Alex Wright) 說(shuō)道。

這是因?yàn)槠磮D的每一塊都是馬鞍形的。你可以將幾塊拼湊在一起，但永遠(yuǎn)無(wú)法完全閉合曲面——至少在我們平坦的三維空間中不行。這使得雙曲曲面特別難以研究。甚至關(guān)于它們的基本問(wèn)題也懸而未決。

為了掌握雙曲曲面，數(shù)學(xué)家研究了其上的閉環(huán)。這些環(huán)稱(chēng)為測(cè)地線(xiàn)（geodesic），有各種形狀；對(duì)于給定的形狀，它們?cè)诜祷仄瘘c(diǎn)時(shí)會(huì)從一點(diǎn)到另一點(diǎn)劃出最短的路徑。曲面上的孔越多，其測(cè)地線(xiàn)就越多樣化和復(fù)雜。通過(guò)研究曲面上有多少條給定長(zhǎng)度的不同測(cè)地線(xiàn)，數(shù)學(xué)家可以開(kāi)始了解曲面整體的樣子。

測(cè)地線(xiàn)如何解釋曲面

為了理解一個(gè)曲面，數(shù)學(xué)家研究其上的路徑--稱(chēng)為測(cè)地線(xiàn)--

這些路徑沿著最短的可能軌跡回到起點(diǎn)。

上圖中這兩種形狀都有無(wú)限多的測(cè)地線(xiàn)，

因此數(shù)學(xué)家們計(jì)算的是

不超過(guò)給定長(zhǎng)度的測(cè)地線(xiàn)的數(shù)量。

隨著曲面中孔洞的數(shù)量增加，這個(gè)數(shù)量也會(huì)增加。

圖源：Mark Belan|Quanta

米爾扎哈尼對(duì)這些環(huán)繞曲線(xiàn)開(kāi)始著迷。在與同事討論時(shí)，她不斷提起它們，她平時(shí)的克制消失了。她經(jīng)常氣喘吁吁地談?wù)摐y(cè)地線(xiàn)和相關(guān)對(duì)象，好像它們是故事中的人物。

“我記得她演講時(shí)會(huì)問(wèn)這兩個(gè)問(wèn)題：有多少條曲線(xiàn)，它們?cè)谀睦铮俊倍鄠惗啻髮W(xué)的卡斯拉·拉菲（Kasra Rafi）說(shuō)。

在讀研究生期間，她開(kāi)發(fā)了一個(gè)公式，可以估算出任何雙曲曲面在給定長(zhǎng)度內(nèi)有多少條測(cè)地線(xiàn)。這個(gè)公式不僅讓她能夠描述單個(gè)曲面，還使她能夠證明弦理論中一個(gè)著名的猜想，并讓她了解可以構(gòu)造哪些類(lèi)型的雙曲曲面。

完成研究生學(xué)位后，米爾扎哈尼繼續(xù)在幾何學(xué)、拓?fù)鋵W(xué)和動(dòng)力系統(tǒng)領(lǐng)域取得重大進(jìn)展。但她從未忘記博士論文的主題。

她希望更多地了解她所分類(lèi)的雙曲動(dòng)物園里生活著的生物。特別是，她想了解典型的雙曲曲面是什么樣子。數(shù)學(xué)家通常首先研究她們可以構(gòu)造的對(duì)象——圖形、結(jié)、數(shù)列。

但她們的構(gòu)造通?！耙稽c(diǎn)也不典型”，索邦大學(xué)的布拉姆·佩特里（Bram Petri）說(shuō)。“我們傾向于畫(huà)出非常特別的東西。”隨機(jī)選擇的典型圖形、結(jié)或數(shù)列看起來(lái)會(huì)非常不同。

于是米爾扎哈尼開(kāi)始隨機(jī)挑選雙曲曲面并研究其特性?！八型昝赖墓ぞ?，所以這很自然，”賴(lài)特說(shuō)。

但她在真正開(kāi)始研究之前就去世了。蒙克說(shuō)：“她當(dāng)時(shí)只是在研制‘機(jī)器’，然后就沒(méi)有時(shí)間使用它了?！?/p>

繼續(xù)追問(wèn)

蒙克從未想過(guò)自己會(huì)成為米爾扎哈尼的接班人。事實(shí)上，直到20歲出頭，她都沒(méi)有打算從事數(shù)學(xué)研究。她從小就計(jì)劃當(dāng)一名老師，當(dāng)時(shí)她會(huì)輔導(dǎo)同學(xué)，以消除數(shù)學(xué)課上的無(wú)聊。“我在學(xué)校時(shí)非常痛苦，”她說(shuō)?！拔視?huì)通過(guò)擔(dān)任助教來(lái)讓自己忙碌起來(lái)?！?/p>

勞拉·蒙克（Laura Monk）自讀研究生以來(lái)一直在研究

米爾扎哈尼在去世前未能完成的數(shù)學(xué)理論。

蒙克覺(jué)得她通過(guò)米爾扎哈尼的證明了解了這位數(shù)學(xué)家。

圖源：歐萊雅女性科學(xué)家基金會(huì)

她報(bào)讀了巴黎薩克雷大學(xué)的碩士課程，是40人中三名女性之一。臨近畢業(yè)時(shí)，她得知其他兩名女性也計(jì)劃離開(kāi)學(xué)術(shù)界。她們的離開(kāi)讓她懷疑她們的計(jì)劃是否反映了“我們自己的個(gè)人選擇和愿望”。

她說(shuō)，“或者我們處在一個(gè)非常例外的環(huán)境中，受到的影響比我們意識(shí)到的要大。”她覺(jué)得自己有責(zé)任為她計(jì)劃授課的女孩們樹(shù)立一個(gè)數(shù)學(xué)界成功女性的榜樣。

于是她決定攻讀博士學(xué)位。“我們至少要有一個(gè)人讀這個(gè)，”她告訴自己?！胺駝t就太可悲了。”（后來(lái)，另一個(gè)女生也獲得了博士學(xué)位。）

在一位教授的建議下，蒙克坐火車(chē)去見(jiàn)納利尼·安娜塔拉曼（Nalini Anantharaman），她是一位潛在的導(dǎo)師，和米爾扎哈尼一樣，是多個(gè)領(lǐng)域的專(zhuān)家。

事實(shí)上，安娜塔拉曼在米爾扎哈尼的職業(yè)生涯中曾多次見(jiàn)過(guò)她——她們年齡相仿，對(duì)類(lèi)似主題感興趣。兩人都對(duì)人文學(xué)科充滿(mǎn)熱情：米爾扎哈尼幾乎將自己的研究獻(xiàn)給了文學(xué)，而安娜塔拉曼則接受過(guò)古典鋼琴家的培訓(xùn)，并不確定自己會(huì)從事音樂(lè)還是數(shù)學(xué)。

納里尼·安納塔拉曼在決定成為一名數(shù)學(xué)家之前，

幾乎一直想成為一名古典鋼琴家。

她最近在雙曲幾何領(lǐng)域證明了一項(xiàng)開(kāi)創(chuàng)性成果。

圖源：Noel Tovia Matoff

2015年，兩位數(shù)學(xué)家都到加州大學(xué)伯克利分校學(xué)習(xí)了一個(gè)學(xué)期。米爾扎哈尼的女兒和安納塔拉曼的兒子年齡相仿，兩位數(shù)學(xué)家偶爾會(huì)在當(dāng)?shù)氐挠螛?lè)場(chǎng)見(jiàn)面，在孩子們玩耍的時(shí)候，她們談?wù)撝瞿赣H的話(huà)題。

安娜塔拉曼知道米爾扎哈尼在生命的最后階段開(kāi)始嘗試隨機(jī)雙曲曲面。她現(xiàn)在希望在此基礎(chǔ)上繼續(xù)努力。

描述雙曲曲面的一種方法是測(cè)量其連通性。想象一下你是一只螞蟻，沿著隨機(jī)方向在曲面上行走。如果你走了一會(huì)兒，你最終到達(dá)曲面上任何地方的可能性是否相等？

如果它的連通性很好，各個(gè)區(qū)域之間有很多可能的路徑，那么答案是肯定的。但如果它的連通性很差——就像一個(gè)啞鈴，由兩個(gè)大區(qū)域組成，由一座狹窄的橋連接——你可能會(huì)花很長(zhǎng)時(shí)間在一側(cè)徘徊，然后才能找到穿過(guò)另一側(cè)的路。

數(shù)學(xué)家使用一個(gè)稱(chēng)為譜間隙（spectral gap）的數(shù)字來(lái)測(cè)量曲面的連通性。該值越大，曲面的連通性就越強(qiáng)。盡管我們?nèi)匀粺o(wú)法想象曲面，但譜間隙提供了一種思考其整體形狀的方法?！斑@就像是一種量化判斷的方式，‘曲面是什么樣子的？’”拉菲說(shuō)。

曲面連接

曲面（表面）可以以奇怪的方式彎曲和扭曲。數(shù)學(xué)家通過(guò)測(cè)量它們的連通性來(lái)理解它們。

連通性差的曲面

如果你在曲面上隨意行走，從一片區(qū)域到另一片區(qū)域需要很長(zhǎng)時(shí)間。

良好連通的曲面

在隨機(jī)行走中，你更有可能快速到達(dá)另一個(gè)區(qū)域。

圖源：Mark Belan|Quanta

雖然譜間隙理論上可以是0到1/4之間的任何值，但數(shù)學(xué)家能夠構(gòu)建的大多數(shù)雙曲曲面的譜間隙相對(duì)較小。

直到2021年，她們才弄清楚 https://arxiv.org/abs/2107.05292 如何構(gòu)建具有任意數(shù)量孔且具有最大譜間隙的曲面，即最大程度連通的曲面。

但盡管已知的高譜間隙雙曲曲面相對(duì)較少，數(shù)學(xué)家們還是懷疑它們不很常見(jiàn)。雙曲曲面的宇宙廣闊無(wú)垠，而且大部分尚未被探索。

雖然數(shù)學(xué)家通常無(wú)法在這個(gè)宇宙中構(gòu)造單個(gè)曲面，但她們希望了解典型曲面的一般性質(zhì)。當(dāng)她們將雙曲曲面作為一個(gè)整體來(lái)看待時(shí)，她們預(yù)計(jì)大多數(shù)曲面的譜間隙為1/4。

這正是安娜塔拉曼希望分配給她的新研究生的問(wèn)題。蒙克渴望與一位女性導(dǎo)師密切合作，并為自己設(shè)定了雄心勃勃的目標(biāo)——“如果我要讀博士學(xué)位，我會(huì)認(rèn)真去做，”她記得當(dāng)時(shí)是這么想的——于是她簽了字。

撰寫(xiě)續(xù)集

2018年，米爾扎哈尼去世僅一年后，蒙克開(kāi)始跟隨安娜塔拉曼攻讀研究生學(xué)位。她的第一步是盡可能多地了解米爾扎哈尼在雙曲曲面方面的研究。

眾所周知，如果你能足夠準(zhǔn)確地估計(jì)出曲面上閉合測(cè)地線(xiàn)的數(shù)量（米爾扎哈尼深入研究過(guò)的那些環(huán)狀路徑），你就能計(jì)算出曲面的譜間隙。

蒙克和安納塔拉曼需要證明幾乎所有雙曲曲面的譜間隙都是1/4。也就是說(shuō)，隨著曲面上孔洞數(shù)量的增加，選擇具有最佳譜間隙的曲面的可能性將接近100%。

兩人首先從米爾扎哈尼在攻讀博士學(xué)位期間提出的測(cè)地線(xiàn)計(jì)數(shù)公式入手。問(wèn)題是，這個(gè)公式低估了測(cè)地線(xiàn)的數(shù)量。

它數(shù)出了大部分測(cè)地線(xiàn)，但不是全部——它漏掉了更復(fù)雜的測(cè)地線(xiàn)，這些測(cè)地線(xiàn)在交叉后又回到起點(diǎn)，比如一個(gè)圍繞兩個(gè)洞的8字形。

米爾扎哈尼花了數(shù)年時(shí)間探索奇特彎曲的“雙曲”形狀。

她喜歡在巨大的紙張上涂鴉自己的想法，

盡管這種形狀從定義上來(lái)說(shuō)是無(wú)法畫(huà)出來(lái)的。

圖源：Thomas Lin

但蒙克和安納塔拉曼利用米爾扎哈尼有限的公式找到了一種證明相對(duì)較大譜間隙的方法。“這看起來(lái)幾乎像是一個(gè)奇跡，”安納塔拉曼說(shuō)?！八绱擞行?duì)我來(lái)說(shuō)仍然很神秘?！?/p>

如果她和蒙克能改進(jìn)米爾扎哈尼公式，使其也能計(jì)算更復(fù)雜的測(cè)地線(xiàn)，結(jié)果會(huì)怎樣？也許她們的計(jì)算結(jié)果足夠精確，可以轉(zhuǎn)化為1/4的譜間隙，這也是她們之前的數(shù)學(xué)家們希望實(shí)現(xiàn)的。

安娜塔拉曼突然想起米爾扎哈尼去世前幾年發(fā)給她的一封電子郵件，郵件中提出了一系列有關(guān)譜間隙和測(cè)地線(xiàn)計(jì)數(shù)之間關(guān)系的問(wèn)題。

“當(dāng)時(shí)，我真的不知道她為什么要問(wèn)這些問(wèn)題，”安娜塔拉曼說(shuō)。但現(xiàn)在她想知道米爾扎哈尼是否計(jì)劃采取類(lèi)似的方法。

蒙克在研究生院期間曾花了一些時(shí)間研究如何將米爾扎哈尼公式擴(kuò)展到更復(fù)雜的測(cè)地線(xiàn)。在此期間，她還撰寫(xiě)了很長(zhǎng)很詳細(xì)的米爾扎哈尼在原始論文中未完全解釋的關(guān)鍵概念的描述。

“我覺(jué)得她的一些想法只是擺在桌面上，等著別人向社區(qū)解釋?zhuān)驗(yàn)樗龥](méi)有機(jī)會(huì)這樣做，”她說(shuō)。

到2021年，蒙克已經(jīng)弄清楚了如何計(jì)算以前無(wú)法計(jì)算的各種測(cè)地線(xiàn)。她和安納塔拉曼知道，再做一些額外的工作，她們可能就能用她們的新公式更好地估計(jì)譜間隙。但她們決心實(shí)現(xiàn)完整的1/4目標(biāo)，而不是發(fā)表部分結(jié)果。

然后她們就被困住了。

重溫圣典

有一種特別難纏的測(cè)地線(xiàn)總是擋住她們的路。這些測(cè)地線(xiàn)會(huì)長(zhǎng)時(shí)間纏繞在曲面的同一區(qū)域，形成盤(pán)旋的纏結(jié)。纏結(jié)只出現(xiàn)在少數(shù)難纏的曲面上，但一旦出現(xiàn)，就會(huì)成群結(jié)隊(duì)。

如果蒙克和安娜塔拉曼將它們計(jì)入總數(shù)，就會(huì)打亂她們需要執(zhí)行的計(jì)算，將計(jì)數(shù)轉(zhuǎn)換為譜間隙——導(dǎo)致輸出小于1/4。

蒙克說(shuō)，情況看上去毫無(wú)希望。

當(dāng)兩個(gè)獨(dú)立的團(tuán)隊(duì)在幾個(gè)月內(nèi)發(fā)表了論文，https://arxiv.org/abs/2103.07496 證明了譜間隙為3/16時(shí)，她的沮喪感更有加深。這個(gè)消息并沒(méi)有讓安娜塔拉曼感到困擾；她只關(guān)心達(dá)到1/4。

“當(dāng)我開(kāi)始做某件事時(shí)，我有點(diǎn)愛(ài)上了一個(gè)遙遠(yuǎn)的目標(biāo)，”她說(shuō)——顯然這是她和米爾扎哈尼共有的一個(gè)特點(diǎn)。

但蒙克仍在攻讀博士學(xué)位的最后一年，她需要一個(gè)能讓她完成論文的結(jié)果，她想知道她們是否應(yīng)該接受更低的回報(bào)?！拔矣悬c(diǎn)沮喪，我們沒(méi)有想到這樣做，”她說(shuō)。

亞歷克斯·賴(lài)特 (Alex Wright) 是取得3/16結(jié)果的團(tuán)隊(duì)之一，他理解她的觀點(diǎn)。“研究生研究如此雄心勃勃的問(wèn)題，這很不尋常，”他說(shuō)。而且似乎沒(méi)有人能想出辦法實(shí)現(xiàn)1/4。

但安娜塔拉曼有一個(gè)想法：轉(zhuǎn)向數(shù)學(xué)的另一個(gè)領(lǐng)域，即圖論（graph theory），來(lái)尋找靈感。請(qǐng)記住，安娜塔拉曼和蒙克試圖證明大多數(shù)雙曲曲面都是盡可能連通的。

二十年前，數(shù)學(xué)家喬爾·弗里德曼（Joel Friedman，1949 -）證明了大多數(shù)圖（數(shù)學(xué)中出現(xiàn)的頂點(diǎn)和邊的集合）都具有這種特性。

喬爾·弗里德曼證明，幾乎所有由點(diǎn)和線(xiàn)組成的網(wǎng)絡(luò)

（稱(chēng)為圖，graph）都具有某種關(guān)鍵特性。

數(shù)學(xué)家們最近采用了他的成果

來(lái)解決雙曲幾何中一個(gè)重要的未解問(wèn)題。

圖源：Joshua Friedman

但弗里德曼的結(jié)論并不容易理解?！斑@是一個(gè)出了名的難解結(jié)果，其證明過(guò)程非常冗長(zhǎng)，難以簡(jiǎn)化，”賴(lài)特說(shuō)。

當(dāng)安娜塔拉曼和蒙克開(kāi)始她們的項(xiàng)目時(shí)，她曾嘗試閱讀弗里德曼的證明。但和許多其他數(shù)學(xué)家一樣，她發(fā)現(xiàn)它難以理解。“當(dāng)時(shí)，我真的一點(diǎn)也不明白，”她說(shuō)?，F(xiàn)在她又回到了它，尋找新的線(xiàn)索。

她找到了線(xiàn)索。證明的某些步驟看起來(lái)很熟悉，就像她和蒙克試圖處理的雙曲曲面的圖論版本。

事實(shí)上，她意識(shí)到，弗里德曼在他的圖中遇到了頂點(diǎn)之間的復(fù)雜路徑，就像她糾結(jié)的測(cè)地線(xiàn)一樣，阻礙了他獲得譜間隙的最佳估計(jì)。但不知何故，他找到了處理這些路徑的方法，而安娜塔拉曼不太明白他是如何做到的。

2022年5月，她和蒙克組織了一場(chǎng)研討會(huì)，并邀請(qǐng)弗里德曼講述他的工作?！八齻兇_實(shí)需要一種深埋在我的證明中的技術(shù)，”他說(shuō)。

當(dāng)解釋她的數(shù)學(xué)思想時(shí)，一向內(nèi)斂的米爾扎哈尼變得生動(dòng)活潑。

她談?wù)摳鞣N感興趣的事物，就好像它們是故事中的人物一樣。

圖源：Jan Vondra?k

他基本上找到了一種方法來(lái)證明他可以從計(jì)算中完全刪除有問(wèn)題路徑的圖。在與弗里德曼交談后，蒙克和安娜塔拉曼意識(shí)到她們可以做同樣的事情。

還有很多工作要做：將弗里德曼的方法轉(zhuǎn)化為適用于雙曲曲面的方法會(huì)很困難。但她們的疑慮得到了緩解?！斑@非常令人興奮，”蒙克說(shuō)。“此時(shí)，很明顯我們可以完成?！?/p>

不斷傳承的遺產(chǎn)

2023年初，兩位數(shù)學(xué)家撰寫(xiě)了一篇論文，概述了她們迄今為止所做的工作。在論文中， https://arxiv.org/abs/2304.02678 她們證明了創(chuàng)紀(jì)錄的2/9譜間隙?！斑@感覺(jué)是一個(gè)非常好的中間步驟，”蒙克說(shuō)。

次年，她們改進(jìn)了弗里德曼的方法 https://arxiv.org/abs/2401.01601 ，并制定了計(jì)劃，說(shuō)明如何使用該方法得到1/4 https://arxiv.org/abs/2403.12576 。上個(gè)月，她們終于完成了證明，https://arxiv.org/abs/2502.12268 證明隨機(jī)選擇的雙曲曲面很可能具有最大的譜間隙。

這一結(jié)果讓數(shù)學(xué)家們了解到了比以往更多的有關(guān)雙曲曲面的知識(shí)。其他研究人員現(xiàn)在希望利用這對(duì)搭檔的技術(shù)來(lái)解答其他重要問(wèn)題，包括有關(guān)數(shù)論和動(dòng)力學(xué)中重要曲面的問(wèn)題。

巴黎朱西厄數(shù)學(xué)研究所的數(shù)學(xué)家安東·佐里奇（Anton Zorich）說(shuō)，這項(xiàng)工作“會(huì)立即產(chǎn)生大量的相關(guān)結(jié)果”。

這也讓蒙克和安納塔拉曼對(duì)米爾扎哈尼的研究有了更深入的了解。盡管蒙克從未看過(guò)米爾扎哈尼的任何講座錄音，也從未聽(tīng)過(guò)她的聲音。

她說(shuō)，她更希望米爾扎哈尼“在我心中保持一個(gè)神秘感”，但她覺(jué)得自己好像通過(guò)米爾扎哈尼的證明認(rèn)識(shí)了她。

“當(dāng)你詳細(xì)閱讀某個(gè)人的作品時(shí)，你最終會(huì)理解超越作品內(nèi)容之外的東西，了解她們的思維方式，”蒙克說(shuō)。

她很榮幸能夠延續(xù)米爾扎哈尼的遺產(chǎn)，而數(shù)學(xué)家們也很高興看到這一遺產(chǎn)接下來(lái)會(huì)帶來(lái)什么。

賴(lài)特在談到他的前任導(dǎo)師時(shí)說(shuō)道：“我很傷心她看不到這一點(diǎn)?！?/p>

佐里奇表示贊同?！八緫?yīng)該在那里欣賞這一切，”他說(shuō)?！拔蚁嘈潘龝?huì)非常高興?！?/p>

參考資料

https://www.quantamagazine.org/years-after-the-early-death-of-a-math-genius-her-ideas-gain-new-life-20250303/

https://arxiv.org/abs/2107.05292

https://arxiv.org/abs/2304.02678

https://arxiv.org/abs/2401.01601

https://arxiv.org/abs/2403.12576

https://arxiv.org/abs/2103.07496

https://arxiv.org/abs/2502.12268

科普薦書(shū)

【更多讀者好評(píng)數(shù)學(xué)書(shū)單推薦、數(shù)學(xué)科普作家自薦、出版社書(shū)單推薦通道已陸續(xù)打開(kāi)，敬請(qǐng)期待】

·開(kāi)放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見(jiàn)易得

易傳易及

歡迎評(píng)論、點(diǎn)贊、在看、在聽(tīng)

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

查看原始文章出處

點(diǎn)擊zzllrr小樂(lè)

公眾號(hào)主頁(yè)

右上角

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