第119章 PFR/Marton猜想的統一結構證明
第三張圖，是弱倍增猜想的多尺度剛性壓縮圖。
這是最為漫長，最為折磨，也是最缺乏物理實感的一張圖。
相比G-01和MPS-Kernel，第三張圖最不依賴石屋裡的工業庫存。
它不需要工具機，不需要隨時可能失效的傳感器，也不需要被快閃記憶體擦寫壽命一點點逼近極限的固態硬碟。
它完全建立在江臨的腦海里，建立在石屋那面被紅土塗抹了一層又一層的北牆上。
這不是一條占滿四十年的直線。
白天，G-01在風沙和碎石里摔斷連杆。
深夜，MPS-Kernel的工作站風扇接管石屋。
而這條最安靜的數學線，往往出現在電子設備休眠，沙塵封門，或者身體已經疲憊到無法再碰機械的漫長夜晚。
它沒有金屬聲，也沒有報錯提示。
只有牆，紙，木炭，手寫板，以及一行行被自己親手劃掉的推導。
最初的五年，江臨沒有試圖去寫任何證明。
他做的唯一一件事，就是以苦行僧般的毅力去補課。
江氏磚確實讓他站在了結構鋪砌與計算幾何的一個極高點，讓他足以俯瞰許多同齡人。
但這絕對不是加性組合領域的高地。
鋪砌問題里的局部規則設計，邊界輪廓的物理強迫，有限狀態機的轉換，以及由此衍生的宏觀層級結構，確實賦予了他鋒利的數學直覺。
可這種直覺無法直接翻譯成PFR猜想的語言，更無法直接套用在Marton猜想的證明中。
加性組合有一套自己成熟且深奧的語言體系。
小和集。
弱倍增。
Freiman同態映射。
衡量集合加法結構的Ruzsa距離。
控制高階和集的Plünnecke不等式。
加性能量。
用於集合純化的BSG引理。
構建近似子群的Bogolyubov-Ruzsa型引理。
有限域模型。
以及資訊理論視角下的熵形式。
每一個冷冰冰的學術名詞背後，都不只是一個簡單的定義，而是一套經歷了無數頂尖大腦打磨，專門用來處理離散結構和壓縮現象的重型數學工具鏈。
江臨首先把這些重型工具全部拆解成零件，為每一個核心引理建立了一張詳細的技術兵器卡。
左邊寫下該引理生效所需的嚴格輸入條件。
右邊寫下經過引理處理後輸出的結構特徵。
中間，他用紅筆重重標出該引理在每次應用時會造成的損失項，隱藏的常數依賴關係，不可避免的維數損耗，以及它最適合嵌入的代數模型。
然後，他敏銳地發現，有些引理在局部看起來很強大，能輕易找出結構，但其多項式常數的膨脹速度快得驚人，一旦連續推進兩三步逼近PFR級別的深度，常數就會爆炸到使整個定理失去意義。
有些結論在傳統的整數集合中雖然成立但極其醜陋，可一旦將其平移映射到有限域模型下，利用傅立葉分析，證明的代數結構立刻變得乾淨利落。
還有那些用熵語言描述的不等式，乍看之下和組合語言隔著一座山，實際上只是在資訊理論的坐標系裡，用概率分布來描述同一個集合密度的壓縮現象。
第一年，他只畫宏觀的文獻地圖。
第二年，他細緻梳理了Freiman系定理自上個世紀以來的技術演進譜系。
第三年，他把Ruzsa覆蓋引理、加性能量計算和沉重的BSG引理之間的相互轉換關係徹底揉碎，重新寫成了屬於自己的推導筆記。
第四年，他將精力完全集中，專門啃食最難下咽的有限域模型。
第五年，他才覺得自己的手腕有了足夠的力氣，將Marton方向與PFR放在同一張桌面上審視。
這五年裡，石屋那面破敗的北牆上沒有誕生任何一條新定理。
只有一大片被反覆擦拭，修改，劃掉的邏輯箭頭流轉圖。
從一個龐大的集合A出發。
如果A+A的基數很小，那麼A內部的加性能量必然很大。
巨大的加性能量暗示著集合內部存在強烈的局部相關性。
利用工具剝離掉破壞結構的異常塊，保留高密度的結構塊。
在結構塊中，某個子空間陪集附近的低複雜度結構開始浮現。
最終，低複雜度的代數模型將接管剩餘的核心部分。
在黑板上，這些表示邏輯流轉的箭頭一開始畫得極其順暢且漂亮。
但江臨非但沒有狂喜，反而警惕到了極點。
因為在最前沿的純粹數學中，過於漂亮和順暢的類比，往往是隱藏了錯誤證明的華麗外殼。
第六年，他反其道而行之，專門設立了一本反例本。
目的不是推進證明，而是要親手摧毀自己的錯覺。
他也寫過一些極低維有限域腳本，但那些腳本只負責殺死直覺，不負責提供證明。
於是他構造出了各種病態的集合。
有些集合局部看起來高度規則，但一旦放大到全局，結構極度惡劣。
有些集合滿足極好的小和集條件，卻極其狡猾地把結構質量分散隱藏在多個不同的尺度中，導致單層次的提取工具全部撲空。
有些基於熵形式的完美壓縮，一旦試圖將其精確翻譯回組合數學的剛性語言，量化邊界就會損失得慘不忍睹。
他深刻意識到，那些從江氏磚裡帶出來的，邊界錯位即導致全局不可逃逸的物理直覺，在加性組合的軟約束問題里，根本不存在直接的對應物。
江氏磚的規則是死板的。
一條邊拼錯，整個宏觀拼貼就被鎖死。
但小和集條件極其柔軟。
允許你存在隨機的噪聲，允許大量毫無規律的例外點。
甚至允許局部出現極度的混亂。
它只在整體的宏觀統計上告訴你，這個集合在經歷加法擴張時，並沒有像一盤散沙那樣爆炸。
硬規則可以強行逼出宏觀的拼貼層級。
而軟約束，只能像擠海綿一樣，一點點逼出信息的結構壓縮。
第七年末，江臨握著一截木炭，在牆面頂端用力劃掉了他最早寫下的總標題。
【局部規則逼出全局結構】
這句話帶著太重的江氏磚痕跡，不適合PFR那片充滿概率與不確定性的領地。
然後重新寫下了一行大字。
【弱約束下的多尺度壓縮】
真正的入口，在廢土的第七年，終於在他面前轟然打開。
他不再試圖強行把江氏磚的證明結構平移過去，而是以抽象能力，抽取其中真正能在不同數學宇宙中通用的哲學內核。
不是那些具體的邊界強迫。
不是具象的拼貼層級。
更不是直觀的局部圖案。
而是有限狀態的信息壓縮，對異常區塊的無情剝離，利用能量增量作為驅動力，以及在不同尺度間的平滑遞降。
這些抽象概念被他用熟練的代數技巧，重新翻譯成了加性組合能夠合法調用的數學對象。
將集合按傅立葉譜進行分層。
利用Cauchy-Schwarz、傅立葉譜分解和能量增量策略，在大傅立葉係數出現的地方尋找可壓縮方向。
建立集合的低秩模型。
提取子空間陪集附近的近似結構。
最後藉助熵形式，把組合語言中難以追蹤的損失重新寫成可累加的信息增量。
第九年，江臨雄心勃勃地寫出了第一份完整框架。
很快，框架在邏輯自洽性檢驗中轟然崩塌。
錯誤隱蔽地出在異常集處理階段。
為了得到一個純淨的子結構，他剝離了太多的壞塊。
雖然剩下來的集合乾淨得如同水晶，但它已經嚴重失去了原問題的統計質量，推導出的邊界毫無意義。
第十三年，江臨的第二份框架再次崩塌。
這一次的錯誤出在更深層的秩增長控制上。
他設計的每一層壓縮在局部看起來都極其合理且嚴密，可一旦將層數疊加起來，BSG引理那種災難性的多項式維數損耗，就像一個複利的黑洞，把最終需要的多項式結論吞噬得連渣都不剩。
第十八年，第三份耗盡心血的框架，死死卡在了最後一步。
它能給出一個漂亮的中間結構定理，卻無論如何也推不動最終的多項式界，卡在了一個略好於准多項式的尷尬位置。
但江臨沒有絲毫的焦躁。
在廢土裡，這類深刻的結構數學問題，從來不是靠著急和暴躁就能撞開門的。
G-01陷入瓶頸時，可以靠著反覆拆機，看波形來獲取靈感。
MPS-Kernel卡住時，可以靠翻看幾十個G的Log日誌，分析Benchmark分布和追蹤指令證明鏈來尋找Bug。
但在PFR/Marton的領域裡，什麼都沒有。
沒有機械齒輪的咬合聲。
沒有風扇狂轉的轟鳴聲。
沒有編譯器的報錯提示。
這裡只有牆壁，手寫板，以及一行又一行邏輯斷裂的推導公式。
第二十二年，江臨把過去所有的失敗框架整理出來，強迫自己將視線從繁雜的技術細節中抽離，重新回到一切的最源頭，去凝視那個最基礎的問題。
弱倍增，到底在組合和信息的本質上，限制了什麼？
絕不是在限制某一個特定的局部圖案出現，也不是在限制某一個多面體的幾何邊界形狀。
它限制的是擴張的成本。
一個集合如果在加法操作下，其體積沒有按照組合規律膨脹到應有的龐大規模，那麼在它雜亂無章的表象之下，必然有某種高度有序的隱藏代數結構，在替它默默支付著本該爆發的複雜度。
這句話依然不能直接當作定理去發表。
但它給了江臨長達十幾年迷茫期後，真正破局的鑰匙。
第二十六年的冬天，江臨終於在數學推導上，將異常塊剝離和能量增量接駁在一起。
他放棄了畢其功於一役，試圖一次性壓出全局結構的傲慢想法。
而是採用多尺度的剝離策略。
就像剝開一顆洋蔥，他在每一個數學尺度上，只用外科手術般的精度，剝掉那一點點真正製造加法擴張的壞塊。
然後利用能量增量策略，立刻進入下一個尺度。
這一次，他給每一層剝離都配了一本帳。
壞塊不能隨便扔。
每剝掉一層製造擴張噪聲的異常結構，就必須從同一尺度的能量增量里扣除代價。
每推進一層壓縮，勢函數都必須單調上升，卻又被全局信息量死死壓住上界。
於是，過去那個吞噬所有常數的黑洞，第一次變成了可以結帳的疊代過程。
剩下的核心集合，在有限域模型下，由於排除了擴張噪聲，開始逐步貼近那個理論上的低複雜度代數結構。
這一步推導的成功，讓整個證明過程終於擁有了一副邏輯骨架。
但江臨沒有把這裡當成終點。
有限域模型只是最乾淨的主戰場，不是猜想最終停靠的港口。
在那片代數結構最清澈的世界裡，他終於看清了弱倍增被壓住時，結構到底是怎樣一層一層從混亂中被擠出來的。
真正困難的，是把這套機制從乾淨的有限域宇宙，帶回更粗糙、更不規則的一般集合世界。
第三十一年，Marton猜想的方向也被他順理成章地接到了這副骨架上。
在江臨的眼中，熵形式不再是一套讓人頭疼的另一門外語。
它變成了同一張宏大結構壓縮圖上，從資訊理論視角投射下的一道清晰影子。
小和集條件在組合數學的語言裡，表現為體積的弱倍增。
而在熵的語言裡，它表現為，在施加加法噪聲後，集合的信息增量受到極度限制。
兩邊如同鏡子的內外，最終同時指向了江臨在第二十二年悟出的那個真理。
當擴張被死死壓住時，隱藏的結構必須站出來承擔解釋這種低複雜度的成本。
也是從這一年開始，江臨不再把PFR和Marton當成兩座彼此遙望的孤峰。
它們只是同一座山的兩個入口。
一個從組合語言進入。
一個從熵語言進入。
山體深處，通向的是同一套多尺度壓縮結構。
第三十四年，江臨開始處理最難看的部分。
模型轉移。
有限域模型給出了最鋒利的刀，但完整猜想不能永遠留在有限域裡。
一般阿貝爾群里的撓結構，整數集合里的嵌入損失，Freiman模型轉換時的維數膨脹，熵形式回到組合語言時的量化損耗，每一項都像舊帳一樣壓在證明鏈上。
這裡沒有有限域裡的乾淨傅立葉譜。
沒有天然漂亮的子空間結構。
也沒有能讓所有壞塊自動歸位的代數秩。
江臨必須把前面二十多年建立的多尺度帳本，一層一層搬進更骯髒的世界裡。
他把證明拆成三道門。
第一道門，有限域模型。
在那裡，弱倍增被壓縮成清晰的低秩結構。
第二道門，熵形式。
在那裡，組合損失被重新寫成可累加、可對帳的信息增量。
第三道門，模型轉移。
在那裡，乾淨世界裡的結構定理，被一點點搬回一般弱倍增命題之中。
第三十六年冬天，這三道門第一次在同一張證明鏈上合攏。
那一天，江臨沒有歡呼。
他只是站在北牆前，看著自己寫下的最後一條箭頭，很久沒有動。
從弱倍增，到能量增量。
從能量增量，到多尺度壓縮。
從多尺度壓縮，到近似代數結構。
從近似代數結構，再經由熵形式和模型轉移，回到完整的PFR/Marton主命題。
這條鏈終於閉上了。
廢土第三十八年，江臨放下了筆，完成了第一版長篇手稿。
英文暫定標題——
【From Weak Doubling to Multiscale Rigidity】
中文手稿的標題則去掉了所有的修飾。
【從弱倍增到多尺度剛性】
江臨心裡很清楚，這還遠遠不是一份能直接投遞給《數學年刊》的成品論文。
手稿中有些過渡引理寫得過於冗長繁瑣。
有些多項式常數的依賴關係還沒有經過最極致的優化整理。
有限域部分鋒利到近乎冷酷，但模型轉移部分仍有大量符號、邊界和傳統表述需要清理。
有些極度個人化的推導語言，也必須被翻譯成當代學界更習慣、更容易審查的標準化形式。
但這些都只是粗活了。
最核心的事情已經完成。
PFR猜想和Marton猜想之間那道看似隔著語言、模型和技術傳統的牆，已經被他從底部打穿。
它們不再只是那天韓硯山在專題報告裡，作為遙遠燈塔拋出的兩個孤立疑問。
在江臨這四十年的死磕下，它們被暴力又優雅地壓進了一張統一的多尺度剛性結構圖中。
剩下的兩年，江臨沒有再追求新的主定理。
他開始做最枯燥，也最必要的清理。
重排引理順序。
壓縮符號系統。
清點每一個常數依賴。
給每一處模型轉移寫出單獨的邊界說明。
把那些只有他自己能看懂的推導，改寫成韓硯山這種領域內專家也能逐行審查的標準語言。
最後，第三張圖的最終標題是——
From Weak Doubling to Multiscale Rigidity: A Unified Proof of the PFR–Marton Conjectures.
【從弱倍增到多尺度剛性：PFR/Marton猜想的統一結構證明】
江臨將這張凝結了小半個世紀心血的圖表，在石屋斑駁的北牆上畫了出來。
圖表的左端入口，是看似柔弱無力的弱倍增條件。
圖表的右端出口，是清晰可見的近似代數結構。
而在連接兩端的中間地帶，是一層層如同地質剖面般，被精確剝離、極限壓縮，然後重新組合的結構塊流轉圖。
圖表的下方，還有三道被他用黑線重重框出的門。
有限域模型。
熵形式。
模型轉移。
三道門之後，那條原本斷裂在不同數學語言之間的路，第一次被完整地連了起來。
這張圖沒有G-01六足機器人的圖紙那樣直觀且充滿鋼鐵的張力。
也沒有MPS-Kernel的基準測試曲線那樣能讓人一眼看到商業和工業的價值。
可江臨知道，這張紙最重。
江氏磚解決的是一個耀眼的存在性難題。
它像一塊奇異的隕石，砸進數學史。
而PFR/Marton不一樣。
它並非孤立的奇石，而是現代加性組合內部的一根承重梁。
如果這份手稿最終成立，就意味著江臨不再只是一個在離散幾何中完成奇蹟的外來者。
而是第一次用自己的方法，打穿了現代組合數學最深處的結構問題。
這是最為漫長，最為折磨，也是最缺乏物理實感的一張圖。
相比G-01和MPS-Kernel，第三張圖最不依賴石屋裡的工業庫存。
它不需要工具機，不需要隨時可能失效的傳感器，也不需要被快閃記憶體擦寫壽命一點點逼近極限的固態硬碟。
它完全建立在江臨的腦海里，建立在石屋那面被紅土塗抹了一層又一層的北牆上。
這不是一條占滿四十年的直線。
白天，G-01在風沙和碎石里摔斷連杆。
深夜，MPS-Kernel的工作站風扇接管石屋。
而這條最安靜的數學線，往往出現在電子設備休眠，沙塵封門，或者身體已經疲憊到無法再碰機械的漫長夜晚。
它沒有金屬聲，也沒有報錯提示。
只有牆，紙，木炭，手寫板，以及一行行被自己親手劃掉的推導。
最初的五年，江臨沒有試圖去寫任何證明。
他做的唯一一件事，就是以苦行僧般的毅力去補課。
江氏磚確實讓他站在了結構鋪砌與計算幾何的一個極高點，讓他足以俯瞰許多同齡人。
但這絕對不是加性組合領域的高地。
鋪砌問題里的局部規則設計，邊界輪廓的物理強迫，有限狀態機的轉換，以及由此衍生的宏觀層級結構，確實賦予了他鋒利的數學直覺。
可這種直覺無法直接翻譯成PFR猜想的語言，更無法直接套用在Marton猜想的證明中。
加性組合有一套自己成熟且深奧的語言體系。
小和集。
弱倍增。
Freiman同態映射。
衡量集合加法結構的Ruzsa距離。
控制高階和集的Plünnecke不等式。
加性能量。
用於集合純化的BSG引理。
構建近似子群的Bogolyubov-Ruzsa型引理。
有限域模型。
以及資訊理論視角下的熵形式。
每一個冷冰冰的學術名詞背後，都不只是一個簡單的定義，而是一套經歷了無數頂尖大腦打磨，專門用來處理離散結構和壓縮現象的重型數學工具鏈。
江臨首先把這些重型工具全部拆解成零件，為每一個核心引理建立了一張詳細的技術兵器卡。
左邊寫下該引理生效所需的嚴格輸入條件。
右邊寫下經過引理處理後輸出的結構特徵。
中間，他用紅筆重重標出該引理在每次應用時會造成的損失項，隱藏的常數依賴關係，不可避免的維數損耗，以及它最適合嵌入的代數模型。
然後，他敏銳地發現，有些引理在局部看起來很強大，能輕易找出結構，但其多項式常數的膨脹速度快得驚人，一旦連續推進兩三步逼近PFR級別的深度，常數就會爆炸到使整個定理失去意義。
有些結論在傳統的整數集合中雖然成立但極其醜陋，可一旦將其平移映射到有限域模型下，利用傅立葉分析，證明的代數結構立刻變得乾淨利落。
還有那些用熵語言描述的不等式，乍看之下和組合語言隔著一座山，實際上只是在資訊理論的坐標系裡，用概率分布來描述同一個集合密度的壓縮現象。
第一年，他只畫宏觀的文獻地圖。
第二年，他細緻梳理了Freiman系定理自上個世紀以來的技術演進譜系。
第三年，他把Ruzsa覆蓋引理、加性能量計算和沉重的BSG引理之間的相互轉換關係徹底揉碎，重新寫成了屬於自己的推導筆記。
第四年，他將精力完全集中，專門啃食最難下咽的有限域模型。
第五年，他才覺得自己的手腕有了足夠的力氣，將Marton方向與PFR放在同一張桌面上審視。
這五年裡，石屋那面破敗的北牆上沒有誕生任何一條新定理。
只有一大片被反覆擦拭，修改，劃掉的邏輯箭頭流轉圖。
從一個龐大的集合A出發。
如果A+A的基數很小，那麼A內部的加性能量必然很大。
巨大的加性能量暗示著集合內部存在強烈的局部相關性。
利用工具剝離掉破壞結構的異常塊，保留高密度的結構塊。
在結構塊中，某個子空間陪集附近的低複雜度結構開始浮現。
最終，低複雜度的代數模型將接管剩餘的核心部分。
在黑板上，這些表示邏輯流轉的箭頭一開始畫得極其順暢且漂亮。
但江臨非但沒有狂喜，反而警惕到了極點。
因為在最前沿的純粹數學中，過於漂亮和順暢的類比，往往是隱藏了錯誤證明的華麗外殼。
第六年，他反其道而行之，專門設立了一本反例本。
目的不是推進證明，而是要親手摧毀自己的錯覺。
他也寫過一些極低維有限域腳本，但那些腳本只負責殺死直覺，不負責提供證明。
於是他構造出了各種病態的集合。
有些集合局部看起來高度規則，但一旦放大到全局，結構極度惡劣。
有些集合滿足極好的小和集條件，卻極其狡猾地把結構質量分散隱藏在多個不同的尺度中，導致單層次的提取工具全部撲空。
有些基於熵形式的完美壓縮，一旦試圖將其精確翻譯回組合數學的剛性語言，量化邊界就會損失得慘不忍睹。
他深刻意識到，那些從江氏磚裡帶出來的，邊界錯位即導致全局不可逃逸的物理直覺，在加性組合的軟約束問題里，根本不存在直接的對應物。
江氏磚的規則是死板的。
一條邊拼錯，整個宏觀拼貼就被鎖死。
但小和集條件極其柔軟。
允許你存在隨機的噪聲，允許大量毫無規律的例外點。
甚至允許局部出現極度的混亂。
它只在整體的宏觀統計上告訴你，這個集合在經歷加法擴張時，並沒有像一盤散沙那樣爆炸。
硬規則可以強行逼出宏觀的拼貼層級。
而軟約束，只能像擠海綿一樣，一點點逼出信息的結構壓縮。
第七年末，江臨握著一截木炭，在牆面頂端用力劃掉了他最早寫下的總標題。
【局部規則逼出全局結構】
這句話帶著太重的江氏磚痕跡，不適合PFR那片充滿概率與不確定性的領地。
然後重新寫下了一行大字。
【弱約束下的多尺度壓縮】
真正的入口，在廢土的第七年，終於在他面前轟然打開。
他不再試圖強行把江氏磚的證明結構平移過去，而是以抽象能力，抽取其中真正能在不同數學宇宙中通用的哲學內核。
不是那些具體的邊界強迫。
不是具象的拼貼層級。
更不是直觀的局部圖案。
而是有限狀態的信息壓縮，對異常區塊的無情剝離，利用能量增量作為驅動力，以及在不同尺度間的平滑遞降。
這些抽象概念被他用熟練的代數技巧，重新翻譯成了加性組合能夠合法調用的數學對象。
將集合按傅立葉譜進行分層。
利用Cauchy-Schwarz、傅立葉譜分解和能量增量策略，在大傅立葉係數出現的地方尋找可壓縮方向。
建立集合的低秩模型。
提取子空間陪集附近的近似結構。
最後藉助熵形式，把組合語言中難以追蹤的損失重新寫成可累加的信息增量。
第九年，江臨雄心勃勃地寫出了第一份完整框架。
很快，框架在邏輯自洽性檢驗中轟然崩塌。
錯誤隱蔽地出在異常集處理階段。
為了得到一個純淨的子結構，他剝離了太多的壞塊。
雖然剩下來的集合乾淨得如同水晶，但它已經嚴重失去了原問題的統計質量，推導出的邊界毫無意義。
第十三年，江臨的第二份框架再次崩塌。
這一次的錯誤出在更深層的秩增長控制上。
他設計的每一層壓縮在局部看起來都極其合理且嚴密，可一旦將層數疊加起來，BSG引理那種災難性的多項式維數損耗，就像一個複利的黑洞，把最終需要的多項式結論吞噬得連渣都不剩。
第十八年，第三份耗盡心血的框架，死死卡在了最後一步。
它能給出一個漂亮的中間結構定理，卻無論如何也推不動最終的多項式界，卡在了一個略好於准多項式的尷尬位置。
但江臨沒有絲毫的焦躁。
在廢土裡，這類深刻的結構數學問題，從來不是靠著急和暴躁就能撞開門的。
G-01陷入瓶頸時，可以靠著反覆拆機，看波形來獲取靈感。
MPS-Kernel卡住時，可以靠翻看幾十個G的Log日誌，分析Benchmark分布和追蹤指令證明鏈來尋找Bug。
但在PFR/Marton的領域裡，什麼都沒有。
沒有機械齒輪的咬合聲。
沒有風扇狂轉的轟鳴聲。
沒有編譯器的報錯提示。
這裡只有牆壁，手寫板，以及一行又一行邏輯斷裂的推導公式。
第二十二年，江臨把過去所有的失敗框架整理出來，強迫自己將視線從繁雜的技術細節中抽離，重新回到一切的最源頭，去凝視那個最基礎的問題。
弱倍增，到底在組合和信息的本質上，限制了什麼？
絕不是在限制某一個特定的局部圖案出現，也不是在限制某一個多面體的幾何邊界形狀。
它限制的是擴張的成本。
一個集合如果在加法操作下，其體積沒有按照組合規律膨脹到應有的龐大規模，那麼在它雜亂無章的表象之下，必然有某種高度有序的隱藏代數結構，在替它默默支付著本該爆發的複雜度。
這句話依然不能直接當作定理去發表。
但它給了江臨長達十幾年迷茫期後，真正破局的鑰匙。
第二十六年的冬天，江臨終於在數學推導上，將異常塊剝離和能量增量接駁在一起。
他放棄了畢其功於一役，試圖一次性壓出全局結構的傲慢想法。
而是採用多尺度的剝離策略。
就像剝開一顆洋蔥，他在每一個數學尺度上，只用外科手術般的精度，剝掉那一點點真正製造加法擴張的壞塊。
然後利用能量增量策略，立刻進入下一個尺度。
這一次，他給每一層剝離都配了一本帳。
壞塊不能隨便扔。
每剝掉一層製造擴張噪聲的異常結構，就必須從同一尺度的能量增量里扣除代價。
每推進一層壓縮，勢函數都必須單調上升，卻又被全局信息量死死壓住上界。
於是，過去那個吞噬所有常數的黑洞，第一次變成了可以結帳的疊代過程。
剩下的核心集合，在有限域模型下，由於排除了擴張噪聲，開始逐步貼近那個理論上的低複雜度代數結構。
這一步推導的成功，讓整個證明過程終於擁有了一副邏輯骨架。
但江臨沒有把這裡當成終點。
有限域模型只是最乾淨的主戰場，不是猜想最終停靠的港口。
在那片代數結構最清澈的世界裡，他終於看清了弱倍增被壓住時，結構到底是怎樣一層一層從混亂中被擠出來的。
真正困難的，是把這套機制從乾淨的有限域宇宙，帶回更粗糙、更不規則的一般集合世界。
第三十一年，Marton猜想的方向也被他順理成章地接到了這副骨架上。
在江臨的眼中，熵形式不再是一套讓人頭疼的另一門外語。
它變成了同一張宏大結構壓縮圖上，從資訊理論視角投射下的一道清晰影子。
小和集條件在組合數學的語言裡，表現為體積的弱倍增。
而在熵的語言裡，它表現為，在施加加法噪聲後，集合的信息增量受到極度限制。
兩邊如同鏡子的內外，最終同時指向了江臨在第二十二年悟出的那個真理。
當擴張被死死壓住時，隱藏的結構必須站出來承擔解釋這種低複雜度的成本。
也是從這一年開始，江臨不再把PFR和Marton當成兩座彼此遙望的孤峰。
它們只是同一座山的兩個入口。
一個從組合語言進入。
一個從熵語言進入。
山體深處，通向的是同一套多尺度壓縮結構。
第三十四年，江臨開始處理最難看的部分。
模型轉移。
有限域模型給出了最鋒利的刀，但完整猜想不能永遠留在有限域裡。
一般阿貝爾群里的撓結構，整數集合里的嵌入損失，Freiman模型轉換時的維數膨脹，熵形式回到組合語言時的量化損耗，每一項都像舊帳一樣壓在證明鏈上。
這裡沒有有限域裡的乾淨傅立葉譜。
沒有天然漂亮的子空間結構。
也沒有能讓所有壞塊自動歸位的代數秩。
江臨必須把前面二十多年建立的多尺度帳本，一層一層搬進更骯髒的世界裡。
他把證明拆成三道門。
第一道門，有限域模型。
在那裡，弱倍增被壓縮成清晰的低秩結構。
第二道門，熵形式。
在那裡，組合損失被重新寫成可累加、可對帳的信息增量。
第三道門，模型轉移。
在那裡，乾淨世界裡的結構定理，被一點點搬回一般弱倍增命題之中。
第三十六年冬天，這三道門第一次在同一張證明鏈上合攏。
那一天，江臨沒有歡呼。
他只是站在北牆前，看著自己寫下的最後一條箭頭，很久沒有動。
從弱倍增，到能量增量。
從能量增量，到多尺度壓縮。
從多尺度壓縮，到近似代數結構。
從近似代數結構，再經由熵形式和模型轉移，回到完整的PFR/Marton主命題。
這條鏈終於閉上了。
廢土第三十八年，江臨放下了筆，完成了第一版長篇手稿。
英文暫定標題——
【From Weak Doubling to Multiscale Rigidity】
中文手稿的標題則去掉了所有的修飾。
【從弱倍增到多尺度剛性】
江臨心裡很清楚，這還遠遠不是一份能直接投遞給《數學年刊》的成品論文。
手稿中有些過渡引理寫得過於冗長繁瑣。
有些多項式常數的依賴關係還沒有經過最極致的優化整理。
有限域部分鋒利到近乎冷酷，但模型轉移部分仍有大量符號、邊界和傳統表述需要清理。
有些極度個人化的推導語言，也必須被翻譯成當代學界更習慣、更容易審查的標準化形式。
但這些都只是粗活了。
最核心的事情已經完成。
PFR猜想和Marton猜想之間那道看似隔著語言、模型和技術傳統的牆，已經被他從底部打穿。
它們不再只是那天韓硯山在專題報告裡，作為遙遠燈塔拋出的兩個孤立疑問。
在江臨這四十年的死磕下，它們被暴力又優雅地壓進了一張統一的多尺度剛性結構圖中。
剩下的兩年，江臨沒有再追求新的主定理。
他開始做最枯燥，也最必要的清理。
重排引理順序。
壓縮符號系統。
清點每一個常數依賴。
給每一處模型轉移寫出單獨的邊界說明。
把那些只有他自己能看懂的推導，改寫成韓硯山這種領域內專家也能逐行審查的標準語言。
最後，第三張圖的最終標題是——
From Weak Doubling to Multiscale Rigidity: A Unified Proof of the PFR–Marton Conjectures.
【從弱倍增到多尺度剛性：PFR/Marton猜想的統一結構證明】
江臨將這張凝結了小半個世紀心血的圖表，在石屋斑駁的北牆上畫了出來。
圖表的左端入口，是看似柔弱無力的弱倍增條件。
圖表的右端出口，是清晰可見的近似代數結構。
而在連接兩端的中間地帶，是一層層如同地質剖面般，被精確剝離、極限壓縮，然後重新組合的結構塊流轉圖。
圖表的下方，還有三道被他用黑線重重框出的門。
有限域模型。
熵形式。
模型轉移。
三道門之後，那條原本斷裂在不同數學語言之間的路，第一次被完整地連了起來。
這張圖沒有G-01六足機器人的圖紙那樣直觀且充滿鋼鐵的張力。
也沒有MPS-Kernel的基準測試曲線那樣能讓人一眼看到商業和工業的價值。
可江臨知道，這張紙最重。
江氏磚解決的是一個耀眼的存在性難題。
它像一塊奇異的隕石，砸進數學史。
而PFR/Marton不一樣。
它並非孤立的奇石，而是現代加性組合內部的一根承重梁。
如果這份手稿最終成立，就意味著江臨不再只是一個在離散幾何中完成奇蹟的外來者。
而是第一次用自己的方法，打穿了現代組合數學最深處的結構問題。