当废土世界隐去，现实世界回归。
暗尘弦假设的阴影，没有像乌云一样笼罩在江临的头顶上。
因为现实里没有百微米级的星际尘埃，没有天幕工程的坠落警报，也没有冷却泵疲惫的轰鸣。
他首先要降伏的，只不过是数学高维空间里暴走的残余谱，是加性组合学中稍有不慎就会带来指数级膨胀的逻辑灾难。
8月2日。
颁奖典礼的喧嚣已经过去两天，但Iccm的后续议程并未结束，甚至对于某些身处焦点位置的人来说，真正的考验才刚刚开始。
紫金山庄庞大的公共区域里，仍然能随时看见胸前挂着深蓝色参会证的学者们。
电梯间里、二楼的露天咖啡区、一楼巨大的主会议厅门口，到处都是三五成群、低声交谈的数学家。
与外面的热闹形成鲜明对比的，是位于三楼走廊尽头的303闭门会议室。
早上九点整，会议室的门就被从内侧关上，并贴上了一张会议中，请勿打扰的便签。
……
这间303闭门会议室，原本只是组委会预留给小型专题讨论或临时性行政会议的备用房间。
中央是一张长条形的红木会议桌，周围整齐地摆放着十二把人体工学椅。
靠内侧的墙壁上挂着一块巨大的固定白板，而在会议桌的两侧，各立着一块可以随时推拉翻转的移动白板。
桌面上，散乱铺开、布满折痕的打印稿，成堆的草稿纸，十几支失去了笔帽的黑红两色水性笔，东倒西歪的矿泉水瓶，以及三只杯壁上凝结着一圈褐色咖啡渍的纸杯。
靠墙的那块巨大白板上，此时已经被黑、红、蓝三色的水性笔写满了数学符号。
加性组合学中的结构定理、概率测度中的条件分布公式、信息论中的熵不等式，三种截然不同的数学语言在这里被强行接到同一条证明链上。
最左边，是韩砚山写下的有限域pFR主线演化图。
中间区域，是江临手稿第31页到第35页的压缩流程图。
每一个关键引理都被画上方框，箭头彼此交错。
右侧的移动白板上，则是丁剑在过去十个小时里，凭借其在统计物理和概率论领域的深厚功底，补出来的一组概率转移矩阵和条件熵的局部估计。
丁剑是在昨天上午被请进这条审查链的。
7月31日下午，林照野在主会场外围听完韩砚山那段推导后，就判断出一件事。
pFR主线可以先交给韩砚山看，但marton熵形式部分，必须有一位真正懂概率、熵方法和统计物理直觉的人在场。
国内最合适的人选，就是丁剑。
林照野没有直接去找丁剑，而是先把话递给了丘成桐先生。
电话里，他只说了三件事。
第一，江临手里可能已经有有限域F2模型下pFR的完整闭合稿。
第二，韩砚山现场看过局部推导，判断不是想法，而是证明。
第三，证明的腰部接到了marton熵形式，需要一位概率和熵方法方向的顶级审查人。
最后是丘先生出面，以有一份手稿，需要你以概率和熵方法专家的身份看一处技术连接为理由，把丁剑约了下来。
白板上的三个方向，最终都指向同一个位置。
手稿第4.2节。
标题：熵空间纤维化投影。
在标题下方，江临还用蓝色记号笔单独画了一个边界框。
边界框里只有四行字。
本稿范围。
一，有限域F2的n维向量空间上的pFR多项式界。
二，覆盖界目标暂定为K的十一次幂。
三，F_2模型下的entropic marton bound，作为pFR主证明的副产品。
四，不讨论一般Abel群，不讨论含挠扭部分的一般marton形式，也不在本稿中追求常数最优化。
韩砚山摘下黑框眼镜，扔在满是草稿纸的桌面上，用两根大拇指按压着自己的太阳穴，试图缓解血管里那种突突跳动的肿胀感。
从上午九点会议室的门被关上开始，到现在整整十三个小时零十五分钟，真正参与技术阅读的三人没有真正意义上地停下来休息过。
午饭，晚餐都是会务组工作人员送进来的简餐。
但两顿饭，韩砚山只勉强动了两口米饭，胃里因为过度思考而产生的痉挛感让他无法咽下任何油腻的食物，后面就再也没碰过那双一次性筷子。
至于丁剑，他根本没有打开餐盒，从头到尾都只靠着咖啡续命。
现在，阅读进度卡在了手稿第33页。
这是整个证明从加性组合语言转入熵形式语言的关键连接处。
前面的有限域压缩部分，如果只是从技术难度上评判，确实艰深晦涩，但那仍然属于韩砚山熟悉的战场。
残余谱剥离。
能量增量迭代。
覆盖递推。
局部模型构造。
这些东西虽然复杂异常，误差控制稍有松动就会造成指数级增长，但毕竟还在加性组合学的传统框架内部。
韩砚山能看清每一个代数变形背后的组合动机，也能判断每一次常数放缩在多轮递推后要付出的代价。
可到了第33页之后，证明语言开始变化。
原本用来衡量结构复杂度的覆盖数，被转译成信息论中的熵损失。
最关键的是，那些在频域里始终无法完全清除的残余谱，不再只被视作傅里叶展开里的坏项，而是被江临重新解释为压缩过程中没有被算术结构支付干净的自由度残差。
这一步，是整个证明能否闭合的关键。
如果这一步走通，pFR主线和marton熵形式之间的桥接就会真正成立。
如果走不通，前面的有限域主线推导再漂亮，也只能停留在pFR局部模型里，无法构成一套能够穿过marton熵形式的统一证明。
韩砚山盯着桌面上那摊开的第33页看了很久很久。
终于，他抬起头面向江临。
“第4.2节，关于熵纤维化投影的核心估计。你在这里声称，如果存在两个独立随机变量x和Y，它们定义在有限域F2的n维向量空间上，并且它们的鲁沙距离不超过log K。”
韩砚山顿了顿，字斟句酌地开口。
“那么，在这种情况下，可以通过某种条件化操作，构造出一对新的后验随机变量x，使得它们之间的鲁沙距离产生一个绝对跌落。”
说着，他拿起红笔，在打印稿上将那行结论圈了出来。
“也就是说，新变量之间的鲁沙距离，要比原来的鲁沙距离，至少下降一个固定正量delta。这个delta必须独立于空间维数n。”
会议室里原本就沉闷的空气，随着韩砚山的话音落下，似乎变得更加凝重。
这绝不是一个简单的阅读障碍或者符号误解。
韩砚山当然看得懂江临在第33页上，雄心勃勃的目标。
他真正要问的是，这个目标凭什么成立。
江临淡淡地看了一眼韩砚山手下压着的那张草稿纸。
那张纸上几乎没有空白。
从最上方利用弱倍增条件进行的初步放缩，到中段的大谱剥离，再到最下方试图强行转向条件熵的受挫过程，韩砚山在过去几个小时里，把江临这一步反推成了一套失败矩阵。
纸张右下角，有两个被红色马克笔圈出来的大字。
重入。
旁边还加注了一行小字：残余谱重入。
这是传统加性组合框架在处理高维代数结构时最难控制的位置。
韩砚山指着自己在草稿纸上算出的那组反例矩阵，指尖微微有些颤抖。
“江临，这在传统路线上走不通。你比我清楚这一点。”
“如果x和Y的分布，在某些特殊超平面，或者某些低维代数结构上，具有极端粘性，比如高度集中在某个二次型零点集附近。那么，当你按照第33页的逻辑，通过条件概率对它们进行降维剥离时，残余谱会产生严重的代数相关性。”
他说到这里，语速刻意地慢了下来。
“互信息，绝对不会像你公式里期望的那样，呈现出一种平滑线性的衰减。”
“相反，它会在某些特定的对偶基下，发生级联放大。”
“更麻烦的是，这个级联放大会反过来污染下一层覆盖估计。你在前文的组合语言里，好不容易通过能量增量把残余谱固定住了。可一旦转到熵语言里，如果这些残余谱通过条件变量重新获得哪怕一部分自由度……”
韩砚山用笔尖点了点第33页上的结论。
“这里一开，后面就全开。”
“前面在有限域里压住的乘法损失，会在这里换成概率论的形式重新回来。覆盖数会重新进入指数级增长，log K边界就保不住。”
一直沉默演算的丁剑，此时也放下了笔。
他的面前，整齐地排列着四张写满概率转移矩阵的表格。
不同于韩砚山那张充满挣扎和涂改的草稿，丁剑的这四张表格干净整洁，透着一股统计物理学家特有的冷峻。
每一列，都严丝合缝地对应着一个条件分布。
每一行，都清晰地映射着一个纤维层级。
然而，在这份极度整洁的表格中，某些关键的矩阵元位置，被丁剑用蓝色的钢笔打上了醒目的斜线，旁边用极细的字体标注着。
条件独立失效风险。
“老韩这话，指出了最关键的问题。”
丁剑作为国际概率论与统计物理方向最顶尖的专家之一，对这种复杂系统内部的条件结构变化非常敏感。
“江临，这是一个相变式失效点。在有限域F2的n维空间里，条件熵的凸性表现很反直觉。你在第35页，为了推进证明，直接调用了强次可加性。”
他倾过身，用笔尖虚点了一下自己草稿纸上的一组变量定义。
“你构建的条件变量Z，不是通常意义上任意选取的平滑参量。你的定义是，Z等于x加Y再加一个独立辅助变量w。换句话说，Z是通过底层空间的代数加法，把x和Y耦合在一起的。”
“在这种强耦合下，如果误差处理不够精确，哪怕只是遗漏一个低阶项，三元测度之间的条件独立结构就可能断裂。”
丁剑走到右侧移动白板前，拿起马克笔，在空白处写下三行判断。
第一行：原始变量x与Y相互独立。
第二行：定义Z = x + Y + w后，给定Z，x和Y的后验分布不再独立，且其条件依赖强度依赖于Z的结构。
第三行：如果将这套新产生的条件依赖，继续迭代引入下一层辅助变量，原本干净的三元条件独立图式可能发生不可逆的断裂。
“江临，如果条件独立结构在这里断裂，那么你后面准备用来支付熵损失的账本，就不再干净。”
“你手稿上的逻辑，看上去是强次可加性在吸收坏项。但从概率论底层机制来看，也可能只是把坏项从一个位置挪到另一个位置，藏进另一个条件变量里。”
“如果是这样，进入高维极限后，这些被隐藏的坏项仍然会回到主递推。”
韩砚山的疑惑，从加性组合的主线长驱直入，带着三十年历史失败的厚重阴影。
丁剑的质疑，则是从熵形式的内部破膛而出，带着现代概率论最精密的手术刀。
这两条质疑的路径截然不同，使用的语言也天差地别。
两条路径不同，语言也不同，但最终都指向同一个问题。
江临，你究竟是真的把残余谱和熵账本接起来了，还是只是把组合语言里的障碍，翻译成了概率语言里的另一个障碍。
林照野坐在会议桌最末端靠近房门的位置。
从头到尾都像是一个隐形人。
从技术细节上讲，他不是这个细分方向的人。
如果现在让他去推导白板上的条件互信息，他绝对跟不上这三个人的速度。
但他能听懂韩砚山和丁剑语气里的分量。
那不是前辈在给年轻人挑格式问题，也不是为了体现审查者权威而制造压力。
他们确实在这个证明的核心位置，发现了一个可能导致主线断裂的问题。
如果江临不能把这一步解释清楚，这份手稿就不会进入下一阶段。
面对两位同行的两路质疑，江临的脸上没有慌乱，也没有急于辩解的局促。
他静静听完丁剑最后一句话，绕过会议桌，走到最大那块白板前。
拿起板擦，将右上角一块先前用于验算局部引理的公式抹掉。
然后提笔写下四个变量名。
x_1。
x_2。
Y_1。
Y_2。
四个巨大的变量名，并排矗立在白板中央。
“问题其实不在这里。”
江临转过身面对二人，面沉如水。
“如果继续沿着传统思路，试图寻找一个确定性投影，去封堵那些坏项，那么确实会撞上你们刚才描述的问题。”
“但第33页的处理逻辑，不是投影。”
丁剑微微一怔。
韩砚山重新拿起眼镜戴上，盯着白板上的四个变量。
江临换了一支蓝色马克笔，指着四个变量解释说。
“我们不需要直接分析那个二次型零点集的几何形状。那是底层代数结构给出的边界。”
“如果顺着几何直觉，继续用切割或者剥离去处理它，就会让坏项在下一层推导里重新获得自由度。”
“所以这一步不能继续剥离，也不能继续做降维投影。”
他的目光从韩砚山移向丁剑，然后重新回到白板上的四个变量。
“我们在这里只需做一件事，复制这个系统。”
他在白板上沿着那四个变量拉出两条平行横线，然后在下方写下一组四元组条件分布。
“x_1和x_2，是原始变量x的两个独立同分布副本。”
“Y_1和Y_2，是原始变量Y的两个独立同分布副本。”
这句话还没说完，丁剑的目光已经定住。
他似乎抓到了某种稍纵即逝的灵光，但那个念头太快，太疯狂。
韩砚山却依然眉头紧锁。
因为在加性组合语言里，为处理卷积而复制变量，并不罕见。
真正决定这一步是否成立的问题在于，复制之后，变量之间要如何被重新组织。
江临没有停顿。
他在旁边补上基于有限域F2的n维空间的香农熵版本鲁沙距离核心公式。
鲁沙距离等于：x减Y的熵，减去二分之一的x的熵，再减去二分之一的Y的熵。
写完这一行，江临将笔尖点在x减Y的熵这一项下面。
“在传统处理框架里，无论是组合覆盖，还是早期解析手段，目光都会落在和变量或者差变量的内部结构上。”
“然后寻找一个好的投影方向，让结构更干净，误差更小。”
“但正如韩老师刚才说的，那些坏项会在这种投影切片中重新获得自由度。”
“所以我放弃投影。”
“现在，基于这四个独立副本，定义两个全局观测量。”
江临转过身，在白板的右侧留白处，写下了两行字。
S=x_1+Y_1
t=x_2+Y_2
“我不再对单个变量做超平面投影。”
“我要让整个系统，和它自己的独立副本，在同一个空间里正面相遇。”
他的笔尖在白板上点了一下。
“现在，我们来计算一个新的条件变量。”
“在已知S+t等于某个固定值c的大前提下，请注意，也就是在x_1+Y_1+x_2+Y_2=c的条件下，先固定全局和，重新考察跨组变量x_1和Y_1的联合分布。”
丁剑的瞳孔在这一瞬间骤然收缩。
他猛地从椅子上站起来，目光盯着白板上那行新写出的测度关系上，大脑中千万个概率模型在疯狂地生灭。
“你不是在做投影脱壳。”
丁剑的声音因为极度的震惊而带上了沙哑。
“你这是在让系统和自己的独立副本进行对消。”
江临没有否认。
他只是在白板左侧，用红笔写下五个字。
熵对合引理。
写完这四个字后，江临在白板侧边又补了三条旧路线。
plunnecke型不等式。
tao的熵版Ruzsa距离。
Sanders式小倍增结构压缩。
“这个引理不是凭空出来的。”江临说，“它只是把这三条路线里没有接上的账目通道接起来。”
他用笔尖点了点熵版Ruzsa距离。
“熵语言负责记账。”
“组合语言负责判定结构。”
最后，他回到熵对合引理四个字下面。
“我做的事情，是让残余谱不能在两套语言之间重复报销。”
丁剑的笔停了一下。
他原本以为江临会把这一步描述成某个完全独立的新技巧。
但江临没有。
他把旧工具、旧路线、旧文献位置摆出来，再指出自己究竟改动了哪一条账目通道。
这种态度，比单纯说独立原创更让人放心。
丁剑没有继续追问文献来源。
对他而言，来源脉络已经足够清楚。
接下来需要看的，不是谁先想到这条路线，而是江临能不能把这条路线压成一条闭合的不等式链。
韩砚山也重新把目光落回白板。
残余谱是否会重入，不能靠动机解释。
必须靠账本验算。
随后，江临转回白板，重新拿起黑色记号笔，写下一串熵不等式链。
为了突出最核心的逻辑主干，他没有把每一个条件期望的积分符号和繁琐的测度极限全部展开，而是将那足以写满两页纸的关键关系，压缩成了三行震撼人心的判断。
第一行：在已知全局和x_1+Y_1+x_2+Y_2=c的条件下，局部和x_1+Y_1的条件熵，被原始和变量的熵控制。
第二行：局部变量x_1与对偶副本Y_2之间的条件互信息，精确记录了四变量强耦合后无法消散的结构性残差。
第三行：只要这个条件互信息不严格等于零，新的鲁沙距离公式中，就会发生一次可计量的算术跌落。
韩砚山的手已经重新拿起了红笔。
他没有等江临做任何进一步的口头解释，就代入了江临的逻辑。
第一步，复制变量，建立四元组。
第二步，构造宏观观测量S与t。
第三步，人为引入约束，固定S+t=c。
第四步，在这个条件概率空间里，检查x_1与Y_2是否在条件分布下重新获得结构约束。
写到第四步的末尾，韩砚山的笔锋突然停住。
一阵战栗从他的脊椎升起。
因为他突然意识到，江临这一手具有颠覆性的地方到底在哪里了。
在过去的三十年里，全世界的加性组合学家对待残余谱的态度，就像是对待必须被清除的病毒。
试图压碎它，忽略它。
或者用更复杂的傅里叶分析工具，把它放进误差项。
但残余谱常常会在下一轮递推里以新的形式重新出现。
江临不同。
他没有试图消灭残余谱。
如果残余谱只是底层噪声，没有稳定代数结构，那么它会在独立副本的平均效应中被条件熵吸收。
如果残余谱不是噪声，而是韩砚山刚才指出的那种代数粘性，那么它在S加t的约束下，就会造成条件结构异常集中。
这种异常集中不再直接导致覆盖数失控。
在江临的框架里，它会转化为条件互信息的增长。
互信息增长，意味着结构显形。
韩砚山霍然抬头，目光灼灼地看着江临。
“所以，你从一开始就没打算消灭残余谱。”
江临坦然地点头。
“你其实是在逼它表态，对吗？”韩砚山一字一顿地说道。
“对。”
江临拿起笔，在白板上那一行条件互信息中，圈出条件互信息五个字。
“它如果消散，说明它只是波动，可以被熵账本支付掉。”
“它如果不消散，就必须以互信息的形式变成可见结构。”
“只要它变成结构，就可以转回上一层谱簇索引，进入能量缺口摊还。”
“这样，它就不能作为新的坏项回到下一层覆盖递推。”
丁剑站在右侧白板前，看着那三行压缩后的熵关系，沉默了几秒。
“这就是你在第41页所谓的第三层损失回收机制？”
“不完全是。”江临纠正道，“这只是第三层损失回收在marton熵形式里的一个入口。”
“在韩教授熟悉的组合语言里，这个动作的名字叫做强迫残余谱不重新生成新的覆盖方向。”
“而在丁教授你熟悉的熵语言里，它的名字叫做坏项永远不能在条件变量的阴影里匿名。”
丁剑忍不住点了点头。
因为江临这句话，正面回答了他刚才最担心的问题。
坏项是否会被藏进条件变量里，导致系统暗中失控。
“它无处可藏，必须以互信息的形式显形。”
因为只要它具备结构性关联，这种关联就会在四变量独立副本的交叉对合中，被转化为条件互信息。
而条件互信息，在这套证明里，不是误差堆积的位置，而是结构检测的位置。
丁剑重新拿起笔，在他那张标注了失效风险的概率转移矩阵旁边，郑重的写下一句批注。
条件变量不是误差遮蔽层，而是结构显影层。
写完这行字，丁剑陷入了长达半分钟的停顿。
因为这短短的一句话，几乎已经触摸到了江临这套证明的核心。
会议室里，江临还在引导着这套证明最后的逻辑闭环。
“当系统在某个局部发生了你们所担心的那种严重的代数粘性时，这就意味着x_1+Y_1的熵并没有按照普通的投影路线消散。”
“这看起来是问题。”
“但由于x_2和Y_2具有相同的统计结构，它们四者相加，也就是S加t的自由度，反而会被那部分代数关系约束住。”
“这种约束，会反映在一个条件互信息上。”
江临用笔在白板上，将x_1和Y_2两个变量连在一起。
“也就是：在已知宏观总和x_1+Y_1+x_2+Y_2=c的条件下，跨越了各自组合的局部变量x_1和Y_2之间的互信息。”
他转过身，看向丁剑与韩砚山。
“根据信息论中的数据处理不等式，这个增长的互信息不会凭空消失。”
“在我的公式里，它会转化为对底层结构性子空间的逼近贡献。”
“只要这个互信息严格大于零，就意味着我可以顺理成章地重新选取两个新的随机变量。”
“第一个新变量，是在S+t=c的后验条件下，抽取出的x_1。”
“第二个新变量，是在同样的条件下，抽取出的 Y_2。”
“这两个经历过对合洗礼的新变量，它们之间的鲁沙距离，必然会发生一次可以被严格下界控制的跌落。”
“残余谱造成的误差，则由上一层能量增量没有吃满的缺口吸收。”
韩砚山注视着白板上那条由香农熵、鲁沙距离、条件独立性和互信息组成的逻辑链。
手指在桌面上无意识地敲击着。
在过去的漫长岁月里，那些由balog-Szemerédi-Gowers定理的繁琐放缩、Freiman型结构定理的维数灾难、以及多轮覆盖递推所共同堆砌起的一座座不可逾越的技术高墙。
在江临这几行看似轻描淡写，实则重若千钧的熵关系面前，第一次，真正意义上的第一次，出现了可以被完全拆解重新拼装的空间。
传统的加性组合学，其研究的主体始终是集合。
在集合的语境下，每一个不符合预期的坏项，都像是一颗真实的石子，必须被定位，被覆盖，被吸收。
如果你吸收不了它，你就只能被迫开启下一轮的覆盖递推，眼睁睁地看着覆盖数一步一步走向让人绝望的指数级膨胀。
而江临的处理的革命性在于，他把这些坏项，从集合覆盖那种僵硬的递推机器里，生生地剥离了出来，强行拽进了概率系统那本庞大而精密的熵账本里。
坏项不再拥有实体。
不再直接作为新的覆盖方向，厚颜无耻地进入下一层循环。
因为它被降维打击，变成了一段可以被精细计算，被分期摊还，被互相冲抵的信息损耗。
如果它真的只是无意义的噪声，条件熵的黑洞会悄无声息地吞噬它。
如果它企图伪装成噪声，实则是隐藏的代数结构，那么条件互信息的探针会立刻让它原形毕露。
一旦显形，它的命运就被彻底改写。
它再也没有资格以坏项的身份回到覆盖递推的噩梦中。
而是被转化成结构信息。
一直以来，整个数学界都将非退化性视为证明pFR猜想的一个前提条件。
而江临用这三行公式宣告，非退化性不是前提。
它是整个系统的熵跌落到某个临界阈值之后，必然会结出的一枚结构果实。
韩砚山拿起笔，将江临刚才口述的步骤，一笔一划地重新写了一遍。
一、复制系统。
二、构造宏观可观测变量S与t。
三、引入强约束，固定S+t。
四、提取条件分布下的跨组变量x_1与Y_2。
五、计算鲁沙距离的算术跌落。
六、调用上一层能量缺口进行支付。
写完这六个步骤之后，韩砚山固定S+t那一行下面，用力画了三道横线。
“这一步，如果只是放在一般分布相对平滑的位置下，我暂时可以接受它的自洽性了。”
韩砚山抬起头，那双布满血丝的眼睛看向丁剑。
“老丁，我们把手稿第36页到第40页那些关于常数界的推导，直接代入到有限域F_2的三维空间里，代入那个条件最差的退化模型，算一遍。”
丁剑瞬间明白了韩砚山的意思。
对于这种级别的手稿，真正能决定它成立与否的，是它在条件独立结构最容易断裂、残余谱最容易重新进入覆盖递推的边界模型里，是否还能保持账本干净。
丁剑没有废话，双手抓住那块移动白板的边缘，将它翻转到另一面。
他要用矩阵演算，将江临的熵对合引理，套进一个由经典非线性结构构成，被无数前人证明过是陷阱的退化例子中。
这个例子非常小。
只存在于有限域F_2的三维空间里。
总共只有可怜的八个点。
“它不是终验。”江临在旁边补了一句。
韩砚山抬头。
江临用黑笔在八点模型旁边写：最小非平凡见证。
“高维情形靠维数归纳。归纳的每一步，靠熵对合引理传递。”
“八点模型的作用，是把最小退化结构摊开，让我们今天能在白板上亲眼看到，残余项到底有没有重新进入覆盖递推。”
丁剑看着那个小立方体，说：“也就是说，如果三维八点这里都归不到账，高维归纳一定会炸。”
“对。”江临说，“反过来，八点这里算平，只能说明最小边界模型没有反例。真正的高维闭合，还要看后面的归纳链。”
韩砚山点了点头。
这个定位很准确。
三维八点不是全文证明的终点。
它只是把一个原本藏在高维递推里的边界问题，压缩到所有人都能在白板上逐项列出的最小模型里。
对于一个门外汉来说，这样一个连高中生都能画出来的八个点的模型，简直小得滑稽，根本感觉不到任何吓人的地方。
但是在场的几人心里都如明镜一般清楚，小模型才是验证边界真正的试金石。
因为它小到没有多余的维数可以用来稀释误差，小到没有任何庞大的背景空间可以让错误藏身。
在这个八个点的微缩宇宙里，每一个条件分布的概率值，都可以被精确地列举出来。
每一项微小的熵损失，都必须被计算到小数点后若干位。
每一个试图萌芽的残余项，都无处遁形，必须清清楚楚地交代自己的归属账目。
丁剑拿起黑色马克笔，在白板的左上角，精准地画出那八个点的拓扑位置。
接着，他换上黑笔，在其中的几个点上点出标记，代表原始变量 x的概率支撑集。
随后换上红笔，标出变量Y的支撑集。
最后，他拔开蓝笔的笔帽，在空间的一侧画出一个椭圆形的区域。
那正是韩砚山之前提到过的，二次型零点集附近的异常集中区域，也是传统递推中最容易失控的位置。
韩砚山走到丁剑旁边。
第一步，丁剑在左侧列出x和Y极其不均匀的原始分布律。
第二步，韩砚山在右侧补上复制后的x_1，x_2，Y_1，Y_2四组庞大的联合分布张量。
第三步，丁剑开始穷举宏观变量S=x_1+Y_1的所有可能取值及其先验概率。
第四步，同样穷举t=x_2+Y_2。
第五步，韩砚山用红笔圈出了一个让系统最痛苦的常量c，强行施加条件：固定S+t=c。
第六步，在这张被严重挤压的概率网中，他们开始重新逐个计算条件分布下的x_1与Y_2联合矩阵。
白板上，开始缓慢浮现出一张八乘八的条件分布矩阵。
每一个矩阵的格子里，都写着简短但决定命运的数字标记。
有代表不可能的0。
有代表确定性的1。
有代表均匀分布的1/2和1/4。
还有几个位置，被丁剑记成了带有代数粘性的小概率权重a，b，c。
一分钟过去了。
五分钟过去了。
十分钟过去了。
十五分钟过去了。
江临没有上前插话，没有试图去引导他们的计算方向。
他只是站在离白板三步远的位置，看着韩砚山和丁剑沿着自己给出的变量路线继续往下验算。
第十八分钟。
丁剑的手突然停在半空。
“等等。”
他说，然后迅速用蓝笔在巨大矩阵的右下角，圈出一个格子。
那个格子里包含了一个由代数粘性引起的交叉项。
“这里出现了一个在条件化之后，无法被直接平均吸收的残余项。”
他转头看向韩砚山和江临。
“如果按你刚才说的逻辑，依靠互信息强制显形，这一项必须从误差堆里拿出来，进入结构性子空间贡献。”
韩砚山立刻接上了丁剑的思路。
“但如果它因为某个代数阻塞，无法顺利进入子空间贡献账本，那它最终还是会重新回到覆盖递推。”
江临却摇了摇头。
“韩教授，丁教授，它不会回去的，它永远进不了下一层的覆盖递推。”
江临拿起一支黑笔，在那一格残余项旁边补上一条指向左上方的箭头。
“理由在你们刚才施加的条件里。”
“固定S加t等于c之后，系统的自由度已经减少。这一项不再对应底层空间里的新自由方向。”
“它现在只能改变条件分布内部的权重分配。”
“而权重改变带来的熵损失，已经在这里扣掉了。”
江临用笔指向了丁剑在五分钟前写下的那一项巨大的条件互信息项。
“如果你们现在，因为看着它眼熟，就让它重新进入下一轮的覆盖递推计算，那就等同于在一个财务系统里，让同一笔坏账，被支付了两次。”
韩砚山的眼神一凝。
同一笔损失，支付两次。
这句话正中他过去十二年在这条路线上的失败经验。
过去那么多天才提出的旧路线，为什么总是会在推导到一半时莫名其妙地炸裂？
为什么覆盖数总是会像脱缰的野马一样失控？
不是因为他们在某一步犯了愚蠢的计算错误。
恰恰相反，是因为他们在每一步都太过谨慎。
每当系统边缘出现一个看似不可忽略的坏项，证明者就会本能地为它重新支付一次覆盖代价。
在这局部的切片里，每一次支付看起来都是那么的合理。
可当整条证明链走完，误差已经被重复支付到无法承受的程度，最终覆盖数重新回到指数级。
江临这里真正改写的，根本不是某个孤立的局部常数估计。
他是在更高维度上，直接重写了这套数学体系的支付规则。
韩砚山没有再反驳半个字。
而是低下头，顺着江临指出的那条约束，重新验算那一格的真实权重。
丁剑也顺着江临画出的箭头，将那一项从可能引发覆盖增长的矩阵里划掉，移入条件互信息账本。
又过了五分钟。
最后一步的合并同类项开始。
矩阵中的数字开始大面积地抵消湮灭。
最后一项固执的条件熵，在四变量的对消机制下，被迫化为数字洪流，压进了上一层早已预留好的能量缺口之中。
“抵消了！”
丁剑轻叹，但在落针可闻的会议室里，这三个字却像雷鸣一般震耳欲聋。
他后退半步，怔怔地看着白板上那个经过无数次碾压、剥离、对合后，最终呈现出的估算值。
缓缓转过头，看向站在身旁的韩砚山。
“老韩。”丁剑深吸了一口气，“算平了。”
韩砚山没有立刻回应这句判断。
他近乎偏执地把最后那一行结论，在白板的最下方重新写了一遍。
原本最容易导致覆盖数失控的残余项，在江临的框架下，被完美地拆成了两部分。
一部分，化作条件熵的实质性下降。
另一部分，化作结构信息，进入了能量缺口的摊还。
没有任何一丝一毫的残渣能够逃脱这层罗网，重新进入下一层的覆盖递推。
这在数学上意味着：那项在过去三十年里最容易导致指数级膨胀的梦魇，确实没有在江临的熵系统里重新获得自由度。
韩砚山紧紧注视着自己刚刚写下的那行最终估计式。
一秒。
两秒。
三秒。
然后，他松开了手，任由那支水性笔掉落在桌面上。
“不是指数级膨胀。”
他的声音低得近乎自言自语，带着大梦初醒般的恍惚。
丁剑下意识在一旁接上韩砚山的话。
“这个模型虽然只有八个点，但它容纳了我们能在有限域里构造的最坏退化情形。条件独立在这里没断，高维推广的障碍就已经扫除了最底层的那一块。”
“无论底层的代数结构发生多么不可理喻的畸变，只要系统的熵在跌落，系统就必须向一个近似线性结构集中。”
“所有误差，都被限制在K^11范围内。”
韩砚山盯着K^11看了很久。
这个指数并不追求最优。
但它足够明确。
只要每一层损失都按江临这套账本归类，覆盖数就不会再回到拟多项式，更不会掉回指数级。
“这个指数还能压吗？”丁剑问。
“能。”江临说，“但不是这一稿的任务。”
他看了一眼白板上的边界框。
“这一稿先做一件事，把递推从会失控，变成不会失控。只要这一步成立，后面的常数压缩就是技术问题，不是路线问题。”
在场的人都明白这句话的分量。
这意味着，长久以来横亘在加性组合学和信息论之间那条不可逾越的鸿沟，pFR和marton形式这组长期被数学界认定为必须分开独立处理的世纪难题，在这间303会议室里，第一次被压进了一套统一的熵账本之中。
虽然，这篇手稿还没有被整个国际数学界公开确认。
虽然，即便在此时此刻，这也还只是十几个小时的闭门会议中的一段局部推导。
但至少在这一处关键断裂点上，江临给出了可验算、可复核、能通过退化模型测试的构造。
也就在这时，江临从脚边的双肩包里拿出一块移动硬盘，放到桌面中央。
“还有这个。”
韩砚山疑惑抬头。
丁剑看向那块硬盘。
硬盘外壳上贴着一张白色标签，标签上是江临手写的几行字。
pFR_marton_F_2_v7.0_readonly
formal blueprint/dependency graph
47 core nodes
41 dependency-checked
17 Lean-verified utility lemmas
韩砚山的目光停住。
丁剑直接把硬盘拿起来。
“你做了形式化？”
“不是完整形式化证明。”江临先把边界说清楚，“完整证明已经在正文里闭合。”
他指了指硬盘。
“这里面是形式化蓝图、引理依赖图和一部分可机检的工具引理。”
“我把四十七个核心节点拆了出来，其中四十一个节点已经完成依赖标注。十七个比较基础的熵恒等式、条件分布变换和有限域线性代数工具，已经用Lean跑过。”
“剩下最重的六个核心引理，形式化符号系统比较重，在第七版正文里有完整证明。”
丁剑没有说话。
韩砚山也没有说话。
江临继续道：“这个东西能解决一个问题。”
“哪些引理依赖哪些引理，哪些损失项在哪一层支付，哪些项不能重复入账，这些东西不会随着阅读疲劳被看错。”
会议室里短暂安静下来。
这不是完整机检证明。
但已经足够说明，江临不是只写了一份漂亮手稿。
他把证明当成一个工程系统拆过。
韩砚山重新看向白板上那条被移入条件互信息账本的残余项。
同一笔损失不能支付两次。
这句话，现在不只是白板上的一句解释。
它已经被钉进了依赖图里。
韩砚山深深地吐出一口气，整个人仿佛被抽干了力气，重重坐倒在椅子上。
“三十年了。”
韩砚山喃喃自语。
疲惫仍然挂在他的眼角，但在那份疲惫下面，已经浮现出难以压抑的振奋。
“加性组合学的底层语言，从今天起，要改写了。”
丁剑双手抱胸，目光幽深地又看了一遍那个小到不能再小的三维八点退化模型。
八个孤零零的点。
四组独立同分布的副本。
一个反直觉的宏观固定条件。
一条大道至简的熵对合引理。
然后，那项困扰了无数天才，最容易失控的残余项，就这么被从下一层覆盖递推的死循环里摘了出来，重新归入了熵账本。
这东西从外表看上去，简直简洁得过分。
可丁剑知道，数学中真正有效的构造，常常就是这种形态。
它不靠堆砌符号增加复杂度，也不依赖额外假设强行绕开边界情形。
它真正的力量在于，在所有人默认必须继续支付覆盖代价的位置上，重新定义了损失的归账方式。