第119章 PFR/Marton猜想的统一结构证明（2/2）
这里只有墙壁，手写板，以及一行又一行逻辑断裂的推导公式。
第二十二年，江临把过去所有的失败框架整理出来，强迫自己將视线从繁杂的技术细节中抽离，重新回到一切的最源头，去凝视那个最基础的问题。
弱倍增，到底在组合和信息的本质上，限制了什么
绝不是在限制某一个特定的局部图案出现，也不是在限制某一个多面体的几何边界形状。
它限制的是扩张的成本。
一个集合如果在加法操作下，其体积没有按照组合规律膨胀到应有的庞大规模，那么在它杂乱无章的表象之下，必然有某种高度有序的隱藏代数结构，在替它默默支付著本该爆发的复杂度。
这句话依然不能直接当作定理去发表。
但它给了江临长达十几年迷茫期后，真正破局的钥匙。
第二十六年的冬天，江临终於在数学推导上，將异常块剥离和能量增量接驳在一起。
他放弃了毕其功於一役，试图一次性压出全局结构的傲慢想法。
而是採用多尺度的剥离策略。
就像剥开一颗洋葱，他在每一个数学尺度上，只用外科手术般的精度，剥掉那一点点真正製造加法扩张的坏块。
然后利用能量增量策略，立刻进入下一个尺度。
这一次，他给每一层剥离都配了一本帐。
坏块不能隨便扔。
每剥掉一层製造扩张噪声的异常结构，就必须从同一尺度的能量增量里扣除代价。
每推进一层压缩，势函数都必须单调上升，却又被全局信息量死死压住上界。
於是，过去那个吞噬所有常数的黑洞，第一次变成了可以结帐的叠代过程。
剩下的核心集合，在有限域模型下，由於排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。
这一步推导的成功，让整个证明过程终於拥有了一副逻辑骨架。
但江临没有把这里当成终点。
有限域模型只是最乾净的主战场，不是猜想最终停靠的港口。
在那片代数结构最清澈的世界里，他终於看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。
真正困难的，是把这套机制从乾净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。
第三十一年，arton猜想的方向也被他顺理成章地接到了这副骨架上。
在江临的眼中，熵形式不再是一套让人头疼的另一门外语。
它变成了同一张宏大结构压缩图上，从资讯理论视角投射下的一道清晰影子。
小和集条件在组合数学的语言里，表现为体积的弱倍增。
而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。
两边如同镜子的內外，最终同时指向了江临在第二十二年悟出的那个真理。
当扩张被死死压住时，隱藏的结构必须站出来承担解释这种低复杂度的成本。
也是从这一年开始，江临不再把pfr和arton当成两座彼此遥望的孤峰。
它们只是同一座山的两个入口。
一个从组合语言进入。
一个从熵语言进入。
山体深处，通向的是同一套多尺度压缩结构。
第三十四年，江临开始处理最难看的部分。
模型转移。
有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。
一般阿贝尔群里的挠结构，整数集合里的嵌入损失，freian模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都像旧帐一样压在证明链上。
这里没有有限域里的乾净傅立叶谱。
没有天然漂亮的子空间结构。
也没有能让所有坏块自动归位的代数秩。
江临必须把前面二十多年建立的多尺度帐本，一层一层搬进更骯脏的世界里。
他把证明拆成三道门。
第一道门，有限域模型。
在那里，弱倍增被压缩成清晰的低秩结构。
第二道门，熵形式。
在那里，组合损失被重新写成可累加、可对帐的信息增量。
第三道门，模型转移。
在那里，乾净世界里的结构定理，被一点点搬回一般弱倍增命题之中。
第三十六年冬天，这三道门第一次在同一张证明链上合拢。
那一天，江临没有欢呼。
他只是站在北墙前，看著自己写下的最后一条箭头，很久没有动。
从弱倍增，到能量增量。
从能量增量，到多尺度压缩。
从多尺度压缩，到近似代数结构。
从近似代数结构，再经由熵形式和模型转移，回到完整的pfr/arton主命题。
这条链终於闭上了。
废土第三十八年，江临放下了笔，完成了第一版长篇手稿。
英文暂定標题——
【froweakdoublgtoultiscalerigidity】
中文手稿的標题则去掉了所有的修饰。
【从弱倍增到多尺度刚性】
江临心里很清楚，这还远远不是一份能直接投递给《数学年刊》的成品论文。
手稿中有些过渡引理写得过於冗长繁琐。
有些多项式常数的依赖关係还没有经过最极致的优化整理。
有限域部分锋利到近乎冷酷，但模型转移部分仍有大量符號、边界和传统表述需要清理。
有些极度个人化的推导语言，也必须被翻译成当代学界更习惯、更容易审查的標准化形式。
但这些都只是粗活了。
最核心的事情已经完成。
pfr猜想和arton猜想之间那道看似隔著语言、模型和技术传统的墙，已经被他从底部打穿。
它们不再只是那天韩砚山在专题报告里，作为遥远灯塔拋出的两个孤立疑问。
在江临这四十年的死磕下，它们被暴力又优雅地压进了一张统一的多尺度刚性结构图中。
剩下的两年，江临没有再追求新的主定理。
他开始做最枯燥，也最必要的清理。
重排引理顺序。
压缩符號系统。
清点每一个常数依赖。
给每一处模型转移写出单独的边界说明。
把那些只有他自己能看懂的推导，改写成韩砚山这种领域內专家也能逐行审查的標准语言。
最后，第三张图的最终標题是——
froweakdoublgtoultiscalerigidity:aunifiedproofofthepfr–artoures.
【从弱倍增到多尺度刚性：pfr/arton猜想的统一结构证明】
江临將这张凝结了小半个世纪心血的图表，在石屋斑驳的北墙上画了出来。
图表的左端入口，是看似柔弱无力的弱倍增条件。
图表的右端出口，是清晰可见的近似代数结构。
而在连接两端的中间地带，是一层层如同地质剖面般，被精確剥离、极限压缩，然后重新组合的结构块流转图。
图表的下方，还有三道被他用黑线重重框出的门。
有限域模型。
熵形式。
模型转移。
三道门之后，那条原本断裂在不同数学语言之间的路，第一次被完整地连了起来。
这张图没有g-01六足机器人的图纸那样直观且充满钢铁的张力。
也没有ps-kernel的基准测试曲线那样能让人一眼看到商业和工业的价值。
可江临知道，这张纸最重。
江氏砖解决的是一个耀眼的存在性难题。
它像一块奇异的陨石，砸进数学史。
而pfr/arton不一样。
它並非孤立的奇石，而是现代加性组合內部的一根承重梁。
如果这份手稿最终成立，就意味著江临不再只是一个在离散几何中完成奇蹟的外来者。
而是第一次用自己的方法，打穿了现代组合数学最深处的结构问题。