三維掛谷猜想：讓陶哲軒只推進(jìn)十億分之一的難題，王虹如何攻克？

1999年，陶哲軒和合作者卡茨、拉巴在頂級(jí)數(shù)學(xué)期刊《數(shù)學(xué)年刊》上發(fā)表了一篇論文，證明三維掛谷集的維數(shù)不小于2.5000000001。這個(gè)數(shù)字看起來平淡無奇，但它的絕對(duì)值卻震動(dòng)了整個(gè)數(shù)學(xué)界——他們只比此前的記錄推進(jìn)了微不足道的一百億分之一。

僅僅為了這小數(shù)點(diǎn)后九個(gè)零，三位頂尖數(shù)學(xué)家就動(dòng)用了當(dāng)時(shí)最前沿的分析工具。此后二十六年，這個(gè)數(shù)字紋絲不動(dòng)，直到2025年，中國(guó)數(shù)學(xué)家王虹的127頁(yè)論文將這個(gè)下界一腳油門踩到了3。三維掛谷猜想，正式宣告攻克。

王虹與合作者的三維掛谷猜想相關(guān)論文首頁(yè)

一個(gè)耗時(shí)百年、集齊了多位菲爾茲獎(jiǎng)得主卻只能推進(jìn)十億分之一的難題，它的核心到底在問什么？

從武士如廁到數(shù)學(xué)圣杯，問題本身在問什么

1917年，日本數(shù)學(xué)家掛谷宗一用了一個(gè)極其生活化的場(chǎng)景來包裝他的問題：一名武士在狹窄廁所里遇襲，他手持一根短棒，必須旋轉(zhuǎn)360°來?yè)踝∷蟹较蛏鋪淼募浮榱嗽诒曝瓶臻g里活下來，他得讓短棒掃過的面積盡可能小。問，這個(gè)面積最小能小到多少？

這其實(shí)是一個(gè)初等平面幾何問題——你在平面上找一片區(qū)域，讓一根長(zhǎng)度為1的線段能在里面完成360°連續(xù)旋轉(zhuǎn)。掛谷自己猜，最小的解法是一個(gè)三尖瓣線圍成的區(qū)域，面積大約是π/8。

但三年后，蘇聯(lián)數(shù)學(xué)家貝西科維奇就給出了一個(gè)讓所有人目瞪口呆的答案：面積可以無限趨近于零。

面積為零，意味著你用肉眼看不到這片區(qū)域，但它確實(shí)包含了指向所有方向的單位線段。這就像你有一根無限細(xì)的針，它在空間里轉(zhuǎn)了一圈，但掃過的區(qū)域被壓縮到薄得不能再薄，用常規(guī)的“面積”尺子去量，結(jié)果就是零。

當(dāng)面積這把尺子失效后，數(shù)學(xué)家們換了一把更精密的尺子：分形維數(shù)。一個(gè)集合哪怕體積為零，它在分形維度的意義下，是否還能保持“飽滿”的維度？掛谷猜想的現(xiàn)代版本由此誕生：任何n維空間里包含所有方向單位線段的集合，它的豪斯多夫維數(shù)和閔可夫斯基維數(shù)都必須等于n。

用大白話說，就是你在三維空間里讓這根針轉(zhuǎn)一圈，無論你怎么把它擠壓縮小，它都不可能被拍扁成一張二維的紙，或者抽絲成一條一維的線。它必須厚實(shí)地?fù)螡M三維空間，哪怕體積趨近于零。

把線塞進(jìn)針尖，二維到三維的次元壁

二維版本在1971年就被英國(guó)數(shù)學(xué)家戴維斯完整解決了。平面上的掛谷集，盡管面積可以任意小，但它的分形維數(shù)嚴(yán)格等于2。二維空間里，線段交叉的方式相對(duì)簡(jiǎn)單，你可以用平面投影、拆解拼接這些手段，把不同方向線段的重疊關(guān)系管理得清清楚楚。

但升到三維后，問題瞬間爆炸。想象一下，平面上幾根線交叉，交點(diǎn)就那么幾個(gè)，你畫個(gè)圖就能數(shù)清。但在三維空間里，線變成了細(xì)管，管與管之間可以像一團(tuán)亂麻一樣，在無數(shù)個(gè)尺度上彼此纏繞、重疊。

你沒法像整理毛線球那樣，把每一根管剝離開來——因?yàn)樗鼈冊(cè)诿恳粋€(gè)微小的局部尺度上，都可能出現(xiàn)新的、更復(fù)雜的交叉結(jié)構(gòu)。

這種復(fù)雜度的暴漲，讓二維的所有證明工具在三維面前徹底失效。1995年，美國(guó)數(shù)學(xué)家沃爾夫勉強(qiáng)把三維掛谷集維數(shù)的下限推到2.5，但1999年陶哲軒等人拼盡全力，也只把2.5推到了2.5000000001。

這個(gè)小數(shù)點(diǎn)后的九個(gè)零，精確地反映了三維掛谷猜想的困難程度：你往前多走一步，都需要全新的數(shù)學(xué)武器。

王虹的致命一擊，為什么能鎖死退化的上限

王虹和合作者扎爾的核心突破，在于他們不再試圖直接“數(shù)”清這些管的重疊關(guān)系，而是發(fā)明了一套精細(xì)的多尺度歸納框架，把三維掛谷集合拆解成一個(gè)個(gè)微小的“顆粒”。

這就像你面對(duì)一團(tuán)亂麻，不再一根一根往外抽，而是把這團(tuán)亂麻切成無數(shù)個(gè)微小的片段，然后證明：在每一個(gè)可能的尺度上，不同方向的管都無法過度重疊。空間里的任何一個(gè)點(diǎn)，都不可能被無限多的方向管同時(shí)覆蓋。

這種“重疊上限”的嚴(yán)格證明，從根本上鎖死了整個(gè)集合維度退化的可能性，徹底排除了此前學(xué)界公認(rèn)最棘手的“黏性反例”——也就是陶哲軒2014年在博客里指出的、如果掛谷猜想有反例，最可能出現(xiàn)的那個(gè)精巧結(jié)構(gòu)。

這個(gè)證明的連鎖反應(yīng)是巨大的。調(diào)和分析領(lǐng)域的三大核心猜想——傅里葉限制猜想、博納赫-里斯猜想、局部正則性猜想——都像一座塔樓，而掛谷猜想是它們的地基。如果掛谷猜想被證偽，整座塔樓都會(huì)倒塌。

王虹的證明，就是把這棟搖搖欲墜了百年的理論大廈，徹底焊死在了基巖上。

菲爾茲獎(jiǎng)得主丘成桐評(píng)價(jià)這項(xiàng)工作是“里程碑式的重大貢獻(xiàn)”，領(lǐng)域權(quán)威數(shù)學(xué)家卡茨更直接，稱其為“百年一遇的成果”。一百年前，一個(gè)日本數(shù)學(xué)家從廁所里的武士抽象出來的問題，最終由一位中國(guó)數(shù)學(xué)家，用一種全新的多尺度分析框架畫上了句號(hào)。