第一年，他只画宏观的文献地图。

第二年，他细致梳理了Freiman系定理自上个世纪以来的技术演进谱系。

第三年，他把Ruzsa覆盖引理、加性能量计算和沉重的bSG引理之间的相互转换关系彻底揉碎，重新写成了属于自己的推导笔记。

第四年，他将精力完全集中，专门啃食最难下咽的有限域模型。

第五年，他才觉得自己的手腕有了足够的力气，将marton方向与pFR放在同一张桌面上审视。

这五年里，石屋那面破败的北墙上没有诞生任何一条新定理。

只有一大片被反复擦拭，修改，划掉的逻辑箭头流转图。

从一个庞大的集合A出发。

如果A+A的基数很小，那么A内部的加性能量必然很大。

巨大的加性能量暗示着集合内部存在强烈的局部相关性。

利用工具剥离掉破坏结构的异常块，保留高密度的结构块。

在结构块中，某个子空间陪集附近的低复杂度结构开始浮现。

最终，低复杂度的代数模型将接管剩余的核心部分。

在黑板上，这些表示逻辑流转的箭头一开始画得极其顺畅且漂亮。

但江临非但没有狂喜，反而警惕到了极点。

因为在最前沿的纯粹数学中，过于漂亮和顺畅的类比，往往是隐藏了错误证明的华丽外壳。

第六年，他反其道而行之，专门设立了一本反例本。

目的不是推进证明，而是要亲手摧毁自己的错觉。

他也写过一些极低维有限域脚本，但那些脚本只负责杀死直觉，不负责提供证明。

于是他构造出了各种病态的集合。

有些集合局部看起来高度规则，但一旦放大到全局，结构极度恶劣。

有些集合满足极好的小和集条件，却极其狡猾地把结构质量分散隐藏在多个不同的尺度中，导致单层次的提取工具全部扑空。

有些基于熵形式的完美压缩，一旦试图将其精确翻译回组合数学的刚性语言，量化边界就会损失得惨不忍睹。

他深刻意识到，那些从江氏砖里带出来的，边界错位即导致全局不可逃逸的物理直觉，在加性组合的软约束问题里，根本不存在直接的对应物。

江氏砖的规则是死板的。

一条边拼错，整个宏观拼贴就被锁死。

但小和集条件极其柔软。

允许你存在随机的噪声，允许大量毫无规律的例外点。

甚至允许局部出现极度的混乱。

它只在整体的宏观统计上告诉你，这个集合在经历加法扩张时，并没有像一盘散沙那样爆炸。

硬规则可以强行逼出宏观的拼贴层级。

而软约束，只能像挤海绵一样，一点点逼出信息的结构压缩。

第七年末，江临握着一截木炭，在墙面顶端用力划掉了他最早写下的总标题。

【局部规则逼出全局结构】

这句话带着太重的江氏砖痕迹，不适合pFR那片充满概率与不确定性的领地。

然后重新写下了一行大字。
本章未完，请翻下一页继续阅读.........