第137章 降维编译（1/2）

七月三十一日的夜，紫金山庄的灯光仍然亮著。

第六届iccm毕业论文奖颁奖典礼正进行著。

江临却已经离开了紫金山庄。

他吃过晚饭，就背著包，拖著行李箱搭乘网约车去了城东物流园。

车窗外，南京城夏夜的霓虹灯带如流体般向后飞掠。

而在他的视网膜右上角，一串只有他自己能看见的数字，正在一秒一秒地跳动倒数。

【00：11：27：14】

【00：11：27：13】

距离第十次废土传送，还剩不到11个半小时。

事实上，早在接到丘成桐先生那通秘密通知金奖的电话时，他就已经將现实的行程表与废土的倒计时进行了重叠比对。

因此，在动身来南京前，他便让低熵工坊的行政负责人梁知夏以低熵工坊外场地形勘测设备中转的名义，在南京城东物流园短租了一间c级仓库。

在来南京之前，他已经陆陆续续將高度定製的生存物资、勘探设备以及计算硬体，分批次发到了这间仓库里。

网约车在物流园外围的减速带前停下。

江临刷开门禁，步行穿过两排停满重型卡车的车道。

引擎的怠速轰鸣声和装卸工人的粗口在远处的a区迴荡，而他所在的c区则显得格外静謐。

来到c-17仓库前，拉开捲帘门，推上空气开关，工业照明灯瞬间照亮这间一百多平米的厂房。

仓库中央，五个不同规格的重型防震工程箱、几大捆管材，以及一辆被尼龙绑带固定在托盘上的黑色电动越野摩托，正静静地蛰伏著。

江临快步走上前，从旁边拿起美工刀，开始验收与拆箱。

a区箱体打开。

里面是一台移动工作站，以及四块大容量的高速固態硬碟。

硬碟內已经提前封装了完整的离线latex编译环境、git版本控制系统，以及数以万计的数学、物理与控制论交叉文献库。

这是他为pfr/marton主证明准备的新的弹药库。

脑海中的证明闭合是一回事，將其降维编译成同行能够毫无障碍阅读的严密文本，还需要一场旷日持久的案头苦工。

b区与c区相连。

装载的是为第十次废土探索远行准备的机动底盘。

那辆续航经过深度改装的电动摩托旁，静静躺著一台长航时航测无人机。

无人机旁边码放著三套备用碳纤维旋翼、大功率图传模块和高密度电池组。

在上一轮废土中，他已经將前哨站周边的近场地形环境摸透，这一次，他必须把探索半径推向七十公里之外的更深处。

走到d区和e区，江临的动作稍作停顿。

这里堆放著大量的pom棒材、工业级接插件、传感器模块，以及几卷特殊的隔热材料。

最惹眼的是，箱底防震棉里嵌著一整套可携式微型焊台、示波模块，以及几罐在普通五金店极难买到的鎵銦锡合金。

这种常温下呈液態的金属，是他用来修復废土中高功率电机滑环与柔性导电接口的生命线。

验收持续了整整三个小时。

江临將所有物资重新分类打包，利用滑轮组和棘轮绑带，將防震箱以均衡的配重方式，固定在电动越野摩托的两侧掛架与后座上。

凌晨五点四十五分。

所有的准备工作完毕。

江临换上一套耐磨的深灰色工装服和高帮战术靴，並將防尘口罩拉到了下巴处。

南京城的天际线已经泛起了一层湿热的鱼肚白，早班物流车的引擎声在远处的晨雾中作响。

江临收回目光，长腿一跨，坐上那辆已经负载到极限的越野摩托，双手握住黑色橡胶车把。

视网膜上数字，进入了最后的读秒。

【00：00：00：10】

……

【00：00：00：01】

【00：00：00：00】

南京清晨那种特有的潮湿热意在剎那间褪尽，仿佛被一只无形的巨手瞬间抽乾。

隨之而来的，是无所不在的乾燥与粗糲。

眨眼间，车轮下方从物流园平整的水泥地，变成了前哨站外那片被他打磨、压实过无数遍的硬化土层。

面前，那座经过十九次扩建，结构已经复杂如堡垒般的石屋，正沉默地佇立在废土灰白色的晨光里。

更远处，废土的地平线像一条被钝器反覆打磨过的铁线，沉重地横在空旷世界的尽头。

这一次，第十次废土之行，江临没有立刻出发。

七十公里之外的探索不是一场说走就走的远行，必须建立在供能、补给、水循环、道路基准点和应急维修体系全部稳定之后。

所以，前几年，他哪里都没去，就专心种田，种树，种草，维护水、太阳能和风能循环系统。

在这些机械性的体力劳动之外，江临所有的心智算力，都倾注在了撰写pfr/marton主论文上面。

在他的脑海中，pfr/marton的主证明其实已经无懈可击地闭合了。

但数学证明在个人逻辑上的自洽，与能够被学术共同体接受並顺利通过同行审查，是两个截然不同的概念。

过去一百多年里，他在废土的极端生存压力下，將江氏砖的局部强迫机制、mps搜索框架的状態机逻辑，以及处理真实物理噪声的工程直觉粗暴而野蛮地揉捏在一起，形成了一套极具废土质感，充满暴力美学的证明路线。

这套证明路线杂糅出来的符號系统，如果直接列印出来拍在韩砚山教授的办公桌上，对方绝对只会以为自己是在看某种外星文明的天书。

因为里面充满了太多非正统的跳跃式推导，以及只有江临自己能看懂的，为了节省算力而发明的代数压缩记號。

他必须进行降维。

在这座被时间遗忘的荒原里，花一点时间写出一份现实世界里那些受过正统数学训练，但没有经歷过废土非標工程洗礼的学者，也能够一步步跟上的阅读路径。

