【从弱倍增到多尺度刚性】

    江临心里很清楚，这还远远不是一份能直接投递给《数学年刊》的成品论文。

    手稿中有些过渡引理写得过于冗长繁琐。

    有些多项式常量的依赖关系还没有经过最极致的优化整理。

    有限域部分锋利到近乎冷酷，但模型转移部分仍有大量符号、边界和传统表述需要清理。

    有些极度个人化的推导语言，也必须被翻译成当代学界更习惯、更容易审查的标准化形式。

    但这些都只是粗活了。

    最内核的事情已经完成。

    PFR猜想和Marton猜想之间那道看似隔着语言、模型和技术传统的墙，已经被他从底部打穿。

    它们不再只是那天韩砚山在专题报告里，作为遥远灯塔抛出的两个孤立疑问。

    在江临这四十年的死磕下，它们被暴力又优雅地压进了一张统一的多尺度刚性结构图中。

    剩下的两年，江临没有再追求新的主定理。

    他开始做最枯燥，也最必要的清理。

    重排引理顺序。

    压缩符号系统。

    清点每一个常量依赖。

    给每一处模型转移写出单独的边界说明。

    把那些只有他自己能看懂的推导，改写成韩砚山这种领域内专家也能逐行审查的标准语言。

    最后，第三张图的最终标题是——

    FroWeak Doubling to Multiscale Rigidity: A Unif

    江临将这张凝结了小半个世纪心血的图表，在石屋斑驳的北墙上画了出来。

    图表的左端入口，是看似柔弱无力的弱倍增条件。

    图表的右端出口，是清淅可见的近似代数结构。

    而在连接两端的中间地带，是一层层如同地质剖面般，被精确剥离、极限压缩，然后重新组合的结构块流转图。

    图表的下方，还有三道被他用黑线重重框出的门。

    有限域模型。

    熵形式。

    模型转移。

    三道门之后，那条原本断裂在不同数学语言之间的路，第一次被完整地连了起来。

    这张图没有G-01六足机器人的图纸那样直观且充满钢铁的张力。

    也没有MPS-Kernel的基准测试曲线那样能让人一眼看到商业和工业的价值。

    可江临知道，这张纸最重。

    江氏砖解决的是一个耀眼的存在性难题。

    它象一块奇异的陨石，砸进数学史。

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

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

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