吻接數(shù)問題不僅具有很高的數(shù)學(xué)難度,還在通信、人工智能和物理學(xué)等領(lǐng)域有廣泛應(yīng)用價值。

撰文 | Denovo

1694年5月,在時任劍橋大學(xué)盧卡斯數(shù)學(xué)教授的牛頓(Isaac Newton),與蘇格蘭天文學(xué)家兼數(shù)學(xué)家大衛(wèi)·格雷戈里(David Gregory)會面。據(jù)后世記載,他們曾討論過一個看似“天文學(xué)”卻又深具幾何意味的3問題:如果把太陽看作一個“中心球”,那么在三維空間中,圍繞它最多可以放置多少個大小相同的“行星球”而使它們都與中心球僅在一個點上接觸(即相切),又彼此不發(fā)生重疊?這段對話的真?zhèn)坞m仍存爭議,卻由此引出了一個延續(xù)數(shù)百年的數(shù)學(xué)難題——“吻接數(shù)問題”(Kissing Number Problem)。

打開網(wǎng)易新聞 查看精彩圖片

牛頓與格雷戈里進行討論引出了“吻接數(shù)問題”丨圖片來源:作者AI生成

2024年11月7日,現(xiàn)在斯坦福讀博士的華裔女生Li Anqi與她在麻省理工學(xué)院讀本科時的導(dǎo)師亨利·科恩(Henry Cohn)于arXiv發(fā)布一篇論文,顯示他們在這一問題上有了新的突破:他們提出了全新的幾何構(gòu)造,使球體在17至21維空間中能夠以更加緊湊的方式彼此“接觸”。待完全通過論文出版流程后,這一結(jié)果可謂是自20世紀(jì)60年代以來,數(shù)學(xué)界在這些維度區(qū)間內(nèi)的首次重要突破。

打開網(wǎng)易新聞 查看精彩圖片

發(fā)布于arXiv的論文

三維“吻接數(shù)問題”是怎么解決的?

讓我們先回到數(shù)個世紀(jì)前的討論上。在三維空間里,可以很容易在中心球周圍放置12個球,使得每個球都跟中心球相切。然而,這種排布在球與球之間還留有空隙。是否存在第13個球能夠塞進多出來的空間中?格雷戈里認為可以,牛頓則堅持12已是極限。

打開網(wǎng)易新聞 查看精彩圖片

三維空間的吻接數(shù)為12丨圖片來源:Quantamagazine

1952年,數(shù)學(xué)家許特(Kurt Schütte)和范德瓦爾登(Bartel Leendert van der Waerden)運用了一種巧妙的“降維”思路,將三維問題轉(zhuǎn)化為球面上的幾何問題,從而為牛頓與格雷戈里跨越兩個多世紀(jì)的爭論畫下句號——牛頓是對的,三維空間中可圍繞中心球緊密排布的最大球數(shù)是12。

考慮中心球周圍要放置N個接觸球,每個接觸球都必須與中心球相切,并且不能相互重疊。所以證明目標(biāo)就是:N=12是可行的,并且N=13會導(dǎo)致至少兩個接觸球發(fā)生重疊,從而不可能實現(xiàn)。

打開網(wǎng)易新聞 查看精彩圖片

具體來說,他們先將中心球與外圍球的球心“投影”到單位球面上:把外圍球的球心與中心球的球心連線,并將該連線延伸至與單位球面相交。由于外圍球都與中心球相切,被投影到球面上的點彼此之間必須保持一定的最小夾角,以免對應(yīng)的外圍球產(chǎn)生重疊。

接著,他們在球面上為每個投影點劃定一個不互相重疊的球冠,并發(fā)現(xiàn):如果試圖放置超過12個點,這些球冠的總面積就會超過球面可提供的總面積,從而形成邏輯上的矛盾。這也就證明了,三維空間的吻接數(shù)是12。

那其他維度的“吻接數(shù)問題”呢?

