第119章 PFR/Marton猜想的统一结构证明（1/2）
第三张图，是弱倍增猜想的多尺度刚性压缩图。
这是最为漫长，最为折磨，也是最缺乏物理实感的一张图。
相比g-01和ps-kernel，第三张图最不依赖石屋里的工业库存。
它不需要工具机，不需要隨时可能失效的传感器，也不需要被快闪记忆体擦写寿命一点点逼近极限的固態硬碟。
它完全建立在江临的脑海里，建立在石屋那面被红土涂抹了一层又一层的北墙上。
这不是一条占满四十年的直线。
白天，g-01在风沙和碎石里摔断连杆。
深夜，ps-kernel的工作站风扇接管石屋。
而这条最安静的数学线，往往出现在电子设备休眠，沙尘封门，或者身体已经疲惫到无法再碰机械的漫长夜晚。
它没有金属声，也没有报错提示。
只有墙，纸，木炭，手写板，以及一行行被自己亲手划掉的推导。
最初的五年，江临没有试图去写任何证明。
他做的唯一一件事，就是以苦行僧般的毅力去补课。
江氏砖確实让他站在了结构铺砌与计算几何的一个极高点，让他足以俯瞰许多同龄人。
但这绝对不是加性组合领域的高地。
铺砌问题里的局部规则设计，边界轮廓的物理强迫，有限状態机的转换，以及由此衍生的宏观层级结构，確实赋予了他锋利的数学直觉。
可这种直觉无法直接翻译成pfr猜想的语言，更无法直接套用在arton猜想的证明中。
加性组合有一套自己成熟且深奥的语言体系。
小和集。
弱倍增。
freian同態映射。
衡量集合加法结构的ruzsa距离。
控制高阶和集的pnnecke不等式。
加性能量。
用於集合纯化的bsg引理。
构建近似子群的bogolyubov-ruzsa型引理。
有限域模型。
以及资讯理论视角下的熵形式。
每一个冷冰冰的学术名词背后，都不只是一个简单的定义，而是一套经歷了无数顶尖大脑打磨，专门用来处理离散结构和压缩现象的重型数学工具链。
江临首先把这些重型工具全部拆解成零件，为每一个核心引理建立了一张详细的技术兵器卡。
左边写下该引理生效所需的严格输入条件。
右边写下经过引理处理后输出的结构特徵。
中间，他用红笔重重標出该引理在每次应用时会造成的损失项，隱藏的常数依赖关係，不可避免的维数损耗，以及它最適合嵌入的代数模型。
然后，他敏锐地发现，有些引理在局部看起来很强大，能轻易找出结构，但其多项式常数的膨胀速度快得惊人，一旦连续推进两三步逼近pfr级別的深度，常数就会爆炸到使整个定理失去意义。
有些结论在传统的整数集合中虽然成立但极其丑陋，可一旦將其平移映射到有限域模型下，利用傅立叶分析，证明的代数结构立刻变得乾净利落。
还有那些用熵语言描述的不等式，乍看之下和组合语言隔著一座山，实际上只是在资讯理论的坐標系里，用概率分布来描述同一个集合密度的压缩现象。
第一年，他只画宏观的文献地图。
第二年，他细致梳理了freian系定理自上个世纪以来的技术演进谱系。
第三年，他把ruzsa覆盖引理、加性能量计算和沉重的bsg引理之间的相互转换关係彻底揉碎，重新写成了属於自己的推导笔记。
第四年，他將精力完全集中，专门啃食最难下咽的有限域模型。
第五年，他才觉得自己的手腕有了足够的力气，將arton方向与pfr放在同一张桌面上审视。
这五年里，石屋那面破败的北墙上没有诞生任何一条新定理。
只有一大片被反覆擦拭，修改，划掉的逻辑箭头流转图。
从一个庞大的集合a出发。
如果a+a的基数很小，那么a內部的加性能量必然很大。
巨大的加性能量暗示著集合內部存在强烈的局部相关性。
利用工具剥离掉破坏结构的异常块，保留高密度的结构块。
在结构块中，某个子空间陪集附近的低复杂度结构开始浮现。
最终，低复杂度的代数模型將接管剩余的核心部分。
在黑板上，这些表示逻辑流转的箭头一开始画得极其顺畅且漂亮。
但江临非但没有狂喜，反而警惕到了极点。
因为在最前沿的纯粹数学中，过於漂亮和顺畅的类比，往往是隱藏了错误证明的华丽外壳。
第六年，他反其道而行之，专门设立了一本反例本。
目的不是推进证明，而是要亲手摧毁自己的错觉。
他也写过一些极低维有限域脚本，但那些脚本只负责杀死直觉，不负责提供证明。
於是他构造出了各种病態的集合。
有些集合局部看起来高度规则，但一旦放大到全局，结构极度恶劣。
有些集合满足极好的小和集条件，却极其狡猾地把结构质量分散隱藏在多个不同的尺度中，导致单层次的提取工具全部扑空。
有些基於熵形式的完美压缩，一旦试图將其精確翻译回组合数学的刚性语言，量化边界就会损失得惨不忍睹。
他深刻意识到，那些从江氏砖里带出来的，边界错位即导致全局不可逃逸的物理直觉，在加性组合的软约束问题里，根本不存在直接的对应物。
江氏砖的规则是死板的。
一条边拼错，整个宏观拼贴就被锁死。
但小和集条件极其柔软。
允许你存在隨机的噪声，允许大量毫无规律的例外点。
甚至允许局部出现极度的混乱。
它只在整体的宏观统计上告诉你，这个集合在经歷加法扩张时，並没有像一盘散沙那样爆炸。
硬规则可以强行逼出宏观的拼贴层级。
而软约束，只能像挤海绵一样，一点点逼出信息的结构压缩。
第七年末，江临握著一截木炭，在墙面顶端用力划掉了他最早写下的总標题。
【局部规则逼出全局结构】
这句话带著太重的江氏砖痕跡，不適合pfr那片充满概率与不確定性的领地。
然后重新写下了一行大字。
【弱约束下的多尺度压缩】
真正的入口，在废土的第七年，终於在他面前轰然打开。
他不再试图强行把江氏砖的证明结构平移过去，而是以抽象能力，抽取其中真正能在不同数学宇宙中通用的哲学內核。
不是那些具体的边界强迫。
不是具象的拼贴层级。
更不是直观的局部图案。
而是有限状態的信息压缩，对异常区块的无情剥离，利用能量增量作为驱动力，以及在不同尺度间的平滑递降。
这些抽象概念被他用熟练的代数技巧，重新翻译成了加性组合能够合法调用的数学对象。
將集合按傅立叶谱进行分层。
利用cauchy-schwarz、傅立叶谱分解和能量增量策略，在大傅立叶係数出现的地方寻找可压缩方向。
建立集合的低秩模型。
提取子空间陪集附近的近似结构。
最后藉助熵形式，把组合语言中难以追踪的损失重新写成可累加的信息增量。
第九年，江临雄心勃勃地写出了第一份完整框架。
很快，框架在逻辑自洽性检验中轰然崩塌。
错误隱蔽地出在异常集处理阶段。
为了得到一个纯净的子结构，他剥离了太多的坏块。
虽然剩下来的集合乾净得如同水晶，但它已经严重失去了原问题的统计质量，推导出的边界毫无意义。
第十三年，江临的第二份框架再次崩塌。
这一次的错误出在更深层的秩增长控制上。
他设计的每一层压缩在局部看起来都极其合理且严密，可一旦將层数叠加起来，bsg引理那种灾难性的多项式维数损耗，就像一个复利的黑洞，把最终需要的多项式结论吞噬得连渣都不剩。
第十八年，第三份耗尽心血的框架，死死卡在了最后一步。
它能给出一个漂亮的中间结构定理，却无论如何也推不动最终的多项式界，卡在了一个略好於准多项式的尷尬位置。
但江临没有丝毫的焦躁。
在废土里，这类深刻的结构数学问题，从来不是靠著急和暴躁就能撞开门的。
g-01陷入瓶颈时，可以靠著反覆拆机，看波形来获取灵感。
ps-kernel卡住时，可以靠翻看几十个g的log日誌，分析benchark分布和追踪指令证明链来寻找bug。
但在pfr/arton的领域里，什么都没有。
没有机械齿轮的咬合声。
没有风扇狂转的轰鸣声。
没有编译器的报错提示。
本章未完，点击下一页继续阅读。