这个学霸疑似巨额知识来源不明 - 第137章 降维编译

    七月三十一日的夜，紫金山庄的灯光仍然亮著。
    第六届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代码，江临开始怀疑自己是不是走错了方向。
    但在经过几天几夜不眠不休的推演后，他发现，不是他的统一方案错了，而是问题本身的物理性质在抗拒这种统一。
    谱簇是物理的，区间是组合的。
    它们本质上是两种不同的划分逻辑。
    物理逻辑关心的是这个频率分量怎么在时间演化中衰减，组合逻辑关心的是这个密度层级对最终的覆盖数能贡献多少筹码。
    它们不是同一个东西的两面，而是同一个高维客体，在两个截然不同的低维坐標系里的投影。
    投影与投影之间，是不存在保结构的全局一一映射的。
    认清了这个残酷的现实后，他最后做出了一个违背学术写作惯例的决定。
    保留双层索引。
    代价是读者在阅读时，需要在两个体系之间来回切换。
    每次从损失回收部分过渡到marton接桥部分，都需要去翻阅一次繁琐的术语对照表。
    但好处是巨大的。
    两个体系各自的数学表达都没有牺牲任何一点精度，也没有为了追求表面的统一，而在极端退化情形下悄悄引入模糊的近似。
    他在那份精心编制的术语对照表中，给出了从谱簇编號到密度閾值区间的显式映射规则。
    不仅如此，他还以防万一地额外列出了一整页的警告。
    这个映射在哪些退化情形下会发生失效。
    这张不到三页的对照表，他写了又改，改了又扔，前前后后耗费了將近四个月的心血。
    上卷完成的那一天，江临看著屏幕上密密麻麻的pdf文档，单开了一个厚重到足以砸死人的副录，將其命名为《退化情形索引》。
    里面密密麻麻地列举了局部密度过低、弱倍增常数畸变、谱簇残余项逼近閾值等几十种可能导致系统崩溃的极端变种情况。
    这套索引应该足够应对未来十年內，全球同行可能提出的绝大多数刁钻的反例了。
    下卷命名为《熵控制的marton接桥》。
    这是专门为那些具备深厚概率论功底、熟悉统计物理，並对高维拓扑结构有著敏锐直觉的读者准备的入口。
    在这一卷的写作中，最大的阅读障碍在於如何向同行解释，非退化条件並非整个系统入口的严苛前提，而是在经歷层层信息压缩后，自然显露出的演化结果？
    江临在石屋里枯坐了整整三个星期。
    键盘上敲下的公式刪了又写，写了又刪。
    废土的沙暴在屋外肆虐，他的內心也犹如一团乱麻。
    因为他始终觉得，纯代数的表述太过生硬。
    熵控制函数的构造，在代数层面当然可以给出严格定义。
    但如果只用乾瘪的代数语言来写，读者就会问，为什么偏偏是这个形式的熵？为什么不是香农熵或者微观正则熵？
    读起来就像是作者凭藉上帝视角凭空捏造出来的外掛。
    像丁剑这类概率论与数理物理训练极深的学者，是不会满足於一句我们定义如下函数的。
    他们需要看到底层的物理图景。
    陷入瓶颈的江临，无意间翻开了硬碟角落里，俄罗斯数学家v.i. arnold所著的那本经典教材。
    《经典力学的数学方法》。
    arnold在书中讲的是经典力学，但他用的完全是辛几何与流形的语言。
    这不是他第一次读这本书。
    在第四次废土的那几十年时间里，他就曾为其中优雅的几何化表述而著迷。
    江临静静地注视著屏幕上关於相空间与动力系统保体积结构的討论，脑海中突然闪过一道闪电。
    他一直试图直接告诉读者熵控制函数应该这样定义，非退化条件应该这样进入，marton接桥应该从这里接上。
    是的，每一句话在代数上都可以写得严丝合缝。
    每一个凭空拋出的定义，也都能在后文的繁琐推演中得到强有力的验证。
    可问题在於，这种写法太像从天上落下来的一组代数安排。
    读者当然可以耐著性子去检查它的推导对不对。
    但他们很难在第一时间领悟，为什么偏偏是这组特定的熵形式？
    为什么非退化条件不是一开始就作为前提强行假设，而是在压缩的末端才自然暴露出来的结构约束？
    江临深吸了一口气。
    他当然知道，pfr问题上的有限域组合结构，不能被简单粗暴地说成某种真实的物理相空间。
    但arnold的几何语言提醒了他一件事。
    一套复杂至极的数学证明，其內在的动机，並不一定非要用一堆枯燥的代数定义来堆砌。
    它完全可以用结构是如何隨著时间演化的这种动態视角来组织。
    在pfr/marton的这条路线上，真正发生的物理事实，並不是某个单独的不等式突然被外力加强了。
    而是那些粗糙的集合，在经过多层信息压缩的筛网时，正在不断地失去它们的自由度。
    第一层谱剥离，削掉的是那些高频的显性的自由度。
    第二层局部化，像是一个坚固的模具，固定的是那些低频的宏观可控的结构。
    第三层损失回收，它要处理的，就是那些既不能被轻易丟弃，又不能被重新释放为自由谱的残余项。
    熵控制函数在这里的真正作用，根本不是一个作者为了凑结果而外加的技术补丁。
    它更像是对这段结构压缩过程的一种计量方式。
    记录哪些自由度，已经在上一层的剥离中被支付过了？
    记录哪些复杂度，仍然在当前的递推链条中像暗流一样流动？
    记录还有哪些残余项，只能认命地作为上一层结构簇中的局部误差被强行摊还，而永远失去了重新获得独立製造覆盖数增长的资格？
    顺著这个思路写，代数定义一行都没有变。
    证明的逻辑强度也一分都没有减弱。
    但读者终於能够透过那些密密麻麻的符號，看清隱藏在背后的宏大图景。
    熵控制函数为什么註定会出现在这个位置。
    也能清晰地看到，marton接桥处所谓的非退化条件，根本不是被作者预先强行塞进系统的严苛前提。
    它只是在经歷了多层自由度压缩之后，为了让覆盖递推的帐本继续保持多项式级別的控制，而自然显露出来的物理边界。
    江临果断地刪除了下卷中原先那段长达数页，生硬无比的定义铺陈。
    重开了一节。
    標题是：【the evolution of controlled entropy（受控熵的演化）】
    在这一节中，他没有削弱哪怕一丝一毫的学术严格性。
    每一个熵函数，仍然被给出了明確的闭式表达。
    每一个覆盖递推，最终仍然乖乖回到了可被数值核验的不等式上。
    每一个非退化条件，仍然在后文的引理中被逐项检查著。
    但它的气质变了。
    不再像一组凭空指定，不讲道理的代数规则。
    变成了一条充满生机与必然性的逻辑路径。
    从结构压缩，自由度消耗，残余项摊还，一路顺理成章地走到了marton接桥入口条件的自然浮现。
    下卷的写作，在这个全新视角的加持下，如同破冰的航船般重新全速推进。
    江临没有再试图用几行乾瘪的定义去硬压所有的动机。
    他像一个耐心的导师，把熵控制函数与marton接桥的耦合机制，像剥洋葱一样拆成了三层。
    第一层，从资讯理论的角度解释这个特定的熵控制函数，计量的到底是被压缩掉的哪一类复杂度。
    第二层，利用控制变量法，比较不同熵形式的代入下，覆盖递推在增长速率上的显式差异。
    第三层，完成闭环，说明第三层损失回收机制为什么会反过来形成约束，限定了marton接桥处只能允许使用当前的熵形式。
    这样一来，下卷不再只是附著在主论文后面一条累赘的技术尾巴，彻底脱胎换骨。
    堂堂正正地成为了另一条宽阔的读者入口。
    对於专精加性组合方向的学者，他们可以从上卷进入，那里有关於残余谱摊还的財务帐目。
    对於那些概率论、统计物理出身，对高维空间有著更强直觉的学者，下卷则向他们完美展示了那套冰冷的帐目，是如何通过受控熵这种优美的形式，悄无声息地接入marton路线的。
    当下卷敲下最后一个標点符號时，江临在文件的末尾，克制地补了一行脚註。
    【註：本文中涉及的几何语言与物理直觉，仅用於组织论证动机。所有最终结论，仍严格以代数估计、有限步覆盖递推与符號校验结果为准。】
    时间在枯燥、单调却又充满韵律的键盘敲击声中静静流逝。
    废土的烈日升起又落下，风暴来了又走。
    终於，工作站屏幕下方的latex编译进度条，平稳地滑到了终点。
    一行绿色的提示符在终端弹出。
    0 errors，0 unresolved references，0 overfull boxes.
    七遍。
    从那份只有他自己能看懂的天书般的初稿，到眼前这最后定稿的第七版。
    庞杂芜蔓的枝节被尽数削去，第七版最终凝练到了只剩下四十二页。
    但这四十二页，字字千钧。
    它的骨架清晰得犹如解剖图。
    pfr问题背景与旧路线断点分析-＞有限域模型与弱倍增条件重构-＞第三层损失回收机制引入-＞残余谱帐目重写-＞熵控制函数与覆盖递推的耦合-＞最终走向marton接桥。
    桌面工作目录下，静静地躺著四份独立的pdf文件和三个不同用途的打包版本。
    第一份，主论文。
    標题犹如利剑出鞘： 《finite-field pfr via third-layer loss recovery》（基於第三层损失回收机制的有限域pfr问题证明）。
    正文整整四十二页。
    每一步推导，要么当场给出无可辩驳的代数证明，要么明確地指向前文具体的引理编號。
    那个让他痛苦了几个月的双层索引系统，在文中的任何一处出现时，旁边都必定跟著一个指向术语对照表的超连结脚註。
    第二份，技术备忘录一。
    《residual spectrum amortization》（残余谱摊还）。
    这份文件专门用来处理残余谱摊还的技术细节。
    那些在主论文中为了保持阅读流畅性而被压缩成本处可通过常规计算验证的退化情形分析，那些他在废土中尝试过但最终放弃的替代方案论证，以及那些足以让后人少走十年弯路的失败路径记录，全都被收录其中。
    第三份，技术备忘录二。
    《entropy-controlled marton bridge》（受控熵的marton接桥）。
    聚焦於熵控制函数与marton接桥的深层耦合机制。
    详细论述了为什么必须选择这一组熵形式，不同熵形式下覆盖递推的微小差异，以及第三层损失回收对熵控制函数的强制约束边界。
    第四份，独立核验指南。
    这是他在最后时刻，额外增加的一份新文件。
    它的受眾非常明確：面向韩砚山，以及全世界任何愿意花上几个月时间，一页一页去挑错的顶尖大脑。
    指南严格按照主论文的章节顺序排列。
    它用高亮標註了每一节之间的逻辑依赖关係、必须死守的关键检查点、最容易导致推导崩溃的退化边界，甚至贴心地指出了哪些引理可以被单独拆出来独立验证，而哪些引理必须和上下文绑定在一起阅读。
    而在这四份文件之上，是三个针对不同场景的打包版本。
    【自用版】：保留了完整的四份文件，甚至附带了包含mps状態机检索原始代码的仓库，以及大量带有废土工程学色彩的中文字符註解。
    江临不打算对这个版本做任何刪减，这是为了方便他自己以后在脑海中復盘。
    【韩砚山核验版】：包含了主论文、两份技术备忘录以及那份至关重要的独立核验指南。排版乾净利落，注释的口吻默认了读者是一个严苛耐心，且隨时准备推翻他的专业同行。
    在这个版本里，残余谱摊还的逻辑链条被强化到了令人髮指的地步。
    【公开投稿预备版】：这是未来准备发往顶刊的版本。
    只保留了最为核心的主论文主体。技术备忘录被作为可选项的补充材料附在后面，而那份过於直白的独立核验指南则被隱去（只在回覆审稿人意见时使用）。
    这个版本去除了所有容易引起外行歧义的跨界隱喻与几何比喻，呈现出一种纯粹的数学之美。
    至此，论文完成，只待整个现实世界最聪明的脑袋去联合审查。