吻接數(shù)問題同樣適用于任意維度的球。在一維空間,一條直線上中心球兩側(cè)可以各接觸1個球,共吻接2個球。在二維空間里,情況同樣一目了然:在桌上放一枚硬幣,周圍最多可圍上6枚緊貼它的硬幣,宛如一朵雛菊盛開。那么,若維度繼續(xù)提升,情況又會如何呢?

打開網(wǎng)易新聞 查看精彩圖片

二維空間的吻接數(shù)為6丨圖片來源:Quantamagazine

在數(shù)學(xué)中,維度表示描述空間所需的獨立方向數(shù)。例如,一維空間是一條直線,只有長度;二維空間是一個平面,具有長和寬,比如紙張上的圖形;三維空間則是我們?nèi)粘I钪械牧Ⅲw空間,包括長、寬、高。四維及更高維度則屬于數(shù)學(xué)中的抽象概念,每增加一個維度,就意味著多了一個獨立的方向。

舉個生活中的例子:假設(shè)你每天記錄體重、身高、血壓、睡眠時長4個數(shù)據(jù),你的健康狀態(tài)就可以看作一個四維空間中的點,你的健康狀態(tài)可以看作四維空間中的一個點,每個指標(biāo)對應(yīng)一個維度?!扒颉眲t代表所有滿足某種條件(如健康評分范圍)的數(shù)據(jù)集合。

隨著維度的升高,吻接數(shù)問題會變得更加復(fù)雜。這是因為每增加一個維度,球體的接觸點排列方式都會呈指數(shù)級增長。在三維空間中,最多只能有12個球圍繞中心球緊密貼合,而在24維空間,這一數(shù)目則暴增至近20萬個,它們以超對稱晶格的方式排列,猶如一張極為精密的編織網(wǎng)。而在24維中驗證這近二十萬個點是否重疊,涉及了1933億次計算。

此外,高維空間中的球體幾何性質(zhì)與低維空間大相徑庭,常常顛覆我們的直覺。例如,在100維空間中,一個邊長為1的超立方體(即100維正方體)的對角線長度約為10,而在二維情況下,它僅為。這一現(xiàn)象表明,高維球體之間的“安全距離”需要更復(fù)雜的計算,傳統(tǒng)排列方式可能不再合適,數(shù)學(xué)家需借助抽象代數(shù)、信息論甚至物理中的弦理論工具。

高維度的“吻接數(shù)問題”現(xiàn)況如何?

為了解決在高維度的吻接數(shù)問題,數(shù)學(xué)家們各顯神通。

2008年,奧列格·穆辛(Oleg Musin)基于德爾薩特(Delsarte)線性規(guī)劃技術(shù),通過分析球體排列的對稱性,并結(jié)合球面調(diào)和分析,嚴格證明了四維空間的吻接數(shù)為24。

打開網(wǎng)易新聞 查看精彩圖片
打開網(wǎng)易新聞 查看精彩圖片

因成功解決8維的吻接數(shù)問題,維亞佐夫斯卡于 2022 年榮獲數(shù)學(xué)界最高榮譽——菲爾茲獎,成為歷史上第二位獲得該獎項的女性丨圖片來源:EPFL

隨后在2017年,維亞佐夫斯卡與亨利·科恩等合作者,采用與8維空間相似的傅里葉分析方法,進一步證明了利奇(Leech)格是24維空間中最密的球體堆積結(jié)構(gòu),吻接數(shù)達196560。

這些方法高度依賴于對稱性,因此,在某些對稱性較弱的維度(如5、6、7維等),計算最大吻接數(shù)變得極其困難。目前,四維(24)、八維(240)和二十四維(196560)是僅有的三個已被嚴格證明的高維吻接數(shù)。

