第94章 數學不看身份證

投票推薦 加入書籤 小說報錯

  陸知行的話讓C216安靜了一下。

  顧南舟看著他,又看了一眼江臨。

  直到這時候,他的大腦才像是從亢奮的數學推演中被強行拽回現實,開始意識到一個荒謬的細節。

  過去整整一個小時,C216討論室里所有人的注意力,全都猶如被磁石吸附一般,釘在那幾張草稿紙上。

  他們驗算邊緣,檢查頂點,窮舉局部拓撲結構,甚至在腦海中瘋狂構建著二維平面上的層級結構。

  那是純粹的數學世界,在那個世界裡,沒有年齡,沒有學歷,只有邏輯。

  但他們還沒有真正確認江臨的身份。

  「陸教授,我再確認一句,江臨現在是你們物理學院的碩士,還是博士?」

  陸知行沉默了一瞬。

  他太清楚這句話對顧南舟,對整個數學界意味著什麼。他直視著顧南舟的眼睛,說:「都不是。」

  顧南舟怔了一下,隨即眉頭緊鎖,腦海中閃過江大拔尖人才培養計劃的名單:「本科生,少年班的?」

  「也不是。」

  陸知行的回答依舊簡短,但每一個字都像是一把重錘。

  陳彥下意識抬起頭,眼神中充滿了迷茫和震驚。

  顧南舟的目光一點點落回江臨身上。

  陸知行深吸了一口氣,終於將那個足以撕裂常識的答案說了出來:「他是江城七中的高中生,還有一個多月高考。」

  這句話落下去,C216像被人按下了靜音鍵。

  陳彥的嘴唇動了動,似乎想笑,但面部肌肉完全不聽使喚,最終只是低聲重複了一遍:「高中生?」

  這算什麼?

  一個正在複習五年高考三年模擬的高三學生,跑到江大數學系的專業讀書班上,隨手畫出了一塊可能解決離散幾何領域長達六十年懸而未決的愛因斯坦難題的非周期單磚?

  顧南舟的第一反應不是質疑。

  【寫到這裡我希望讀者記一下我們域名 TW 看書網藏書廣,𝓼𝓱𝓾.𝓽𝔀超實用 】

  因為如果是質疑,他在看到那張局部鄰域表的時候就已經質疑過了。

  他的反應是重新看江臨的臉。

  剛才他一直在看紙,看邊,看角,看那張用代數拓撲學語言隱晦表達的表格。

  直到這一刻,他才真正注意到,坐在這間討論室里旁聽,只用普通中華鉛筆畫出那塊十三邊形的學生,臉上果然還帶著少年人未完全褪去的輪廓。

  果然,天才出少年嗎?

  還是說,數學的上帝今天決定在江大開一個荒誕的玩笑?

  顧南舟深吸一口氣,強行壓下胸腔里翻滾的巨浪,理智告訴他,現在不是震驚的時候。

  他轉過身,對周遭還在圍觀看熱鬧,同樣被震得大腦宕機的學生說:「同學們,今天讀書班已經結束,內容大家回去自己再消化消化。關於這張圖,這塊多邊形的事,出門之後別提。在沒有經過嚴格的形式化驗證之前,這還只是一個思想實驗。」

  學生們面面相覷,但導師既然已經叫散,且語氣中帶著不容置疑的威嚴,他們也只能陸續收拾書包離開。

  有人走到門口,又忍不住回頭看了一眼那個似乎對周遭一切震驚都無動於衷的少年,欲言又止,終究沒說什麼。

  很快,略顯寬敞的教室里只剩下顧南舟、陳彥、江臨和陸知行四個人。

  顧南舟轉過身,眼神已經恢復了作為江大數學系中堅力量的冷靜。

  他說:「身份的事放一邊,先驗磚。」

  驗磚這兩個字說出來以後,屋裡那種漂浮在半空中令人眩暈的震驚才終於落回地面,找到了重力的支點。

  對。

  先驗磚。

  不管是高三生、本科生,還是菲爾茲獎得主。

  數學不看身份證,不查戶口本。

  它只看你的邏輯鏈條是否閉合,只看你有沒有把問題徹徹底底地解決。

  顧南舟拿出手機。

  南大那邊的信息一條接著一條地彈出來。

  【顧南舟,我認真問你,你是不是在預印本網站上看到個未發表的粗糙構造,自己沒核對就激動了?】

  在這個圈子裡,越是驚人的消息,越要先假設它是假的。

  自從1961年王浩提出王氏磚並猜測任何可以鋪滿平面的圖塊集都可以周期性鋪滿以來,這個領域見證了太多次的希望與幻滅。

  1966年,Robert Berger證明了王浩的猜測是錯的,並給出了第一組非周期圖塊,但那需要20426塊磚。

  後來,Robinson將其降到了6塊。

  再後來,羅傑·彭羅斯用飛鏢和風箏將其降到了著名的2塊。

  幾十年來,全世界的頂尖大腦都在尋找那一塊磚。

  一塊能夠且僅能以非周期方式鋪滿無限二維平面的單一連通圖塊。

  Socolar和Taylor在2010年找到過一塊,但那塊磚是不連通的,或者需要複雜的匹配規則,在純粹的幾何拓撲上並不完美。

  現在,有人說找到了一塊純粹的,沒有任何附加匹配規則的單一多邊形?

  對方發來這條信息,不是在質疑顧南舟的眼光,而是在替他兜底。

  萬一是誤判,現在收手還來得及,不至於驚動上面那條線,召開正式研討會之後再尷尬收場。

  顧南舟手指飛快地在屏幕上敲擊,回了四個字。

  【現場畫的。】

  那頭沉默了幾秒,仿佛能順著電波感受到對方倒吸涼氣的聲音。

  【你的學生?】

  顧南舟看了一眼江臨。

  【不是,隔壁物理學院青年PI帶來的掛名學生。】

  說話間,陳彥已經將會議室的投影連上,又滿頭大汗地跑去隔壁教研室借來了一台高精度掃描儀。

  他小心翼翼地,仿佛對待孤本一般,把江臨剛才畫的幾張紙一頁一頁掃進電腦。

  陳彥看著屏幕,手都在抖。

  文件名被顧南舟臨時要求命名為:預核_江_掃描件.pdf。

  「現在它還只是候選構造,在完整證明和覆核完成之前,不要把它稱作定理,也不要對外說已經解決。」顧南舟對江臨解釋了一句臨時命名的問題,語氣中帶著保護的意味。

  陸知行表示沒問題,他懂這些規矩。

  江臨更是不會說什麼。

  他連個大學生都不是,關於預印本,候選構造這些學術圈的規矩和潛規則,他是不怎麼清楚的。

  他只是站在那裡,看著自己腦海中推演了無數遍的幾何結構被放大在幕布上。

  十幾分鐘後,加密視頻會議接通。

  投影幕布被均分為左右兩塊。

  左邊出現一個五十歲左右的男人,頭髮花白,戴著厚厚的無框眼鏡,背景是堆滿了外文期刊、列印紙和各種多面體模型的辦公室。

  顧南舟沉聲介紹:「江臨,陸教授,這位是林照野教授,南大數學系,做離散幾何與組合拓撲的權威。」

  右邊是一個四十多歲的女人,一頭幹練的短髮,戴著黑框眼鏡。

  她身後的白板上還殘留著幾組准晶衍射圖和密密麻麻的投影關係。

  「邵明棠教授,中科院理論物理所,做准晶和非周期材料結構的專家。」

  這是顧南舟先前通過簡訊緊急邀請的兩位離散領域的絕對專家。

  原本這種級別的非正式會面極難湊齊,但這二位大佬在經過初步溝通、看了顧南舟拍過去的一個殘缺局部圖後,已經等不及今晚的常規通話了。

  他們推掉了晚上的會議,只想儘快看一看這個傳說中的單磚。

  兩個人上線後,顧南舟極其簡練地介紹了一下江臨與陸知行。

  視頻兩頭彼此之間都沒有任何多餘的寒暄。

  到了他們這個級別,廢話是對時間的褻瀆。

  林照野看著屏幕,五分鐘後,他緩緩開口:「這就是你說的那塊,本不該存在於二維平面的磚?」

  顧南舟點點頭:「候選,目前只是候選。」

  林照野點點頭:「好,先按候選看看,邊緣角度是不是全都是π/6的整數倍?」

  江臨站在桌邊,語氣很平:「是的,所有角都落在同一套30°輔助網格上,邊長也只取有限幾類比例。真正要驗證的,不是視覺像不像,而是這套有限角型能不能封閉成完整的局部狀態表。」

  「原稿現在在誰手裡?」邵明棠插話道。

  顧南舟把手按在那個硬殼文件夾上:「在這裡,陸知行教授也在場作證。」

  邵明棠的語氣不容置疑:「先別公開,不要發微信群,不要發朋友圈,不要在任何社交媒體上留痕,更不要讓剛才那些學生拍照外傳。如果這東西是真的,這就是本世紀幾何學最大的突破之一。如果是假的,提前走漏風聲會讓江大數學系淪為國際笑柄。」

  顧南舟看了一眼陳彥。

  陳彥立刻像觸電一樣把手機反扣在桌上,屏幕朝下,甚至舉起雙手示意:「明白,絕對保密。」

  林照野推了推眼鏡,身子前傾,仿佛要從屏幕里鑽出來:「開始吧,先別急著說它能不能抵禦周期性,咱們一步一步來。第一步,先證明它不是你信手塗鴉畫出來的死胡同。」

  顧南舟敲擊鍵盤,把江臨剛才畫的幾塊由單磚組合而成的拼接圖放大。

  林照野盯著那些齒輪般咬合的邊緣,問了一個最根本的問題:「它能不能鋪滿?」

  在數學上,鋪滿意味著覆蓋整個R2平面,且沒有任何縫隙,也沒有任何重疊。

  「能。」

  江臨站在桌邊,神色依舊沒有起伏。

  「怎麼鋪?」林照野追問,眼神極具壓迫感,「你不能給我看一個局部的漂亮圖案,就告訴我它能延伸到無限大,我需要構造法。」

  江臨走上前,指著圖上被他標記為四類的大塊結構。

  「這四類大塊,我暫時叫它們一型(H)、二型(T)、三型(P)、四型(F)。它們本質上是由不同數量、不同朝向的同一種單磚拼出來的超圖塊。而鋪滿平面的核心在於,每一類大塊,又可以繼續由更小的,按照嚴格比例縮放的一型、二型、三型、四型構成。」

  林照野眉頭微皺,腦海中迅速構建代數關係:「意思是,大磚由小磚拼,小磚又能組成更大的大磚?一個遞歸的替換系統?」

  「對,它的膨脹係數並非簡單的整數。」江臨回答,「這意味著它在進行高階合成時,邊界會產生極其複雜的非線性咬合。」

  林照野沒有立刻說好。

  他太有經驗了,很快就指出了其中的陷阱:「一層套一層,能無限放大,在代數上成立,但不等於它在幾何拓撲上能蓋住整張無限大的平面。你可能只是構造了一個不斷膨脹的孤島,而在孤島之外,存在它無法觸及的真空。」

  江臨點頭,顯然他早就思考過這個問題:「對,無限放大只是證明了對於任意給定的正整數n,第n階超圖塊是存在的,且可以由基礎單磚無縫拼接。但為了覆蓋 R2,還要保證後一層(第n+1階)在幾何上完全包容前一層(第n階),且這種包容的尺度度量隨著n→∞發散到無窮。」

  「所以呢?」邵明棠在視頻那頭插話。

  「所以,我們可以利用拓撲學上的緊緻性原理。」

  江臨看著屏幕上的白板圖,語速不疾不徐。

  「在這個構造規則下,在二維平面上隨便取任意一個坐標點p(x,y),隨著層級n的增加,第n階大塊的邊界會以指數級向外擴張。這個點p早晚會落進某一個n階大塊的內部。沒有任何一個實數域上的點能逃脫這個極限的覆蓋。這樣,整張平面才算被徹底蓋滿,不會出現越長越偏,把遠處漏掉的病態拓撲結構。」

  林照野盯著那張錯綜複雜的替代圖看了足足十分鐘。

  大腦瘋狂運轉,試圖在這套遞歸邏輯中尋找漏洞,但他發現,至少在直覺上,這個年輕人給出的覆蓋閉環是自洽的。

  「這一步,先記著。我暫時接受你的覆蓋存在性。」林照野說,語氣依然嚴厲,「但是,能給出一種無限鋪法,絕不等於它不能退化成周期鋪法。很多圖塊既能非周期鋪,也能周期鋪,我們要的是強制非周期。」

  邵明棠接過話茬,直擊要害:「也不等於所有鋪法都會乖乖按你這套層級結構長。也許在宇宙的某個角落,這塊磚能以一種你完全沒想到的,不符合這四類大塊規則的方式,周期性地排滿平面。」

  顧南舟站在一旁,沒有替江臨說話,陸知行也沒有。

  這時候沒人該替他說話,也不能替他說話。

  在純粹理性的審判庭上,只有邏輯本身才是最好的辯護律師。

  江臨自己點了點頭,仿佛一切都在他的計算之中:「所以,第二步是強迫。」

  林照野眯起眼睛:「說白一點,不要掉書袋。」

  江臨想了想,放棄了使用複雜的圖靈機狀態轉換比喻,換了一個最底層的說法。

  「第一步,是我告訴你,這塊磚可以這樣鋪。這只是存在性。」

  「第二步,是我要證明,你不管願不願意,一旦你把這塊磚放在桌子上,開始向外拼接,最後它都會通過局部邊界的凹凸咬合,被迫且只能被迫形成我給出的那四類大塊的宏觀結構。」

  林照野終於開始頷首:「繼續。」

  江臨把那張密密麻麻的局部鄰域表推到掃描儀旁邊,陳彥手忙腳亂地配合,將頁面在投影上放大。

  屏幕上出現一張極其繁複的表格。

  每一行,都是一種局部拼接的幾何構型。

  左邊:某個特定凹口或凸角周圍,根據內角要求,可能接入的其他單磚的姿態。

  中間:標註該組合是否在純幾何上合法(無重疊、無縫隙)。

  右邊:標註該合法組合在向外延展時,最後會被迫歸入哪一類大塊,或者在哪一步徹底走進死胡同。

  林照野看了一眼表格的行數,一針見血地直接發問:「你怎麼知道你列全了?」

  非周期鋪砌的證明中,最怕的就是窮舉遺漏。

  如果你漏掉了一種合法的拼法,而那種拼法恰好能導向一個平凡的周期結構,那麼前面所有的宏觀大廈都會在瞬間坍塌。

  江臨回答得毫不猶豫:「我沒有去列無限平面。」

  「什麼意思?」林照野眉頭皺得更深。

  「無限平面的鋪法是一個不可數集,列不完。」江臨說,「但我列的,是頂點周圍那一圈的局部情形。」

  他拿起鉛筆,在白紙上畫了一個極其銳利的凹口。

  「這塊單磚能貢獻的角,全都是30°的整數倍。我們在平面上繞著任意一個頂點轉一圈,總和必然是 360°,正好是十二個 30°扇形。」

  江臨的筆尖在紙上點出十二個刻度。

  「所以,圍著一個頂點,所有可能拼上的單磚角度組合,是一個嚴密的有限集合。這是一個簡單的組合數學問題,不是無窮多種。」

  他又迅速畫出幾種接法,齒輪般的邊緣在紙上咬合。

  「有的組合,局部完全接得上。」

  「但有的組合,看起來在這個頂點處接上了,只要你再往外逼迫一步,補一圈磚,就會在次級鄰域冒出一個形狀極其詭異的缺口,一個面積不足以塞進哪怕半塊單磚的死穴。」

  他在那個假想的缺口上畫了一個重重的叉。

  「這種,就是死胡同。它在局部第一層欺騙了你,但在第二層就會因為幾何空間的排他性而崩潰。」

  林照野一邊入神地聽著,一邊在腦海里驗算江臨所說的十二個扇形的組合數。

  江臨繼續輸出他的邏輯:「所以,我們要驗的不是整張無限平面,而是所有可能出現的頂點局部情形(有限集)。每一種合法的局部情形往外長一步,要麼它會順理成章地變成那四類大塊的內部核心,要麼它就會立刻死掉,沒有任何中間態。」

  他頓了一下,補充了一個計算機科學的概念。 「這跟搜索器算法中剪枝砍掉死路的邏輯是同一件事。」

  林照野沒有聽過江臨個人的那個什麼搜索器,但他懂計算複雜性理論。

  「也就是說,你利用了頂點的離散角度限制,把無限的鋪法空間,壓縮成了一張有限的可計算的局部情形狀態表?」

  「對。」江臨回答。

  「有限表理論上可行,但最怕兩件事。一是由於人工計算失誤導致的漏項,二是誤判死路。你以為它死了,但其實通過翻轉或平移另一塊磚,它能活過來。」

  邵明棠第一次針對技術細節開口。

  江臨點頭,表示同意這種苛刻的懷疑:「所以,表里標記的每一條死路,我都寫清楚了它具體死在哪一步,死在哪個角度的衝突上。」

  陳彥咽了口唾沫,移動滑鼠,把表格的第十七行放大。

  那一行旁邊畫著一個極度扭曲的凹口,一個突兀的凸邊,以及一個猩紅的紅叉。

  林照野死死盯著屏幕上的第十七行:「這一行,問題到底出在哪?」

  江臨只看了一眼那熟悉的拓撲圖: 「它滿足內角和等於360°,局部看,它的確是合法的。」

  「哦?」林照野挑眉。

  「它在第一個頂點上確實能完美閉合,所有多邊形的角湊得齊。」江臨在白紙上重新手繪那種接法,線條流暢得不可思議,「所以,如果只看這中心的一個點,你挑不出任何毛病,算法在這個節點會返回True。」

  說著,江臨的筆鋒一轉,開始沿著外圍補第二圈。

  「但是,當我們基於這個合法的核心延展一步,外部邊界的約束力開始發揮作用。這裡會逼出一個被幾條邊框死的空間。」

  他重重地圈出左上角的一個尖角,然後用筆尖敲了敲那個空間。

  「由於周圍磚塊的剛性結構,這個留出來的角被卡死在了150°,但它的邊緣輪廓卻要求填入一個帶有90°和60°凸起的形狀。我們這塊磚,無論怎麼旋轉,都無法同時滿足這兩種約束,再沒有任何一塊磚能補進去。」

  陳彥在旁邊聽得冷汗直冒,下意識脫口而出:「所以,它不是當場出現矛盾,它是延展一步甚至兩步之後,才暴露出拓撲上的不可調和性?」

  「對。」江臨看了一眼陳彥,「這也是為什麼很多單磚在初步測試時看起來能鋪平,但很快就會崩潰。所以不能只驗一個絕對孤立的頂點,要看它作為整體的局部鄰域往外長一圈,會向外界逼出什麼強制條件。」

  視頻那頭,林照野的手指在桌面上輕輕敲擊著,發出噠噠噠的聲音。

  每一聲都像是敲在陳彥和顧南舟的心臟上。

  長達十秒的思考後,林照野緩緩開口:「這個解釋,邏輯嚴密,能寫進論文的附錄作為核心引理。」

  這句話一出,C216里好幾個人都不由自主地鬆了一大口氣。

  陳彥甚至感覺自己腿都軟了一下。

  能寫進附錄,不代表最終過關。

  但至少說明,在頂尖專家的眼裡,江臨不是在異想天開地胡說八道。他的證明框架是正統的,符合現代數學分析標準的。

  然而,邵明棠卻沒有輕易放過。

  作為準晶領域的頂級學者,她見識過太多在微觀上完美無缺,卻在宏觀組裝上出大問題的模型。

  「頂點局部強迫,確實能壓制住自由度,暫時算你有明確的思路。」 邵明棠的目光透過屏幕,銳利地釘在江臨身上, 「但我關心另一件更重要的事。」

  「什麼?」江臨抬起頭。

  「你說所有鋪法都會被迫分成這四類大塊,可是,這只是展開』過程。如果反過來,把一個已經鋪好的平面往回收,做逆向的合成,這個分法,唯一嗎?」

  這句話一出來,剛剛還在敲桌子的林照野,眼神微微一變。

  這確實是一個大問題。

  把鋪好的海量小磚往回收,合併成上一層的大塊,這個動作在非周期鋪砌的數學語言裡叫做合成或逆替代。

  如果同一片區域的幾塊單磚,一會兒能被劃分合成一型大塊的一部分,一會兒又能在邏輯上被解釋為二型大塊的一部分,那所謂的嚴格層級就徹底模糊了。

  層級一模糊,就意味著它失去了唯一的代數編碼。

  後面利用層級無限放大來反證周期性存在的基石,就會轟然倒塌。

  然而江臨沒有立刻順著邵明棠的話說唯一。

  他極其冷靜地陳述了一個事實:「底層邊界上的每一塊磚歸到哪一類大塊,不完全唯一。」

  陳彥猛地抬頭,心跳驟停。

  不唯一?

  那不是全完了?

  林照野也危險地眯起了眼睛,似乎在評估這個年輕人是不是在玩火。

  邵明棠的聲音提高了一度:「沒有唯一性,你的層級樹就會出現分叉,周期性反證根本無從談起,你後繼的證明還怎麼走?」

  「因為我要的本來就不是每一塊底層小磚的歸屬絕對唯一。」

  江臨拿起筆,在投影出來的其中一條極其蜿蜒的大塊邊界上,畫了兩排交錯的小磚。

  「看這裡。」他指著屏幕,「在兩個大塊交界的邊緣帶,確實存在少數幾塊磚,它們既可以被划進左邊的大塊,也可以被划進右邊的大塊,這在局部上產生了多義性。」

  「但這僅僅只是在邊界線上極其有限的來回遊離。」

  江臨用粗黑的馬克筆,直接在那兩排小磚的中央,粗暴地畫出了一條貫穿前後的宏觀邊界線,一條屬於更高階超圖塊的骨架線。

  「它永遠無法滲透進大塊的核心。它絕對不會改變更高一層的拓撲骨架。」

  為了讓純理論更加具象,江臨用了一個直白的比喻。

  「就像兩個村子之間的一條土路,路邊散落的幾塊石頭,你可以說是左邊村子的,也可以為了占便宜吵架說是右邊村子的。局部上,歸屬權模糊。」

  他用筆敲了敲那條粗線。

  「但是,不管這幾塊破石頭歸誰,這條劃分兩個村子的大路依然切切實實地橫在那裡。這條宏觀的邊界線在哪兒,不會因為這幾塊微觀石頭的歸屬爭議而發生任何位移。」

  這個比喻雖然土,但在代數幾何的語境下,極其精準。

  邵明棠立刻聽懂了,眼中多了些許讚賞。

  她把江臨的通俗語言重新收束回嚴謹的學術表達:「所以你要證的,是合成的拓撲骨架這個動作本身是唯一確定的,不管你從哪一塊局部邊界磚下手往回收,哪怕微觀有歧義,收出來的宏觀層級圖都是同構的。至於個別邊緣磚歸左歸右,這在極限的無窮大尺度下,測度為零,無所謂。」

  江臨點頭:「對。」

  邵明棠追問確認:「而不是要求每一塊單磚的歸屬映射都是單射?」

  「對,要求單射是強人所難,也是不必要的過度證明。」江臨斬釘截鐵地答道。

  邵明棠靠回椅背,長長地出了一口氣:「這個說法比你剛才那句乾巴巴的反證更要緊,也更具洞察力。」

  林照野在另一邊重重地點了點頭: 「合成骨架唯一性是地基中的地基,地基不穩,你後面那一套反證全塌。但只要骨架唯一,周期性反證就有了立足之地。這一步必須單獨拿出來,單列一個章節寫清楚。」

  顧南舟立刻拿起筆,在備忘錄上飛快地記下。

  【核心關鍵】:證明合成骨架唯一,而非底層單磚歸屬唯一。需引入等價類的概念進行嚴密表述。

  站在旁邊的陸知行,雖然隔行如隔山,聽得一知半解,但他聽懂了這句話背後的科學哲學意味。

  江臨沒有硬拗。

  面對大佬的質疑,沒有試圖用華麗的辭藻去掩飾模型中的微小瑕疵。

  他大方地承認有局部的二義性,然後將討論的維度拉高,把要證的核心目標,換成了一個更宏大,更準確,也更站得住腳的骨架同構。

  這才像是在真正地做頂尖研究。

  做研究,不是把問題包裝得完美無瑕,一點瑕疵都沒有。

  而是敢於把瑕疵血淋淋地攤到桌面上,然後用無懈可擊的邏輯證明:它不致命。

  解決了合成唯一性的危機,審查進入深水區。

  邵明棠推了推黑框眼鏡,繼續拋出問題:「這塊單磚,鋪砌時允許翻面嗎?」

  在非周期鋪砌中,如果必須依賴圖塊的鏡像翻轉才能完成鋪滿,這被稱為弱非周期。

  如果僅靠平移和旋轉就能鋪滿,像傳說中的吸血鬼磚那樣,那就是純正的強非周期。

  江臨如實回答:「目前構造出的版本允許翻面,需要用到自身的鏡像。」

  「那就把它用粗體黑字寫在第一頁第一行。」邵明棠嚴肅地囑咐,「允許翻面,和不許翻面,在群論中是兩個完全不同的對稱群命題。不許翻面那個更強,也更難。千萬別讓人誤會你狂妄到順手把更強的命題也給解決了,那會引來全方位的學術圍剿。」

  「明白。」江臨點頭受教。

  「還有,允許翻面之後,」邵明棠的語速突然慢了下來,仿佛在黑暗中摸索著某種隱蔽的陷阱,「整張圖在整體上沒有周期性,我先信你。但是有沒有一種病態的可能:在無限的平面上,沿著某一個特定的方向向量 v,存在一條寬度有限但長度無限的帶子,而這條帶子內部的圖案,是周期重複的?」

  這句話一出,會議室里的空氣仿佛降到了冰點。

  這讓顧南舟立刻想到了非周期鋪砌里常見的長條帶隱患。

  很多非周期鋪砌在整體上確實不重複,但如果你只截取其中一條狹長的帶子,你會發現它像一條無盡的履帶一樣,在某個維度上偷偷地重複著。

  江臨立刻反問:「您的意思是,整體是非周期,但在某個隱蔽的方向上藏著半周期的平移不變帶?」

  邵明棠的眉頭猛地跳動了一下。

  她顯然沒想到,江臨不僅能瞬間聽懂她隱晦的表述,甚至接話接得這麼快,一句話就把她心中最深的擔憂總結到了拓撲學的點子上。

  「對,整張圖找不到二維平移對稱,不代表它在一維方向上乾淨。」邵明棠沉聲道,「萬一有這麼一條周期帶潛伏在裡面,你後面的全面反證法就會被切出一個致命的缺口,將來的結晶學應用也得打個巨大的問號。」

  江臨陷入沉思。

  這一次,他沉默了足足十幾秒。

  整個C216鴉雀無聲,都在等他。

  然後,江臨抬起頭,直視著屏幕:「這一塊,我現在只有腦海中的直覺思路,還沒有寫成嚴密的數學文字。」

  顧南舟心中一緊,猛地看向他。

  江臨沒有慌亂,繼續說道:「我們用反證法,假設真有這麼一條寬度為W的無限周期帶。那麼,這條帶子兩側的邊界輪廓,也必須跟著發生周期性重複,否則它就無法與外界咬合。」

  「可是,請各位回想剛才的替代規則。」

  江臨指著那張替代圖。

  「我們這四類大塊,每往上合成一階,邊界上記錄的那串幾何凹凸標記,就會被按比例拉長。同時,由於高階大塊的組合規則,中間還會硬性插進新的標記。」

  江臨停頓了一下,用了一個精妙的跨學科比喻。

  「各位可以把這條邊界上的凹凸標記,想像成一串由特定生成語法生成的密碼序列。」

  「每往上走一層,就照著同一套非線性的替代規則,把這串密碼展開、加長、插入新符號,這在符號動力學中極其常見。」

  「一串這樣依靠遞歸和非整數膨脹係數生成出來的密碼序列,要想在整體上保持周期性重複,等於要求它在某個固定的平移間隔T上完全對齊。」

  江臨的語氣逐漸變得鋒利。

  「但是,這部分不能靠一句直覺。我需要把邊界標記序列單獨抽出來,用替代矩陣和符號動力系統去證明它沒有最終周期。」

  「所以,這串密碼序列不可能具備周期性。進而反推,那條所謂的半周期帶,在這個體系下根本沒有生存的空間。」

  邵明棠震驚地看著屏幕里的江臨。

  這個孩子,竟是極其自然地借用了符號動力學和一維替換序列的思維來解決二維拓撲問題。

  不過她還是迅速就反應了過來,直言不諱道:「但這只是非常漂亮的口頭論證。」

  「是,這是物理直覺和代數猜想。」江臨毫無避諱地承認,「我需要單獨開闢一節,把那串邊界密碼的非周期性,嚴格利用矩陣的特徵值和替代規則,一行一行地推演一遍。」

  林照野在左邊屏幕重重地拍了一下手:「很好!」

  陳彥在旁邊被嚇了一跳。

  這也叫很好?

  江臨明明說沒寫完啊,怎麼就很好?

  林照野透過屏幕瞪了陳彥一眼,像是猜透了他的心思。

  「他說還沒寫完,比他剛才為了強撐面子張口就說顯然不存在要好一萬倍。數學最怕的就是傲慢的顯然,知道哪裡有漏洞,知道用什麼工具去補,這就是最頂級的科研素養。」

  陳彥立刻冷汗涔涔地閉上了嘴。

  顧南舟在備忘錄上重重地補上一行: 【待辦重中之重】:半周期帶(蠕蟲)問題排除。思路成立(基於符號動力學與替代矩陣特徵值),急需補全代數推演文字。

  現在,來到了驗證的最後一關。

  也就是整個非周期單磚理論的最終王冠——周期性反證。

  林照野深吸了一口氣,語氣變得前所未有的肅穆:「江臨,你剛才在講覆蓋的時候說,越往上的超大塊體量越大,層級趨於無窮。所以任何一個固定的平移向量T,不可能保住所有層級的結構。直覺上,對,因為有限裝不下無限。但是,在嚴格的證明里,你不能跳這麼快。」

  「為什麼?」江臨虛心請教,這是他在純數論證中相對薄弱的環節。

  「因為你還欠缺邏輯鏈上極其關鍵的一環。」林照野像一把解剖刀,精準地切中要害,「你得先證明一個引理:假設存在一個平移向量T能讓整張鋪滿的圖與自身完全重合,那麼,這個平移T,必須同時無條件地保住每一層大塊的宏觀骨架。」

  林照野的話語擲地有聲。

  「否則,審稿人會冷笑著反問你:它憑什麼不能只保住底層那些微觀小磚的平移對稱,而在宏觀上卻把大塊的邊界打得稀巴爛?誰規定微觀周期必須導致宏觀周期?」

  江臨瞬間聽懂了這個邏輯斷層。

  他點了點頭,眼中閃過一絲明悟:「所以前面邵教授逼著我承認並確立的那條合成骨架唯一性,其實是這裡的必要前提?」

  「對,完全正確。」林照野眼中露出炙熱的光芒。

  江臨腦海中的碎片迅速拼合,他用最樸素但邏輯絕對咬合的話語梳理道: 「如果整張無限大的鋪法,在經過向量T平移之後,跟原來一模一樣。」

  「那麼,由於合成骨架唯一性,從這張鋪滿的圖裡,按照局部強迫規則往回讀取,逆向生成的層級骨架圖,在經過平移之後,也必須是一模一樣的同構圖。」

  「因為,這套骨架結構,不是我作為觀察者主觀額外畫上去的輔助線。」

  「它是這塊磚自身的幾何屬性所逼迫出來的,是從底層的圖景里唯一合法讀取出來的內秉結構。」

  「前面既然證了合成唯一,就從數學上保證了這件事。平移既然不動整張底圖,就必然也無法撼動它的骨架樹。」

  「一旦骨架樹必須跟著平移對稱,而骨架的尺度又是隨層級n膨脹到無窮大的。一個有限的平移向量T,去試圖平移一個尺度大於它的骨架,必然產生錯位矛盾。證畢!」

  邵明棠在視頻那頭,忍不住輕輕鼓起了掌:「這句話的邏輯,閉環了。」

  林照野摘下厚厚的眼鏡,擦了擦眼角激動的淚花:「通是通了,但還得落成無懈可擊的文字證明。」

  「我會寫成形式化的語言。」江臨鄭重承諾。

  顧南舟在備忘錄上記下最後一行: 【終極定理依賴】:周期反證法成立的根基在於 -> 層級骨架可被唯一讀出(合成唯一性)。邏輯鏈條閉環。

  整個C216討論室,已經完全進入了白熱化的審查狀態。

  沒有人在意時間,沒有人在意疲憊。

  沒有人再問江臨是不是高三。

  也沒有人再糾結,一個高三學生為什麼能畫出全世界頂尖大腦找了六十年的東西。

  因為這些世俗的社會學的問題,現在都必須在這個偉大的數學構造面前讓路。

  現在唯一真正的問題只有,這塊臨時被稱為江的十三邊形單磚,能不能活過這嚴酷的第一輪絞殺。

  半個小時的死寂沉默與各自驗算後。

  林照野重新戴上眼鏡,用力揉了揉被屏幕藍光刺痛的眼睛,沉聲宣判:「這張局部情形窮舉表,我還要一行一行地親自覆核。光靠人工看,我不能給百分之百的打包票。這種證明,按現在的慣例,得把有限的組合情形交給計算機逐一核驗,人來定規則,機器來跑遍,才敢在論文裡寫無漏項。但是……」

  他話鋒一轉,語氣中帶著壓抑不住的震顫。

  「就現在的邏輯審查來看,我絞盡腦汁,也沒能找到一個能當場否掉它的反例。至少在邏輯直覺上,它立得住。」

  邵明棠接著林照野的話說:「合成唯一性,和那條半周期履帶的排除,都還需要補充大量的數學分析引理,但這條證明的路線已經不再是空中樓閣。」

  顧南舟雙手撐在桌面上,盯著視頻里的兩位泰斗:「所以,最終結論?」

  林照野沉默了幾秒,像是在下達一項歷史性的判決:「先按一個具備極高潛力的候選構造來處理。」

  邵明棠補了一句,分量極重:「至少,在非周期鋪砌領域,它已經是近三十年來,唯一一個值得啟動大規模正式覆核的純單磚候選者。」

  顧南舟緊繃的肩膀,終於鬆懈了下來。

  「那麼接下來,所有流程要徹底釘死。」陸知行突然插話,他的聲音冷靜得可怕。

  所有人齊刷刷地看向這位物理學院的教授。


  他看著顧南舟,一條一條地陳述著: 「第一,原稿即刻物理封存,任何人不得再在上面添一筆。」

  顧南舟鄭重點頭。

  「第二,所有掃描件高清照片,必須本地只讀備份,校內郵箱留痕,加密壓縮包,多方郵件時間戳。」

  陳彥立刻猶如接到軍令般,瘋狂敲擊電腦鍵盤,開始打包整理加密文件夾。

  「第三,今天在這個房間,在這個視頻會議里的所有人,作為第一輪見證人。無論最終成敗,今日的談話必須形成備忘錄。」

  「第四,也是最重要的一點。貢獻邊界要寫得清清楚楚,明明白白。這個極其反直覺的構造是誰提出的,核心的反證法路線是誰給的?後續如果需要計算機團隊核驗局部情形表是誰負責,誰負責將粗糙的想法轉化為形式化的數學引理?絕對不能有半點含糊,不能出現任何人試圖竊取或稀釋核心貢獻的可能。」

  顧南舟深深地看了陸知行一眼。

  不愧是青年PI,對學術成果的歸屬權,流程的合法記錄,潛在的風險控制,有著近乎本能的敏感。

  「我完全同意,這是保護江臨,也是保護我們自己。」

  林照野在屏幕里大聲說:「這個必須做,絕不能含糊。」

  邵明棠的目光柔和了一些,看著江臨:「尤其江臨的身份太特殊了,高三學生。如果這東西真的成了,國際上一定會有人懷疑是某位大佬借他的名字發表的。所以,原始記錄的每一分每一秒,都要寫得像法庭證物一樣清楚。」

  身份特殊這四個字,讓正在打包文件的陳彥,又忍不住用看了江臨一眼。

  高三。

  還有特麼的一個多月高考。

  卻在這裡,在黑板上,畫出了一塊可能足以登上頂刊,驚動整個離散幾何界的非周期單磚。

  這三個極其魔幻的事實強行拼合在一起,還是讓他覺得自己的腦幹有點隱隱作痛。

  顧南舟把那幾張薄薄的原稿紙,重新放進那個黑色的硬殼文件夾里。

  「從現在開始,這塊磚的形狀,在法理上固定了。」

  他轉過頭,看著江臨,語氣嚴肅得像是在舉行某種儀式。

  「江臨,聽我說。今晚回去,不要再改哪怕一條邊的長度,不要再調哪怕一度的夾角。」

  江臨平靜地點頭:「明白。」

  「做數學證明,最怕一邊證,一邊改對象。」顧南舟語重心長地告誡,「今天這塊磚,就是今天這塊磚。無論它最後是被證實還是被證偽,它都定型了。哪怕明天早上你洗臉的時候,腦子裡靈光一閃,想到了一塊更漂亮的十一邊形的磚,那也是另一塊。得另開新檔案,另算。」

  江臨點頭。

  他明白,這是在固定證明對象。

  陸知行挺直腰板,像一個公證員一樣宣告:「我,江大物理學院陸知行,作為現場見證人,在此確認,目前這份代號為江的候選構造,以及今晚這一輪所有的邏輯推演說明,完全是由江臨本人,在這裡,當著我們的面,獨立當場提出並完成的。」

  顧南舟看向陳彥。

  陳彥猛地站直:「我,數學系博士生陳彥,也全程在場作證。」

  林照野在視頻里推了推眼鏡:「我這邊會立刻用南大官方郵箱發一封加密郵件給你,確認我在這個時間點,收到了第一版包含原始思路的掃描材料。」

  邵明棠點頭:「中科院這邊同樣處理,時間戳為證。」

  顧南舟坐回電腦前,雙手放在鍵盤上,新建了一個文件夾。

  他在命名時猶豫了一下,最終選擇了極度的克制。

  候選_江_2022_05_01

  他敲擊回車,停了一下,看向江臨解釋:「內部通訊,先這麼叫它。」

  江臨沒有任何意見,一個代號而已。

  顧南舟熟練地將高解析度掃描件,陳彥按顧南舟要求拍攝的現場記錄照片,局部情形的窮舉表,視頻會議的截屏畫面,以及一份長長的參與人名單與分工說明,一股腦地拖進文件夾。

  然後,他打開江大的校園郵箱系統,開始撰寫內部備忘錄郵件。

  收件人列表里,依次填入:顧南舟,陸知行,林照野,邵明棠,陳彥。

  最後,他向江臨要了郵箱地址,加上了江臨。

  郵件標題:【保密/留痕】候選單磚「江」——第一輪內部驗證記錄與共識

  正文,顧南舟寫得字斟句酌,極其簡短幹練。

  今日(2022年5月1日)晚間,於江大數學學院C216討論室,針對江臨提出的「候選單磚江」(暫定名),進行了第一輪小範圍內部驗證會議。

  初步結論:經南大林照野教授,中科院邵明棠教授及本人初步審查,未發現可立即在拓撲或代數上擊穿該構造的明顯障礙。該構造及其附帶的強制替代規則,具備極高的進一步形式化證明與計算機輔助覆核的學術價值。

  待補核心工作——

  合成骨架的唯一性(依賴等價類劃分),需寫成正式的數學引理;

  半周期帶(康威蠕蟲)的排除論證(基於符號動力學與特徵值),需補全代數推演;

  局部情形表,必須儘快引入計算機輔助窮舉核驗程序,確保無漏項。

  當前狀態界定: 嚴肅候選構造。

  鑑於潛在的巨大影響,當前階段嚴格保密,暫不向外界及其他非核心人員公開。

  顧南舟寫到最後一行,指尖在鍵盤上懸停了一下。

  他回想起陸知行的警告,重重地敲擊鍵盤,補上了最核心的免責與歸屬聲明。

  【特此聲明】: 附件中包含的原始多邊形構造、單磚邊界形狀、四類超圖塊的遞推分解體系,以及利用局部強迫與合成唯一性進行周期反證的核心證明路線圖,均由江臨本人獨立構思,並於今日現場完整提出,其餘參與人員僅提供審查與形式化建議。

  陸知行一直站在顧南舟身後盯著屏幕。

  當他看到這加粗的最後一句時,終於放心地點了點頭。

  顧南舟深吸一口氣,滑鼠移動,點擊發送。

  嗖——

  進度條閃過。

  幾秒鐘後。

  陸知行放在桌上的手機震動了一下。

  陳彥電腦屏幕的右下角,滴的一聲彈出了郵件到達的綠色提示框。

  視頻里的林照野低下頭看了看另一塊屏幕,抬頭說:「南大確認收到。」

  邵明棠緊接著說:「中科院確認收到,附件完好。」

  江臨校服口袋裡的那台舊手機,屏幕也幽幽地亮了一下。

  一封包含著幾個多達幾十兆高清附件的郵件,一個精確到秒的網絡時間戳。

  一塊在無數數學家的夢境中飄蕩了六十年,本不該存在的怪異十三邊形磚,從滑鼠點擊發送的這一刻起,終於在這個物質的現實世界裡,打下了它的第一層可追溯的優先權錨點。

  它變成了物理學和數學共同見證的存在,不再只是江臨腦海中的一個孤靈。

  顧南舟合上電腦屏幕,轉頭看向江臨。

  他眼中的炙熱尚未完全褪去,但語氣已經帶上了對待同級別學者的平視和商量。

  「江臨,明天,你如果有時間,再來一趟江大。我們需要趁熱打鐵,把你腦子裡的那些關於符號動力學反證的思路,一點點摳出來,落成白紙黑字的LaTeX論文格式。」

  江臨掏出手機,按亮屏幕看了一眼時間,說:「我儘量。」

  這三個字一出,一旁的陳彥差點沒當場繃住。

  儘量?

  臥槽!

  這可是一個極大概率牽動全球離散幾何,晶體學,凝聚態物理整個鋪砌領域的大地震級別的候選單磚啊。

  無數大佬如果是發現者,恨不得今晚就不睡了,直接睡在實驗室里直到論文發表。

  而現在,明天能不能接著審查這個可能改變歷史的構造,還要看一個高三學生有沒有空?

  荒誕。

  簡直荒誕到讓人極度想發笑。

  可是放眼整個C216,看著白板上那滿牆的幾何推演,沒有任何一個人發笑。

  陸知行看了看手錶,已經快十點了。

  他走到江臨身邊,語氣溫和地說:「太晚了,我開車送你回去。」

  江臨把東西收進書包里,背上,搖了搖頭說: 「不用了陸老師,我騎車來的。」

  陳彥看著他這一連串動作,收筆、合本、背包,熟練得就像剛上完一節晚自習的普通學生。

  這個畫面,和幾分鐘前那塊磚之間的落差,讓他憋了一路的那句話終於沒忍住。

  「你……」他張了張嘴,發現自己居然不知道該問什麼才對,最後憋出來的是,「你不會是明天還得去江城七中上課吧?」

  「這倒沒有,最近我請了一段長假。」

  C216再次陷入了那種熟悉的落針可聞。

  視頻那頭,林照野再次摘下那厚厚的眼鏡,用手捂住臉,肩膀止不住地聳動,終於低低地笑出了一聲。

  那笑聲里,夾雜著對歲月的感慨,對天才的艷羨,以及對數學這個奇妙領域的無限敬畏。

  邵明棠看著屏幕里背著書包的清瘦少年,眼神變得複雜而溫柔,她輕聲說:「路上注意安全,江臨。」

  「謝謝邵教授,謝謝各位教授,各位老師,謝謝。」

  「路上小心,明天見。」

  「好,明天見。」

  江臨轉身,推門離開了C216。

  走廊里的燈光很普通,是那種常見的冷白色聲控燈,隨著他的腳步聲一盞盞亮起。

  從數學學院大樓的玻璃窗看出去,外面的天色已經完全黑透了,城市的霓虹燈在江面上倒映出斑斕的光暈。

  江臨走下台階,來到車棚,推出自己的自行車,跨上車座,雙腳踩動踏板,沿著法國梧桐形成的林蔭大道,騎出了校門。

  初夏的晚風迎面吹來,帶著一絲水汽,吹拂過他校服的衣擺,獵獵作響。


章節目錄