【第142章 新法則的顯影】
------------------------------------------
當廢土世界隱去,現實世界回歸。
暗塵弦假設的陰影,沒有像烏雲一樣籠罩在江臨的頭頂上。
因為現實裡沒有百微米級的星際塵埃,沒有天幕工程的墜落警報,也沒有冷卻泵疲憊的轟鳴。
他首先要降伏的,隻不過是數學高維空間裡暴走的殘餘譜,是加性組合學中稍有不慎就會帶來指數級膨脹的邏輯災難。
8月2日。
頒獎典禮的喧囂已經過去兩天,但ICCM的後續議程並未結束,甚至對於某些身處焦點位置的人來說,真正的考驗才剛剛開始。
紫金山莊龐大的公共區域裡,仍然能隨時看見胸前掛著深藍色參會證的學者們。
電梯間裡、二樓的露天咖啡區、一樓巨大的主會議廳門口,到處都是三五成群、低聲交談的數學家。
與外麵的熱鬨形成鮮明對比的,是位於三樓走廊儘頭的303閉門會議室。
早上九點整,會議室的門就被從內側關上,並貼上了一張會議中,請勿打擾的便簽。
……
這間303閉門會議室,原本隻是組委會預留給小型專題討論或臨時性行政會議的備用房間。
中央是一張長條形的紅木會議桌,周圍整齊地擺放著十二把人體工學椅。
靠內側的牆壁上掛著一塊巨大的固定白板,而在會議桌的兩側,各立著一塊可以隨時推拉翻轉的移動白板。
桌麵上,散亂鋪開、布滿折痕的打印稿,成堆的草稿紙,十幾支失去了筆帽的黑紅兩色水性筆,東倒西歪的礦泉水瓶,以及三隻杯壁上凝結著一圈褐色咖啡漬的紙杯。
靠牆的那塊巨大白板上,此時已經被黑、紅、藍三色的水性筆寫滿了數學符號。
加性組合學中的結構定理、概率測度中的條件分布公式、信息論中的熵不等式,三種截然不同的數學語言在這裡被強行接到同一條證明鏈上。
最左邊,是韓硯山寫下的有限域PFR主線演化圖。
中間區域,是江臨手稿第31頁到第35頁的壓縮流程圖。
每一個關鍵引理都被畫上方框,箭頭彼此交錯。
右側的移動白板上,則是丁劍在過去十個小時裡,憑借其在統計物理和概率論領域的深厚功底,補出來的一組概率轉移矩陣和條件熵的局部估計。
丁劍是在昨天上午被請進這條審查鏈的。
7月31日下午,林照野在主會場外圍聽完韓硯山那段推導後,就判斷出一件事。
PFR主線可以先交給韓硯山看,但Marton熵形式部分,必須有一位真正懂概率、熵方法和統計物理直覺的人在場。
國內最合適的人選,就是丁劍。
林照野沒有直接去找丁劍,而是先把話遞給了丘成桐先生。
電話裡,他隻說了三件事。
第一,江臨手裡可能已經有有限域F2模型下PFR的完整閉合稿。
第二,韓硯山現場看過局部推導,判斷不是想法,而是證明。
第三,證明的腰部接到了Marton熵形式,需要一位概率和熵方法方向的頂級審查人。
最後是丘先生出麵,以有一份手稿,需要你以概率和熵方法專家的身份看一處技術連接為理由,把丁劍約了下來。
白板上的三個方向,最終都指向同一個位置。
手稿第4.2節。
標題:熵空間纖維化投影。
在標題下方,江臨還用藍色記號筆單獨畫了一個邊界框。
邊界框裡隻有四行字。
本稿範圍。
一,有限域F2的n維向量空間上的PFR多項式界。
二,覆蓋界目標暫定為K的十一次冪。
三,F_2模型下的entropic Marton bound,作為PFR主證明的副產品。
。化優最數常求追中稿本在不也,式形notraM般一的分部扭撓含論討不,群lebA般一論討不,四
。感脹腫的動跳突突種那裡管血解緩圖試,穴陽太的己自著壓按指拇大根兩用,上麵桌的紙稿草是滿在扔,鏡眼框黑下摘山硯韓
。過息休來下停地上義意正真有沒人三的讀閱術技與參正真,鐘分五十零時小個三十整整在現到,始開上關被門的室議會點九午上從
。餐簡的來進送員人作工組務會是都餐晚,飯午
。子筷性次一雙那過碰沒也再就麵後,物食的膩油何任下咽法無他讓感攣痙的生產而考思度過為因裡胃,飯米口兩了動強勉隻山硯韓,飯頓兩但
。命續啡咖著靠隻都尾到頭從,盒餐開打有沒本根他,劍丁於至
。頁33第稿手了在卡度進讀閱,在現
𝘄𝘁.𝗽𝗼𝗼問訪請,節章新最受享間時一第您讓
。處接連鍵關的言語式形熵入轉言語合組性加從明證個整是這
。場戰的悉熟山硯韓於屬然仍那但,澀晦深艱實確,判評上度難術技從是隻果如,分部縮壓域限有的麵前
。離剝譜餘殘
。代迭量增量能
。推遞蓋覆
。造構型模部局
。部內架框統傳的學合組性加在還竟畢但,長增級數指成造會就動鬆有稍製控差誤,常異雜複然雖西東些這
。價代的出付要後推遞輪多在縮放數常次一每斷判能也,機動合組的後背形變數代個一每清看能山硯韓
。化變始開言語明證,後之頁33第了到可
。失損熵的中論息信成譯轉被,數蓋覆的度雜複構結量衡來用本原
。差殘度由自的淨乾付支構結術算被有沒中程過縮壓為釋解新重臨江被是而,項壞的裡開展葉裡傅作視被隻再不,譜餘殘的除清全完法無終始裡域頻在些那,是的鍵關最
。鍵關的合閉否能明證個整是,步一這
主RFP,通走步一這果如