状。

    它限制的是扩张的成本。

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

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

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

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

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

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

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

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

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

    坏块不能随便扔。

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

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

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

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

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

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

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

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

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

    第三十一年，Marton猜想的方向也被他顺理成章地接到了这副骨架上。

    在江临的眼中，熵形式不再是一套让人头疼的另一门外语。

    它变成了同一张宏大结构压缩略图上，从信息论视角投射下的一道清淅影子。

    小和集条件在组合数学的语言里，表现为体积的弱倍增。

    而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。

    两边如同镜子的内外，最终同时指向了江临在第二十二年悟出的那个真理。

    当扩张被死死压住时，隐藏的结构必须站出来承担解释这种低复杂度的成本。

    也是从这一年开始，江临不再把PFR和Marton当成两座彼此遥望的孤峰。

    它们只是同一座山的两个入口。

    一个从组合语言进入。

    一个从熵语言进入。

    山体深处，通向的是同一套多尺度压缩结构。

    第三十四年，江临开始处理最难看的部分。

    模型转移。

    有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。

    一般阿贝尔群里的挠结构，整数集合里的嵌入损失，Frein模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都象旧帐一样压在证明链上。

    这里没有有限域里的干净傅立叶谱。

    没有天然漂亮的子空间结构。

    也没有能让所有坏块自动归位的代数秩。

    江临必须把前面二十多年创建的多尺度帐本，一层一层搬进更肮脏的世界里。

    他把证明拆成三道门。

    第一道门，有限域模型。

    在那里，弱倍增被压缩成清淅的低秩结构。

    第二道门，熵形式。

    在那里，组合损失被重新写成可累加、可对帐的信息增量。

    第三道门，模型转移。

    在那里，干净世界里的结构定理，被一点点搬回一般弱倍增命题之中。

    第三十六年冬天，这三道门第一次在同一张证明链上合拢。

    那一天，江临没有欢呼。

    他只是站在北墙前，看着自己写下的最后一条箭头，很久没有动。

    从弱倍增，到能量增量。

    从能量增量，到多尺度压缩。

    从多尺度压缩，到近似代数结构。

    从近似代数结构，

    这条链终于闭上了。

    废土第三十八年，江临放下了笔，完成了第一版长篇手稿。

    英文暂定标题——

    【FroWeak Doubling to Multiscale Rigidity】

    中文手稿的标题则去掉了所有的修饰。