為了用最小的箱子裝最多的汽水,數學家們研究到了 24 維!

2021-01-08 中科院物理所

科學無國界

我們是知識的搬運工

認真閱讀下面的文章,並思考文末互動提出的問題,嚴格按照 互動:你的答案格式在評論區留言,就有機會獲得由未讀提供的優質科普書籍《how to:如何不切實際地解決實際問題》一本。

如何在保持辦公室、學校和公共場合開放的情況下,同時讓人們保持 6 英尺(≈182.88cm)的社交距離,這是數學家們研究了幾個世紀的問題。

球體填充似乎是一個只有數學家們才會喜歡的話題。也對,除了他們,還有誰會熱衷於找到平面排列圓形或者空間中放置球體的最有效方法呢?

但是現在,全世界有幾百萬的人都在思考這個特別的問題。

如何在保持社交距離下重新開放公共空間和場所,這在一定程度上是一道幾何問題:如果每個人都與其他人保持 6 英尺的距離,那麼一個教室或者餐廳可以坐多少人?本質就是在算一個平面內可以填充多少個不重合的圓形的問題。

來源:Samuel Velasco/Quanta Magazine

這個幾何問題不僅僅是當前疫情所面對的問題,在化學中模擬晶體結構和在資訊理論中抽象的信息空間都涉及到了這個圓形和球體填充的問題。這個問題聽起來很簡單,但是卻一直困擾著歷史上一些偉大的數學家們,甚至今天,關於這個問題的一些激動人心的研究還在繼續,特別是在高維空間上。比如說,數學家們最近證明了將球體封裝到 8 到 24 維空間的最佳方法,這個方法是優化手機中糾錯碼或空間探測器通訊的必需技術。所以,當我們研究用最簡單的形狀填充空間時,會出現怎樣令人驚訝的複雜情況?

二 維

如果你的任務是將橘子合理地放到盒子裡或者在保持社交距離的情況下讓學生入座,那麼你所要安排的容器的大小和形狀就變成了問題的關鍵。但是對於絕大部分的數學家們來說,球體填空理論是填充在整個空間的。在二維空間上,這代表利用同樣大小的圓,不重疊地覆蓋在平面上。

這裡有一個在平面上放置圓形的例子,可能會讓你想起一箱汽水罐的俯視圖:

可以想像,沿著各個方向按照這個模式不斷重複的過程,就像鋪設平面的瓷磚。圓圈之間的小的間隙代表著平面並不是完全被覆蓋,對於圓形的瓷磚,這是可以預想到的結果。同時,我們關心平面的覆蓋率,也就是平面覆蓋的百分比,這裡也被稱為排列的「堆積密度」。

以上的排列被稱為「方形堆積」( square packing),原因是:可以將圓的圓心想像為正方形的頂點。

事實上,這些正方形本身就鋪貼為平面。

鋪設的「瓷磚」對稱性的性質將會簡化這項工作。因為這些正方形的瓷磚可以用一種規則的方式覆蓋整個平面,所以平面被圓形覆蓋的百分比等於任意一個被圓覆蓋的正方形的百分比。所以,讓我們進一步看看這些方塊。

假設每個圓的半徑為r,這意味著正方形的邊長為2r。正方形的四個頂點中的每一個都被一個四分之一圓覆蓋,因此每個正方形被圓覆蓋的比例就是一個整圓的面積與一個正方形的面積之比:

每個正方形大概有 78.54% 的面積被圓覆蓋,所以根據我們的平鋪理論,整個平面大概有 78.54% 被圓形覆蓋。這就是方形堆積的堆積密度。(這裡半徑 r 從結果中消失了,這代表無論圓有多大,正方形都將會包含四個四分圓。)

現在,如果你曾嘗試將汽水罐的側面如下圖這樣放置,看著它們按照這個排列滑進罐與罐的縫隙之間,你會發現另外一種打包的方式。

利用跟上文類似的方法,將圓的中心想像為正六邊形的頂點。

我們稱之為「六方堆積」( hexagonal packing),這種排列似乎比方形堆積更有效地填補了空白。為了驗證這一點,讓我們比較一下它們的堆積密度。就像正方形一樣,六邊形平鋪在平面上,所以我們可以通過分析單個六邊形來確定這種排列的堆積密度。

這個六邊形被圓覆蓋的比例是多少?因為六邊形的內角是 120°,所以它的每個角上都有三分之一個圓,因此整個六邊形包含兩個完整的圓,加上中間的一個一共是三個圓。如果每個圓的半徑為 r,則總面積為 3πr。

