Pine 蕭簫 發自 凹非寺
又一個重要數學猜想，被陶哲軒和他的博士後破解了！
此前陶哲軒在部落格上發了個小預告，就已經有不少人趕來圍觀：
看起來是個大新聞。
現在，不少人期待的正式版論文，終於在arXiv上新鮮出爐：
這個猜想，與我們熟悉的「鋪瓷磚」問題有關——
用什麼樣的幾何瓷磚，能恰好「天衣無縫」地鋪滿整個地板平面。
它名叫週期性平鋪猜想（periodic tiling conjecture），即在一個平面（plane）中，不存在可以非週期性覆蓋整個平面的單個幾何圖形。
簡單來說，就是不存在一個具備「彭羅斯瓷磚」性質的幾何圖形，它既能通過自身平移或移動（不包括旋轉）鋪滿整個平面，又能讓平鋪的圖案看起來沒有「規律性」。
△彭羅斯瓷磚，由兩個幾何圖形非週期性覆蓋
這個猜想曾在二維空間中被證實，因此有數學家認為它同樣可以推廣到三維、甚至高維空間中去。
但現在，這個猜想在更高維的空間被陶哲軒和他的博士後否定了。
陶哲軒對此表示：
現在大家已經有了新的認知，即高維幾何有點讓人討厭（nasty）。
我們從二維和三維空間中獲得的直覺，或許會對高維空間的研究產生誤導性。
這篇論文出來後，希伯來大學數學名譽教授Gil Kalai發來祝賀：
羅徹斯特大學數學家Alex Iosevich調侃了一下否定猜想的方式：
他們不僅推翻了這個猜想，還是以一種極盡羞辱的方式推翻的。
具體如何？可以一起來看看～
「鋪瓷磚」猜想之一，但是高維版
週期性平鋪猜想（periodic tiling conjecture），先後在1987年和1996年的兩篇論文中被提出。
這一猜想認為，在一個平面（plane）中，不存在可以非週期性覆蓋整個平面的單個幾何圖形。
其中，週期性和非週期性，分別是兩種鋪滿平面的方法。
週期性平鋪是一種很有規律的方法，即通過不斷重複對某個圖案進行「複製-平移-移動」，就能規律性地鋪滿整個平面：
例如用方塊、或是正六邊形瓷磚，就能做到非常直觀的週期性平鋪。
只需要不斷複製其中的正六邊形或正方形，並進行平移和移動這兩種操作，就能輕鬆鋪滿整個2D平面：
非週期性的平鋪方法，就沒那麼簡單了。
最典型的例子，就是諾貝爾物理學獎得主彭羅斯提出來的「彭羅斯瓷磚」。
他設計了一個瘦四邊形（圖中紅色）和一個胖四邊形（圖中藍色），用這兩個圖形就能鋪滿整個平面，然而這兩個圖形究竟是怎麼分佈的，卻沒有一個具體的規律可言。
也就是說，用這兩種圖形鋪出來的平面，無法像正方形或正六邊形那樣，被分割出一塊圖案「有規律」地進行復制粘貼，而是以一種隨機的方式被鋪在平面上。
所以，週期性平鋪猜想，猜的就是「沒有任何一個幾何圖形，可以靠自身做到非週期性覆蓋整個平面」。
一維猜想已經被證實，而就在幾年前，數學家Siddhartha Bhattacharya也成功地在二維平面上證明了這個猜想。
於是數學家們大膽了起來，他們猜測——如果週期性平鋪猜想放在更高維的平面上，是否同樣適用？
這裡面，就包括陶哲軒和他的博士後格林菲爾德（Rachel Greenfeld），後者曾在加州大學洛杉磯分校（UCLA）任助理教授，如今去了普林斯頓大學。
至少在發現反例前，他們曾試圖證明過高維平面的週期性平鋪猜想。
想證明卻發現了反例
當格林菲爾德以博士後的身份來到UCLA後，她和陶哲軒便將目光瞄向了週期性平鋪猜想。
由於猜想在一維和二維空間被證實，他們決定證明更高維度的猜想，先從三維開始：
如果一個單一的形狀可以鋪滿整個三維空間，那麼一定有方法週期性地把它鋪滿整個空間。
他們甚至為此設計了一個新方法，再次成功證明了二維平面的猜想，但在證明三維空間時卻屢屢碰壁。
這時陶哲軒開始思考，是不是高維度下這個猜想是有問題的。
於是，他們倆的研究來了個大轉向：開始尋找反例。
解決這個問題時，陶哲軒和格林菲爾德想出了一個大「套路」：先拆解，再各個擊破——
將連續無限點陣列拆解成有限點集，將高維問題拆解成低維問題。
為了便於分解，他們嘗試重新構建這個問題：將問題設計成一個方程系統，其中未知的變數代表高維空間中所有可能的方法。
而方程系統中的每個方程都表示針對解的不同約束，這樣一來，整個高維問題就可以分解成多個不同平面「瓷磚」的問題。
解決「瓷磚」問題的方法也變成了相對容易的計算機程式設計問題，其中每個命令都是最終平鋪所需要滿足的不同屬性。
而要解決這個問題，就必須保證所有屬性的平鋪都必須是非週期性的。
以三維空間為例，如果將平面「瓷磚」疊在一起，就能設計出一個適用三維空間的「三明治」結構，每一層瓷磚該如何移動則代表了程式設計中的屬性。放到更高維空間也是如此。
而陶哲軒他們所做的，就是對這些屬性進行限制，最終排除掉所有的週期解。
那最終的解又是如何找到的呢？
這又是另外一個難題：網格問題，包含無限數量的行和雖有限但數量依舊龐大的列。
他們有個很巧妙的思路：做「數獨」，把網格比作是一個巨大的數獨遊戲，用特定的數字序列來填充每一行和每一個對角線。
而這些數字序列則需要滿足平鋪方程的約束條件。
最終，陶哲軒發現了得出的序列是非週期性的，這也意味著平鋪方程組的解也是非週期性的。
至此，高維空間的週期性平鋪猜想被陶哲軒和他的博士後推翻了。
至於這一反例的維度究竟有多高，陶哲軒給了個大致的範圍讓大夥「感受感受」：
△這維度也太高了
當然，他們倆的這項工作並不僅僅止於推翻這個猜想，還標誌著一種新方法的出現——
它既可以被用來構建一些非週期性平鋪猜想，也可以用來推翻其他與瓷磚問題有關的猜想。
就好比說數學家們一般要證明一個猜想是「不可判定」的，通常會證明它等同於另一個已知的「不可判定問題」。
不可判定問題是可計算性理論和計算複雜性理論中定義的一類決定性問題，此類問題無法總是用單一演算法得出正確的是/否的答案。
因此，若這個平鋪問題被證明是不可判定的，那它便可以作為一個工具來證明在其他情況下一些問題的不可判定性。
論文地址：
https://arxiv.org/abs/2211.15847
參考連結：
[1]https://www.quantamagazine.org/nasty-geometry-breaks-decades-old-tiling-conjecture-20221215/
[2]https://terrytao.wordpress.com/2022/11/29/a-counterexample-to-the-periodic-tiling-conjecture-2/
