当废土世界隐去，现实世界回归。
暗尘弦假设的阴影，没有像乌云一样笼罩在江临的头顶上。
因为现实里没有百微米级的星际尘埃，没有天幕工程的坠落警报，也没有冷却泵疲惫的轰鸣。
他首先要降伏的，只不过是数学高维空间里暴走的残余谱，是加性组合学中稍有不慎就会带来指数级膨胀的逻辑灾难。
8月2日。
颁奖典礼的喧嚣已经过去两天，但后续议程并未结束，甚至对于某些身处焦点位置的人来说，真正的考验才刚刚开始。
紫金山庄庞大的公共区域里，仍然能随时看见胸前挂着深蓝色参会证的学者们。
电梯间里、二楼的露天咖啡区、一楼巨大的主会议厅门口，到处都是三五成群、低声交谈的数学家。
与外面的热闹形成鲜明对比的，是位于三楼走廊尽头的303闭门会议室。
早上九点整，会议室的门就被从内侧关上，并贴上了一张会议中，请勿打扰的便签。
……
这间303闭门会议室，原本只是组委会预留给小型专题讨论或临时性行政会议的备用房间。
中央是一张长条形的红木会议桌，周围整齐地摆放着十二把人体工学椅。
靠内侧的墙壁上挂着一块巨大的固定白板，而在会议桌的两侧，各立着一块可以随时推拉翻转的移动白板。
桌面上，散乱铺开、布满折痕的打印稿，成堆的草稿纸，十几支失去了笔帽的黑红两色水性笔，东倒西歪的矿泉水瓶，以及三只杯壁上凝结着一圈褐色咖啡渍的纸杯。
靠墙的那块巨大白板上，此时已经被黑、红、蓝三色的水性笔写满了数学符号。
加性组合学中的结构定理、概率测度中的条件分布公式、信息论中的熵不等式，三种截然不同的数学语言在这里被强行接到同一条证明链上。
最左边，是韩砚山写下的有限域pFR主线演化图。
中间区域，是江临手稿第31页到第35页的压缩流程图。
每一个关键引理都被画上方框，箭头彼此交错。
右侧的移动白板上，则是丁剑在过去十个小时里，凭借其在统计物理和概率论领域的深厚功底，补出来的一组概率转移矩阵和条件熵的局部估计。
丁剑是在昨天上午被请进这条审查链的。
7月31日下午，林照野在主会场外围听完韩砚山那段推导后，就判断出一件事。
pFR主线可以先交给韩砚山看，但rton熵形式部分，必须有一位真正懂概率、熵方法和统计物理直觉的人在场。
国内最合适的人选，就是丁剑。
林照野没有直接去找丁剑，而是先把话递给了丘成桐先生。
电话里，他只说了三件事。
第一，江临手里可能已经有有限域F2模型下pFR的完整闭合稿。
第二，韩砚山现场看过局部推导，判断不是想法，而是证明。
第三，证明的腰部接到了rton熵形式，需要一位概率和熵方法方向的顶级审查人。
最后是丘先生出面，以有一份手稿，需要你以概率和熵方法专家的身份看一处技术连接为理由，把丁剑约了下来。
白板上的三个方向，最终都指向同一个位置。
手稿第4.2节。
标题：熵空间纤维化投影。
在标题下方，江临还用蓝色记号笔单独画了一个边界框。
边界框里只有四行字。
本稿范围。
一，有限域F2的n维向量空间上的pFR多项式界。
二，覆盖界目标暂定为K的十一次幂。
三，F_2模型下的entropic rton bound，作为pFR主证明的副产品。
四，不讨论一般Abel群，不讨论含挠扭部分的一般rton形式，也不在本稿中追求常数最优化。
韩砚山摘下黑框眼镜，扔在满是草稿纸的桌面上，用两根大拇指按压着自己的太阳穴，试图缓解血管里那种突突跳动的肿胀感。
从上午九点会议室的门被关上开始，到现在整整十三个小时零十五分钟，真正参与技术阅读的三人没有真正意义上地停下来休息过。
午饭，晚餐都是会务组工作人员送进来的简餐。
但两顿饭，韩砚山只勉强动了两口米饭，胃里因为过度思考而产生的痉挛感让他无法咽下任何油腻的食物，后面就再也没碰过那双一次性筷子。
至于丁剑，他根本没有打开餐盒，从头到尾都只靠着咖啡续命。
现在，阅读进度卡在了手稿第33页。
这是整个证明从加性组合语言转入熵形式语言的关键连接处。
前面的有限域压缩部分，如果只是从技术难度上评判，确实艰深晦涩，但那仍然属于韩砚山熟悉的战场。
残余谱剥离。
能量增量迭代。
覆盖递推。
局部模型构造。
这些东西虽然复杂异常，误差控制稍有松动就会造成指数级增长，但毕竟还在加性组合学的传统框架内部。
韩砚山能看清每一个代数变形背后的组合动机，也能判断每一次常数放缩在多轮递推后要付出的代价。
可到了第33页之后，证明语言开始变化。
原本用来衡量结构复杂度的覆盖数，被转译成信息论中的熵损失。
最关键的是，那些在频域里始终无法完全清除的残余谱，不再只被视作傅里叶展开里的坏项，而是被江临重新解释为压缩过程中没有被算术结构支付干净的自由度残差。
这一步，是整个证明能否闭合的关键。
如果这一步走通，pFR主线和rton熵形式之间的桥接就会真正成立。
如果走不通，前面的有限域主线推导再漂亮，也只能停留在pFR局部模型里，无法构成一套能够穿过rton熵形式的统一证明。
韩砚山盯着桌面上那摊开的第33页看了很久很久。
终于，他抬起头面向江临。
“第4.2节，关于熵纤维化投影的核心估计。你在这里声称，如果存在两个独立随机变量x和Y，它们定义在有限域F2的n维向量空间上，并且它们的鲁沙距离不超过log K。”
韩砚山顿了顿，字斟句酌地开口。
“那么，在这种情况下，可以通过某种条件化操作，构造出一对新的后验随机变量x，使得它们之间的鲁沙距离产生一个绝对跌落。”
说着，他拿起红笔，在打印稿上将那行结论圈了出来。
“也就是说，新变量之间的鲁沙距离，要比原来的鲁沙距离，至少下降一个固定正量delta。这个delta必须独立于空间维数n。”
会议室里原本就沉闷的空气，随着韩砚山的话音落下，似乎变得更加凝重。
这绝不是一个简单的阅读障碍或者符号误解。
韩砚山当然看得懂江临在第33页上，雄心勃勃的目标。
他真正要问的是，这个目标凭什么成立。
江临淡淡地看了一眼韩砚山手下压着的那张草稿纸。
那张纸上几乎没有空白。
从最上方利用弱倍增条件进行的初步放缩，到中段的大谱剥离，再到最下方试图强行转向条件熵的受挫过程，韩砚山在过去几个小时里，把江临这一步反推成了一套失败矩阵。
纸张右下角，有两个被红色马克笔圈出来的大字。
重入。
旁边还加注了一行小字：残余谱重入。
这是传统加性组合框架在处理高维代数结构时最难控制的位置。
韩砚山指着自己在草稿纸上算出的那组反例矩阵，指尖微微有些颤抖。
“江临，这在传统路线上走不通。你比我清楚这一点。”
“如果x和Y的分布，在某些特殊超平面，或者某些低维代数结构上，具有极端粘性，比如高度集中在某个二次型零点集附近。那么，当你按照第33页的逻辑，通过条件概率对它们进行降维剥离时，残余谱会产生严重的代数相关性。”
他说到这里，语速刻意地慢了下来。
“互信息，绝对不会像你公式里期望的那样，呈现出一种平滑线性的衰减。”
“相反，它会在某些特定的对偶基下，发生级联放大。”
“更麻烦的是，这个级联放大会反过来污染下一层覆盖估计。你在前文的组合语言里，好不容易通过能量增量把残余谱固定住了。可一旦转到熵语言里，如果这些残余谱通过条件变量重新获得哪怕一部分自由度……”
韩砚山用笔尖点了点第33页上的结论。
“这里一开，后面就全开。”
“前面在有限域里压住的乘法损失，会在这里换成概率论的形式重新回来。覆盖数会重新进入指数级增长，log K边界就保不住。”
一直沉默演算的丁剑，此时也放下了笔。
他的面前，整齐地排列着四张写满概率转移矩阵的表格。
不同于韩砚山那张充满挣扎和涂改的草稿，丁剑的这四张表格干净整洁，透着一股统计物理学家特有的冷峻。
每一列，都严丝合缝地对应着一个条件分布。
每一行，都清晰地映射着一个纤维层级。
然而，在这份极度整洁的表格中，某些关键的矩阵元位置，被丁剑用蓝色的钢笔打上了醒目的斜线，旁边用极细的字体标注着。
条件独立失效风险。
“老韩这话，指出了最关键的问题。”
暗尘弦假设的阴影，没有像乌云一样笼罩在江临的头顶上。
因为现实里没有百微米级的星际尘埃，没有天幕工程的坠落警报，也没有冷却泵疲惫的轰鸣。
他首先要降伏的，只不过是数学高维空间里暴走的残余谱，是加性组合学中稍有不慎就会带来指数级膨胀的逻辑灾难。
8月2日。
颁奖典礼的喧嚣已经过去两天，但后续议程并未结束，甚至对于某些身处焦点位置的人来说，真正的考验才刚刚开始。
紫金山庄庞大的公共区域里，仍然能随时看见胸前挂着深蓝色参会证的学者们。
电梯间里、二楼的露天咖啡区、一楼巨大的主会议厅门口，到处都是三五成群、低声交谈的数学家。
与外面的热闹形成鲜明对比的，是位于三楼走廊尽头的303闭门会议室。
早上九点整，会议室的门就被从内侧关上，并贴上了一张会议中，请勿打扰的便签。
……
这间303闭门会议室，原本只是组委会预留给小型专题讨论或临时性行政会议的备用房间。
中央是一张长条形的红木会议桌，周围整齐地摆放着十二把人体工学椅。
靠内侧的墙壁上挂着一块巨大的固定白板，而在会议桌的两侧，各立着一块可以随时推拉翻转的移动白板。
桌面上，散乱铺开、布满折痕的打印稿，成堆的草稿纸，十几支失去了笔帽的黑红两色水性笔，东倒西歪的矿泉水瓶，以及三只杯壁上凝结着一圈褐色咖啡渍的纸杯。
靠墙的那块巨大白板上，此时已经被黑、红、蓝三色的水性笔写满了数学符号。
加性组合学中的结构定理、概率测度中的条件分布公式、信息论中的熵不等式，三种截然不同的数学语言在这里被强行接到同一条证明链上。
最左边，是韩砚山写下的有限域pFR主线演化图。
中间区域，是江临手稿第31页到第35页的压缩流程图。
每一个关键引理都被画上方框，箭头彼此交错。
右侧的移动白板上，则是丁剑在过去十个小时里，凭借其在统计物理和概率论领域的深厚功底，补出来的一组概率转移矩阵和条件熵的局部估计。
丁剑是在昨天上午被请进这条审查链的。
7月31日下午，林照野在主会场外围听完韩砚山那段推导后，就判断出一件事。
pFR主线可以先交给韩砚山看，但rton熵形式部分，必须有一位真正懂概率、熵方法和统计物理直觉的人在场。
国内最合适的人选，就是丁剑。
林照野没有直接去找丁剑，而是先把话递给了丘成桐先生。
电话里，他只说了三件事。
第一，江临手里可能已经有有限域F2模型下pFR的完整闭合稿。
第二，韩砚山现场看过局部推导，判断不是想法，而是证明。
第三，证明的腰部接到了rton熵形式，需要一位概率和熵方法方向的顶级审查人。
最后是丘先生出面，以有一份手稿，需要你以概率和熵方法专家的身份看一处技术连接为理由，把丁剑约了下来。
白板上的三个方向，最终都指向同一个位置。
手稿第4.2节。
标题：熵空间纤维化投影。
在标题下方，江临还用蓝色记号笔单独画了一个边界框。
边界框里只有四行字。
本稿范围。
一，有限域F2的n维向量空间上的pFR多项式界。
二，覆盖界目标暂定为K的十一次幂。
三，F_2模型下的entropic rton bound，作为pFR主证明的副产品。
四，不讨论一般Abel群，不讨论含挠扭部分的一般rton形式，也不在本稿中追求常数最优化。
韩砚山摘下黑框眼镜，扔在满是草稿纸的桌面上，用两根大拇指按压着自己的太阳穴，试图缓解血管里那种突突跳动的肿胀感。
从上午九点会议室的门被关上开始，到现在整整十三个小时零十五分钟，真正参与技术阅读的三人没有真正意义上地停下来休息过。
午饭，晚餐都是会务组工作人员送进来的简餐。
但两顿饭，韩砚山只勉强动了两口米饭，胃里因为过度思考而产生的痉挛感让他无法咽下任何油腻的食物，后面就再也没碰过那双一次性筷子。
至于丁剑，他根本没有打开餐盒，从头到尾都只靠着咖啡续命。
现在，阅读进度卡在了手稿第33页。
这是整个证明从加性组合语言转入熵形式语言的关键连接处。
前面的有限域压缩部分，如果只是从技术难度上评判，确实艰深晦涩，但那仍然属于韩砚山熟悉的战场。
残余谱剥离。
能量增量迭代。
覆盖递推。
局部模型构造。
这些东西虽然复杂异常，误差控制稍有松动就会造成指数级增长，但毕竟还在加性组合学的传统框架内部。
韩砚山能看清每一个代数变形背后的组合动机，也能判断每一次常数放缩在多轮递推后要付出的代价。
可到了第33页之后，证明语言开始变化。
原本用来衡量结构复杂度的覆盖数，被转译成信息论中的熵损失。
最关键的是，那些在频域里始终无法完全清除的残余谱，不再只被视作傅里叶展开里的坏项，而是被江临重新解释为压缩过程中没有被算术结构支付干净的自由度残差。
这一步，是整个证明能否闭合的关键。
如果这一步走通，pFR主线和rton熵形式之间的桥接就会真正成立。
如果走不通，前面的有限域主线推导再漂亮，也只能停留在pFR局部模型里，无法构成一套能够穿过rton熵形式的统一证明。
韩砚山盯着桌面上那摊开的第33页看了很久很久。
终于，他抬起头面向江临。
“第4.2节，关于熵纤维化投影的核心估计。你在这里声称，如果存在两个独立随机变量x和Y，它们定义在有限域F2的n维向量空间上，并且它们的鲁沙距离不超过log K。”
韩砚山顿了顿，字斟句酌地开口。
“那么，在这种情况下，可以通过某种条件化操作，构造出一对新的后验随机变量x，使得它们之间的鲁沙距离产生一个绝对跌落。”
说着，他拿起红笔，在打印稿上将那行结论圈了出来。
“也就是说，新变量之间的鲁沙距离，要比原来的鲁沙距离，至少下降一个固定正量delta。这个delta必须独立于空间维数n。”
会议室里原本就沉闷的空气，随着韩砚山的话音落下，似乎变得更加凝重。
这绝不是一个简单的阅读障碍或者符号误解。
韩砚山当然看得懂江临在第33页上，雄心勃勃的目标。
他真正要问的是，这个目标凭什么成立。
江临淡淡地看了一眼韩砚山手下压着的那张草稿纸。
那张纸上几乎没有空白。
从最上方利用弱倍增条件进行的初步放缩，到中段的大谱剥离，再到最下方试图强行转向条件熵的受挫过程，韩砚山在过去几个小时里，把江临这一步反推成了一套失败矩阵。
纸张右下角，有两个被红色马克笔圈出来的大字。
重入。
旁边还加注了一行小字：残余谱重入。
这是传统加性组合框架在处理高维代数结构时最难控制的位置。
韩砚山指着自己在草稿纸上算出的那组反例矩阵，指尖微微有些颤抖。
“江临，这在传统路线上走不通。你比我清楚这一点。”
“如果x和Y的分布，在某些特殊超平面，或者某些低维代数结构上，具有极端粘性，比如高度集中在某个二次型零点集附近。那么，当你按照第33页的逻辑，通过条件概率对它们进行降维剥离时，残余谱会产生严重的代数相关性。”
他说到这里，语速刻意地慢了下来。
“互信息，绝对不会像你公式里期望的那样，呈现出一种平滑线性的衰减。”
“相反，它会在某些特定的对偶基下，发生级联放大。”
“更麻烦的是，这个级联放大会反过来污染下一层覆盖估计。你在前文的组合语言里，好不容易通过能量增量把残余谱固定住了。可一旦转到熵语言里，如果这些残余谱通过条件变量重新获得哪怕一部分自由度……”
韩砚山用笔尖点了点第33页上的结论。
“这里一开，后面就全开。”
“前面在有限域里压住的乘法损失，会在这里换成概率论的形式重新回来。覆盖数会重新进入指数级增长，log K边界就保不住。”
一直沉默演算的丁剑，此时也放下了笔。
他的面前，整齐地排列着四张写满概率转移矩阵的表格。
不同于韩砚山那张充满挣扎和涂改的草稿，丁剑的这四张表格干净整洁，透着一股统计物理学家特有的冷峻。
每一列，都严丝合缝地对应着一个条件分布。
每一行，都清晰地映射着一个纤维层级。
然而，在这份极度整洁的表格中，某些关键的矩阵元位置，被丁剑用蓝色的钢笔打上了醒目的斜线，旁边用极细的字体标注着。
条件独立失效风险。
“老韩这话，指出了最关键的问题。”