第92章 一塊不該存在的磚
第二天，那個讓程序去找程序的笨東西，江臨終於給它取了個正經名字。
微程序搜索器（MPS）。
聽著像上個世紀的產物，但對江臨來說，這就是個願意把所有蠢辦法都撞一遍，而且永遠不會嫌煩的賽博苦工。
在量化這頭，它現在已經能幫江臨干不少髒活了。
幫他揪出那些藏在系統里，單次不起眼但每天被循環幾千萬次的熱路徑。
它還是個冷酷的質檢員，新找出來的每一套做法必須和舊流程逐項比對，只要有一項輸出對不上，立刻判死。
今天是五個數排名，明天可能是十六個數分桶。
而且，江臨很快意識到，這玩意兒最有價值的地方還不是快那麼一點點。
而是它在逼著自己變得更加嚴謹。
因為他在使用這個搜索器的時候，想要讓它工作起來更加順利，就必須明確告訴它。
什麼算對，什麼算錯，什麼邊界絕對不能碰，什麼動作看似捷徑，實則是把未來的債挪到了現在？
這簡直就是最硬核的自學過程。
以往他學個新概念，總得在腦子裡左右互搏。
一個狀態壓縮會不會丟信息？
一個遞推是不是偷偷混進了未來數據？
一個看起來精妙無比的證明，會不會在某個極端邊界上一腳踩空？
現在，相當於身邊多了一個沒有智商，但體力無限的死腦筋助教。
江臨在終端里敲下一行測試：「這個說法在十個元素以內有沒有反例？」
MPS不懂為什麼，它只會把所有情況像翻抽屜一樣全倒出來。
如果沒有，它告訴你在這個小範圍里沒找到。
如果有，它會把那個血淋淋的反例直接拍在你臉上。
足以讓江臨省下大把時間，去驗證自己的直覺是不是錯的。
但MPS v0.1太直腸子了。
五個數的排序，代碼跑得歡快。
六個數，後台列印的痕跡開始變得雜亂。
等到八個數，以及更大的數時，為了找出那條最短、最穩、最不容易出錯的動作序列，它必須在海量比較順序里試探。
機箱裡的風扇一下子開始狂轉，發出沉悶的嗡嗡聲。
【記住本站域名𝐓𝐖看書網→𝐬𝐡𝐮.𝐭𝐰】
任務管理器的曲線上，CPU占用率瞬間頂在了100%。
路太多了。
所有可能的動作序列像決堤的洪水一樣漫出來，直接把這個體力無限的工人淹死在了內存里。
靠剪枝撐出來的生機，在指數級的爆炸面前不值一提。
江臨聽著機箱的轟鳴，捏了捏眉心。
這是結構性的絕症。
已經不是多掛機幾個小時能解決的問題了。
要讓這套工具鏈成為核心，他必須解決更底層的邏輯。
哪些狀態可以合併？
哪些死路可以提前砍掉？
以及砍掉之後，怎麼在數學上證明自己沒有誤殺真正的最優解？
江臨切回日誌文檔，敲下幾行字。
MPSv0.2目標：不再只會試，要學會合併狀態，排除死路，證明剪枝合法。
寫完，他停了一下。
光標在末尾有節奏地閃爍。
他又補上一行。
需要數學語言：局部規則，狀態轉移，全局約束。
這幾個詞，不知怎麼地，就在他腦子裡意外接上了另一條線。
讓他想起了一個更老的問題。
如果一塊形狀的物理邊界，就是一種天然的局部規則？
如果兩次圖形的嚴密拼接，就是一次狀態轉移？
錯誤接法會自動走進死路，而正確接法會被迫像長晶體一樣，蔓延成越來越宏大的結構。
這跟他在機箱裡讓MPS瘋狂試錯，本質上沒有什麼區別。
江臨重新把光標放回搜索框。
這一次，他沒搜代碼，而是敲下了一行英文。
local rules force global structure
回車。
幾秒鐘後，頁面上跳出了幾個詞：tiling（鋪砌）、substitution（替代）、aperiodic（非周期）。
他順著連結一路點進去。
Penrose 鋪砌、Wang tiles（王氏磚）、准晶體。
最後，在一篇學術綜述的邊角處，他看見了那個如針尖般銳利的詞。
monotile（單一瓷磚）。
江臨盯著這個詞看了足足半分鐘，眼神發亮。
隨後在搜索框裡重新輸入：aperiodic tiling monotile。
……
下午，江臨去了江大圖書館，借了四本書。
一本有限自動機，一本組合優化，一本符號動力系統。
以及一本封皮都有些卷邊的離散幾何講義。
他想找一種證明方式，一種能說明有限的局部約束，怎樣在無限擴展中仍然有效的數學語言。
翻到離散幾何講義的中間部分時，他的目光停在一個章節名上。
Aperiodic Tilings（非周期鋪砌）。
他快速掃過。
先是 Wang tiles，再是 Penrose tilings，接著是 substitution tilings。
最後，在這一章快要結束的地方，講義用極短的一段話提到了一個概念：
einstein problem: whether a single tile can force aperiodicity.
（愛因斯坦問題：是否存在單一形狀的瓷磚，能迫使鋪砌呈現非周期性。）
一塊磚。
僅僅憑藉自身的幾何形狀，就能鋪滿無限的平面，但所有鋪法永遠不可能產生周期性的重複。
這簡直就是MPS思想完美的幾何實體化。
程序里，局部動作排除錯誤路徑，把搜索器逼進唯一的可行域。
幾何里，一塊磚的局部邊界排除所有錯誤拼法，把無限的平面逼進一種深邃的層級結構。
一虛一實，嚴絲合縫。
江臨合上那本封皮卷邊的離散幾何講義，從圖書館出來的時候，腦海中依然盤旋著局部規則、狀態轉移和全局約束這三個詞。
原本在微程序搜索器（MPS）中遇到的狀態空間爆炸問題，此刻在幾何學的語境下，似乎被投射成了一個具象的實體。
穿過林蔭道，他本打算直接去車棚取自行車回七中，餘光瞥見路旁公告欄上的一張海報。
離散幾何讀書班
主題：非周期鋪砌、准晶與單磚問題——局部規則，如何強迫出全局結構。
地點：數學學院C樓 216
主持：顧南舟（副教授）
時間：15:30
江臨的腳步一下子停住了。
局部規則，如何強迫出全局結構？
想到MPS里的核心困境，他摸出手機看了一眼時間，距離開班還有十分鐘。
他當即取了自行車往數學學院騎去。
數學學院的C樓比物理樓要安靜許多。
牆上貼著各類學術講座的海報，大多充斥著張量，流形，同調群等詞彙。
C216的門半掩著。
江臨推門進去，找了最後一排靠窗的位置坐下。
教室不大，正中間拼著幾張長條桌，十來個學生零散地坐著。
有人在翻看列印好的論文，有人在筆記本電腦上敲擊。
氣氛並不嚴肅，但似乎也沒輕鬆到哪裡去。
正前方的白板邊，站著一個三十多歲的男人。
他穿著淺灰色的襯衫，袖口隨意地卷到手肘處，手裡轉著一支白板筆。
應該就是顧南舟。
投影儀亮著，幕布上打出一張錯綜複雜的幾何圖形。
正是經典的Penrose（彭羅斯）鋪砌。
圖中只有兩種基本形狀。
一種是風箏，一種是飛鏢。
邊緣都帶有特定的箭頭標記。
「我們今天討論非周期鋪砌。在這之前，我需要先釐清一個經常被外界，甚至被部分初學者誤解的概念。」
顧南舟轉身在白板上寫下一行字。
non-periodic≠random
「很多人覺得，非周期就是亂，就是沒有規律。」顧南舟指著黑板上的等式，「隨機當然不具備周期性，但數學的美感從來不在於毫無章法的混亂。」
「彭羅斯鋪砌之所以迷人，在於它的局部規則非常有限，甚至可以說非常簡單，但它卻能在無限延伸的過程中，不可抗拒地強迫出全局的非周期結構。」
他在白板上快速勾勒出風箏和飛鏢的輪廓，並在邊緣重重地點出幾個箭頭。
「兩塊磚，只要加上這些匹配規則，規定箭頭必須同向相接，你就永遠無法拼出一個可以平移重合的周期圖案，因為它被鎖死了。」
坐在前排的一個博士生舉起手，推了推眼鏡問：「老師，彭羅斯鋪砌依賴於邊緣的匹配規則。如果我們在物理上實現它，比如把這些箭頭做成真實的凹凸卡扣，把匹配規則直接內化到幾何形狀里，是不是就等價了？」
「直覺很準確。」
顧南舟讚賞地點點頭。
「實際上，這正是後來很多構造法在做的事情。用純粹的幾何邊界來代替人為附加的符號規則。只要形狀設計得當，兩塊磚確實能做到這一點。」
說到這裡，他的話鋒忽然一轉，語氣沉了下來。
「但如果，我們將條件推到極限呢？」
他拿起黑板擦，將剛才畫的風箏和飛鏢擦掉，重新寫下三行簡短的英文。
one tile
tiles the plane
only non-periodically
「單磚問題（The Einstein Problem）。這個名字不是指物理學家愛因斯坦，而是德語裡的ein stein——一塊石頭，一塊磚。」
顧南舟的目光掃過長桌邊的學生，像是在拋出一個沉重的錨。
「只用一塊磚，它能無縫且不重疊地鋪滿整個二維平面。但是，所有的鋪法，都不可能產生周期性的重複。」
教室里出現了短暫的寂靜。
「一塊磚能鋪滿平面，這毫無難度，正方形，正六邊形都可以。」顧南舟敲了敲白板，「難點在於，它必須沒有任何周期鋪法的可能。你不能說，我碰巧給它安排了一種花里胡哨的非周期拼法就算成功，那遠遠不夠。」
他加重了語氣：「你必須在數學上證明，任何人，哪怕他絞盡腦汁想要拼出一個周期性的圖案，只要他拿著這塊磚，他就逃不開非周期的宿命。這塊磚的幾何形狀本身，必須成為一種暴政，一種強迫。」
坐在後排的江臨，呼吸微微一滯。
立即翻開隨身攜帶的黑色筆記本，在空白頁上寫下一行字。
不是給出一種非周期鋪法，而是強迫所有鋪法進入非周期層級。
這是一種降維打擊般的約束力。
也正是他的MPS系統現在最缺乏的特性。
MPS只是在海量的可能性中疲於奔命地尋找可行解，而顧南舟口中的單磚，卻是用自身的幾何法則，直接將所有錯誤路徑在萌芽狀態就切斷。
前面的討論還在繼續。
顧南舟開始梳理歷史脈絡。
從王氏磚（Wang tiles）的不可判定性，講到替代鋪砌（Substitution tilings），再講到如何利用元磚（metatile）構建更大的層級結構。
講到深處，黑板上已經推滿了替代圖、局部補丁、角度約束和幾行簡單的組合計數。
「為什麼一塊磚這個看似簡單的條件，會讓問題變得如此棘手？」
顧南舟指著黑板上的複雜推導。
「因為沒有了第二種形狀來做緩衝和制約，你無法輕易地切斷周期性。單獨的一塊磚，太容易首尾相連形成平移對稱了。」
一個研二的學生苦笑著插話：「老師，這聽起來就像是要求我們打造一把鑰匙，這把鑰匙既能打開世界上所有的門，又偏偏在物理法則上註定了它不能被任何門複製，這要求太反直覺了。」
顧南舟難得地笑了一下。
「比喻得不錯，它最艱深的地方就在於，你要把龐大的，甚至趨於無限的全局信息，毫無遺漏地摺疊進一個微小的局部幾何邊界裡。」
江臨盯著筆記本上那句，把全局信息藏進局部幾何里。
這與他之前推演的search_sort_network本質上是同一件事。
在量化的底層系統里，他是試圖把全局的排序正確性隱藏進一串局部的compare-swap操作約束中。
在鋪砌問題里，則是要把無限平面的非周期性隱藏進一塊磚的幾道凹凸邊界裡。
底層邏輯是相通的。
一個多小時的讀書班轉眼結束。
顧南舟宣布散會，但沒有人立刻離開。
學術討論的餘溫還在。
幾個學生圍在長桌前，研究顧南舟帶來的一些高清列印圖紙。
有人在爭論准晶體衍射圖譜的對稱性，有人在討論十次對稱軸在實際材料中的穩定性。
剛才那個提問的研二學生拿了支鉛筆，在草稿紙上隨手畫著各種扭曲的多邊形，試圖湊出一個不規則的形狀。
「要是真有這麼一塊符合條件的單磚，它到底會長成什麼鬼樣子？」
他一邊畫一邊搖頭，語氣輕鬆，全當是一個消遣的數學玩笑。
而江臨呢？
他當然不是第一次見到這種問題。
MPS的狀態空間爆炸，逼著他反覆想一件事。
怎樣把看似無窮的路徑，壓成有限幾類狀態。
阿里預賽里的磁性幾何魔方，也曾逼他把紛亂的空間構型壓成連接圖與上界。
拆盲盒那道題，則讓他再一次確認，只要對稱性足夠強，狀態就不該按具體對象命名，而該按還缺幾種這樣的等價類命名。
他腦海中，MPS v0.2的那三個問題。
哪些狀態可以合併？
哪些死路可以提前砍掉？
砍掉之後，怎麼證明自己沒有誤殺真正的解？
顧南舟剛才講的 metatile，像是突然給這三個問題換了一套幾何外殼。
轉移，不再是 compare-swap，而是一塊磚貼上另一塊磚。
死路，也不再是跑不通的候選程序，而是一個無法填補的角缺口。
他原本為 MPS 畫過許多狀態轉移草圖。
有些草圖，為了看清邊界，已經被他畫成了幾何拼接。
現在，這些草圖忽然有了新的名字。
metatile。
substitution。
forced hierarchy。
所以他第一眼想的不是圖案好不好看。
而是三個問題。
能不能生成一整張平面？
能不能證明所有合法拼法都被迫歸入同一套層級？
如果層級成立，能不能反證周期？
一念及此，江臨的手腕開始移動。
筆尖落在紙上，沒有遲疑。
他先畫了一個極小的風箏形。
那些邊都落在同一套輔助網格上，幾類角度反覆出現，剛好能讓凹口和凸邊形成有限種鄰接關係。
接著，他以一種特定的拓撲結構，將八個這樣的小風箏形拼接在一起。
紙面上頓時出現了一個十三邊形。
它並不規整。
邊緣充滿了突兀的內凹和外凸，像是一頂被人粗暴壓扁，又用力擰了一把的怪異帽子。
輪廓沒有任何常規幾何圖形的對稱美，透著一種冷硬的機械感。
旁邊那個畫圖的博士生眼角餘光掃到江臨的本子，停下筆，饒有興致地探過頭來。
「同學，你這畫的是什麼，壞掉的風箏？」
他笑了笑，沒有惡意，只是覺得這個形狀古怪得有些滑稽。
江臨沒有抬頭，也沒有回答。
他的手腕繼續移動，在這塊怪帽子旁邊，緊貼著它的凹槽，畫出了第二塊一模一樣的磚，只是進行了旋轉。
嚴絲合縫。
接著是第三塊，第四塊。
這些形狀怪異的磚塊，以一種看似極度彆扭，在視覺上讓人產生錯位感的方式交錯在一起。
但它們的邊緣卻咬合得如同精密的工業齒輪，沒有留下一絲縫隙。
解答了學生疑問的顧南舟，正要離開，從江臨旁邊經過時，剛好看到了這一幕。
不由得停了下來。
低頭看著那幾塊咬合在一起的十三邊形，沉默了幾秒鐘，問道：「這位同學，這是你自己畫的？」
「是。」
顧南舟若有所思地問道：「這塊形狀，能鋪滿？」
「能。」
一旁的博士生聽到江臨的肯定回答，立刻來了精神，放下手裡的草稿紙轉過身來。
「能鋪滿不稀奇，很多形狀只要能湊出一個周期基本胞，就可以周期鋪。」
附近幾個學生也注意到了這邊，還以為江臨只是隨口放了個大話。
能不能周期鋪，哪是看幾塊手繪圖就能斷言的。
顧南舟沒有將這位博士生的話聽進去，他正盯著紙上那幾塊拼接的圖形出神。
那些凹角、凸角和幾條斜邊的組合關係，正在顧南舟腦海中快速重組。
半晌，他拉開旁邊的一把椅子坐下，看著江臨，沉吟道：「要不要試著證明一下看看？」
江臨點點頭。
因為這不是他剛才在教室里靈光一閃的塗鴉。
在過去幾天裡，他為了MPSv0.2反覆畫過很多局部狀態圖。
有些是程序里的狀態。
有些被他順手畫成了平面上的邊界。
他原本只是想找一種可視化方式，幫助自己理解哪些路會死，哪些路會被迫歸入同一類。
直到顧南舟講到metatile，他才意識到，那些被自己當成輔助圖的邊界草稿，本身就可以變成一個幾何問題。
他只是缺乏一套正統的數學語言去包裝它。
而今天下午，顧南舟的讀書班，剛好把這套語言遞到了他手裡。
substitution（替代規則）。
forced hierarchy（強迫層級）。
metatile（元磚）。
這些詞彙，如同堅固的模具，將他那些原本只是用來輔助理解死路、歸類、繼承的邊界草圖，壓入了一個能被當代離散幾何學界審視的框架內。
「第一步，我不會直接證明非周期，而是先證明它能夠鋪滿整個平面。」
江臨說話的時候，在紙的左側，畫了幾個單磚，將它們拼合在一起，形成了一個更大的，輪廓依然帶有特定凹凸特徵的塊體。
然後在這個塊體旁邊標上了一個字母：H（Hex）。
緊接著，他利用不同的拼接方式，又畫出了另外三種由單磚組成的複合塊體，分別標上：T（Turtle）、P（Propeller）、F（Fang）。
它們無一例外，邊緣都帶有極具特徵的幾何齒。
那個博士生眉頭微微皺起，低聲喃喃：「這是在造超大號的磚？」
顧南舟抬起手，示意他安靜。
江臨沒有理會外界的聲音，繼續在白紙上推演。
「這四種塊體，屬於第一層級的metatile。」
他在H塊體的旁邊，開始畫下一層級的替代圖（substitution map）。
「根據這塊單磚的幾何特性，H塊體本身，可以被更小的H、T、P、F 按照一種不可更改的拓撲結構拼湊而成。」
「T也可以。」
「P和F也一樣。」
筆尖在紙上快速遊走，每一條邊每一個轉角的比例都異常精準。
「每一種更高層級的塊體，都能由上一層的這四類metatile嚴密組合出來。」
畫到第三層級替代的時候，紙面上的結構已經變得相當複雜，但無論內部如何交錯，整體的邊界依然保持著最初設定的拓撲特徵。
這一刻沒有人再隨口質疑。
因為從這一刻開始，問題已經從這是不是塗鴉，變成了這張局部鄰域表有沒有漏項。
剛才那個博士生更是已經處於屏氣凝神狀態，死死盯著那些咬合的縫隙。
「這是一套嚴格的substitution rule（替代規則）？」顧南舟小聲問道。
「對。」江臨停下筆，「只要這套替代規則可以在數學上無限疊代，就意味著這個平面可以被尺度越來越大，直至趨於無窮的metatile完全覆蓋。」
他在紙的邊緣寫下：
level 0: tile
level 1: H/T/P/F
level 2: substituted H/T/P/F
...
level n→∞: tiles the plane
「能鋪滿，第一步閉合。」江臨淡淡地說。
「你現在只證明了，依靠這套替代規則，這塊磚有一種非周期味道很強的鋪法。」顧南舟盯著江臨的眼睛，「我在課上說過，這遠遠不夠。」
江臨點頭：「我知道。」
「所以你要證明，不是你在上帝視角選擇了這個層級拼法，而是這塊磚本身的幾何邊界，被迫且只能長成這個層級。」
「所以，第二步不是鋪。」
江臨將畫滿替代規則的A4紙往旁邊推了推，又抽出一張新紙。
在紙的中央單獨畫出那塊十三邊形單磚。
「是強迫（Forcing）。」
他用筆尖圈出單磚邊界上的三個關鍵凹角，接著，又圈出對應的幾個凸角。
「我們不看全局，只看局部。在嚴密鋪砌的約束下，平面不允許留下任何縫隙，也不允許任何重疊。這意味著，單磚上的每一個凹角，都面臨著生死存亡的選擇，它必須被另一塊磚的某一種凸角咬住。」
他在凹角周圍，畫出了第一種鄰接磚的拼法。
「第一種補法，合法。」
接著是第二種。
「第二種，合法。」
第三種。
「第三種，合法。」
然後，他畫出了第四種拼法。
這塊磚在凹角處完美貼合，但在另一端，卻突兀地伸出了一截。
江臨毫不猶豫地在它旁邊打了一個巨大的叉。
「這類局部填法，表面上看在一個頂點處接上了，但只要再往外延伸一圈，它的另一端就會形成一個30°的死角。而我們的單磚系統里，不存在能填補30°缺口的凸起，這是一條死路。」
博士生忍不住插嘴：「等一下，你怎麼能確定局部鄰域只有這幾種拼接可能？平面的組合是指數級爆炸的。」
「因為角度資源是有限的。」江臨連頭都沒抬，「在一個平面內，圍繞任意一個頂點的角度和必須嚴格等於2π。這塊磚能提供的內角和外角，都在30°和90°的整數倍系統內。」
「它能貢獻的角度組合是有限集，因此，圍繞任何一個頂點的局部鄰域，其種類也是一個有限集。」
「能閉合併向外延伸的，只有我列出的這幾類。」
「不能閉合的，會在第一圈或第二圈迅速暴露死角，無法繼續鋪設。」
顧南舟忍不住點了點頭。
他很清楚這段推導的分量。
這才是單磚問題最難的地方，不是人為設計，而是幾何形體自發的剪枝。
江臨繼續在紙上擴展第一種合法的局部拼法。
第一圈補完後，幾塊磚組合在一起，中心外圍不可避免地形成了一個更大的，呈現特定形狀的凹槽區域。
「看到這個新的邊界了嗎？」江臨用筆尖敲了敲那個大凹槽，「這個凹槽的形狀，它不能被單磚隨意填補。經過剛才的角度排除法，填補它的唯一合法途徑，就是將其組合成我剛才在第一步里定義的H塊體，或者T塊體。」
他一邊快速勾勒，一邊陳述幾何法則：「單磚的局部相容性約束，逼出了第一級metatile。」
「而第一級metatile組合後形成的新邊界，依然帶有同樣類型的凹凸約束，且尺度放大，這會繼續逼出第二級metatile。」
「這個過程一旦啟動，就無法停止，底層的幾何規則強迫上層建築按唯一指定的路線演化。」
「你如何保證，所有合法的局部拼法，最後都會毫不遺漏地歸入那四類 metatile 的結構中？」顧南舟追問道。
江臨放下筆，從黑色的筆記本後方，抽出一張摺疊好的方格紙，展開，推到顧南舟面前。
那是一張極其詳盡的表格。
字跡工整，邏輯嚴密。
表頭清晰地寫著。
Local Patches (局部鄰域類型) | Valid (是否合法) | Forced Metatile (歸屬強迫元磚) | Dead End (死胡同終止條件)
表格里，密密麻麻地列出了數十種頂點周圍的拼接組合。
每一行，都像是對某種可能性下達的判決書。
博士生看到這張表，眼角的肌肉忍不住抽搐了一下。
他研究鋪砌三年，導師課題組裡第二號人物，王氏磚的不可判定性他能從頭推到尾。
所以他下意識地想要去挑刺，去找漏洞。
局部鄰域怎麼可能枚舉得完，組合是指數爆炸的。
可這張摺疊的方格紙。
幾十種鄰域，每一種的合法性、歸屬、死亡條件，列得整整齊齊。
他要問的那個漏洞，在表格第十七行，已經被叉掉了。
滿腹話語說到嘴邊，變成了一句：「同學，你提前算過這個？」
「算過一部分。」江臨回答。
「不，這不是一部分。」顧南舟打斷了博士生的話，目光像掃描儀一樣快速掠過表格上的數據，「所有導致拓撲發散的關鍵鄰域，全在這裡了。」
沒有人再隨口插話。
當局部邊界的約束條件、有限鄰域的窮舉排除、以及合法的強迫歸類赤裸裸地擺在桌面上時，任何感性的懷疑都顯得蒼白無力。
第一層的幾何強迫。
第二層的結構繼承。
在這張紙上，它已經呈現出一種很難隨口擊穿的結構閉合。
這已經絕不是什麼課堂上的信手塗鴉。
C216教室里，剩下的幾個學生全都圍了過來，卻沒有人說話。
他們看著那張紙上的怪異十三邊形，就像在看一個從外星墜落的造物。
顧南舟目光灼灼地盯著江臨，問：「第三步呢？」
「反證周期性。」
江臨拿回紙筆，在最右側的空白處寫下一個簡潔的公式。
T+v=T
「假設，存在一個非零的平移向量v，使得這整張無限大的鋪砌圖案，在沿著v平移之後，能夠與原圖案嚴密重合，這就是周期性的定義。」
他說完，在左側畫出了第一層metatile的邊界示意圖。然後用虛線在外面框出第二層。
接著是第三層。
一層嵌套一層，每一層的尺度都在以固定的比例放大。
「剛才的第二步已經證明，任何合法的鋪法，都不會是混亂的，它一定會被局部邊界的強迫力量，嚴格分解成第一層的metatile。」
「第一層，又會被強迫組合成第二層。」
「第二層組合成第三層，這種具有固定結構的層級，將向外無限延伸。」
顧南舟看著那個嵌套的圖形，手心微微出汗。
他已經完全預判到了江臨接下來的邏輯走向。
那將會是臨門一腳。
江臨繼續推進邏輯的鎖扣：「既然如此，如果存在這個周期向量v，那麼它平移的，不僅僅是底層的單磚。」
「它還必須保持每一層metatile的分解邊界不發生改變。」
「因為一旦改變，平移後的圖案就會導致原本的層級邊界錯位，這與所有合法鋪法必然符合該強迫層級的結論相矛盾。」
他在紙上寫下嚴格的推導條件：
v preserves level 1 boundaries
v preserves level 2 boundaries
...
v preserves level n boundaries
江臨畫了一個占據半張紙的巨大metatile輪廓。
「但是，第n層metatile的空間尺度，是隨著n的增加而無界增大的。」
「對於任意一個固定的非零的向量v，我們總能在無窮的層級中，找到一個足夠大的n，使得向量v的長度|v|，遠遠小於第n層metatile的特徵尺度。」
「在這種懸殊的尺度差異下，平移一個微小的距離v，絕對不可能把第 n層那龐大的邊界，整體送回到另一個第n層邊界的位置上，它一定會發生不可調和的錯位。」
「因此，唯一能夠滿足保持所有無限層級邊界重合的平移向量，只有一個。」
江臨在推導的末尾，寫下最終的結論。
v=0
「所以，不存在任何非零的周期平移。」
「這塊磚，只能非周期地鋪滿平面。」
證明結束。
江臨放下鉛筆。
長桌周遭落針可聞。
陽光從窗外打進來，照在紙面上那幾個粗糙的手繪圖形和公式上。
能鋪滿。
局部邊界產生強迫層級。
無限層級的尺度差異反證周期性。
三步邏輯，環環相扣，沒有留下顯眼的斷口。
在這張簡陋的課桌上，完成了一個閉環。
所有人心裡都清楚，這並不是一篇可以直接發表的完整論文。
它缺乏大量的形式化語言修飾。
它還需要將那些手繪的圖錶轉化為嚴謹的計算機輔助向量圖。
它需要補全表格中剩餘那些顯然不成立的局部鄰域的冗長排除過程。
它還需要明確這塊磚在鋪設時是否允許翻面（手性問題）。
但它至少已經有了一副能經受第一輪審查的骨架。
那個研二的學生咽了一口唾沫，聲音有些發抖：「顧老師，這到底算什麼？」
顧南舟沒有立刻回答他。
他深吸了一口氣，從口袋裡摸出手機，打開相機。
雙手有些不自然地緊繃，對著江臨畫的那幾張紙，以及那張摺疊的表格，連續拍了十幾張照片。
拍完整體，他又將鏡頭對準了第一張紙上那個不起眼的，像帽子一樣的十三邊形單磚，單獨拍了一張特寫。
做完這一切，顧南舟把手機扣在桌面上，目光盯著江臨。
「我需要確認幾個邊界條件。」顧南舟的聲音前所未有地嚴肅，「這塊磚，在實際拼貼的時候，需要人為添加顏色標記嗎？」
「不需要。」
「需要邊緣畫箭頭來指示方向嗎？」
「不需要。」
「所有的強迫屬性，僅僅依靠它自身的幾何多邊形邊界？」
「只靠幾何邊界。」江臨回答。
「鋪設過程中，允許將單磚翻面使用嗎？」顧南舟問到了最關鍵的技術細節之一。
江臨點頭：「目前的證明版本，允許翻面，它包含左手性和右手性的混用。」
顧南舟沉思了片刻：「允許翻面，這在單磚問題上已經足夠驚人。至於不允許翻面的手性版本，那是另一層更強的要求，不能混在今天這個證明里。」
說到這裡，他停頓了幾秒，眼神變得極為複雜。
要理解顧南舟此刻的失態，得先知道這塊磚背後，到底是個什麼問題。
事情要從「鋪地磚」這樣一件再普通不過的小事說起。
拿一種形狀的磚去鋪滿一面牆，一塊地，這事誰都見過。
正方形可以，長方形可以，正六邊形也可以，蜂巢就是這麼來的。
它們的共同點是，鋪出來的花紋，是重複的。
你站在屋子這頭看到的圖案，和那頭一模一樣。
把整張圖往旁邊挪一格，嚴絲合縫地又能蓋回自己身上。
這種挪一段距離就能和自己重合的性質，數學上叫周期性。
幾千年來，人類鋪的所有地磚，牆磚，鑲嵌畫，幾乎全是周期的。
重複，是這件事最自然最省力的樣子。
直到有人提出一個古怪的問題。
能不能找到一種鋪法，它能鋪滿整個無限大的平面，卻永遠不重複?
不是局部花點心思搞出一小塊不規則，而是哪怕你把這張圖無限延展出去，走到天涯海角，也絕對找不到兩塊可以完全對齊的區域。
整張圖，處處相似，卻又處處不同，永遠不會出現那種挪一下就重合的整齊。
這種鋪法，叫非周期鋪砌。
光是存在不存在這個問題，就已經夠折磨人了。
但真正讓幾代數學家睡不著覺的，不是這個問題本身，而是它一個更刁鑽的變種。
你可能會想，不重複有什麼難的？
我拿一堆形狀各異的碎磚，胡亂往地上擺，東一塊西一塊，橫七豎八，這不就鋪出一片永不重複的亂圖了嗎？
沒錯，這樣確實不重複。
但這是你不讓它重複。
是靠你這雙手時時刻刻盯著，刻意避開，才勉強不重複。
你手一松，或者換個不上心的人來鋪，它隨時會塌回那種整齊的，重複的樣子。
這種不重複，是脆弱的，是要人盯著的。
數學家想要的，是另一種東西。
他們想找到這樣幾種磚：它們的形狀本身，就不允許重複。
你拿著這幾種磚，哪怕你存心想鋪出一個重複的整齊的圖案，你也辦不到。
每一次你試圖讓它對齊，讓它重複，磚的邊緣就會咬不上，留下填不平的縫。
你越想讓它規整，它越是把你逼回那條不重複的路上。
不需要你盯著，不需要任何人盯著。
規則不寫在紙上，而是長在磚的邊緣上。
形狀，就是命令。
這，才是非周期鋪砌問題真正的核心。
而它最極端最讓人頭皮發麻的版本，就是那個所有人都繞不開的追問，
到底最少要用幾種這樣形狀的磚，才能辦到非周期鋪砌？
這個問題，從1960年代王氏磚被提出算起，幾代人圍著它轉。
最早，要逼出一種永遠無法周期重複的拼法，得用上兩萬多種形狀不同的磚。
後來一代代人往下壓，幾百種，幾十種。
直到1974年，彭羅斯石破天驚般，僅僅只是用兩種磚做到了非周期鋪砌。
兩種。
一種胖菱形，一種瘦菱形。
靠邊緣的咬合規則，它們能鋪滿整個平面，卻永遠拼不出重複的花紋。
這是已經寫進每一本教科書的里程碑之作。
從那以後，所有人都知道下一步該往哪走。
不就是從兩塊，到一塊嗎？
外行聽到這兒，多半會覺得這是順理成章的小進步。
都做到兩塊了，再省掉一塊能有多難。
然而事實恰恰相反。
這裡藏著一個最反直覺的地方。
磚的種類越少，反而越難，難到隔了半個世紀也沒人找出來。
道理其實不繞。
兩種磚之所以能鎖死周期性，是因為它們互相制約。
胖菱形和瘦菱形必須按規則交替咬合，誰也離不開誰，正是這種你管著我我管著你的張力，把整張圖案逼得無法重複。
可一旦只剩一種磚呢？
它就只能自己管自己。
一種形狀，最怕的就是首尾相接，自我複製。
你把它複製一份，平移一段距離，嚴絲合縫地接上去，周期就出現了。
正方形會這樣，正六邊形會這樣，地磚蜂巢，全是這樣。
絕大多數你能想到的形狀，只要能鋪滿平面，就一定能周期鋪。
所以一塊磚這個要求，本質上是在問一個近乎悖論的問題。
能不能設計出一種形狀，它能鋪滿整個無限平面，卻被自己的幾何邊界死死卡住，無論怎麼拼，誰來拼，都絕對拼不出哪怕一丁點兒的重複？
它必須既合群到能填滿每一寸空間，又孤僻到永遠拒絕和自己的複製品對齊。
這就像要打造一把鑰匙，它能打開世界上每一扇門，卻在物理上註定無法被任何一扇門複製。
它得同時是萬能的，又是獨一無二的。
要把這兩種互相矛盾的屬性，同時塞進一塊磚的幾道凹凸邊界裡，難就難在這兒。
少了第二塊磚來幫忙制約，所有的約束力，都得靠這一塊磚自己的形狀扛下來。
正因如此，這一步，一隔就是半個世紀。
顧南舟很清楚這半個世紀是什麼概念。
他讀博的時候，導師就提過這個問題，說這是能讓人耗盡一生的坑。
他認識的幾個同行，有人圍著它轉了二十年，發了一堆邊角料的論文，最後喝多了才敢承認。
我賭它存在，但我這輩子大概是看不到了。
更多的人，連賭它存在都不敢說。
因為這個問題連方向都是模糊的。
沒人知道那塊磚到底存不存在。
萬一你花十年證明了它不存在，那也算有交代。
可萬一它明明存在，你卻用十年得出了不存在的結論，那就是一場學術生涯的災難。
所以多數聰明人選擇繞開。
而眼前這個學生，用一支鉛筆，幾張A4紙，一個下午。
就把它畫了出來。
還順手把為什麼它必然非周期的骨架，當著十幾個人的面，三步推完了。
顧南舟感到一陣荒謬的眩暈。
甚至下意識地想，是不是這孩子在哪本預印本上看過類似的構造，憑記憶默寫了出來。
可這個念頭剛冒出來就被他自己掐滅了。
如果真有這樣一篇預印本，以這個領域的體量，早就傳遍了，他不可能沒聽說。
更何況，記憶能默寫出圖形，默寫不出那張局部鄰域強迫表。
那張表是要在腦子裡把每一種角度組合挨個推死，再分類歸檔才能列出來的。
那不是背的，那是算出來的。
他看著江臨，問出了那句他自己都覺得問得多餘的話。
「同學，你清楚你自己剛才畫出來的，究竟是什麼東西嗎？」
江臨低下頭，看著那塊線條生硬的十三邊形，輕聲答道：「一塊不能重複的磚。」
顧南舟差點被這個回答噎住。
一塊不能重複的磚。
輕飄飄七個字。
可這七個字，是幾代數學家窮盡職業生涯都不敢輕易寫下的一句話。在江臨嘴裡，卻像在描述一塊隨手撿來的鵝卵石。
「這句話，從你跨出這個教室門開始，不要隨便往外說。」
顧南舟深深看了他一眼，語氣中帶上了一絲告誡的意味。
旁邊那個博士生，還在死死盯著桌上那張摺疊的方格紙。
他研究鋪砌三年，是顧南舟課題組裡公認的第二號人物，王氏磚的不可判定性他能從頭推到尾。
所以從江臨落筆第一個十三邊形開始，他的第一反應不是驚嘆，而是找茬。
這是一個訓練有素的研究者最本能的動作。
局部鄰域不可能枚舉得完，組合是指數級爆炸的。
他想。
替代規則的無限疊代，憑什麼保證收斂？
他想。
第三步那個尺度論證，會不會在某個邊界情形上偷偷塌掉？
他想。
他甚至已經把第一個問題組織成了語言，準備等江臨講完就拋出去。
這是他的強項，他在組會上靠這一手干翻過不少師弟師妹的報告。
然後他看見了那張表。
幾十種頂點鄰域，每一種的合法性，強迫歸屬，死亡條件，列得整整齊齊。
他正要問的那個指數爆炸的漏洞，被一行角度資源有限集輕描淡寫地堵死了。
他準備追問的那個邊界情形，在表格倒數第幾行，已經畫著一個清清楚楚的叉。
他張了張嘴。
最終把話咽了回去。
並意識到了一件更恐怖的事。
這個人在動筆之前，恐怕就已經把他這個研究三年的人能想到的所有質疑，預先想過一遍，並且全部解決了。
他不是在和你辯論，他是在你提問之前，就已經站在了辯論的終點等你。
聽到導師帶著告誡意味的話語，博士生倒吸了一口冷氣。
他聽懂了導師那句話的真正分量。
這不是怕江臨出醜。
是怕出事。
學術界對於這種級別的草稿，向來有著極其殘酷的優先權意識。
誰先固定形狀，誰先留下時間戳，誰先把證明鏈條寫清楚，都會成為後面爭議里的硬證據。
一塊不該存在的磚，一旦傳出去，會立刻變成無數雙眼睛盯著的獵物。
在它被正式錨定，署上無可爭議的名字之前，任何風吹草動都可能引發不可控的後果。
有人會恰好也在做類似構造，有人會碰巧先一步掛出預印本。
「這張原稿絕不能丟了。」
顧南舟從旁邊拿過一個硬殼文件夾，將江臨畫的那幾張白紙小心翼翼地收進去，壓平。
「我現在，需要給兩個同行發個消息。」
顧南舟沒有發朋友圈，沒有發在任何上百人的學術交流群里。
而是點開微信，極慎重地選擇了兩個聯繫人。
一個是南京大學做離散幾何的老同學，另一個是中科院一位做准晶與非周期鋪砌理論的研究員。
這是他在急切之間，在國內，在這個領域，所能找到的，比較有分量的兩雙眼睛。
手指懸在屏幕上方，停頓了兩秒。
他知道這條消息發出去意味著什麼。
他在那兩個人面前一向以穩著稱，從不誇張，更不會在沒把握的事情上驚動別人。
這兩個聯繫人，他平時連轉發會議通知都嫌打擾，已經大半年沒主動找過。
正因如此，他接下來要發的內容，必須配得上這次打擾的分量。
他刪掉了第一版措辭，又刪掉了第二版。
最後留下的，簡短得像一封加密電報。
【今晚有空嗎，通個話。我手裡，可能出現了一塊不該存在的磚。】
發送。
放下手機的時候，顧南舟的指尖微微有些發顫。
他做了二十年學問，第一次有親手推開一扇門的實感。
雖然推門的人，其實不是他。
很快，屏幕在桌上亮了一下。
南大那位回得極快，只有三個字。
【哪塊磚？】
顧南舟盯著這三個字看了幾秒。
他能想像出對方此刻的表情。
在這個圈子裡，一塊不該存在的磚這句話，不需要任何解釋，所有人都知道指的是哪個問題。
對方那句哪塊磚，問的不是什麼磚，而是，你瘋了嗎，你知道你在說什麼嗎？
幾乎同時，院士團隊那位也回了，比前一條更短。
【人在哪？】
顧南舟當然懂這三個字背後的意思。
在這種級別的成果面前，最先要確認的從來不是真偽。
真偽可以慢慢驗。
而是人。
是誰，在哪，安不安全，會不會被別人先一步接觸到。
他把手機扣在桌面上，轉過頭，看著長桌邊的學生。
此刻，也沒有人有心思去討論彭羅斯的兩個菱形了。
那兩塊曾被奉為經典入口，寫滿半塊白板的菱形，此刻還靜靜地留在投影幕布上。
可沒有人再看它一眼。
它像是一個時代的紀念碑，在這塊突如其來的十三邊形面前，悄無聲息地退回了背景里，成了上一個答案。
教室里安靜得能聽見投影儀風扇的嗡鳴。
十幾個人，沒有一個說話。
他們看著那張紙上線條生硬的怪異多邊形，那種感覺很難形容。
像是親眼看著一件本該躺在幾十年後教科書里的東西，提前墜落到了眼前這張油漆斑駁的長桌上。
而落下它的人，此刻正安靜地把鉛筆收進筆袋，動作平淡得像是剛做完一道課後習題。
博士生的目光落在江臨臉上。
那張臉年輕得過分，下頜線還帶著少年人的圓潤，一頭黑髮濃密得幾乎不像個常年熬夜的研究者。
怎麼看，都不像是能在這個坑裡待過哪怕一年的人。
他張了張嘴，問出了所有人此刻最想知道的那個問題。
「同學，你哪個院系的？」
微程序搜索器（MPS）。
聽著像上個世紀的產物，但對江臨來說，這就是個願意把所有蠢辦法都撞一遍，而且永遠不會嫌煩的賽博苦工。
在量化這頭，它現在已經能幫江臨干不少髒活了。
幫他揪出那些藏在系統里，單次不起眼但每天被循環幾千萬次的熱路徑。
它還是個冷酷的質檢員，新找出來的每一套做法必須和舊流程逐項比對，只要有一項輸出對不上，立刻判死。
今天是五個數排名，明天可能是十六個數分桶。
而且，江臨很快意識到，這玩意兒最有價值的地方還不是快那麼一點點。
而是它在逼著自己變得更加嚴謹。
因為他在使用這個搜索器的時候，想要讓它工作起來更加順利，就必須明確告訴它。
什麼算對，什麼算錯，什麼邊界絕對不能碰，什麼動作看似捷徑，實則是把未來的債挪到了現在？
這簡直就是最硬核的自學過程。
以往他學個新概念，總得在腦子裡左右互搏。
一個狀態壓縮會不會丟信息？
一個遞推是不是偷偷混進了未來數據？
一個看起來精妙無比的證明，會不會在某個極端邊界上一腳踩空？
現在，相當於身邊多了一個沒有智商，但體力無限的死腦筋助教。
江臨在終端里敲下一行測試：「這個說法在十個元素以內有沒有反例？」
MPS不懂為什麼，它只會把所有情況像翻抽屜一樣全倒出來。
如果沒有，它告訴你在這個小範圍里沒找到。
如果有，它會把那個血淋淋的反例直接拍在你臉上。
足以讓江臨省下大把時間，去驗證自己的直覺是不是錯的。
但MPS v0.1太直腸子了。
五個數的排序，代碼跑得歡快。
六個數，後台列印的痕跡開始變得雜亂。
等到八個數，以及更大的數時，為了找出那條最短、最穩、最不容易出錯的動作序列，它必須在海量比較順序里試探。
機箱裡的風扇一下子開始狂轉，發出沉悶的嗡嗡聲。
【記住本站域名𝐓𝐖看書網→𝐬𝐡𝐮.𝐭𝐰】
任務管理器的曲線上，CPU占用率瞬間頂在了100%。
路太多了。
所有可能的動作序列像決堤的洪水一樣漫出來，直接把這個體力無限的工人淹死在了內存里。
靠剪枝撐出來的生機，在指數級的爆炸面前不值一提。
江臨聽著機箱的轟鳴，捏了捏眉心。
這是結構性的絕症。
已經不是多掛機幾個小時能解決的問題了。
要讓這套工具鏈成為核心，他必須解決更底層的邏輯。
哪些狀態可以合併？
哪些死路可以提前砍掉？
以及砍掉之後，怎麼在數學上證明自己沒有誤殺真正的最優解？
江臨切回日誌文檔，敲下幾行字。
MPSv0.2目標：不再只會試，要學會合併狀態，排除死路，證明剪枝合法。
寫完，他停了一下。
光標在末尾有節奏地閃爍。
他又補上一行。
需要數學語言：局部規則，狀態轉移，全局約束。
這幾個詞，不知怎麼地，就在他腦子裡意外接上了另一條線。
讓他想起了一個更老的問題。
如果一塊形狀的物理邊界，就是一種天然的局部規則？
如果兩次圖形的嚴密拼接，就是一次狀態轉移？
錯誤接法會自動走進死路，而正確接法會被迫像長晶體一樣，蔓延成越來越宏大的結構。
這跟他在機箱裡讓MPS瘋狂試錯，本質上沒有什麼區別。
江臨重新把光標放回搜索框。
這一次，他沒搜代碼，而是敲下了一行英文。
local rules force global structure
回車。
幾秒鐘後，頁面上跳出了幾個詞：tiling（鋪砌）、substitution（替代）、aperiodic（非周期）。
他順著連結一路點進去。
Penrose 鋪砌、Wang tiles（王氏磚）、准晶體。
最後，在一篇學術綜述的邊角處，他看見了那個如針尖般銳利的詞。
monotile（單一瓷磚）。
江臨盯著這個詞看了足足半分鐘，眼神發亮。
隨後在搜索框裡重新輸入：aperiodic tiling monotile。
……
下午，江臨去了江大圖書館，借了四本書。
一本有限自動機，一本組合優化，一本符號動力系統。
以及一本封皮都有些卷邊的離散幾何講義。
他想找一種證明方式，一種能說明有限的局部約束，怎樣在無限擴展中仍然有效的數學語言。
翻到離散幾何講義的中間部分時，他的目光停在一個章節名上。
Aperiodic Tilings（非周期鋪砌）。
他快速掃過。
先是 Wang tiles，再是 Penrose tilings，接著是 substitution tilings。
最後，在這一章快要結束的地方，講義用極短的一段話提到了一個概念：
einstein problem: whether a single tile can force aperiodicity.
（愛因斯坦問題：是否存在單一形狀的瓷磚，能迫使鋪砌呈現非周期性。）
一塊磚。
僅僅憑藉自身的幾何形狀，就能鋪滿無限的平面，但所有鋪法永遠不可能產生周期性的重複。
這簡直就是MPS思想完美的幾何實體化。
程序里，局部動作排除錯誤路徑，把搜索器逼進唯一的可行域。
幾何里，一塊磚的局部邊界排除所有錯誤拼法，把無限的平面逼進一種深邃的層級結構。
一虛一實，嚴絲合縫。
江臨合上那本封皮卷邊的離散幾何講義，從圖書館出來的時候，腦海中依然盤旋著局部規則、狀態轉移和全局約束這三個詞。
原本在微程序搜索器（MPS）中遇到的狀態空間爆炸問題，此刻在幾何學的語境下，似乎被投射成了一個具象的實體。
穿過林蔭道，他本打算直接去車棚取自行車回七中，餘光瞥見路旁公告欄上的一張海報。
離散幾何讀書班
主題：非周期鋪砌、准晶與單磚問題——局部規則，如何強迫出全局結構。
地點：數學學院C樓 216
主持：顧南舟（副教授）
時間：15:30
江臨的腳步一下子停住了。
局部規則，如何強迫出全局結構？
想到MPS里的核心困境，他摸出手機看了一眼時間，距離開班還有十分鐘。
他當即取了自行車往數學學院騎去。
數學學院的C樓比物理樓要安靜許多。
牆上貼著各類學術講座的海報，大多充斥著張量，流形，同調群等詞彙。
C216的門半掩著。
江臨推門進去，找了最後一排靠窗的位置坐下。
教室不大，正中間拼著幾張長條桌，十來個學生零散地坐著。
有人在翻看列印好的論文，有人在筆記本電腦上敲擊。
氣氛並不嚴肅，但似乎也沒輕鬆到哪裡去。
正前方的白板邊，站著一個三十多歲的男人。
他穿著淺灰色的襯衫，袖口隨意地卷到手肘處，手裡轉著一支白板筆。
應該就是顧南舟。
投影儀亮著，幕布上打出一張錯綜複雜的幾何圖形。
正是經典的Penrose（彭羅斯）鋪砌。
圖中只有兩種基本形狀。
一種是風箏，一種是飛鏢。
邊緣都帶有特定的箭頭標記。
「我們今天討論非周期鋪砌。在這之前，我需要先釐清一個經常被外界，甚至被部分初學者誤解的概念。」
顧南舟轉身在白板上寫下一行字。
non-periodic≠random
「很多人覺得，非周期就是亂，就是沒有規律。」顧南舟指著黑板上的等式，「隨機當然不具備周期性，但數學的美感從來不在於毫無章法的混亂。」
「彭羅斯鋪砌之所以迷人，在於它的局部規則非常有限，甚至可以說非常簡單，但它卻能在無限延伸的過程中，不可抗拒地強迫出全局的非周期結構。」
他在白板上快速勾勒出風箏和飛鏢的輪廓，並在邊緣重重地點出幾個箭頭。
「兩塊磚，只要加上這些匹配規則，規定箭頭必須同向相接，你就永遠無法拼出一個可以平移重合的周期圖案，因為它被鎖死了。」
坐在前排的一個博士生舉起手，推了推眼鏡問：「老師，彭羅斯鋪砌依賴於邊緣的匹配規則。如果我們在物理上實現它，比如把這些箭頭做成真實的凹凸卡扣，把匹配規則直接內化到幾何形狀里，是不是就等價了？」
「直覺很準確。」
顧南舟讚賞地點點頭。
「實際上，這正是後來很多構造法在做的事情。用純粹的幾何邊界來代替人為附加的符號規則。只要形狀設計得當，兩塊磚確實能做到這一點。」
說到這裡，他的話鋒忽然一轉，語氣沉了下來。
「但如果，我們將條件推到極限呢？」
他拿起黑板擦，將剛才畫的風箏和飛鏢擦掉，重新寫下三行簡短的英文。
one tile
tiles the plane
only non-periodically
「單磚問題（The Einstein Problem）。這個名字不是指物理學家愛因斯坦，而是德語裡的ein stein——一塊石頭，一塊磚。」
顧南舟的目光掃過長桌邊的學生，像是在拋出一個沉重的錨。
「只用一塊磚，它能無縫且不重疊地鋪滿整個二維平面。但是，所有的鋪法，都不可能產生周期性的重複。」
教室里出現了短暫的寂靜。
「一塊磚能鋪滿平面，這毫無難度，正方形，正六邊形都可以。」顧南舟敲了敲白板，「難點在於，它必須沒有任何周期鋪法的可能。你不能說，我碰巧給它安排了一種花里胡哨的非周期拼法就算成功，那遠遠不夠。」
他加重了語氣：「你必須在數學上證明，任何人，哪怕他絞盡腦汁想要拼出一個周期性的圖案，只要他拿著這塊磚，他就逃不開非周期的宿命。這塊磚的幾何形狀本身，必須成為一種暴政，一種強迫。」
坐在後排的江臨，呼吸微微一滯。
立即翻開隨身攜帶的黑色筆記本，在空白頁上寫下一行字。
不是給出一種非周期鋪法，而是強迫所有鋪法進入非周期層級。
這是一種降維打擊般的約束力。
也正是他的MPS系統現在最缺乏的特性。
MPS只是在海量的可能性中疲於奔命地尋找可行解，而顧南舟口中的單磚，卻是用自身的幾何法則，直接將所有錯誤路徑在萌芽狀態就切斷。
前面的討論還在繼續。
顧南舟開始梳理歷史脈絡。
從王氏磚（Wang tiles）的不可判定性，講到替代鋪砌（Substitution tilings），再講到如何利用元磚（metatile）構建更大的層級結構。
講到深處，黑板上已經推滿了替代圖、局部補丁、角度約束和幾行簡單的組合計數。
「為什麼一塊磚這個看似簡單的條件，會讓問題變得如此棘手？」
顧南舟指著黑板上的複雜推導。
「因為沒有了第二種形狀來做緩衝和制約，你無法輕易地切斷周期性。單獨的一塊磚，太容易首尾相連形成平移對稱了。」
一個研二的學生苦笑著插話：「老師，這聽起來就像是要求我們打造一把鑰匙，這把鑰匙既能打開世界上所有的門，又偏偏在物理法則上註定了它不能被任何門複製，這要求太反直覺了。」
顧南舟難得地笑了一下。
「比喻得不錯，它最艱深的地方就在於，你要把龐大的，甚至趨於無限的全局信息，毫無遺漏地摺疊進一個微小的局部幾何邊界裡。」
江臨盯著筆記本上那句，把全局信息藏進局部幾何里。
這與他之前推演的search_sort_network本質上是同一件事。
在量化的底層系統里，他是試圖把全局的排序正確性隱藏進一串局部的compare-swap操作約束中。
在鋪砌問題里，則是要把無限平面的非周期性隱藏進一塊磚的幾道凹凸邊界裡。
底層邏輯是相通的。
一個多小時的讀書班轉眼結束。
顧南舟宣布散會，但沒有人立刻離開。
學術討論的餘溫還在。
幾個學生圍在長桌前，研究顧南舟帶來的一些高清列印圖紙。
有人在爭論准晶體衍射圖譜的對稱性，有人在討論十次對稱軸在實際材料中的穩定性。
剛才那個提問的研二學生拿了支鉛筆，在草稿紙上隨手畫著各種扭曲的多邊形，試圖湊出一個不規則的形狀。
「要是真有這麼一塊符合條件的單磚，它到底會長成什麼鬼樣子？」
他一邊畫一邊搖頭，語氣輕鬆，全當是一個消遣的數學玩笑。
而江臨呢？
他當然不是第一次見到這種問題。
MPS的狀態空間爆炸，逼著他反覆想一件事。
怎樣把看似無窮的路徑，壓成有限幾類狀態。
阿里預賽里的磁性幾何魔方，也曾逼他把紛亂的空間構型壓成連接圖與上界。
拆盲盒那道題，則讓他再一次確認，只要對稱性足夠強，狀態就不該按具體對象命名，而該按還缺幾種這樣的等價類命名。
他腦海中，MPS v0.2的那三個問題。
哪些狀態可以合併？
哪些死路可以提前砍掉？
砍掉之後，怎麼證明自己沒有誤殺真正的解？
顧南舟剛才講的 metatile，像是突然給這三個問題換了一套幾何外殼。
轉移，不再是 compare-swap，而是一塊磚貼上另一塊磚。
死路，也不再是跑不通的候選程序，而是一個無法填補的角缺口。
他原本為 MPS 畫過許多狀態轉移草圖。
有些草圖，為了看清邊界，已經被他畫成了幾何拼接。
現在，這些草圖忽然有了新的名字。
metatile。
substitution。
forced hierarchy。
所以他第一眼想的不是圖案好不好看。
而是三個問題。
能不能生成一整張平面？
能不能證明所有合法拼法都被迫歸入同一套層級？
如果層級成立，能不能反證周期？
一念及此，江臨的手腕開始移動。
筆尖落在紙上，沒有遲疑。
他先畫了一個極小的風箏形。
那些邊都落在同一套輔助網格上，幾類角度反覆出現，剛好能讓凹口和凸邊形成有限種鄰接關係。
接著，他以一種特定的拓撲結構，將八個這樣的小風箏形拼接在一起。
紙面上頓時出現了一個十三邊形。
它並不規整。
邊緣充滿了突兀的內凹和外凸，像是一頂被人粗暴壓扁，又用力擰了一把的怪異帽子。
輪廓沒有任何常規幾何圖形的對稱美，透著一種冷硬的機械感。
旁邊那個畫圖的博士生眼角餘光掃到江臨的本子，停下筆，饒有興致地探過頭來。
「同學，你這畫的是什麼，壞掉的風箏？」
他笑了笑，沒有惡意，只是覺得這個形狀古怪得有些滑稽。
江臨沒有抬頭，也沒有回答。
他的手腕繼續移動，在這塊怪帽子旁邊，緊貼著它的凹槽，畫出了第二塊一模一樣的磚，只是進行了旋轉。
嚴絲合縫。
接著是第三塊，第四塊。
這些形狀怪異的磚塊，以一種看似極度彆扭，在視覺上讓人產生錯位感的方式交錯在一起。
但它們的邊緣卻咬合得如同精密的工業齒輪，沒有留下一絲縫隙。
解答了學生疑問的顧南舟，正要離開，從江臨旁邊經過時，剛好看到了這一幕。
不由得停了下來。
低頭看著那幾塊咬合在一起的十三邊形，沉默了幾秒鐘，問道：「這位同學，這是你自己畫的？」
「是。」
顧南舟若有所思地問道：「這塊形狀，能鋪滿？」
「能。」
一旁的博士生聽到江臨的肯定回答，立刻來了精神，放下手裡的草稿紙轉過身來。
「能鋪滿不稀奇，很多形狀只要能湊出一個周期基本胞，就可以周期鋪。」
附近幾個學生也注意到了這邊，還以為江臨只是隨口放了個大話。
能不能周期鋪，哪是看幾塊手繪圖就能斷言的。
顧南舟沒有將這位博士生的話聽進去，他正盯著紙上那幾塊拼接的圖形出神。
那些凹角、凸角和幾條斜邊的組合關係，正在顧南舟腦海中快速重組。
半晌，他拉開旁邊的一把椅子坐下，看著江臨，沉吟道：「要不要試著證明一下看看？」
江臨點點頭。
因為這不是他剛才在教室里靈光一閃的塗鴉。
在過去幾天裡，他為了MPSv0.2反覆畫過很多局部狀態圖。
有些是程序里的狀態。
有些被他順手畫成了平面上的邊界。
他原本只是想找一種可視化方式，幫助自己理解哪些路會死，哪些路會被迫歸入同一類。
直到顧南舟講到metatile，他才意識到，那些被自己當成輔助圖的邊界草稿，本身就可以變成一個幾何問題。
他只是缺乏一套正統的數學語言去包裝它。
而今天下午，顧南舟的讀書班，剛好把這套語言遞到了他手裡。
substitution（替代規則）。
forced hierarchy（強迫層級）。
metatile（元磚）。
這些詞彙，如同堅固的模具，將他那些原本只是用來輔助理解死路、歸類、繼承的邊界草圖，壓入了一個能被當代離散幾何學界審視的框架內。
「第一步，我不會直接證明非周期，而是先證明它能夠鋪滿整個平面。」
江臨說話的時候，在紙的左側，畫了幾個單磚，將它們拼合在一起，形成了一個更大的，輪廓依然帶有特定凹凸特徵的塊體。
然後在這個塊體旁邊標上了一個字母：H（Hex）。
緊接著，他利用不同的拼接方式，又畫出了另外三種由單磚組成的複合塊體，分別標上：T（Turtle）、P（Propeller）、F（Fang）。
它們無一例外，邊緣都帶有極具特徵的幾何齒。
那個博士生眉頭微微皺起，低聲喃喃：「這是在造超大號的磚？」
顧南舟抬起手，示意他安靜。
江臨沒有理會外界的聲音，繼續在白紙上推演。
「這四種塊體，屬於第一層級的metatile。」
他在H塊體的旁邊，開始畫下一層級的替代圖（substitution map）。
「根據這塊單磚的幾何特性，H塊體本身，可以被更小的H、T、P、F 按照一種不可更改的拓撲結構拼湊而成。」
「T也可以。」
「P和F也一樣。」
筆尖在紙上快速遊走，每一條邊每一個轉角的比例都異常精準。
「每一種更高層級的塊體，都能由上一層的這四類metatile嚴密組合出來。」
畫到第三層級替代的時候，紙面上的結構已經變得相當複雜，但無論內部如何交錯，整體的邊界依然保持著最初設定的拓撲特徵。
這一刻沒有人再隨口質疑。
因為從這一刻開始，問題已經從這是不是塗鴉，變成了這張局部鄰域表有沒有漏項。
剛才那個博士生更是已經處於屏氣凝神狀態，死死盯著那些咬合的縫隙。
「這是一套嚴格的substitution rule（替代規則）？」顧南舟小聲問道。
「對。」江臨停下筆，「只要這套替代規則可以在數學上無限疊代，就意味著這個平面可以被尺度越來越大，直至趨於無窮的metatile完全覆蓋。」
他在紙的邊緣寫下：
level 0: tile
level 1: H/T/P/F
level 2: substituted H/T/P/F
...
level n→∞: tiles the plane
「能鋪滿，第一步閉合。」江臨淡淡地說。
「你現在只證明了，依靠這套替代規則，這塊磚有一種非周期味道很強的鋪法。」顧南舟盯著江臨的眼睛，「我在課上說過，這遠遠不夠。」
江臨點頭：「我知道。」
「所以你要證明，不是你在上帝視角選擇了這個層級拼法，而是這塊磚本身的幾何邊界，被迫且只能長成這個層級。」
「所以，第二步不是鋪。」
江臨將畫滿替代規則的A4紙往旁邊推了推，又抽出一張新紙。
在紙的中央單獨畫出那塊十三邊形單磚。
「是強迫（Forcing）。」
他用筆尖圈出單磚邊界上的三個關鍵凹角，接著，又圈出對應的幾個凸角。
「我們不看全局，只看局部。在嚴密鋪砌的約束下，平面不允許留下任何縫隙，也不允許任何重疊。這意味著，單磚上的每一個凹角，都面臨著生死存亡的選擇，它必須被另一塊磚的某一種凸角咬住。」
他在凹角周圍，畫出了第一種鄰接磚的拼法。
「第一種補法，合法。」
接著是第二種。
「第二種，合法。」
第三種。
「第三種，合法。」
然後，他畫出了第四種拼法。
這塊磚在凹角處完美貼合，但在另一端，卻突兀地伸出了一截。
江臨毫不猶豫地在它旁邊打了一個巨大的叉。
「這類局部填法，表面上看在一個頂點處接上了，但只要再往外延伸一圈，它的另一端就會形成一個30°的死角。而我們的單磚系統里，不存在能填補30°缺口的凸起，這是一條死路。」
博士生忍不住插嘴：「等一下，你怎麼能確定局部鄰域只有這幾種拼接可能？平面的組合是指數級爆炸的。」
「因為角度資源是有限的。」江臨連頭都沒抬，「在一個平面內，圍繞任意一個頂點的角度和必須嚴格等於2π。這塊磚能提供的內角和外角，都在30°和90°的整數倍系統內。」
「它能貢獻的角度組合是有限集，因此，圍繞任何一個頂點的局部鄰域，其種類也是一個有限集。」
「能閉合併向外延伸的，只有我列出的這幾類。」
「不能閉合的，會在第一圈或第二圈迅速暴露死角，無法繼續鋪設。」
顧南舟忍不住點了點頭。
他很清楚這段推導的分量。
這才是單磚問題最難的地方，不是人為設計，而是幾何形體自發的剪枝。
江臨繼續在紙上擴展第一種合法的局部拼法。
第一圈補完後，幾塊磚組合在一起，中心外圍不可避免地形成了一個更大的，呈現特定形狀的凹槽區域。
「看到這個新的邊界了嗎？」江臨用筆尖敲了敲那個大凹槽，「這個凹槽的形狀，它不能被單磚隨意填補。經過剛才的角度排除法，填補它的唯一合法途徑，就是將其組合成我剛才在第一步里定義的H塊體，或者T塊體。」
他一邊快速勾勒，一邊陳述幾何法則：「單磚的局部相容性約束，逼出了第一級metatile。」
「而第一級metatile組合後形成的新邊界，依然帶有同樣類型的凹凸約束，且尺度放大，這會繼續逼出第二級metatile。」
「這個過程一旦啟動，就無法停止，底層的幾何規則強迫上層建築按唯一指定的路線演化。」
「你如何保證，所有合法的局部拼法，最後都會毫不遺漏地歸入那四類 metatile 的結構中？」顧南舟追問道。
江臨放下筆，從黑色的筆記本後方，抽出一張摺疊好的方格紙，展開，推到顧南舟面前。
那是一張極其詳盡的表格。
字跡工整，邏輯嚴密。
表頭清晰地寫著。
Local Patches (局部鄰域類型) | Valid (是否合法) | Forced Metatile (歸屬強迫元磚) | Dead End (死胡同終止條件)
表格里，密密麻麻地列出了數十種頂點周圍的拼接組合。
每一行，都像是對某種可能性下達的判決書。
博士生看到這張表，眼角的肌肉忍不住抽搐了一下。
他研究鋪砌三年，導師課題組裡第二號人物，王氏磚的不可判定性他能從頭推到尾。
所以他下意識地想要去挑刺，去找漏洞。
局部鄰域怎麼可能枚舉得完，組合是指數爆炸的。
可這張摺疊的方格紙。
幾十種鄰域，每一種的合法性、歸屬、死亡條件，列得整整齊齊。
他要問的那個漏洞，在表格第十七行，已經被叉掉了。
滿腹話語說到嘴邊，變成了一句：「同學，你提前算過這個？」
「算過一部分。」江臨回答。
「不，這不是一部分。」顧南舟打斷了博士生的話，目光像掃描儀一樣快速掠過表格上的數據，「所有導致拓撲發散的關鍵鄰域，全在這裡了。」
沒有人再隨口插話。
當局部邊界的約束條件、有限鄰域的窮舉排除、以及合法的強迫歸類赤裸裸地擺在桌面上時，任何感性的懷疑都顯得蒼白無力。
第一層的幾何強迫。
第二層的結構繼承。
在這張紙上，它已經呈現出一種很難隨口擊穿的結構閉合。
這已經絕不是什麼課堂上的信手塗鴉。
C216教室里，剩下的幾個學生全都圍了過來，卻沒有人說話。
他們看著那張紙上的怪異十三邊形，就像在看一個從外星墜落的造物。
顧南舟目光灼灼地盯著江臨，問：「第三步呢？」
「反證周期性。」
江臨拿回紙筆，在最右側的空白處寫下一個簡潔的公式。
T+v=T
「假設，存在一個非零的平移向量v，使得這整張無限大的鋪砌圖案，在沿著v平移之後，能夠與原圖案嚴密重合，這就是周期性的定義。」
他說完，在左側畫出了第一層metatile的邊界示意圖。然後用虛線在外面框出第二層。
接著是第三層。
一層嵌套一層，每一層的尺度都在以固定的比例放大。
「剛才的第二步已經證明，任何合法的鋪法，都不會是混亂的，它一定會被局部邊界的強迫力量，嚴格分解成第一層的metatile。」
「第一層，又會被強迫組合成第二層。」
「第二層組合成第三層，這種具有固定結構的層級，將向外無限延伸。」
顧南舟看著那個嵌套的圖形，手心微微出汗。
他已經完全預判到了江臨接下來的邏輯走向。
那將會是臨門一腳。
江臨繼續推進邏輯的鎖扣：「既然如此，如果存在這個周期向量v，那麼它平移的，不僅僅是底層的單磚。」
「它還必須保持每一層metatile的分解邊界不發生改變。」
「因為一旦改變，平移後的圖案就會導致原本的層級邊界錯位，這與所有合法鋪法必然符合該強迫層級的結論相矛盾。」
他在紙上寫下嚴格的推導條件：
v preserves level 1 boundaries
v preserves level 2 boundaries
...
v preserves level n boundaries
江臨畫了一個占據半張紙的巨大metatile輪廓。
「但是，第n層metatile的空間尺度，是隨著n的增加而無界增大的。」
「對於任意一個固定的非零的向量v，我們總能在無窮的層級中，找到一個足夠大的n，使得向量v的長度|v|，遠遠小於第n層metatile的特徵尺度。」
「在這種懸殊的尺度差異下，平移一個微小的距離v，絕對不可能把第 n層那龐大的邊界，整體送回到另一個第n層邊界的位置上，它一定會發生不可調和的錯位。」
「因此，唯一能夠滿足保持所有無限層級邊界重合的平移向量，只有一個。」
江臨在推導的末尾，寫下最終的結論。
v=0
「所以，不存在任何非零的周期平移。」
「這塊磚，只能非周期地鋪滿平面。」
證明結束。
江臨放下鉛筆。
長桌周遭落針可聞。
陽光從窗外打進來，照在紙面上那幾個粗糙的手繪圖形和公式上。
能鋪滿。
局部邊界產生強迫層級。
無限層級的尺度差異反證周期性。
三步邏輯，環環相扣，沒有留下顯眼的斷口。
在這張簡陋的課桌上，完成了一個閉環。
所有人心裡都清楚，這並不是一篇可以直接發表的完整論文。
它缺乏大量的形式化語言修飾。
它還需要將那些手繪的圖錶轉化為嚴謹的計算機輔助向量圖。
它需要補全表格中剩餘那些顯然不成立的局部鄰域的冗長排除過程。
它還需要明確這塊磚在鋪設時是否允許翻面（手性問題）。
但它至少已經有了一副能經受第一輪審查的骨架。
那個研二的學生咽了一口唾沫，聲音有些發抖：「顧老師，這到底算什麼？」
顧南舟沒有立刻回答他。
他深吸了一口氣，從口袋裡摸出手機，打開相機。
雙手有些不自然地緊繃，對著江臨畫的那幾張紙，以及那張摺疊的表格，連續拍了十幾張照片。
拍完整體，他又將鏡頭對準了第一張紙上那個不起眼的，像帽子一樣的十三邊形單磚，單獨拍了一張特寫。
做完這一切，顧南舟把手機扣在桌面上，目光盯著江臨。
「我需要確認幾個邊界條件。」顧南舟的聲音前所未有地嚴肅，「這塊磚，在實際拼貼的時候，需要人為添加顏色標記嗎？」
「不需要。」
「需要邊緣畫箭頭來指示方向嗎？」
「不需要。」
「所有的強迫屬性，僅僅依靠它自身的幾何多邊形邊界？」
「只靠幾何邊界。」江臨回答。
「鋪設過程中，允許將單磚翻面使用嗎？」顧南舟問到了最關鍵的技術細節之一。
江臨點頭：「目前的證明版本，允許翻面，它包含左手性和右手性的混用。」
顧南舟沉思了片刻：「允許翻面，這在單磚問題上已經足夠驚人。至於不允許翻面的手性版本，那是另一層更強的要求，不能混在今天這個證明里。」
說到這裡，他停頓了幾秒，眼神變得極為複雜。
要理解顧南舟此刻的失態，得先知道這塊磚背後，到底是個什麼問題。
事情要從「鋪地磚」這樣一件再普通不過的小事說起。
拿一種形狀的磚去鋪滿一面牆，一塊地，這事誰都見過。
正方形可以，長方形可以，正六邊形也可以，蜂巢就是這麼來的。
它們的共同點是，鋪出來的花紋，是重複的。
你站在屋子這頭看到的圖案，和那頭一模一樣。
把整張圖往旁邊挪一格，嚴絲合縫地又能蓋回自己身上。
這種挪一段距離就能和自己重合的性質，數學上叫周期性。
幾千年來，人類鋪的所有地磚，牆磚，鑲嵌畫，幾乎全是周期的。
重複，是這件事最自然最省力的樣子。
直到有人提出一個古怪的問題。
能不能找到一種鋪法，它能鋪滿整個無限大的平面，卻永遠不重複?
不是局部花點心思搞出一小塊不規則，而是哪怕你把這張圖無限延展出去，走到天涯海角，也絕對找不到兩塊可以完全對齊的區域。
整張圖，處處相似，卻又處處不同，永遠不會出現那種挪一下就重合的整齊。
這種鋪法，叫非周期鋪砌。
光是存在不存在這個問題，就已經夠折磨人了。
但真正讓幾代數學家睡不著覺的，不是這個問題本身，而是它一個更刁鑽的變種。
你可能會想，不重複有什麼難的？
我拿一堆形狀各異的碎磚，胡亂往地上擺，東一塊西一塊，橫七豎八，這不就鋪出一片永不重複的亂圖了嗎？
沒錯，這樣確實不重複。
但這是你不讓它重複。
是靠你這雙手時時刻刻盯著，刻意避開，才勉強不重複。
你手一松，或者換個不上心的人來鋪，它隨時會塌回那種整齊的，重複的樣子。
這種不重複，是脆弱的，是要人盯著的。
數學家想要的，是另一種東西。
他們想找到這樣幾種磚：它們的形狀本身，就不允許重複。
你拿著這幾種磚，哪怕你存心想鋪出一個重複的整齊的圖案，你也辦不到。
每一次你試圖讓它對齊，讓它重複，磚的邊緣就會咬不上，留下填不平的縫。
你越想讓它規整，它越是把你逼回那條不重複的路上。
不需要你盯著，不需要任何人盯著。
規則不寫在紙上，而是長在磚的邊緣上。
形狀，就是命令。
這，才是非周期鋪砌問題真正的核心。
而它最極端最讓人頭皮發麻的版本，就是那個所有人都繞不開的追問，
到底最少要用幾種這樣形狀的磚，才能辦到非周期鋪砌？
這個問題，從1960年代王氏磚被提出算起，幾代人圍著它轉。
最早，要逼出一種永遠無法周期重複的拼法，得用上兩萬多種形狀不同的磚。
後來一代代人往下壓，幾百種，幾十種。
直到1974年，彭羅斯石破天驚般，僅僅只是用兩種磚做到了非周期鋪砌。
兩種。
一種胖菱形，一種瘦菱形。
靠邊緣的咬合規則，它們能鋪滿整個平面，卻永遠拼不出重複的花紋。
這是已經寫進每一本教科書的里程碑之作。
從那以後，所有人都知道下一步該往哪走。
不就是從兩塊，到一塊嗎？
外行聽到這兒，多半會覺得這是順理成章的小進步。
都做到兩塊了，再省掉一塊能有多難。
然而事實恰恰相反。
這裡藏著一個最反直覺的地方。
磚的種類越少，反而越難，難到隔了半個世紀也沒人找出來。
道理其實不繞。
兩種磚之所以能鎖死周期性，是因為它們互相制約。
胖菱形和瘦菱形必須按規則交替咬合，誰也離不開誰，正是這種你管著我我管著你的張力，把整張圖案逼得無法重複。
可一旦只剩一種磚呢？
它就只能自己管自己。
一種形狀，最怕的就是首尾相接，自我複製。
你把它複製一份，平移一段距離，嚴絲合縫地接上去，周期就出現了。
正方形會這樣，正六邊形會這樣，地磚蜂巢，全是這樣。
絕大多數你能想到的形狀，只要能鋪滿平面，就一定能周期鋪。
所以一塊磚這個要求，本質上是在問一個近乎悖論的問題。
能不能設計出一種形狀，它能鋪滿整個無限平面，卻被自己的幾何邊界死死卡住，無論怎麼拼，誰來拼，都絕對拼不出哪怕一丁點兒的重複？
它必須既合群到能填滿每一寸空間，又孤僻到永遠拒絕和自己的複製品對齊。
這就像要打造一把鑰匙，它能打開世界上每一扇門，卻在物理上註定無法被任何一扇門複製。
它得同時是萬能的，又是獨一無二的。
要把這兩種互相矛盾的屬性，同時塞進一塊磚的幾道凹凸邊界裡，難就難在這兒。
少了第二塊磚來幫忙制約，所有的約束力，都得靠這一塊磚自己的形狀扛下來。
正因如此，這一步，一隔就是半個世紀。
顧南舟很清楚這半個世紀是什麼概念。
他讀博的時候，導師就提過這個問題，說這是能讓人耗盡一生的坑。
他認識的幾個同行，有人圍著它轉了二十年，發了一堆邊角料的論文，最後喝多了才敢承認。
我賭它存在，但我這輩子大概是看不到了。
更多的人，連賭它存在都不敢說。
因為這個問題連方向都是模糊的。
沒人知道那塊磚到底存不存在。
萬一你花十年證明了它不存在，那也算有交代。
可萬一它明明存在，你卻用十年得出了不存在的結論，那就是一場學術生涯的災難。
所以多數聰明人選擇繞開。
而眼前這個學生，用一支鉛筆，幾張A4紙，一個下午。
就把它畫了出來。
還順手把為什麼它必然非周期的骨架，當著十幾個人的面，三步推完了。
顧南舟感到一陣荒謬的眩暈。
甚至下意識地想，是不是這孩子在哪本預印本上看過類似的構造，憑記憶默寫了出來。
可這個念頭剛冒出來就被他自己掐滅了。
如果真有這樣一篇預印本，以這個領域的體量，早就傳遍了，他不可能沒聽說。
更何況，記憶能默寫出圖形，默寫不出那張局部鄰域強迫表。
那張表是要在腦子裡把每一種角度組合挨個推死，再分類歸檔才能列出來的。
那不是背的，那是算出來的。
他看著江臨，問出了那句他自己都覺得問得多餘的話。
「同學，你清楚你自己剛才畫出來的，究竟是什麼東西嗎？」
江臨低下頭，看著那塊線條生硬的十三邊形，輕聲答道：「一塊不能重複的磚。」
顧南舟差點被這個回答噎住。
一塊不能重複的磚。
輕飄飄七個字。
可這七個字，是幾代數學家窮盡職業生涯都不敢輕易寫下的一句話。在江臨嘴裡，卻像在描述一塊隨手撿來的鵝卵石。
「這句話，從你跨出這個教室門開始，不要隨便往外說。」
顧南舟深深看了他一眼，語氣中帶上了一絲告誡的意味。
旁邊那個博士生，還在死死盯著桌上那張摺疊的方格紙。
他研究鋪砌三年，是顧南舟課題組裡公認的第二號人物，王氏磚的不可判定性他能從頭推到尾。
所以從江臨落筆第一個十三邊形開始，他的第一反應不是驚嘆，而是找茬。
這是一個訓練有素的研究者最本能的動作。
局部鄰域不可能枚舉得完，組合是指數級爆炸的。
他想。
替代規則的無限疊代，憑什麼保證收斂？
他想。
第三步那個尺度論證，會不會在某個邊界情形上偷偷塌掉？
他想。
他甚至已經把第一個問題組織成了語言，準備等江臨講完就拋出去。
這是他的強項，他在組會上靠這一手干翻過不少師弟師妹的報告。
然後他看見了那張表。
幾十種頂點鄰域，每一種的合法性，強迫歸屬，死亡條件，列得整整齊齊。
他正要問的那個指數爆炸的漏洞，被一行角度資源有限集輕描淡寫地堵死了。
他準備追問的那個邊界情形，在表格倒數第幾行，已經畫著一個清清楚楚的叉。
他張了張嘴。
最終把話咽了回去。
並意識到了一件更恐怖的事。
這個人在動筆之前，恐怕就已經把他這個研究三年的人能想到的所有質疑，預先想過一遍，並且全部解決了。
他不是在和你辯論，他是在你提問之前，就已經站在了辯論的終點等你。
聽到導師帶著告誡意味的話語，博士生倒吸了一口冷氣。
他聽懂了導師那句話的真正分量。
這不是怕江臨出醜。
是怕出事。
學術界對於這種級別的草稿，向來有著極其殘酷的優先權意識。
誰先固定形狀，誰先留下時間戳，誰先把證明鏈條寫清楚，都會成為後面爭議里的硬證據。
一塊不該存在的磚，一旦傳出去，會立刻變成無數雙眼睛盯著的獵物。
在它被正式錨定，署上無可爭議的名字之前，任何風吹草動都可能引發不可控的後果。
有人會恰好也在做類似構造，有人會碰巧先一步掛出預印本。
「這張原稿絕不能丟了。」
顧南舟從旁邊拿過一個硬殼文件夾，將江臨畫的那幾張白紙小心翼翼地收進去，壓平。
「我現在，需要給兩個同行發個消息。」
顧南舟沒有發朋友圈，沒有發在任何上百人的學術交流群里。
而是點開微信，極慎重地選擇了兩個聯繫人。
一個是南京大學做離散幾何的老同學，另一個是中科院一位做准晶與非周期鋪砌理論的研究員。
這是他在急切之間，在國內，在這個領域，所能找到的，比較有分量的兩雙眼睛。
手指懸在屏幕上方，停頓了兩秒。
他知道這條消息發出去意味著什麼。
他在那兩個人面前一向以穩著稱，從不誇張，更不會在沒把握的事情上驚動別人。
這兩個聯繫人，他平時連轉發會議通知都嫌打擾，已經大半年沒主動找過。
正因如此，他接下來要發的內容，必須配得上這次打擾的分量。
他刪掉了第一版措辭，又刪掉了第二版。
最後留下的，簡短得像一封加密電報。
【今晚有空嗎，通個話。我手裡，可能出現了一塊不該存在的磚。】
發送。
放下手機的時候，顧南舟的指尖微微有些發顫。
他做了二十年學問，第一次有親手推開一扇門的實感。
雖然推門的人，其實不是他。
很快，屏幕在桌上亮了一下。
南大那位回得極快，只有三個字。
【哪塊磚？】
顧南舟盯著這三個字看了幾秒。
他能想像出對方此刻的表情。
在這個圈子裡，一塊不該存在的磚這句話，不需要任何解釋，所有人都知道指的是哪個問題。
對方那句哪塊磚，問的不是什麼磚，而是，你瘋了嗎，你知道你在說什麼嗎？
幾乎同時，院士團隊那位也回了，比前一條更短。
【人在哪？】
顧南舟當然懂這三個字背後的意思。
在這種級別的成果面前，最先要確認的從來不是真偽。
真偽可以慢慢驗。
而是人。
是誰，在哪，安不安全，會不會被別人先一步接觸到。
他把手機扣在桌面上，轉過頭，看著長桌邊的學生。
此刻，也沒有人有心思去討論彭羅斯的兩個菱形了。
那兩塊曾被奉為經典入口，寫滿半塊白板的菱形，此刻還靜靜地留在投影幕布上。
可沒有人再看它一眼。
它像是一個時代的紀念碑，在這塊突如其來的十三邊形面前，悄無聲息地退回了背景里，成了上一個答案。
教室里安靜得能聽見投影儀風扇的嗡鳴。
十幾個人，沒有一個說話。
他們看著那張紙上線條生硬的怪異多邊形，那種感覺很難形容。
像是親眼看著一件本該躺在幾十年後教科書里的東西，提前墜落到了眼前這張油漆斑駁的長桌上。
而落下它的人，此刻正安靜地把鉛筆收進筆袋，動作平淡得像是剛做完一道課後習題。
博士生的目光落在江臨臉上。
那張臉年輕得過分，下頜線還帶著少年人的圓潤，一頭黑髮濃密得幾乎不像個常年熬夜的研究者。
怎麼看，都不像是能在這個坑裡待過哪怕一年的人。
他張了張嘴，問出了所有人此刻最想知道的那個問題。
「同學，你哪個院系的？」