写给自己看的东西和写给別人看的东西，是两种完全不同的技能。

他最初的笔记只有自己能读懂。

符號是临时起意编造的，引理的编號是按照脑海中灵感闪现的顺序排列的。

从损失递推机制到marton接桥的那个至关重要的过渡段，他的笔记上其实只有四个字。

此处显然。

显然。

对他的大脑来说，那確实是显然的。

因为他在废土的孤寂中，盯著这一个切面看了几十年，早就將它的拓扑结构烙印在了神经元上。

但对任何外部读者，这行显然下方掩盖的逻辑断裂，足以让他们在翻过这一页的瞬间，直接把整篇论文扔进废纸篓。

论文的第一版初稿，他藉助工作站的算力，敲敲打打写了將近四个月。

写完之后，他强迫自己清空大脑，以一个陌生审稿人的视角通读了一遍。

隨后，他得出一个结论。

太密了。

证明本身的逻辑密度没有发生变化。

有限域pfr问题的复杂度本质摆在那里，就如同废土的重力无法被取消，损失递推的层数在数学结构上是不可能被凭空压缩的。

看起来密不透风的是他的写作方式。

每一段都在疯狂地堆砌高阶符號，每一个逻辑过渡都在极力追求最短路径上的跳跃。

整篇论文读起来，就像是一个不允许读者进行任何一次换气的超长复句。

他自己能读懂，是因为他知道在哪里可以停顿吸气。

但外部读者不知道，他们会在这种高压的阅读体验中窒息。

於是，他毫不犹豫地把第一版推倒重来。

在第二版中，他试图拉宽阅读路径。

把主证明的每一步都拆解开来，写成独立的段落，並为每一个关键引理都配备了详尽的动机说明。

写完后，他发现了另一个问题。

太长了。

主论文像发酵的麵团一样膨胀到了將近八十页。

其中將近三成的篇幅是解释性的注水文字，这些文字就像杂草一样，完全淹没了证明本身那冷峻优美的骨架。

第三版，他咬著牙回到骨架本身。

大刀阔斧地砍掉过度解释，但小心翼翼地保留了每节开头那句为什么这一步要走这里的引导句。

到了第四版，他又觉得这些引导句还是显得过於囉嗦，破坏了数学文本应有的克制与严谨。

等到第五版写到一半时，江临忽然意识到论文中隱藏著一个更为深刻的危机。

他一直都在细枝末节上调整表达方式，但论文本身的顶层结构从一开始就是错的。

自己试图把一套杂糅了现代组合数学、高阶概率论、资讯理论以及统计物理中熵分析的庞杂內容，强行塞进一根线性的敘事管道里。

无论他怎么修辞，怎么调整表达的颗粒度，这条管道都註定会在某个特定背景的读者群体面前发生断裂。

概率学家看不懂他的组合构造，组合学家又会被他的熵流形搞晕。

他乾脆停下了第五版的修改，在石屋后，那棵已经长到遮天蔽日的胡杨树下静坐了三天。

隨后，他做了一件他在现实科研生涯中从未尝试过的大胆举措。

將一份庞大且混沌的原稿一分为二。

上卷，剑指加性组合学。

这是韩砚山深耕了半辈子的领域，也是这篇证明必须首先攻克的学术壁垒。

他大刀阔斧地砍掉了近三成自己生造的冗余符號，把残余谱簇的局部化过程、谱索引的固定方式，以及最关键的能量缺口概念，全部替换为现代组合数学界公认的標准记號。

针对那条曾经卡住无数人的第三层递推，他不再试图用一句轻飘飘的残余谱的帐目归属糊弄过去。

而是老老实实一板一眼地建构了一个局部误差项矩阵。

在长达八十多页的推导中，他將原本在旧路线里会导致指数级爆炸的乘法损失，像拆解机械的齿轮一样，一步步拆解为可被上一层结构完全吸收的加法误差。

在这个过程中，他一头撞上了整篇论文中最难处理也最容易引发歧义的技术问题。

谱簇索引与密度閾值区间索引——两套下標系统。

谱簇是频域侧的划分，关心的是残余频率分量的衰减模式。

密度閾值区间是组合侧的划分，关心的是残余项对覆盖递推贡献落在哪一个閾值台阶上。

两套下標。

描述的却是同一批数学量。

分开读的时候，损失回收部分用谱簇编號写得乾净利落，marton接桥部分用密度閾值区间编號也写得清晰明了。

但当这两部分逻辑需要连在一起咬合时，灾难降临了。同一个变量，在不同的位置被迫使用了两套完全不同的名字。

读者在阅读时，需要像一台低效的翻译机一样，翻过去又翻回来，在脑海中不断进行状態对比和切换。

江临尝试强行统一这两套系统。

他花了一个月的时间，试图在所有地方全部使用谱簇编號。

失败了。

marton接桥处的覆盖递推，其內在逻辑必须按照密度閾值来分步进行，而谱簇编號根本无法反映出足够的密度信息，强行使用会导致推导链条断裂。

他又花了一个月的时间，试著全部换成密度閾值区间编號。

还是失败。

在损失回收机制中，谱簇的衰减行为与密度閾值的变化並不完全共线。

有些低频的谱簇会跨越多个密度閾值区间，如果强行用区间编號来標记，就会彻底模糊掉衰减率的变化轨跡，导致不等式放缩失效。

到了第三个月，面对著满屏报错的latex代码，江临开始怀疑自己是不是走错了方向。

但在经过几天几夜不眠不休的推演后，他发现，不是他的统一方案错了，而是问题本身的物理性质在抗拒这种统一。

谱簇是物理的，区间是组合的。

它们本质上是两种不同的划分逻辑。