又一個重要數學猜想，被陶哲軒和他的博士後破解了！
此前陶哲軒在博客上發了個小預告，就已經有不少人趕來圍觀：
看起來是個大新聞。
現在，不少人期待的正式版論文，終于在 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/
