这个学霸疑似巨额知识来源不明 - 第119章 PFR/Marton猜想的统一结构证明

    第三张图，是弱倍增猜想的多尺度刚性压缩图。
    这是最为漫长，最为折磨，也是最缺乏物理实感的一张图。
    相比g-01和mps-kernel，第三张图最不依赖石屋里的工业库存。
    它不需要工具机，不需要隨时可能失效的传感器，也不需要被快闪记忆体擦写寿命一点点逼近极限的固態硬碟。
    它完全建立在江临的脑海里，建立在石屋那面被红土涂抹了一层又一层的北墙上。
    这不是一条占满四十年的直线。
    白天，g-01在风沙和碎石里摔断连杆。
    深夜，mps-kernel的工作站风扇接管石屋。
    而这条最安静的数学线，往往出现在电子设备休眠，沙尘封门，或者身体已经疲惫到无法再碰机械的漫长夜晚。
    它没有金属声，也没有报错提示。
    只有墙，纸，木炭，手写板，以及一行行被自己亲手划掉的推导。
    最初的五年，江临没有试图去写任何证明。
    他做的唯一一件事，就是以苦行僧般的毅力去补课。
    江氏砖確实让他站在了结构铺砌与计算几何的一个极高点，让他足以俯瞰许多同龄人。
    但这绝对不是加性组合领域的高地。
    铺砌问题里的局部规则设计，边界轮廓的物理强迫，有限状態机的转换，以及由此衍生的宏观层级结构，確实赋予了他锋利的数学直觉。
    可这种直觉无法直接翻译成pfr猜想的语言，更无法直接套用在marton猜想的证明中。
    加性组合有一套自己成熟且深奥的语言体系。
    小和集。
    弱倍增。
    freiman同態映射。
    衡量集合加法结构的ruzsa距离。
    控制高阶和集的plunnecke不等式。
    加性能量。
    用於集合纯化的bsg引理。
    构建近似子群的bogolyubov-ruzsa型引理。
    有限域模型。
    以及资讯理论视角下的熵形式。
    每一个冷冰冰的学术名词背后，都不只是一个简单的定义，而是一套经歷了无数顶尖大脑打磨，专门用来处理离散结构和压缩现象的重型数学工具链。
    江临首先把这些重型工具全部拆解成零件，为每一个核心引理建立了一张详细的技术兵器卡。
    左边写下该引理生效所需的严格输入条件。
    右边写下经过引理处理后输出的结构特徵。
    中间，他用红笔重重標出该引理在每次应用时会造成的损失项，隱藏的常数依赖关係，不可避免的维数损耗，以及它最適合嵌入的代数模型。
    然后，他敏锐地发现，有些引理在局部看起来很强大，能轻易找出结构，但其多项式常数的膨胀速度快得惊人，一旦连续推进两三步逼近pfr级別的深度，常数就会爆炸到使整个定理失去意义。
    有些结论在传统的整数集合中虽然成立但极其丑陋，可一旦將其平移映射到有限域模型下，利用傅立叶分析，证明的代数结构立刻变得乾净利落。
    还有那些用熵语言描述的不等式，乍看之下和组合语言隔著一座山，实际上只是在资讯理论的坐標系里，用概率分布来描述同一个集合密度的压缩现象。
    第一年，他只画宏观的文献地图。
    第二年，他细致梳理了freiman系定理自上个世纪以来的技术演进谱系。
    第三年，他把ruzsa覆盖引理、加性能量计算和沉重的bsg引理之间的相互转换关係彻底揉碎，重新写成了属於自己的推导笔记。
    第四年，他將精力完全集中，专门啃食最难下咽的有限域模型。
    第五年，他才觉得自己的手腕有了足够的力气，將marton方向与pfr放在同一张桌面上审视。
    这五年里，石屋那面破败的北墙上没有诞生任何一条新定理。
    只有一大片被反覆擦拭，修改，划掉的逻辑箭头流转图。
    从一个庞大的集合a出发。
    如果a+a的基数很小，那么a內部的加性能量必然很大。
    巨大的加性能量暗示著集合內部存在强烈的局部相关性。
    利用工具剥离掉破坏结构的异常块，保留高密度的结构块。
    在结构块中，某个子空间陪集附近的低复杂度结构开始浮现。
    最终，低复杂度的代数模型將接管剩余的核心部分。
    在黑板上，这些表示逻辑流转的箭头一开始画得极其顺畅且漂亮。
    但江临非但没有狂喜，反而警惕到了极点。
    因为在最前沿的纯粹数学中，过於漂亮和顺畅的类比，往往是隱藏了错误证明的华丽外壳。
    第六年，他反其道而行之，专门设立了一本反例本。
    目的不是推进证明，而是要亲手摧毁自己的错觉。
    他也写过一些极低维有限域脚本，但那些脚本只负责杀死直觉，不负责提供证明。
    於是他构造出了各种病態的集合。
    有些集合局部看起来高度规则，但一旦放大到全局，结构极度恶劣。
    有些集合满足极好的小和集条件，却极其狡猾地把结构质量分散隱藏在多个不同的尺度中，导致单层次的提取工具全部扑空。
    有些基於熵形式的完美压缩，一旦试图將其精確翻译回组合数学的刚性语言，量化边界就会损失得惨不忍睹。
    他深刻意识到，那些从江氏砖里带出来的，边界错位即导致全局不可逃逸的物理直觉，在加性组合的软约束问题里，根本不存在直接的对应物。
    江氏砖的规则是死板的。
    一条边拼错，整个宏观拼贴就被锁死。
    但小和集条件极其柔软。
    允许你存在隨机的噪声，允许大量毫无规律的例外点。
    甚至允许局部出现极度的混乱。
    它只在整体的宏观统计上告诉你，这个集合在经歷加法扩张时，並没有像一盘散沙那样爆炸。
    硬规则可以强行逼出宏观的拼贴层级。
    而软约束，只能像挤海绵一样，一点点逼出信息的结构压缩。
    第七年末，江临握著一截木炭，在墙面顶端用力划掉了他最早写下的总標题。
    【局部规则逼出全局结构】
    这句话带著太重的江氏砖痕跡，不適合pfr那片充满概率与不確定性的领地。
    然后重新写下了一行大字。
    【弱约束下的多尺度压缩】
    真正的入口，在废土的第七年，终於在他面前轰然打开。
    他不再试图强行把江氏砖的证明结构平移过去，而是以抽象能力，抽取其中真正能在不同数学宇宙中通用的哲学內核。
    不是那些具体的边界强迫。
    不是具象的拼贴层级。
    更不是直观的局部图案。
    而是有限状態的信息压缩，对异常区块的无情剥离，利用能量增量作为驱动力，以及在不同尺度间的平滑递降。
    这些抽象概念被他用熟练的代数技巧，重新翻译成了加性组合能够合法调用的数学对象。
    將集合按傅立叶谱进行分层。
    利用cauchy-schwarz、傅立叶谱分解和能量增量策略，在大傅立叶係数出现的地方寻找可压缩方向。
    建立集合的低秩模型。
    提取子空间陪集附近的近似结构。
    最后藉助熵形式，把组合语言中难以追踪的损失重新写成可累加的信息增量。
    第九年，江临雄心勃勃地写出了第一份完整框架。
    很快，框架在逻辑自洽性检验中轰然崩塌。
    错误隱蔽地出在异常集处理阶段。
    为了得到一个纯净的子结构，他剥离了太多的坏块。
    虽然剩下来的集合乾净得如同水晶，但它已经严重失去了原问题的统计质量，推导出的边界毫无意义。
    第十三年，江临的第二份框架再次崩塌。
    这一次的错误出在更深层的秩增长控制上。
    他设计的每一层压缩在局部看起来都极其合理且严密，可一旦將层数叠加起来，bsg引理那种灾难性的多项式维数损耗，就像一个复利的黑洞，把最终需要的多项式结论吞噬得连渣都不剩。
    第十八年，第三份耗尽心血的框架，死死卡在了最后一步。
    它能给出一个漂亮的中间结构定理，却无论如何也推不动最终的多项式界，卡在了一个略好於准多项式的尷尬位置。
    但江临没有丝毫的焦躁。
    在废土里，这类深刻的结构数学问题，从来不是靠著急和暴躁就能撞开门的。
    g-01陷入瓶颈时，可以靠著反覆拆机，看波形来获取灵感。
    mps-kernel卡住时，可以靠翻看几十个g的log日誌，分析benchmark分布和追踪指令证明链来寻找bug。
    但在pfr/marton的领域里，什么都没有。
    没有机械齿轮的咬合声。
    没有风扇狂转的轰鸣声。
    没有编译器的报错提示。
    这里只有墙壁，手写板，以及一行又一行逻辑断裂的推导公式。
    第二十二年，江临把过去所有的失败框架整理出来，强迫自己將视线从繁杂的技术细节中抽离，重新回到一切的最源头，去凝视那个最基础的问题。
    弱倍增，到底在组合和信息的本质上，限制了什么？
    绝不是在限制某一个特定的局部图案出现，也不是在限制某一个多面体的几何边界形状。
    它限制的是扩张的成本。
    一个集合如果在加法操作下，其体积没有按照组合规律膨胀到应有的庞大规模，那么在它杂乱无章的表象之下，必然有某种高度有序的隱藏代数结构，在替它默默支付著本该爆发的复杂度。
    这句话依然不能直接当作定理去发表。
    但它给了江临长达十几年迷茫期后，真正破局的钥匙。
    第二十六年的冬天，江临终於在数学推导上，將异常块剥离和能量增量接驳在一起。
    他放弃了毕其功於一役，试图一次性压出全局结构的傲慢想法。
    而是採用多尺度的剥离策略。
    就像剥开一颗洋葱，他在每一个数学尺度上，只用外科手术般的精度，剥掉那一点点真正製造加法扩张的坏块。
    然后利用能量增量策略，立刻进入下一个尺度。
    这一次，他给每一层剥离都配了一本帐。
    坏块不能隨便扔。
    每剥掉一层製造扩张噪声的异常结构，就必须从同一尺度的能量增量里扣除代价。
    每推进一层压缩，势函数都必须单调上升，却又被全局信息量死死压住上界。
    於是，过去那个吞噬所有常数的黑洞，第一次变成了可以结帐的叠代过程。
    剩下的核心集合，在有限域模型下，由於排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。
    这一步推导的成功，让整个证明过程终於拥有了一副逻辑骨架。
    但江临没有把这里当成终点。
    有限域模型只是最乾净的主战场，不是猜想最终停靠的港口。
    在那片代数结构最清澈的世界里，他终於看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。
    真正困难的，是把这套机制从乾净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。
    第三十一年，marton猜想的方向也被他顺理成章地接到了这副骨架上。
    在江临的眼中，熵形式不再是一套让人头疼的另一门外语。
    它变成了同一张宏大结构压缩图上，从资讯理论视角投射下的一道清晰影子。
    小和集条件在组合数学的语言里，表现为体积的弱倍增。
    而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。
    两边如同镜子的內外，最终同时指向了江临在第二十二年悟出的那个真理。
    当扩张被死死压住时，隱藏的结构必须站出来承担解释这种低复杂度的成本。
    也是从这一年开始，江临不再把pfr和marton当成两座彼此遥望的孤峰。
    它们只是同一座山的两个入口。
    一个从组合语言进入。
    一个从熵语言进入。
    山体深处，通向的是同一套多尺度压缩结构。
    第三十四年，江临开始处理最难看的部分。
    模型转移。
    有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。
    一般阿贝尔群里的挠结构，整数集合里的嵌入损失，freiman模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都像旧帐一样压在证明链上。
    这里没有有限域里的乾净傅立叶谱。
    没有天然漂亮的子空间结构。
    也没有能让所有坏块自动归位的代数秩。
    江临必须把前面二十多年建立的多尺度帐本，一层一层搬进更骯脏的世界里。
    他把证明拆成三道门。
    第一道门，有限域模型。
    在那里，弱倍增被压缩成清晰的低秩结构。
    第二道门，熵形式。
    在那里，组合损失被重新写成可累加、可对帐的信息增量。
    第三道门，模型转移。
    在那里，乾净世界里的结构定理，被一点点搬回一般弱倍增命题之中。
    第三十六年冬天，这三道门第一次在同一张证明链上合拢。
    那一天，江临没有欢呼。
    他只是站在北墙前，看著自己写下的最后一条箭头，很久没有动。
    从弱倍增，到能量增量。
    从能量增量，到多尺度压缩。
    从多尺度压缩，到近似代数结构。
    从近似代数结构，再经由熵形式和模型转移，回到完整的pfr/marton主命题。
    这条链终於闭上了。
    废土第三十八年，江临放下了笔，完成了第一版长篇手稿。
    英文暂定標题——
    【from weak doubling to multiscale rigidity】
    中文手稿的標题则去掉了所有的修饰。
    【从弱倍增到多尺度刚性】
    江临心里很清楚，这还远远不是一份能直接投递给《数学年刊》的成品论文。
    手稿中有些过渡引理写得过於冗长繁琐。
    有些多项式常数的依赖关係还没有经过最极致的优化整理。
    有限域部分锋利到近乎冷酷，但模型转移部分仍有大量符號、边界和传统表述需要清理。
    有些极度个人化的推导语言，也必须被翻译成当代学界更习惯、更容易审查的標准化形式。
    但这些都只是粗活了。
    最核心的事情已经完成。
    pfr猜想和marton猜想之间那道看似隔著语言、模型和技术传统的墙，已经被他从底部打穿。
    它们不再只是那天韩砚山在专题报告里，作为遥远灯塔拋出的两个孤立疑问。
    在江临这四十年的死磕下，它们被暴力又优雅地压进了一张统一的多尺度刚性结构图中。
    剩下的两年，江临没有再追求新的主定理。
    他开始做最枯燥，也最必要的清理。
    重排引理顺序。
    压缩符號系统。
    清点每一个常数依赖。
    给每一处模型转移写出单独的边界说明。
    把那些只有他自己能看懂的推导，改写成韩砚山这种领域內专家也能逐行审查的標准语言。
    最后，第三张图的最终標题是——
    from weak doubling to multiscale rigidity: a unified proof of the pfr–marton conjectures.
    【从弱倍增到多尺度刚性：pfr/marton猜想的统一结构证明】
    江临將这张凝结了小半个世纪心血的图表，在石屋斑驳的北墙上画了出来。
    图表的左端入口，是看似柔弱无力的弱倍增条件。
    图表的右端出口，是清晰可见的近似代数结构。
    而在连接两端的中间地带，是一层层如同地质剖面般，被精確剥离、极限压缩，然后重新组合的结构块流转图。
    图表的下方，还有三道被他用黑线重重框出的门。
    有限域模型。
    熵形式。
    模型转移。
    三道门之后，那条原本断裂在不同数学语言之间的路，第一次被完整地连了起来。
    这张图没有g-01六足机器人的图纸那样直观且充满钢铁的张力。
    也没有mps-kernel的基准测试曲线那样能让人一眼看到商业和工业的价值。
    可江临知道，这张纸最重。
    江氏砖解决的是一个耀眼的存在性难题。
    它像一块奇异的陨石，砸进数学史。
    而pfr/marton不一样。
    它並非孤立的奇石，而是现代加性组合內部的一根承重梁。
    如果这份手稿最终成立，就意味著江临不再只是一个在离散几何中完成奇蹟的外来者。
    而是第一次用自己的方法，打穿了现代组合数学最深处的结构问题。