該怎麼跟六邊形的面積比較呢?邊長為 s 的正六邊形實際上是六個邊長為 s 的正三角形,每個三角形的面積是 ,所以六邊形的面積為 。在這裡,六邊形的邊長為 2r,因此它的面積為:

所以,六邊形被圓覆蓋的面積百分比為(用三個圓的面積除以六邊形的面積):

每個六邊形大概有 90.69% 被圓覆蓋,這樣看起來比最密堆積空間利用率更高。(這裡和我們預期的一樣,結果中同樣不包含圓的半徑。)但是事實上,沒有哪種排列是更有效的。

這一點的證明並不是一件容易的事情。一些著名的數學家比如約瑟夫·拉格朗日和卡爾·弗裡德裡希·高斯在18世紀末和19世紀初就開始研究這項工作,但直到20世紀40年代,所有可能的排列——規則的和不規則的——都被嚴格考慮之後,這個問題才被徹底解決。在很容易可視化的二維維度上,這個問題已經耗費了很長時間,這警示了了我們更高維度上問題的複雜程度。

三 維

三維球體的填充是一個複雜得多的問題,儘管它與二維在某些方面有些共同的特點。例如,我們研究的二維填充是從一個單層構建的。

在方形堆積中,我們把每一層都直接放在前一層的上面。

在六方堆積中,我們將每個新層嵌套在前一層的間隙中。

我們對每層的堆積方式決定了三維中不同的填充方式。

在三維空間中,不同的填充來自於這樣的填充層。

這一層是六方堆積填充的,就像是平面上最優的堆積方式。同樣,將第二層以類似的方式堆疊上去,嵌套在球體之間的間隙中。

三維中的幾何要稍微複雜一些。每層球體之間的距離小於相鄰球體的距離,因此這些縫隙中不能填充球體,否則會重疊。這意味著兩層之間的縫隙會排成一行,形成一個小的縫隙通道。

放置第三層時,有兩個選項。一是填充間隙,保持通道順通。這是側面圖:

為保持通道順通,第三層的球體放在第一層的正上方,如上圖所示。這種排列被稱為「六方最密堆積(hexagonal close-packed,HCP)」 ,當你從上往下看時,會看到一條通道。

第三層的另一種排列方式是封堵這個通道。將第三層放到第一層間隙的正上方,

這個被稱為「面心立方堆積(face-centered cubic,FCC)」 往下看,你看不透這個排列。

這兩種相似但截然不同的排列方式在化學上經常出現,它們用以描述不同材料中原子的排列方式。(比如說,銀和金等金屬具有面心立方堆積結構,而鋅和鈦等金屬具有六方最密堆積結構)。通過選用任一填充模式,都可以利用球體填充空間。在六方最密堆積中,每隔一層球體的位置完全相同,而面心立方堆積中,每隔三層的排列是一樣的。

事實上,你可以任意混合模式創建不同的填充方式,但是對於面心立方和六方最密堆積這兩種模式來說,它們都是最好的填充方式!它們不僅有相同的堆積密度 ,而且還是三維空間中可能填充密度最大的排列。著名數學家、天文學家約翰內斯·克卜勒在1611年就提出了這個猜想,但是直到 1998年數學家託馬斯·黑爾斯才給出了完整的證明。

三維空間為有效地填充提供了更多的選擇。隨著維度的增加,填充的方法變得越來越複雜:更多的空間意味著更多的可能性,也愈加難以可視化。不僅僅是這個,隨著維度的增加,球體所佔據的空間就越小。

考慮邊長為 1 的正方形的內接圓:

圓的半徑為 0.5,因此圓相對於方形的比例為:

同時也是二維空間中最密堆積的堆積密度。

現在我們來到三維空間中立方體內的內接球。

此球體的半徑為 0.5,所以球體相對於立方體的體積比例為:

值得留意的是,三維空間中,立方體內接球體所佔的空間比例小於二維空間正方形內接圓所佔的比例,照此類比,隨著空間維度的增加,這個比例會減小,也就是說,隨著 n 的增大,n 維球體佔據的 n 維空間越來越小。

這個問題可以利用微積分來詳細計算,但是這裡也可以利用角的數目來理解。在每個維度中,我們都在 n 維的立方體中插入了 n 維的球體。球體的邊接觸了立方體的面,但是沒有接觸立方體的角,這代表立方體的每個角附近的區域都是在立方體的內部,球體的外部。但是一個 n 維的盒子中,有 個角,這代表隨著 n 的增加,球體未覆蓋的部分呈指數增長。不僅如此,角之間的距離和球體之間的距離也會隨之增長。這代表著,從長遠來看,n 維立方體內部,n 維球體外部的空間會越來越多,使得球體所佔的空間相比越來越少。

