漢考克大廈九十二層的書房裏,堆着攢了四天的外賣盒。
七月的芝加哥悶熱潮溼,中央空調把室溫強壓在二十一度,但林允寧後頸上敷着的那塊冷毛巾,還是每隔四十分鐘就得換一回。
茶幾上橫七豎八地倒着三罐紅牛空殼,旁邊是一杯涼透的美式。
筆記本電腦右側擺着一疊翻得卷邊的A4打印稿,空白處擠滿了密密麻麻的鉛筆批註。
屏幕亮着,arxiv高能物理板塊的更新列表剛剛刷新。
頁面上掛着三篇極短的Comment,都是答辯當晚就冒出來的熟面孔,這幾天早被他逐句拆解透了。
讓他手指停下的,是今天凌晨剛刷出的兩篇新預印本。
第一篇出自CERN理論部,三名聯合作者,整整四十二頁。
標題用詞還算剋制,可結論部分的一行黑體字卻毫不留情:
“由於缺乏針對SU(3)扇區的格點QCD驗證,廣義林氏綱領雖然在數學上極具說服力,但目前仍只能算作一個未經實證的猜想框架。”
第二篇來自普林斯頓高等研究院,署名是個眼生的年輕博士後。
文章不長,十九頁,切入角度卻極其刁鑽。
對方直接拿林允寧答辯時給出的SU(3)拓撲上界開刀,扔出三個反例構造,直指其約束條件過於鬆散。
林允寧滾動鼠標,目光停在文末的致謝欄上。
“作者在此鳴謝E.威(E. Witten)在討論中提供的寶貴意見。”
盯着這行字看了兩秒,他關掉網頁,切回CERN那篇接着啃。
威滕本人並未在任何公開文獻上署名。
但一個博士畢業還不滿三年的研究員,敢在致謝裏放上普林斯頓高研院歷史上最有分量的名字,這背後的意味很明顯。
對廣義林氏綱領的學術圍剿,已經上升到了匿名評論遠無法企及的層級。
正想着,右上角的Thunderbird客戶端彈出新郵件通知。
看着是芝大數學系委員會的行政郵箱發來的,卻是轉發郵件,正文抬頭赫然寫着查爾斯·費弗曼(Charles Fefferman),普林斯頓大學數學系。
是以個人名義寫的。
他點開郵件快速掃視。
郵件前三段是四平八穩的學術客套,承認了廣義林氏綱領在形式上的原創性和統一性,措辭嚴謹。
乾貨全在第四段。費弗曼逐條列出了他認爲該理論在嚴格證明上必須補齊的技術引理——
非緊流形上凝聚度泛函C[∮]的正則性估計,奇異纖維上修正度量g(y, j)的退化行爲分類,以及楊-米爾斯變分方程從弱解到強解的bootstrap論證中漏掉的一個臨界指數間隙。
每一條都精確到了手稿的頁碼和公式編號。
結尾只有兩句話:“我期待在正式發表的文章中看到針對這些問題的澄清。該框架理應得到一次完備的論證。”
讀完,林允寧順手給郵件打上紅星,拖進"Response Queue”(待回覆隊列)的文件夾。
費弗曼的策略變了,不再只派代理人下場,而是親自現身劃定門檻。
這封信不僅沒全盤否定他,甚至是在向整個數學界釋放信號:這個框架大有文章。但前提是,如果不把這些引理補齊,大佬絕不會在任何正式場合爲其背書。
這道檻橫在這裏,殺傷力遠超那三篇不痛不癢的短評。
還沒來得及多想,Thunderbird又跳出一條提示。
幾乎同時,arxiv數學板塊的RSS訂閱也更新了一篇預印本。
點開郵件,是芝大數學系委員會自動轉發的動態提醒:有新文章引用了他的答辯手稿。
他索性關掉郵箱,切回arxiv界面。
作者欄上的名字很眼熟,四天前剛在洛克菲勒禮堂第一排落座————正是費弗曼那位做分析方向的副教授代理人。
整整六十三頁。
標題是《論廣義林氏綱領的數學基礎:一項批判性審查》。
林允寧後仰靠進椅背,抓起桌上只剩個底的礦泉水一飲而盡。調高了兩檔屏幕亮度後,他深吸一口氣,從摘要開始逐行往下掃。
文章結構條理分明,前二十頁幾乎完美復刻了答辯現場的推導過程。
那人當初在臺下奮筆疾書抄滿的三頁草稿,如今全化成了嚴整的數學排版。
緊接着,從第二十一頁起,便是刺刀見紅的逐層拆解。
林允寧邊看邊抽出一張A4紙,用三支不同顏色的筆開始做標記。
紅色用來標實質性硬傷,也就是證明鏈裏還沒完全嚴格化的要命環節。
比如第三十四頁對臨界指數間隙的質疑,跟費弗曼信裏說的如出一轍,顯然這倆人私下早通過氣了。
四十一頁提到,修正度量在特定退化纖維上的正則性估計還在喫一個沒驗證過的Sobolev嵌入條件。
這個刺挑得相當有水準,手稿中限於篇幅並沒有進行展開,正式發文時非補不可。
藍筆圈出的是風格分歧。
這類問題換條證明路徑就能繞過去,動搖不了框架根基。
可要是裝死不理,早晚會被後續的審稿人揪住小辮子。
黑色則留給那些暗藏殺機的修辭——比如把“還沒算”強行偷換成“算不出”。
結論結尾的那段話就是典型代表:
“………………廣義林氏綱領關於物理現實的主張尚缺必要的實證支持。至於它的數學框架,固然值得嚴肅對待,但就目前而言,將其界定爲一套極具原創性的猜想體系,遠比視作已驗證理論來得準確。
把這段話重重圈黑後,他在一旁批了兩個字:必答。
至於那個“極具原創性的猜想體系”。
這個定性如果不正面回應,會被後續所有引用這篇預印本的文章當作既成事實來使用。
而回應它的最佳方式,就是把那些紅色標記的實質性問題一一補齊,同時用精確的反駁把黑色標記的修辭策略打回去。
桌上的手機突然震了震。
“格林伯格,14:23"
是新郵件。
他劃開屏幕切進郵箱。
郵件套着芝大醫學院的官方備忘錄模板,標題是“回覆:AD-02隊列與廣義林氏綱領的整合——程序要求”。
內容意外的短。
格林伯格翻來覆去還是那四項前置條件:代謝安全邊界、回撤邏輯、對照口徑,以及同步代謝採集方案的倫理審批。
每條後頭的括號裏,冷冰冰地列着上次會上敲定的技術參數和時間線。
結尾還提了一嘴程新竹:“我已收到程博士團隊提交的同步代謝採集方案初稿,目前正在審覈中。”
這也是意料之中。
單憑答辯現場那三組同構曲線,還遠不足以讓老狐狸格林伯格鬆口,但好在方案初稿已經遞上去了,流程算是動了起來。
林允寧把手機反扣在桌面,視線又落回屏幕上。
物理界、數學圈、醫學院,三方的壓力如同三道絞索,最終全勒在了同一個死結上。
搞物理的認死理,拿不出SU(3)的格點數值,框架就只是空中樓閣;
費弗曼那邊卡着引理的脖子,不補齊漏洞休想拿到學界背書;
至於格林伯格更是認準了程序,不見兔子不撒鷹。
兜兜轉轉,破局的眼只剩一個——SU(3)緊規範羣的格點QCD級數值驗證。
可這玩意就是隻吞金獸,沒個P級超算資源,砸進去幾千萬核時連着跑,根本別想聽見個響。
這時,門外傳來腳步聲。
步伐不急不躁,是運動鞋底碾過走廊地毯特有的悶響。
聽這固定的步頻,不用看也知道是趙曉峯。
“林老師。”
趙曉峯杵在門口,懷裏緊緊抱着臺沒息屏的ThinkPad。
他那件灰T恤洗得發白,眼窩下的烏青比四天前答辯那會兒還要人。
“進來吧。”
趙曉峯撥開那堆紅牛空罐,把電腦放在茶幾上,轉過屏幕。
“AWS那邊出岔子了。”
以太動力的雲後臺界面上,赫然橫着一列刺眼的紅色錯誤日誌。
“前天下午起,咱們租的那批GPU實例裏,有部分API調用開始報生僻錯誤。”
他划動鼠標點開一條放大,“看這兒,HTTP451。”
HTTP 451——Unavailable For Legal Reasons (因法律原因不可用)。
“這碼平時根本見不着。”
趙曉峯眉頭緊鎖,“我逆向查了下,它不是AWS常規的資源排隊提示。這玩意兒指向的是BIS的合規審查模塊。”
林允寧身子前傾,湊近細看錯誤碼後掛着的那長串參數。
“受波及的面有多大?”
“所有p2和p3系的大型計算實例全軍覆沒。小規格的暫時安全,日常跑跑業務沒問題。
“可一旦單次調用跨過某個算力紅線,這玩意兒就蹦出來了。”趙曉峯喘了口氣,“還有,克萊爾昨晚查骨幹網流量監控,逮到了點新動靜。”
他切到另一個窗口,一張網絡拓撲圖躍然屏上,幾個關鍵節點被重重標紅。
“主幹線上冒出了前所未見的DPI節點特徵。克萊爾抓包做了比對,確認那是專門針對大規模科學計算流量的深度包檢測。
“換句話說,他們在盯着高密度浮點運算指令集和格點化數據結構的傳輸特徵。”
林允寧緩緩靠回椅背。
用不着再反覆確認了,這種級別的雷,沒有實錘,趙曉峯絕不敢往這兒遞,更別說是克萊爾過手的結論。
端口被掐、BIS審查下場、骨幹網上掛DPI監視器——記重拳砸下來,圖謀昭然若揭。
他腦海中忽然閃過答辯那天的場景。
當時斯特恩就坐在後排靠窗的陰影裏,冷眼看着前排大牛們從抱臂冷笑到傾身狂記。
那傢伙比在場所有物理學家都早一步看透了底牌:林氏綱領的骨架已然堅不可摧,他缺的,唯有算力。
斯特恩畢竟是威滕帶出來的人,根本不用等arxiv上吵出個是非黑白,就早把這盤大棋推演到了最後一步。
釜底抽薪,切斷算力。
根本不用等什麼慢吞吞的行政禁令,無形的物理絞索其實早已套到了脖子上。
“芝大自己的計算集羣呢?”林允寧聲線平穩。
“運轉正常,可您也清楚芝大那點家底。”
趙曉峯苦笑,“Midway2加上RCC,滿打滿算幾千個CPU節點,幾百塊GPU。跑跑分子動力學還湊合,去碰格點QCD?門縫都擠不進去。”
“走學校渠道,申請聯邦超算配額呢?”
趙曉峯搖了搖頭:
“我上網查了一下,NERSC或者橡樹嶺的配額流程,再怎麼加急也得三六個月,”他壓低聲音,“再說了,現在根本就不是等不等得起的問題。”
“是靶子太大的問題。”
“對。申請表一交,DOE系統裏立馬就掛上號了:芝大林允寧組需要P級算力驗證SU(3)格點QCD。現在BIS盯得可緊了,咱這申請交上去,不等於往自己腦門上畫靶子麼?”
趙曉峯煩躁地將電腦屏幕壓下一半。
林允寧沒吭聲。
他怔怔地看着那堆乾癟的紅牛罐,眼神發散。
商業雲被封,骨幹網被監聽。
國家實驗室的通道表面敞着,但這風口浪尖上,凍結令隨時會砸下。
學校的集羣指望不上,轉接聯邦超算又是自尋死路。
美國境內的路,全死了。
忽然,他抬起眼皮。“既然這樣,咱們轉國內。”
趙曉峯沒顯出多驚愕,顯然也在琢磨這條道。
“找四零一,”林允寧吐出幾個字,“走arXiv的隱寫通道。”
“大涼山那邊,秦雅已經跑通過解包測試。”
趙曉峯點頭,隨即話鋒一轉,“可上次只傳了2KB的方法論純文本,這回可是整個格點QCD的任務矩陣——”
“參數本身沒多大,”林允寧揮手打斷,“不管格點規模、耦合常數範圍,還是邊界條件,連帶我給出的拓撲上界檢驗標準,全壓縮成文本頂多幾KB。
“真正麻煩的是跑這些參數耗費的算力,數據包本身其實很輕。
“那要注意的地方在哪?”
林允寧用大拇指蹭了蹭冒着青茬的下巴:“怎麼僞裝。”
他把屏幕推向趙曉峯,點了點那張扎眼的拓撲圖:
“既然骨幹網掛了DPI,arxiv自家的格式掃描也不是喫素的。QCD參數的數值規律性太強,什麼等間距掃描網格、Wilson loop的約束區間,跟正兒八經代數幾何論文裏的係數分佈一比,簡直格格不入。
“要是套用四零一那套老協議硬塞,只要統計特徵一掃,立馬就會觸發警報。”
趙曉峯沉思片刻:“所以得徹底推翻之前的編碼映射重做一套?”
“沒錯。”
林允寧眸光一閃,“而且這層外衣還不能是隨便糊弄的水文。”
他順手抄起茶幾上那摞勾畫得五顏六色的A4紙——正是費弗曼代理人寫的那六十三頁預印本。
“比如這篇文章,我必須得回覆。這駁斥本身就極具學術價值,不管咱們帶不帶私貨,都非發不可。”
趙曉峯盯着滿紙密如亂麻的三色批註,靜默無言。
林允寧把稿子拍回桌上:“我發一篇正規的數學駁斥預印本,表面上是給普林斯頓的一記漂亮反擊。文章所附的代數幾何計算數據,從統計特徵上看,毫無破綻。但那裏面,藏着啓動大涼山超算的整套QCD驗證密鑰。”
趙曉峯倒吸一口涼氣:“明修棧道,暗度陳倉。”
“趙老師那邊的RSS沒斷過吧?”
“自從上次演練完,就一直替你盯着呢。”
林允寧輕微頜首。
刺目的白光亮起,他又把屏幕亮度拉高了一檔,熟練地切出一個空白文本框。
指尖翻飛,開始敲擊格點QCD任務矩陣的參數清單。
趙曉峯沒再打擾他,站起身將ThinkPad夾在腋下。
走到門邊,他略微停頓,回頭看了眼。
林允寧整個人已經嵌進了屏幕的熒光裏,後頸的冷毛巾滑到了肩頭也恍若未覺。
趙曉峯沒吱聲,無聲地帶嚴了房門。
伯克希爾的芝加哥臨時審計辦公室,設在漢考克大廈三十七層的一間租賃套房裏。
雖然與以太動力新總部共享同一棟建築的地址,但中間隔着五十五層樓板和三部獨立電梯,物理上互不相通。
大衛·霍爾靠在轉椅上,面前的二十四寸戴爾顯示器分成了左右兩屏。
左邊是Caseware IDEA的審計工作底稿界面,右側則是伯克希爾內部的數據交換接口管理面板。
桌上攤着一份翻過好幾遍的紙質回函。
這是佩妮大約四十八小時前送來的,針對“非標資產跨期對賬”口徑的最新答覆。
A4紙的邊角已經起卷。
霍爾對着這份回函死磕了兩天。
整整十四頁,格式無可挑剔:字體統一、行距精確、附件編號連貫,引用條目完整。
單論排版,這絕對算得上他職業生涯裏見過最乾淨的回函了。
問題出在內容上。
十四頁看下來,真正有用的信息頂多湊夠兩頁。
剩下的全是表結構說明,術語定義、適用法規引用,以及諸如“本報告僅基於所列數據源生成,不構成對任何未列數據源的陳述或擔保”這類的標準免責聲明。
這是他過去四周裏收到的第三份同類回函了。
每次他換個口徑試探,對面總能在四十八小時內回一份篇幅極長但信息密度極低的回覆。
他不得不幹耗三天去消化比對,從一堆重新排列組合的舊數據裏把新信息擇出來,接着再決定下一輪該從哪個方向下手。
他隱約察覺到,標準導出層和原始字段之間橫着一堵牆。
但察覺是一回事,想要拿到確鑿的證據,至少還得再做一兩輪新的口徑測試。
霍爾把回函推到一邊,轉向右側屏幕,開始每天的例行公事:檢查伯克希爾審計數據交換接口的訪問日誌。
作爲盡調團隊和被審計方傳輸數據的標準化通道,這裏所有的進出數據都帶有詳盡的時間戳,端口號,請求源以及數據類型標籤。
他習慣性地將列表按時間倒序排列,從最新記錄一路往下掃。
前兩天的日誌平平無奇:昨天下午方佩妮的回函傳入,今天上午他自己調取了兩份對照表——都是正常的審計操作。
直到目光滑到三天前的一條記錄上。
這個請求源的IP段不屬於任何伯克希爾的授權終端。
霍爾眯起眼,點開記錄展開完整的請求頭。
發起端口註冊在華盛頓特區的一個聯邦機構IP段下。
請求類型標着“交叉比對————人員背景”,調閱對象則是以太動力在職員工的出入境記錄和緊急聯繫人信息。
授權憑證欄一片空白,取而代之的是一行文本附註:“國家安全合作請求——優先審查”。
霍爾鬆開握着鼠標的右手,轉椅向後退了半寸。
他靜靜盯着屏幕上的那行字。
既沒有法庭搜查令,也沒有正式的司法協助文書,甚至連伯克希爾法務部的預授權備案都沒見到。
一個聯邦機構的端口,三天前竟堂而皇之地走審計接口,試圖竊取被審計公司員工的個人信息。
出入境記錄、緊急聯繫人——這些玩意兒跟經營連續性審計八竿子打不着。
霍爾伸手拿起桌上那杯已經不燙的咖啡,喝了一口,放下。
他不知道這個請求是誰發的,也不關心。在伯克希爾的審計體系裏,數據交換接口的獨立性是鐵律。2002年薩班斯-奧克斯利法案之後,四大和伯克希爾系的審計通道在制度上有一道明確的防火牆——審計通道只服務於審計
目的,任何超出審計範圍的數據調閱都必須走獨立的法律程序,不能搭審計的便車。
霍爾端起桌上早已放涼的咖啡灌了一口。
他並不關心這個請求背後的主使是誰。
在伯克希爾的體系裏,接口獨立性是不可觸碰的鐵律。
自從2002年薩班斯-奧克斯利法案出臺後,四大和伯克希爾系的審計通道在制度上就樹起了一道明確的防火牆:審計通道只爲審計服務。
任何超範圍的數據調閱都必須走獨立的法律程序,休想搭審計的便車。
霍爾重重放下杯子,雙手回到鍵盤上。
他在管理面板裏找到那個華盛頓IP段對應的條目,直接點擊了“撤銷訪問權限”。
隨着系統彈出確認框,他迅速輸入自己的憑證。
端口關閉。
緊接着,他調出內部的合規事件報告模板開始敲擊:
事件類型:未授權數據訪問嘗試;
涉及端口:【具體端口號];
請求源:華盛頓特區聯邦機構IP段;
調閱內容:越權獲取員工個人信息;
授權憑證:無;
處理措施:已撤銷端口權限,建議法務合規部排查所有歷史訪問日誌。
報告發往值班郵箱並抄送直屬上級後,霍爾靠回了椅背。
接下來的流程閉着眼睛都能猜到:合規部肯定會要求他對整個接口的訪問權限和歷史日誌做一次底朝天的排查,確認是否還有其他漏網之魚。
這破事又至少得耗掉三五個工作日。
這就意味着,在排查結束前,他沒辦法再從Aether調取哪怕一丁點新數據。
針對以太動力的審計工作將被迫停擺。
霍爾掃了一眼桌上方佩妮的回函,視線又落回屏幕上那個被封死的端口記錄。
有人膽大包天,想把伯克希爾的審計通道當後門用,偏偏還撞上了他手裏這樁越來越棘手的盡調。
但規矩畢竟是規矩,通道的獨立性容不得半點沙子。
哪怕進度落後,他也得先把自家管道裏的髒東西清理乾淨。
霍爾將紙質回函塞進卷宗夾,關掉底稿界面,默默打開了日誌的完整導出工具。
認命吧,還得從頭查起。
漢考克大廈九十二層。
方佩妮坐在離林允寧書房不遠的後臺監控工位上,面前同樣並排亮着兩塊顯示器。
左屏正跑着她隨手寫的一個Python腳本,每半小時抓取一次審計接口的外部可見狀態,並將變化量寫入本地日誌。
右屏則是ERP和HRMS的監控面板。
她盯着左屏的日誌文件,手指在鍵盤邊緣有節奏地輕點。
過去四十八小時內,霍爾那邊的審計活動歸零了。
徹底停擺,毫無動靜。
無查詢,無口徑切換,也沒有催促回函。
方佩妮最後一次收到他的郵件,還是在兩天前確認收到“非標資產跨期對賬”的答覆,此後便石沉大海。
按以往四周的規律,霍爾通常花三天消化材料,接着就會換個角度猛攻。
可現在兩天過去了,別說新請求,連對舊賬的盤問都偃旗息鼓了。
事出反常必有妖。
她切出右屏的狀態日誌(雖然只能看到端口活躍度和流量方向,無法窺視內部操作),迅速翻閱過去四十八小時的記錄。
兩天前,端口狀態發生過一次變更——從“活躍”變成了“受限”。
時間戳顯示中部時間上午十點十四分,跟霍爾停工的時間點嚴絲合縫。
變更後,數據流量模式隨之逆轉:對外查詢徹底消失,取而代之的是大量內部元數據訪問。
過去兩天內,權限管理模塊、日誌審查以及歷史記錄導出工具的調用頻率,竟然飆升到了平時水平的六到八倍。
方佩妮順手在草稿紙上畫了條時間線,將幾個數據點串連起來。
狀態受限,外部查詢斷崖,內部權限高頻操作,日誌審查狂飆。
她用筆尖敲了敲紙面,在旁邊批註:“霍爾遇上了內控排查,無暇他顧。”
顯而易見,霍爾正忙着清理自家的下水道,根本顧不上以太動力的數據層。
多半是他的違規操作踩了紅線,或是外部什麼東西弄髒了他的審計管道。
不管是哪種,他都得擦乾淨屁股才能回來咬人。
方佩妮拿起座機聽筒,撥通了內線。
“老闆,我是佩妮。彙報兩件事。”
她語速飛快,咬字卻異常清晰,“第一,霍爾那邊的審計徹底拋錨了,操作全耗在權限管理和日誌審查上,壓根沒碰咱們的數據。我估計他撞上了內部合規審查,能給咱們爭取大概三五天的緩衝期。”
話音未落,她接着說:
“第二,雪若姐上午通過法務賬單確認了,BIS正式下發了針對Aether的限制算力出口行政通知。全文我還沒看到,但大方向跟你們上午聊的AWS脫不了干係。”
聽筒裏安靜了片刻。
“知道了。”林允寧的聲音聽不出波瀾,“謝謝你,佩妮·霍爾那邊繼續盯着,一有風吹草動馬上報我。”
掛斷電話,方佩妮將那張畫着時間線的草稿紙對摺,夾進工作日誌。
右屏上的監控面板依舊風平浪靜。
但她心裏清楚,這份安寧長不了。
霍爾遲早會疏通管道捲土重來,更何況,BIS的通知只是個開胃菜,後面究竟還藏着什麼,誰也說不準。
掛斷方佩妮的電話後,林允寧在書房裏枯坐了大概半分鐘沒動。
他的視線釘在茶幾上那摞花花綠綠的A4打印稿上。
費弗曼代理人寫的六十三頁預印本已經標註完畢:紅筆標出的致命反駁、藍筆圈出的行文分歧,以及黑筆勾勒出的修辭陷阱。
BIS的正式行政通知已經到了——方雪若從法務賬單上查實了這點。
再加上上午趙曉峯帶回的壞消息:AWS端口限流、骨幹網架設了DPI監控。
至此,從物理硬件、網絡傳輸再到法務制度,三維一體的算力絞殺網已然徹底收攏。
至於霍爾那邊爭取到的三五天緩衝期,純屬瞎貓碰上死耗子的意外,根本不在他原先的盤算內。
留給他的時間窗口,只剩這麼條窄縫。
林允寧一把扯下後頸上早被體溫焐熱的毛巾,扔進旁邊的水盆裏,重新擰了把涼水敷上。
接着,他把筆記本電腦從茶幾挪回寬大的書桌,拖過一把硬靠背椅,重重坐下。
他新建了一個文本編輯器窗口,在首行敲下:
# Encoding Mapping v2.0- LatticeQCD→ AlgGeom Coefficient Disguise
(#編碼映射 v2.0-格點QCD 代數幾何係數僞裝)
早前那套舊的編碼協議,是他和秦雅在大涼山超算中心那邊跑通過的:把要傳的文本數據按字節拆碎,僞裝成代數幾何論文附件裏常見的係數序列,最後用一套預設的僞隨機種子把位置徹底打亂。
秦雅當時成功解包了2KB大小的方法論純文本,整個流程毫無破綻。
可那次傳的畢竟只是純文本。
ASCII字符的字節值分佈相對均勻,映射後的係數序列在統計學上跟普通的代數幾何數據沒啥兩樣,常規的格式掃描根本揪不出毛病。
但這回不同了。
格點QCD的任務矩陣雖然體積小,但參數的數值分佈卻極其怪異。
林允寧在屏幕上敲出了三個致命的特徵指紋:
首先是耦合常數掃描網格。
按照格點QCD的常規套路,得在beta = 5.8到6.4之間做等間距掃描,步長卡在0.05或0.1。
這玩意兒一旦映射成係數,就會在附件裏拉出一條齊刷刷的等差數列。
正經的代數幾何計算絕不可能跑出這種規矩的列陣——代數簇上的有理點座標分佈,走的壓根是另一套統計規律。
其次是威爾遜圈(Wilson loop)參數的取值範圍。
受物理條件死死卡着,這些參數不僅被限制在特定區間內,而且兩頭的取值密度遠超中間。
這要是直接投射過去,係數分佈圖上立馬會鼓出兩個顯眼的山峯。
最後是有限體積修正係數。
這批數據的量級全窩在10^-3到10^-5之間,比代數幾何附件裏常見的係數小得多。
一經映射,它們就會在分佈圖的底端抱成一團,形成一片密密麻麻的異常數據簇。
等差數列、雙峯分佈、底部聚集。
這三個統計學“指紋”,哪怕漏出半點馬腳被DPI或arxiv的自動化探針嗅到,整個附件立刻就會被標紅報警。
舊協議處理不了這個問題。
林允寧閉上了眼睛。
【系統,將400小時模擬時長注入編碼映射設計課題。】
【目標:設計一個可逆的數值映射函數,將格點QCD任務矩陣的參數集變換爲與代數幾何論文附件係數統計特徵不可區分的數值集。約束條件:變換後的數值必須扛住顯著性水平alpha = 0.05的柯爾莫哥洛夫·斯米爾諾夫
(K-S)檢驗,以及安德森-達林(A-D)檢驗。參照模型定爲法爾斯(Faltings) 高度在代數曲線有理點上的經驗分佈。】
離。】
【模擬開始。】
【第30小時:嘗試線性縮放方案。將格點QCD參數值域[5.8,6.4]線性映射至目標分佈值域[0.12,847.3]。KS檢驗未通過。原因分析:線性映射保留了原始數據的等間距結構,KS檢驗在中間分位數區間檢測到系統性偏
【第70小時:嘗試分段仿射變換方案。將參數值域分爲三段,每段使用不同的仿射係數。AD檢驗結果未通過。原因分析:分段點處產生了分佈密度的不連續跳躍,AD檢驗對尾部行爲敏感,在Wilson loop參數的雙峯區間檢
測到異常。
】
【第120小時:線性方案和分段仿射方案均無法消除原始數據的結構性指紋。需要非線性的、保測度的全局變換。】
【第160小時:轉向代數幾何內部工具。如果能找到一條代數曲線,使得格點QCD參數網格恰好對應該曲線上一組有理點的某個座標分量,則映射後的數值自動服從目標分佈。】
【
= 3的超橢圓曲線C: y^2 = f(x),其中f(x)爲六次多項式。利用Mordell-Weil羣的結構,將格點QCD的等間距掃描網格{beta_i}通過一個有理參數化phi: beta_i→(x_i,
第210小時:開始構造具體映射。選取一族虧格g
y_i)映射爲C上的有理點。關鍵步驟:構造phi使得x座標分量{x_i}的Faltings高度分佈與目標經驗分佈匹配。】
【第280小時:完成phi的顯式構造。原始數據的等差結構、雙峯結構和低端簇在映射後被超橢圓曲線的算術幾何徹底吸收。】
【第310小時:對Wilson loop參數和有限體積修正係數分別構造類似映射。】
【第350小時:對完整任務矩陣執行聯合檢驗。多維KS檢驗p=0.218. Chi-squared擬合優度檢驗p=0.294。全部通過。】
【第380小時:驗證映射的可逆性。逆映射的計算複雜度爲O(nlogn),在普通工作站上可在秒級完成。】
【模擬結束。編碼映射v2.0方案完成。】
【剩餘模擬時長:10897小時。】
林允寧猛地睜開眼。
他十指飛快,在文本框裏敲下逃生密碼的核心:超橢圓曲線族的篩選規則、有理參數化 phi的顯式構造、僞隨機種子的生成契約,還有留給趙振華解包用的全套“鑰匙”。
然後是計算策略。
SU(2)先跑。
道理明擺着:SU(2)規範羣的格點QCD早就積攢了一褲兜成熟的實驗數據和基準測試。
只要廣義林氏綱領能在SU(2)上算出吻合的質量間隙,這塊物理敲門磚就算砸實了。
這可比什麼“純數學自治”有力百倍。
只要預測和實驗對上號,arxiv上那頂“尚待檢驗的數學猜想”的破帽子,立馬就會被摘下去。
至於更難啃的SU(3),自然要往後排。
這個驗證過程計算量恐怖而且參數空間錯綜複雜,但有了SU(2)探好的路,SU(3)就能收縮力精準打擊,犯不着在龐大的參數海裏像無頭蒼蠅一樣亂撞。
林允寧把兩步策略和結果回傳時需要包含的數值格式一併寫進任務矩陣。
隨手把窗口最小化,他點開了LaTeX編輯器。
不對。
瞥了眼右上角的時間,他猶豫了一下,果斷關掉LaTeX,切進了一個輕量級的純文本後臺。
精裝排版的事可以往後放,眼下得先把骨架弄出來。
用來當“運載火箭”的預印本標題,他早琢磨透了:
《拓撲凝聚框架的嚴密基礎:對“論廣義林氏綱領的數學基礎:一項批判性審查'的回應》
文章骨架同樣一目瞭然。
前半截,硬剛那六十三頁的逐層挑刺。
A4紙上的三色批註這下全成了彈藥:對紅筆圈出的實質性硬傷,他要麼當場甩出補充論證,要麼坦蕩掛出“正式論文見”的免戰牌。
比如bootstrap論證漏掉的指數間隙,他直接放上去一個極精細的插值估計;
針對索伯列夫(Sobolev)嵌入條件的刁難,他反手補上了一個可驗證的充分條件。
至於藍色的風格爭議,只挑兩個容易被審稿人抓辮子的點隨口澄清。
而真正惡毒的黑色修辭———那個“猜想體系”的定性,他用一段鋒利如刀的定論直接將其肢解:
“缺乏數值驗證,不等於無法驗證。基於‘答辯手稿’推導出的拓撲上界,已經構成了一個可證僞的硬性約束,任何未來的格點計算都必須遵守這一鐵律。”
對,可證僞性。
這正是正經科學和“玄學猜想”的生死界限。
廣義林氏綱領可是劃下了一條嚴苛的拓撲上界——格點QCD跑出來的數據,如果這個數值違反上界,整個框架就可以被證僞。
這種可以被證僞的理論,誰敢說它只是個“猜想”?
至於預印本的後半截,純粹是幾個技術引理的枯燥證明。
裏頭填滿了海量的代數幾何算式——而這堆亂碼般的數據附件,恰巧就是他藏匿情報的完美溫牀。
林允寧手指不停,開始往附件區灌入數據。
經過v2.0協議重裝過的任務矩陣,搖身一變成了代數曲線的有理點座標,老老實實地臥在表格裏。
隨便拎出個數值,看着都像極了某個超橢圓曲線的x或y座標。單
看統計特徵,和正文引用的那些係數簡直就是一個模子裏刻出來的。
哪怕現在跳出個審稿人,把這份附件揪出來挨個驗毒,得出的結論也只會有一句話:這是一組出自超橢圓曲線族的常規算術幾何數據。
什麼等差數列,雙峯結構,低端密集簇,統統消失了。
格點QCD的指紋被超橢圓曲線的算術幾何徹底吸收了。
只等遠在太平洋彼岸的趙振華拿到加密種子,破譯這批“亂碼”不過是分分鐘的事,完整的算力矩陣就能原樣重生。
林允寧花了將近兩個小時,才完成預印本正文和附件的全部內容。
他從頭到尾通讀了一遍。
拋開暗線不談,單憑這文筆和邏輯,它也是一篇無懈可擊的學術重炮。
對面那洋洋灑灑的六十三頁刁難,硬傷全被懟了回去,扣帽子的修辭被“可證僞性”扇了耳光,就連那些細枝末節的風格挑刺,也挨個掃得乾乾淨淨。
這玩意兒哪怕撕掉隱寫的僞裝,扔上arxiv也足夠震碎那羣人的眼鏡。
爲了保險,他又單抽出附件,餵給腳本過了遍K-S和A-D雙檢。
p值跟腦海裏的推演分毫不差。
一路綠燈。
窗外的密歇根湖,不知何時已褪盡亮色,沉澱成一大片深邃的暗金。
桌上的檯燈幽幽亮起——那是大廈感應到天色漸暗,自動觸發的補光。
林允寧切出瀏覽器,熟練敲下arxiv的提交通道。
登入賬號。選定分區:代數幾何(math.AG),交叉索引至數學物理(math-ph)。
填入標題、摘要、作者欄。
拖入正文PDF。掛上那個藏着驚天祕密的附件包。
在“評論(Comments)”欄裏,他留下一句簡單的備註:“對arXiv:[XXX]的回應。正文23頁,附數據1份。”
鼠標移到「Submit」按鈕上,輕輕按了下去。
湛藍的進度條倏地劃過屏幕。
頁面切動。
刺眼的白底黑字確認頁彈了出來,頂端赫然懸着一行字:
“您的提交已受理。編號:[xxx]。預計發佈時間:明日,標準時間(UTC)20:00。”
穿雲箭已然射出。
明晚八點,隨着格林尼治的鐘聲,這篇檄文就會空降arXiv大盤。
這世上任何一個訂閱了代數幾何板塊的人,都將親眼目睹這場反擊。
其中,就包括大洋彼岸某個熬到凌晨四點,死死盯着RSS更新源的團隊。
“啪”地一聲,林允寧合找了筆電的屏蓋。
那圈幽光乖乖縮回了桌角。
書房重歸暗影,唯有窗外的芝加哥天際線,正藉着密歇根湖最後一絲苟延殘喘的暮色,閃爍着零星的冷光。
他徹底癱倒在椅背上,後頸上的那條毛巾,早就硬邦邦地乾透了。