因此,2022年春季,當(dāng)時還在麻省理工學(xué)院讀數(shù)學(xué)本科的Li Anqi在老師亨利·科恩給了她這個題目后,創(chuàng)造性地選擇了放棄對稱性,“離經(jīng)叛道”地去選擇了一些“怪異的結(jié)構(gòu)”,通過翻轉(zhuǎn)坐標(biāo)符號(奇偶性調(diào)整),構(gòu)造出非對稱的球體排布,在17-21維中發(fā)現(xiàn)了新的空隙。多個近期結(jié)果都支持這些不太容易獲得的結(jié)構(gòu)的前景。在過去兩年里,數(shù)學(xué)家們通過扭曲或者打破常規(guī)的對稱性規(guī)則,得出了5、10和11維中巧妙的新構(gòu)造。數(shù)學(xué)家們逐漸發(fā)現(xiàn),在某些高維空間中,非對稱結(jié)構(gòu)可能比傳統(tǒng)的對稱晶格更優(yōu)。

打開網(wǎng)易新聞 查看精彩圖片

Li Anqi個人主頁上的自我介紹

不過,這離徹底解決這個問題還有很遠的距離。亨利·科恩說:“也許我們離真相還很遠,因為它并沒有一種直觀易懂的描述?!?/p>

徹底解決“吻接數(shù)問題”有何意義?

那么,徹底解決這個問題究竟有什么意義呢?

徹底解決吻接數(shù)問題不僅是數(shù)學(xué)上的一項重要挑戰(zhàn),還在通信、人工智能和物理學(xué)等領(lǐng)域具有廣泛應(yīng)用。

在數(shù)學(xué)上,它涉及高維幾何、優(yōu)化理論、數(shù)論和代數(shù)幾何,推動高維空間優(yōu)化與編碼理論的發(fā)展。在無線通信和量子通信中,數(shù)據(jù)點的高維排列影響信號傳輸效率,例如:格雷碼在24維空間的最優(yōu)排列與與利奇格吻合,曾應(yīng)用于NASA的旅行者1號;被而5G和量子加密中的超立方體碼也依賴高維結(jié)構(gòu)優(yōu)化。此外,在機器學(xué)習(xí)中,高維數(shù)據(jù)分析需要優(yōu)化聚類和距離度量,而吻接數(shù)問題的研究有助于提升大規(guī)模數(shù)據(jù)處理和模式識別的準(zhǔn)確性。在物理學(xué)領(lǐng)域,弦理論認為宇宙可能存在10維或11維,高維幾何為統(tǒng)一相對論與量子力學(xué)提供了重要的數(shù)學(xué)框架。

因此,徹底解決吻接數(shù)問題不僅回答了經(jīng)典數(shù)學(xué)難題,也將推動多個科學(xué)領(lǐng)域的發(fā)展。

參考文獻

[1] Mathematicians Discover New Way for Spheres to ‘Kiss’, Quantamagazine. https://www.quantamagazine.org/mathematicians-discover-new-way-for-spheres-to-kiss-20250115/

[2] Schütte K, van der Waerden B. L. Das Problem der dreizehn Kugeln[J]. Mathematische Annalen, 1952, 125(1): 325-334.

[3] Musin O R. The kissing number in four dimensions[J]. Annals of Mathematics, 2008: 1-32.

[4] Viazovska M S. The sphere packing problem in dimension 8[J]. Annals of mathematics, 2017: 991-1015.

[5] Cohn H, Kumar A, Miller S, et al. The sphere packing problem in dimension 24[J]. Annals of Mathematics, 2017, 185(3): 1017-1033.

打開網(wǎng)易新聞 查看精彩圖片

出品:科普中國
審核:鑄雪(Springer 科學(xué)編輯)
監(jiān)制:中國科普博覽

特 別 提 示

1. 進入『返樸』微信公眾號底部菜單“精品專欄“,可查閱不同主題系列科普文章。

2. 『返樸』提供按月檢索文章功能。關(guān)注公眾號,回復(fù)四位數(shù)組成的年份+月份,如“1903”,可獲取2019年3月的文章索引,以此類推。

版權(quán)說明:歡迎個人轉(zhuǎn)發(fā),任何形式的媒體或機構(gòu)未經(jīng)授權(quán),不得轉(zhuǎn)載和摘編。轉(zhuǎn)載授權(quán)請在「返樸」微信公眾號內(nèi)聯(lián)系后臺。