如果空間佔比逐漸縮小的球體還不夠令人感到奇怪,那麼研究空間填充的數學家們在8維和24維中發現的東西就更令人驚訝了。在這些維度中,由於球體佔比縮小產生的空隙,足以利用新的球體來填充,從而產生高維空間的超緻密填充物。這些填充被認為是最優的,這個結論數學家們直到2016年才確定:馬林娜·維亞佐夫斯卡證明了8維的填充,一個星期內,維亞佐夫斯卡及其合作者擴展到了24維的證明。

維亞佐夫斯卡的工作代表目前我們已經知道了從 1,2,3,8,24維空間中最優的空間填充方式。但是在其他維度上,還有更多的工作需要展開。所以,拿出你的橘子和汽水罐,試著擺弄一下這個填充遊戲吧!或許,你就是下一個發展這個理論的人。

小練習:

1. 假設我們如下圖填充坐標平面,左下角的圓位於(0,0)處,右下角的圓位於(2,0)處,那麼第三個圓的圓心坐標是多少?

點擊空白處查看答案

圓心在邊長為2的等邊三角形上。通過對稱性可知,圓的橫坐標為 1,縱坐標為 ,因此,其坐標為 。

2. 對於下面「簡單立方」的填充,這種排列的堆積密度是多少?

點擊空白處查看答案

與平面上方形堆積一樣,我們可以通過觀察單個立方體來確定這種排列的堆積密度。八個角上,每個角都有八分之一的球體在立方體內部。因此立方體內部正好有一個整球。如果球體的半徑為 r,立方體的邊長為 2r,則填充密度為(球體的體積除以立方體的體積):

注意到,這正好是立方體中那個填充的球體的比例。

3. 利用普通的正八邊形填充平面,其填充密度是多少?

點擊空白處查看答案

因為這本質上是一個八邊形的方形填充,所以我們可以使用之前的方法,觀察一個連接四個相鄰八邊形中心的正方形。請注意,正好有一個完整的八邊形,被分成四個部分,位於正方形內。邊長s的正八邊形具有面積(可以通過各種方式分解八邊形),並且在中間有一個邊長為s的方形。這使得堆積密度(八邊形的面積除以八邊形的面積與長度s的方形的面積之和):

值得注意的是,這並不是平面中最密集的八邊形分布,你能找到更有效的填充方式麼?

作者:Patrick Honner

翻譯:Nuor

審校:Dannis

原文連結:

https://www.quantamagazine.org/the-math-of-social-distancing-is-a-lesson-in-geometry-20200713/

tian

tian

xiang

shang

今天我們將送出由未讀提供的優質科普書籍《how to:如何不切實際地解決實際問題》。

如何自拍(用天文望遠鏡)?如何給手機充電(用機場的扶梯)?如何寄快遞(從國際空間站)?如何判斷你是不是90後(用碳-14年代測定法)?如何過河(把河水煮幹)……

針對每個人都會在生活中遇到的普通問題,「科學怪咖」蘭道爾·門羅用專業、嚴謹的多學科知識和大出天際的腦洞,一本正經地給出荒謬卻有趣的回答,完全刷新你對這個世界的認識。

【互動問題:日常生活中,你安排或者被安排過哪些排列問題麼?】

請大家嚴格按照互動:問題答案的格式在評論區留言參與互動,格式不符合要求者無效。

*本活動僅限於微信平臺

編輯:aki

