第119章 PFR/Marton猜想的统一结构证明（5 / 7）
於是，过去那个吞噬所有常数的黑洞，第一次变成了可以结帐的叠代过程。
剩下的核心集合，在有限域模型下，由於排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。
这一步推导的成功，让整个证明过程终於拥有了一副逻辑骨架。
但江临没有把这里当成终点。
有限域模型只是最乾净的主战场，不是猜想最终停靠的港口。
在那片代数结构最清澈的世界里，他终於看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。
真正困难的，是把这套机制从乾净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。
第三十一年，marton猜想的方向也被他顺理成章地接到了这副骨架上。
在江临的眼中，熵形式不再是一套让人头疼的另一门外语。
它变成了同一张宏大结构压缩图上，从资讯理论视角投射下的一道清晰影子。
小和集条件在组合数学的语言里，表现为体积的弱倍增。
而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。
两边如同镜子的內外，最终同时指向了江临在第二十二年悟出的那个真理。
当扩张被死死压住时，隱藏的结构必须站出来承担解释这种低复杂度的成本。
也是从这一年开始，江临不再把pfr和marton当成两座彼此遥望的孤峰。
它们只是同一座山的两个入口。
一个从组合语言进入。
一个从熵语言进入。
山体深处，通向的是同一套多尺度压缩结构。
第三十四年，江临开始处理最难看的部分。
模型转移。
有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。
一般阿贝尔群里的挠结构，整数集合里的嵌入损失，freiman模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都像旧帐一样压在证明链上。
这里没有有限域里的乾净傅立叶谱。
没有天然漂亮的子空间结构。
也没有能让所有坏块自动归位的代数秩。
江临必须把前面二十多年建立的多尺度帐本，一层一层搬进更骯脏的世界里。
他把证明拆成三道门。
第一道门，有限域模型。
在那里，弱倍增被压缩成清晰的低秩结构。 ↑返回顶部↑
剩下的核心集合，在有限域模型下，由於排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。
这一步推导的成功，让整个证明过程终於拥有了一副逻辑骨架。
但江临没有把这里当成终点。
有限域模型只是最乾净的主战场，不是猜想最终停靠的港口。
在那片代数结构最清澈的世界里，他终於看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。
真正困难的，是把这套机制从乾净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。
第三十一年，marton猜想的方向也被他顺理成章地接到了这副骨架上。
在江临的眼中，熵形式不再是一套让人头疼的另一门外语。
它变成了同一张宏大结构压缩图上，从资讯理论视角投射下的一道清晰影子。
小和集条件在组合数学的语言里，表现为体积的弱倍增。
而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。
两边如同镜子的內外，最终同时指向了江临在第二十二年悟出的那个真理。
当扩张被死死压住时，隱藏的结构必须站出来承担解释这种低复杂度的成本。
也是从这一年开始，江临不再把pfr和marton当成两座彼此遥望的孤峰。
它们只是同一座山的两个入口。
一个从组合语言进入。
一个从熵语言进入。
山体深处，通向的是同一套多尺度压缩结构。
第三十四年，江临开始处理最难看的部分。
模型转移。
有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。
一般阿贝尔群里的挠结构，整数集合里的嵌入损失，freiman模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都像旧帐一样压在证明链上。
这里没有有限域里的乾净傅立叶谱。
没有天然漂亮的子空间结构。
也没有能让所有坏块自动归位的代数秩。
江临必须把前面二十多年建立的多尺度帐本，一层一层搬进更骯脏的世界里。
他把证明拆成三道门。
第一道门，有限域模型。
在那里，弱倍增被压缩成清晰的低秩结构。 ↑返回顶部↑