这里只有墙壁，手写板，以及一行又一行逻辑断裂的推导公式。

第二十二年，江临把过去所有的失败框架整理出来，强迫自己將视线从繁杂的技术细节中抽离，重新回到一切的最源头，去凝视那个最基础的问题。

弱倍增，到底在组合和信息的本质上，限制了什么？

绝不是在限制某一个特定的局部图案出现，也不是在限制某一个多面体的几何边界形状。

它限制的是扩张的成本。

一个集合如果在加法操作下，其体积没有按照组合规律膨胀到应有的庞大规模，那么在它杂乱无章的表象之下，必然有某种高度有序的隱藏代数结构，在替它默默支付著本该爆发的复杂度。

这句话依然不能直接当作定理去发表。

但它给了江临长达十几年迷茫期后，真正破局的钥匙。

第二十六年的冬天，江临终於在数学推导上，將异常块剥离和能量增量接驳在一起。

他放弃了毕其功於一役，试图一次性压出全局结构的傲慢想法。

而是採用多尺度的剥离策略。

就像剥开一颗洋葱，他在每一个数学尺度上，只用外科手术般的精度，剥掉那一点点真正製造加法扩张的坏块。

然后利用能量增量策略，立刻进入下一个尺度。

这一次，他给每一层剥离都配了一本帐。

坏块不能隨便扔。

每剥掉一层製造扩张噪声的异常结构，就必须从同一尺度的能量增量里扣除代价。

每推进一层压缩，势函数都必须单调上升，却又被全局信息量死死压住上界。

於是，过去那个吞噬所有常数的黑洞，第一次变成了可以结帐的叠代过程。

剩下的核心集合，在有限域模型下，由於排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。

这一步推导的成功，让整个证明过程终於拥有了一副逻辑骨架。

但江临没有把这里当成终点。

有限域模型只是最乾净的主战场，不是猜想最终停靠的港口。

在那片代数结构最清澈的世界里，他终於看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。

真正困难的，是把这套机制从乾净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。

第三十一年，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不一样。

它並非孤立的奇石，而是现代加性组合內部的一根承重梁。

如果这份手稿最终成立，就意味著江临不再只是一个在离散几何中完成奇蹟的外来者。

而是第一次用自己的方法，打穿了现代组合数学最深处的结构问题。