相關焦點

  • 這是個數學家研究幾百年的問題
    怎樣才能讓這些圓排列得最密。這個問題在現實中似乎有個最佳答案,我們可以買來一箱汽水,看看廠商怎麼排列一罐罐圓形的汽水的。上面可樂罐的這種排列方法叫做「正方形堆積」,因為將每個圓的圓心連接起來是正方形。我們來算算這種飲料包裝究竟能佔據多少比例的空間。假設上圖中圓的半徑是r,那么正方形的邊長就是2r。圓的面積是πr2,正方形的面積是(2r)2。
  • 數學家告訴你,多少距離能產生美?
    舉個例子來說,如果每個人都必須與其他人保持6英尺(1.8米)的距離,那麼問題就是要計算出一間辦公室或餐廳裡最多能能坐多少人。 這乍聽起來是一個很簡單的問題,但卻一直困擾著歷史上一些最偉大的數學家,而且圍繞這個問題至今仍然有令人興奮的研究誕生,特別是在更高維度上。
  • 頂級數學家可以「恐怖」到什麼程度?
    一分鐘內就能心算出一道七位數的乘除法,教授苦苦冥思的課題被掃地的小夥子抽空就解了……等等諸多電影中的畫面,讓你對這些實力強悍的數學家感到震驚。但是如果你以為這就是頂級數學家的世界,那你就錯了!這個世界的數學家可以簡單的分為兩種類型,一種是在他人的基礎上做出突出的貢獻,或者說是研究別人;另一種是自己開創一個領域,併集大成者,對整個數學發展史起到程碑式的作用。
  • 菲爾茲獎得主高爾斯:未來數學家的工作或被計算機取代
    這位劍橋大學純數學與數理統計系研究教授、《普林斯頓數學指南》、《牛津通識讀本:數學》作者曾在音樂和數學的天地間漫遊,直到在劍橋大學三一學院的課堂上,他發現了巴拿赫空間並被深深吸引。 大多數巴拿赫空間是無窮維空間,可看成通常向量空間的無限維推廣。這一理論由波蘭數學家巴拿赫(S.Banach)在1920年提出。
  • 你的「小箱子」裡裝的是什麼
    畢淑敏有一段話:「我們的心,好像一隻美麗的小箱子容量有限, 當它儲存物品的時候,經過了嚴格的挑選,把那些引起我們憂愁和苦悶的往事。甩在了外面,保留的是親情和友情。」那麼,我的小箱子裡裝的是什麼呢?心,是一隻小箱子,可以給它裝滿美麗心,是一隻小箱子,可以給它裝滿美麗。
  • 世界頂級數學家都瘋狂囤貨,這些退出歷史舞臺的物件你見過幾個?
    最近,一條關於粉筆的新聞成功引起小編的注意聽說這家粉筆廠倒閉世界頂級數學家們開始瘋狂囤貨這到底是怎麼回事一開始我們並不相信5、手電筒裝兩節電池,就可以用很久早上,用它照著路去上學晚上,拿著它去樹林裡抓螞蚱還用它偷偷在被窩裡看小說在鄉下晚上上廁所必備
  • 戰爭期間,運輸的子彈,為何要用木頭箱子裝呢?
    在戰爭期間,子彈就成了最大的消耗品,為了保證戰場上士兵有足夠的彈藥用,後勤補給會用木箱子將子彈裝起來往前線運。那麼,運輸的子彈為何要用木頭箱子裝呢?看到這個問題後,相信不少人都會說「木材不會和子彈擦出火花什麼的」,在原理上來說確實是沒錯。
  • 數學家們是怎麼玩趣味拼圖遊戲的?
    不變量理論是數學家在研究過程中很常用的一個分析手段。在實際問題中確定和尋找不變量以及可能的使用方法可以被看做為一門藝術,下面我們就從幾個小小的趣味問題入手,帶大家看看不變量的巨大作用。數學史的淵源很深厚。追溯到4000多年前,我們在古巴比倫數學家的著作中就已經可以看出代數的痕跡了。
  • 著名的數學家有哪些?來看看歐洲大陸上的四大數學家
    著名的數學家有哪些?今天極客數學幫為大家整理了歐洲歷史上,四位了不起的數學家。大家一起來看看,這四位數學家分別都是誰。卡爾·弗裡德裡希·高斯高斯(1777年4月30日-1855年2月23日),德國著名數學家、物理學家、天文學家、大地測量學家,近代數學奠基者之一。高斯被認為是歷史上最重要的數學家之一,並享有「數學王子」之稱。
  • 為什麼空姐總是會拉著一個箱子?裡面裝的有什麼東西?
    那麼,在坐飛機的時候,大家應該都會發現這樣一種現在,就是空姐總是會拉著一個箱子。那麼,為什麼空姐總是會拉著一個箱子?裡面裝的都有什麼東西呢?下面,一起來看看吧!在大多數人的心裡認為,空姐這個職業是相當不錯的。從外表看來,空姐也總是光鮮亮麗的,本身長得就非常漂亮。不過,實際上,空姐這個工作並沒有我們想像中的那樣輕鬆。
  • 勤奮到雙目失明的偉大數學家歐拉
    歐拉最重要的成就是對微積分理論的發展,讓微積分理論真正成為一門科學,開拓了分析學的道路。數獨遊戲也來自於歐拉的拉丁方陣。數學史上公認的4名最偉大的數學家分別是:阿基米德、牛頓、歐拉和高斯。從18歲開始發表論文,到76歲時去世,這五十多年間,歐拉誕生了巨量的研究成果。歐拉的成果到底有多多?彼得堡科學院為了整理他的著作整整花了47年;歐拉認為自己的研究足夠彼得堡科學院用20年,結果他去世80年後還在發表他的研究;1909年瑞士自然科學聯合會在來自全世界的研究者資助下整理歐拉的文獻。有趣的是在進行這項工作的時候,又意外發現了歐拉的大量研究文獻。
  • 變廢為寶:用泡沫箱子給寶寶做個小板凳
    原來家裡裝空調的泡沫箱和紙箱子沒捨得扔,想著總有天會突然用到。哈哈,還好我夠會過日子沒扔掉。這不今天我就用到了!有些家庭總會經常有一些紙箱子或者厚厚的泡沫箱子!以後不要扔了,可以用來做寶寶的小板凳,又輕快容易搬,還不會磕碰到寶寶!坐著也特別的舒服呢!
  • 天才數學家智商有多高?看完這三位數學家的事跡,才知天才的恐怖
    眾所周知,想要在數學方面有所成就是很難的一件事情,普通人接觸到的數學知識只是一些常識性的數學基礎內容,而要想涉及到真正高深的數學領域就必須擁有超高的智力與數學天賦。在人類發展進程中,任何社會進步背後都有數學這門學科的影子,而一些頂級數學家更是將數學的發展提到了一個前所未有的高度,當時有些研究成果,甚至以現代人的眼光來看,在相關數學領域都是無比超前的。今天筆者就給大家介紹幾位頂級數學家。歐拉是一名瑞士數學家,我們在大學課本上經常能學到許多以歐拉名字命名的公式和定理。
  • 「彈珠汽水」的彈珠是怎麼塞進去的?
    卡口的製作為了更好的講解這個卡口是怎麼做在瓶身上的,我用了這個手作的視頻:直接在半燒熔的玻璃瓶身上,趁著玻璃瓶軟化不注意,給捅得凹陷進去成個卡口...用吸管喝但現在你去喝彈珠汽水的時候,好像有的型號...少了這個卡口?放心,絕不是因為喝的是假的!
  • 妹子坐在這裡很尷尬,怕是猜到了大哥的箱子裡面裝的是什麼東西
    17、為什麼受傷的總是我,我到底做錯了什麼18、各位讀者朋友們大家好,我是那個專注於時尚穿搭二十年的小編幾多小雨雲,我的創作宗旨就是為了給大家帶來最新的時尚資訊以及為平日裡的穿搭提供一下靈感和小妙招,希望能合你們胃口能給你們帶來一定的幫助,好了,廢話不多說,我們一起去看一下這次的精彩內容吧!
  • 清華四大導師中,他的名氣最小,卻涉獵最廣,成就最多
    《民國大師系列·32》在名震天下的清華四大導師中,好像趙元任的名氣最小,在重量級上跟梁啓超、王國維、陳寅恪不是一個量級,但他涉獵之廣、成就之多,卻是另外三位大師不能比的。(圖:四大導師蠟像,從左至右:趙元任、梁啓超、王國維、陳寅恪)提起趙元任,很多人都知道他是一位偉大的語言學家,被譽為「中國語言學之父」;再了解一些的人可能知道他還是一位音樂家,創作過大量膾炙人口的歌曲;至於他另外的幾個身份,就沒多少人知道了,其實,他還是傑出的數學家、物理學家、心理學家、哲學家……只是他在語言學上的成就實在太輝煌了,掩蓋了這些更多的身份。
  • 受摺紙遊戲啟發,柏拉圖立體的數學難題被這三位數學家解決了
    關於多面體性質的理論關係到人們對於晶體的理解,因此它是晶體學、固體物理、材料科學,乃至於生物病毒研究的基礎。儘管兩千多年以來,數學家們不斷研究柏拉圖立體的結構,並證明了只存在這五種凸多面體,但人類對它們的了解顯然還不夠。
  • 著名數學家丘成桐公開回應任正非:華為是數學家還是數學工程師?
    世界著名數學家丘成桐公開回應任正非:華為是數學家還是數學工程師? 此前華為創始人任正非曾多次在媒體面前表示,華為有700多名數學家、800多名物理學家、120多名化學家,而華為之所以有如此多的成就,跟這些領域專家也是有很大的關係!
  • 飼養陸龜用什麼箱子好?
  • 俄國數學家提出「平行線可相交」,被嘲諷一生,死後12年終被證實
    讀書無疑者,須教有疑,有疑者,卻要無疑,到這裡方是長進。——朱熹做學問是一個很大的課題,有的人讀了一輩子書也找不到自己的道路,有的人即使找到了自己的道路卻也只能成為傳道者。而要成為一個開創者,除了淵博的知識以外,還需要有和大多數平庸的人背道而行的勇氣。