第119章 PFR/Marton猜想的统一结构证明（2 / 7）
左边写下该引理生效所需的严格输入条件。
右边写下经过引理处理后输出的结构特徵。
中间，他用红笔重重標出该引理在每次应用时会造成的损失项，隱藏的常数依赖关係，不可避免的维数损耗，以及它最適合嵌入的代数模型。
然后，他敏锐地发现，有些引理在局部看起来很强大，能轻易找出结构，但其多项式常数的膨胀速度快得惊人，一旦连续推进两三步逼近pfr级別的深度，常数就会爆炸到使整个定理失去意义。
有些结论在传统的整数集合中虽然成立但极其丑陋，可一旦將其平移映射到有限域模型下，利用傅立叶分析，证明的代数结构立刻变得乾净利落。
还有那些用熵语言描述的不等式，乍看之下和组合语言隔著一座山，实际上只是在资讯理论的坐標系里，用概率分布来描述同一个集合密度的压缩现象。
第一年，他只画宏观的文献地图。
第二年，他细致梳理了freiman系定理自上个世纪以来的技术演进谱系。
第三年，他把ruzsa覆盖引理、加性能量计算和沉重的bsg引理之间的相互转换关係彻底揉碎，重新写成了属於自己的推导笔记。
第四年，他將精力完全集中，专门啃食最难下咽的有限域模型。
第五年，他才觉得自己的手腕有了足够的力气，將marton方向与pfr放在同一张桌面上审视。
这五年里，石屋那面破败的北墙上没有诞生任何一条新定理。
只有一大片被反覆擦拭，修改，划掉的逻辑箭头流转图。
从一个庞大的集合a出发。
如果a+a的基数很小，那么a內部的加性能量必然很大。
巨大的加性能量暗示著集合內部存在强烈的局部相关性。
利用工具剥离掉破坏结构的异常块，保留高密度的结构块。
在结构块中，某个子空间陪集附近的低复杂度结构开始浮现。
最终，低复杂度的代数模型將接管剩余的核心部分。
在黑板上，这些表示逻辑流转的箭头一开始画得极其顺畅且漂亮。
但江临非但没有狂喜，反而警惕到了极点。
因为在最前沿的纯粹数学中，过於漂亮和顺畅的类比，往往是隱藏了错误证明的华丽外壳。
第六年，他反其道而行之，专门设立了一本反例本。
目的不是推进证明，而是要亲手摧毁自己的错觉。
他也写过一些极低维有限域脚本，但那些脚本只负责杀死直觉，不负责提供证明。
於是他构造出了各种病態的集合。
有些集合局部看起来高度规则，但一旦放大到全局，结构极度恶劣。
有些集合满足极好的小和集条件，却极其狡猾地把结构质量分散隱藏在多个不同的尺度中，导致单层次的提取工具全部扑空。
有些基於熵形式的完美压缩，一旦试图將其精確翻译回组合数学的刚性语言，量化边界就会损失得惨不忍睹。
他深刻意识到，那些从江氏砖里带出来的，边界错位即导致全局不可逃逸的物理直觉，在加性组合的软约束问题里，根本不存在直接的对应物。 ↑返回顶部↑
右边写下经过引理处理后输出的结构特徵。
中间，他用红笔重重標出该引理在每次应用时会造成的损失项，隱藏的常数依赖关係，不可避免的维数损耗，以及它最適合嵌入的代数模型。
然后，他敏锐地发现，有些引理在局部看起来很强大，能轻易找出结构，但其多项式常数的膨胀速度快得惊人，一旦连续推进两三步逼近pfr级別的深度，常数就会爆炸到使整个定理失去意义。
有些结论在传统的整数集合中虽然成立但极其丑陋，可一旦將其平移映射到有限域模型下，利用傅立叶分析，证明的代数结构立刻变得乾净利落。
还有那些用熵语言描述的不等式，乍看之下和组合语言隔著一座山，实际上只是在资讯理论的坐標系里，用概率分布来描述同一个集合密度的压缩现象。
第一年，他只画宏观的文献地图。
第二年，他细致梳理了freiman系定理自上个世纪以来的技术演进谱系。
第三年，他把ruzsa覆盖引理、加性能量计算和沉重的bsg引理之间的相互转换关係彻底揉碎，重新写成了属於自己的推导笔记。
第四年，他將精力完全集中，专门啃食最难下咽的有限域模型。
第五年，他才觉得自己的手腕有了足够的力气，將marton方向与pfr放在同一张桌面上审视。
这五年里，石屋那面破败的北墙上没有诞生任何一条新定理。
只有一大片被反覆擦拭，修改，划掉的逻辑箭头流转图。
从一个庞大的集合a出发。
如果a+a的基数很小，那么a內部的加性能量必然很大。
巨大的加性能量暗示著集合內部存在强烈的局部相关性。
利用工具剥离掉破坏结构的异常块，保留高密度的结构块。
在结构块中，某个子空间陪集附近的低复杂度结构开始浮现。
最终，低复杂度的代数模型將接管剩余的核心部分。
在黑板上，这些表示逻辑流转的箭头一开始画得极其顺畅且漂亮。
但江临非但没有狂喜，反而警惕到了极点。
因为在最前沿的纯粹数学中，过於漂亮和顺畅的类比，往往是隱藏了错误证明的华丽外壳。
第六年，他反其道而行之，专门设立了一本反例本。
目的不是推进证明，而是要亲手摧毁自己的错觉。
他也写过一些极低维有限域脚本，但那些脚本只负责杀死直觉，不负责提供证明。
於是他构造出了各种病態的集合。
有些集合局部看起来高度规则，但一旦放大到全局，结构极度恶劣。
有些集合满足极好的小和集条件，却极其狡猾地把结构质量分散隱藏在多个不同的尺度中，导致单层次的提取工具全部扑空。
有些基於熵形式的完美压缩，一旦试图將其精確翻译回组合数学的刚性语言，量化边界就会损失得惨不忍睹。
他深刻意识到，那些从江氏砖里带出来的，边界错位即导致全局不可逃逸的物理直觉，在加性组合的软约束问题里，根本不存在直接的对应物。 ↑返回顶部↑