第424章 装不下的房间
纽加德的办公室在埃克哈特楼三层靠东的尽头,门虚掩着,走廊里的日光灯管有一根坏了,闪个不停。林允宁推门进去,先看到了劳拉。她坐在靠窗那把旧转椅上,手里捏着一杯纸杯咖啡,杯壁已经被捏得微微变形。纽加德站在办公桌后面,没坐,身前摊着一摞打印纸。“允宁来了,把门关上吧。”纽加德说。林允宁把门带上,在劳拉对面的椅子上坐下。纽加德寒暄两句,就把打印纸里最上面的两页抽出来,推到桌子前沿。“你看一下。”林允宁拿过来。第一页是费弗曼那封质询信的抄送清单。六个名字,全是系委员会的常任成员,最后一个是劳拉·宋。日期标在三天前。第二页是陶哲轩在arXiv上最新的一篇短评的截图,标题里带着“open Questionsthe Lin Criterion”,发布时间距现在不到四十八小时。底下有人贴了一段普林斯顿物理系内部邮件列表里流出来的讨论摘要,威腾的名字出现了两次。林允宁把两页纸放回桌上。“昨天下午,”纽加德说,“普林斯顿物理系的行政秘书把电话打到了我办公室。打来的竟然是行政人员,她一直在探口风,问芝大近期有没有为你举行正式学术活动的计划。”他停了一下。“行政人员出面问这种问题,意味着普林斯顿整个系都在等我们芝加哥大学的动作。”劳拉把变形的纸杯放在窗台上,没接话。“费弗曼的质询信你们都看过了。”纽加德继续说,语气发沉,“他的问题不只是技术层面的。他在问一件更基本的事......“你的NS判据是不是只在现象描述层面有用,还是具备更深的理论根基。这个问题一旦从个人通信变成抄送给整个系委员会的正式质询,性质就变了。”“它已经变了。”劳拉说。纽加德点了一下头。“闭门研讨会是你之前申请的方案,”他看着林允宁,“我考虑过。结论是不行。”林允宁没有说话。“理由很简单。费弗曼的信已经在流转,陶哲轩的追问挂在arXiv上谁都看得见,普林斯顿物理系在打听我们的安排。如果芝大在这个时候只搞一个闭门会,会后不管有什么结论,都不可能不泄露。“一旦外面知道我们是闭门处理的,学校会被问两个问题:第一,芝大是不是觉得这件事不够重要,不值得用正式程序;第二,芝大是不是在回避公开审视。”“这两个质疑我们都没法解释。”劳拉说。“对。”纽加德把散落的打印纸归找到一起,双手撑在桌沿上。“所以我们最后讨论的决定是,闭门会取消,升级为博士毕业答辩,以公开的形式,作为一场学术报告会。”他顿了一下,“场地我已经让行政去查了,洛克菲勒礼堂那个月有两个可用日期。答辩委员会的规格我打算拉到最高,至少包含三名校外成员。公开报告对全校和受邀外部学者开放。“你的本科答辩就是在那里,应该很熟悉了。”林允宁的视线从纽加德脸上移到桌面上那摞打印纸,又移回来。“一个月?”他问。“一个月。委员会名单和校外邀请需要时间协调,这已经是最快的了。”纽加德说,“你的学术成就早就超越了普通博士的范畴,流程上和资格上都没什么问题,这一点劳拉和我都确认过了。”劳拉的手指在膝盖上敲了一下。“允宁,”她开口道,语速放得很慢,“我同意这么安排。但有个事我得跟你确认。”林允宁看着她。“霍奇猜想你有公开突破的底稿,NS判据已经挂在arxiv上,这两条我不担心。”劳拉向前倾了一点身体,“但杨-米尔斯你连质量间隙还不算是一个完善的理论。“你上个月发给纽加德的那封邮件里用的是‘几何凝聚”四个字,不是“证明”,最多算一个'猜想。“如果你把这个放进公开答辩,台下坐的是费弗曼的人和威腾系的物理学家,他们不会因为你的框架漂亮就放你过去。”她停了一下。“你确定你要把一个没有闭合的东西搬上洛克菲勒的台子?我认为,霍奇猜想和NS方程的结论已经足够答辩了。”办公室安静了几秒。窗外有人在走廊里推着什么东西经过,轮子碾过地砖的声音闷闷地传进来,又远了。“一个月足够我完善最终的猜想了。”林允宁说。他的语气很平,像在陈述一个已经计算过的事实。“如果‘几何凝聚”真是个死胡同,我们也不算一无所获对吧。”劳拉的手指停住了。她看着林允宁的眼睛,过了大概两秒钟,微微点了一下头,没有再追问。纽加德也没接这句话。他把桌上那摞纸拿起来,拍了拍边缘对齐,放进抽屉里。“委员会的事我来办。你准备你该准备的。”他绕过办公桌,走到门边,拉开门。“对了,”他说,一只手还搭在门把上,“洛克菲勒礼堂的座位数你查过吗?”“没有。”“一千一百个。”纽加德说完,看了眼手表,拎起搭在椅背上的外套走出了办公室。劳拉站起来,把那杯已经彻底凉透的咖啡拿在手里。“允宁,”她走到门口停了一下,背对着他,“你刚才说的“一条路,我没有听错吧。”林允宁没有回答。劳拉也没有回头。她走出门,在走廊上轻轻带上了办公室的门。门锁咔嗒一声合上。这声闷响让室内的安静沉了下来,林允宁顺着落锁的声音转过头,视线越过窗棂。六月的阳光把埃克哈特楼对面那栋建筑的外墙晒得发白,有些刺眼。他盯着那片白墙看了几秒,随后站起身,把椅子推回原位,推门而出。紧跟着,他来到了芝加哥大学医学院。今天还有一件事要做。到了这里,程新竹已经在医学院一楼的走廊尽头等着接他了。她今天穿着白大褂,胸口别着以太动力和辉瑞联合临床项目的双标工牌,头发扎得很高,露出耳后一小片晒脱皮的痕迹。“格林伯格教授在楼上,刚开完一个安全审查会。”她边走边说,步子很快,“你要的那批数据我昨晚理过一遍,原始文件大概四十个G,逐通道逐毫秒的相干态演化全在里面。但放行得他签字。”“他知道我要来?”“我跟他说了。”程新竹按下电梯按钮,“他问我你要这些数据干什么,我说你要在纸面上验证一个新的理论框架对幽灵吸引子的解释力。他听完没说行也没说不行,就说让你本人来谈。”格林伯格教授是程新竹博士期间的导师,这两年一直担任以太动力在Ad-02临床测试的首席安全官。电梯到了,两个人进去。程新竹按了四楼。“见到你回来看他,他心情怎么样?”林允宁问。“还是老样子。”程新竹瞥了他一眼,“他这个人就是这样,你拿着诺贝尔奖走进去,他该问的还是一个字不会少。”电梯“叮”地停在四楼。走廊比一楼安静得多,由于地板打蜡,脚步声几乎被鞋底吸了进去,只剩格林伯格半开的办公室门里漏出来的敲打键盘声。程新竹在门框上敲了两下。“进来。”格林伯格教授坐在办公桌后面,面前摊着两台显示器。左边那台开着一份临床安全审查报告的编辑界面,右边那台是邮箱。他没有抬头,手指还在键盘上敲了几下,把一行字打完,才摘下老花镜看过来。“林。请坐。”林允宁在桌前的椅子上坐下,程新竹站在他侧后方,靠着文件柜。“新竹跟我说你要Ad-02队列和孟筱兰个案的脑电原始数据,“格林伯格把老花镜搁在键盘旁边,“逐通道、逐毫秒级的相干态演化。”“对。”“你不需要频谱摘要和统计报表?”“不需要。我需要的是耗散过程的原始时间序列,摘要和报表已经把那部分信息压掉了。”格林伯格靠回椅背,两只手交叠放在腹部。他看了林允宁几秒钟。“让我猜猜,你想用你那个拓扑框架去拟合大脑的相干态。”“不是拟合,是反向验证。”林允宁纠正道,“如果框架对幽灵吸引子的耗散模式有解释力,原始数据里应该能看到特定的拓扑特征。如果看不到,说明框架在生命系统这个方向上不成立。”“哪种拓扑特征?”“凝聚度泛函C[∮]在相干态维持阶段的演化轨迹。如果我的判断没错,幽灵吸引子那15到20秒的高相干窗口,对应的应该是C[∮]在某个临界值以上的停留时间。耗散发生的瞬间,C[∮]应该经历一次拓扑退化,而不是连续衰减。”“断崖式的?”“对。如果数据显示的是连续衰减,我的框架就错了。”格林伯格没有马上接话。他把老花镜拿起来又放下,手指在镜腿上摩挲了一下。“你的框架是从纳维-斯托克斯和杨-米尔斯那边搬过来的。”擦了擦眼睛,“那两个系统有一个共同点,你可能觉得理所当然,但在我这里不是。”林允宁静静听着。“它们都是封闭系统。”格林伯格的目光从林允宁身上移到桌面上,又移回来。“NS方程描述的流体,能量守恒,质量守恒,你可以在一个封闭的数学空间里讨论它什么时候爆破,什么时候凝聚。杨-米尔斯也一样,规范场的动力学在一个自治的拉格朗日框架里运行。你的C[p]在这两个系统里能定义,因为底层流形的边界条件是干净的。”他停了一下。“大脑不是。”林允宁没有打断他。“大脑是开放系统。神经元维持高度相干态需要消耗能量,这个消耗不是抽象的,是具体的。“氧耗率会飙升,局部葡萄糖消耗会在几秒内翻倍,血流灌注模式会发生区域性重分布。“你在脑电数据里看到的那个15到20秒的窗口,你觉得它是拓扑退化,但在我看来,它可能首先是代谢供给撞到了天花板。”他身体微微前倾。“大脑在自我保护,林。它不是因为拓扑结构退化才散掉的,它是因为再烧下去神经元要死了才散掉的。“这两种解释在你的数据里看起来可能一模一样,但背后的物理机制完全不同。”办公室里安静了一阵。程新竹站在文件柜旁边,手臂抱在胸前,没有出声。“你说得对,”林允宁说,“我目前没有办法区分这两种机制。”格林伯格眉毛动了一下,倒是没料到他会这么直接地认下来。“现有数据里有没有同步采集的代谢指标?”林允宁问,“血氧、葡萄糖消耗率、局部灌注。”“有。”格林伯格说,“但粒度不够。目前的采集方案是按分钟级做的,跟你要的逐毫秒脑电数据对不上时间精度。要真正区分你说的拓扑退化和我说的代谢天花板,得重新设计采集协议,脑电和代谢同步采集,时间精度至少压到秒级以内。”“这个方案需要多久?”“设计加伦理审批,最少三周。”格林伯格说,“如果辉瑞那边的IRB要加审一轮,可能更长。”林允宁点了一下头,没有再追问时间。“脑电原始数据我可以放行给你做纸面研究。”格林伯格把老花镜重新戴上,目光落回左边那台显示器,手已经搭回了键盘。“但我有一个条件。”他没有看林允宁。“在你拿到同步代谢数据之前,不要拿你的框架做任何关于‘延长相干窗口’的推演。你可以验证C[∮]的解释力,可以看耗散过程的拓扑特征,但‘能不能拉长,该不该拉长”这个问题,在代谢约束搞清楚之前,你碰都不要碰。”他在键盘上敲了一行字,大概是在审查报告里加了什么批注。“否则后面任何涉及参数调整的临床方案,我不会签字。我得为病人的生命安全负责。”“明白。”林允宁说。他站起来。程新竹从文件柜旁边直起身,跟着他往门口走。“新竹,”格林伯格在身后喊了一声,没有回头,“代谢同步采集方案的初稿这周给我,别拖到下周。”“好的,教授。”两个人走出办公室。走廊里的蜡光地板把他们的脚步声吞得干干净净。电梯门关上之后,程新竹看了林允宁一眼,两人之间的默契,让她猜到了林允宁的心思。“你是不是本来就想听他说那些?”林允宁抬手按下按钮。失重感传来的瞬间,他看着电梯门上的反光,没有回答。汉考克大楼九十二层的茶水间只有一台咖啡机和一台微波炉,都是去年搬进来时就有的。用的多了,微波炉的门把手松了,每次开门都要往上抬一下才拉得动。林允宁走进去的时候,克莱尔正大喇喇地盘腿坐在那张唯一的折叠桌上,两条腿悬空晃荡着,脚上趿拉着一双没系鞋带的荧光绿滑板鞋。她抬头看到林允宁,嘴里含着薯片,含混不清地说了句什么。“什么?”克莱尔咽下薯片,用手背擦了擦嘴角的橘色粉末。“我说,Caseware IdEA的K-means聚类模块是哪个年代的老古董。”“怎么了?”“阈值写死了。”她把笔记本转了个方向让他看,屏幕上已经从Facebook切成了一个代码编辑器,“0.15,硬编码,不在配置文件里,直接嵌在主函数的第四百三十七行。我改完分桶规则之后跑了一遍回归测试,发现这玩意儿的距离度量用的是欧几里得,连余弦相似度的选项都没有。“切,2010年了,伯克希尔花大价钱买的审计工具,距离度量只有欧几里得。”林允宁从咖啡机旁边拿了一个纸杯,按了美式。“那你的分桶改完之后效果呢?”“跑过了。标准授权层级下,七条记录分散在三个不同的簇里,Silhouette系数掉到0.08以下,聚类脚本会自动判定为无显著模式。”她拿起一片多力多滋塞进嘴里,“但我还是觉得不踏实,昨天晚上又手动模拟了一遍霍尔有可能用的非标准参数组合,大概跑了二十几种,都散得开。“唯一有点风险的是他如果自己写脚本换成dBSCAN加时间序列对齐,那就不是改分桶能解决的了。”“有这个可能性么?”“那得看他是什么人。”克莱尔把手指上的橘色粉末在牛仔裤上蹭了蹭,“如果他只是个按流程跑工具的审计员,不会。“如果他是那种自己能写代码的,有可能。佩妮说他凌晨六点发问卷,这种人一般不是只会按按钮的。”咖啡机吐出最后一股热气,纸杯里大半杯黑咖啡,闻起来有股焦味。林允宁端起来抿了一口。“你有点亢奋啊,从昨天到现在睡了多久?”“四个小时吧,中间醒了一次,做梦梦到伯克希尔的审计脚本在追我。”克莱尔说这话的时候表情很认真,“我可没开玩笑,梦里那破脚本长得像个甲虫,六条腿,每条腿上还挂着一个SQL查询语句。”林允宁没忍住,笑了一下。克莱尔把笔记本电脑合上,从桌面上跳下来,薯片袋子被她顺手卷了卷塞进外套口袋。“行了Boss,我回去接着盯导出层的日志。你今天脸色也不怎么样,别光喝咖啡。”她拎起笔记本往外走,荧光绿的鞋面在走廊地毯上一晃一晃的,直到拐进走廊尽头。鞋面的反光消失后,茶水间重新陷入昏暗,只剩咖啡机的待机指示灯还在一下一下地闪。在这微弱的闪烁中,林允宁口袋里的手机跟着震动了一下。他掏出来看了一眼。沈知夏的短信,两句话:“我妈今天精神还行,上午自己去楼下超市买了菜,回来包了饺子。傍晚有点犯迷糊,问了两遍今天星期几。”林允宁读完最后那半句话,拇指在屏幕上停顿了片刻,才将手机塞回口袋。他把剩下的半杯咖啡倒进水槽,顺手将纸杯捏瘪扔进垃圾桶。借着垃圾桶翻盖合上的“砰”声,他转过身,朝书房走去。书房的门关上之后,外面走廊的声音就听不见了。桌面上维持着原样。左侧摊开的草稿纸顶端挤满了希腊字母和箭头,前天夜里的黑墨水混杂着昨日凌晨补涂的蓝笔迹。笔记本电脑黑屏停在右边,而两者的正中,静静躺着程新竹在电梯里硬塞给他的那个U盘。四十个G的脑电原始数据。林允宁没急着先看数据。他把椅子拉开坐下,拿起左边那沓草稿纸,从第一张开始往后翻。这些是之前那次280小时模拟后的推导笔记,全凭他在模拟结束后按着思路一步步记录下来的。模拟器能趟平海量的中间推导,但分岔口该选哪边,还得靠人脑定夺。凝聚度泛函C[p]的定义写在第三张纸上,他多看了几秒。这个泛函的核心想法很简单:给定一个场构型∮,C[p]度量的是∮在局部区域内维持凝聚态的能力。C[p]高于某个临界值,凝聚态稳定;低于,就散掉。那280小时的模拟验证了,这道临界关卡并非单纯的数值,它本质是个拓扑条件,绑定着底层流形上特定示性类的退化状态。NS方程的爆破,在图景里就是C[∮]跌穿临界线,涡量强行凝聚却最终崩解。而杨-米尔斯的质量间隙正好相反,C[∮]死死咬在临界值上方,让无质量的规范玻色子借由几何凝聚硬生生拿到质量。截然不同的两个方向,被同一个泛函和判据给统合了。这是280小时模拟给他的东西。方向对了,但只走了一半。SU(2)规范群下的凝聚态闭合,他在模拟里已经摸到了雏形。弱相互作用力的规范结构偏简单,瞬子贡献的拓扑效应可控,C的临界条件足以写出显式表达。SU(3)却不一样。林允宁把草稿纸翻到空白的一张,拿起黑色的笔。强相互作用力对应的SU(3)规范群有八个生成元,瞬子构型空间的维度远高于SU(2),拓扑结构也复杂得多。关键问题在于:当瞬子贡献被纳入C[∮]之后,凝聚态稳定性的判据还能不能维持?只要判据依然成立,这套框架就能在最硬的物理地基上扎下根,替杨-米尔斯质量间隙蹚出一条路。反之,前面的推导全成了废纸。他在纸上写下SU(3)的结构常数,然后开始构造瞬子修正项。破局的办法也很简单。把瞬子贡献当作额外的拓扑修正项A_inst[∮]塞进C[∮]里,由场构型在瞬子模空间上的积分来定死它。只要这玩意的符号和量级没掀翻原有的临界条件,凝聚态判据就照样奏效。他推了大概二十分钟,写了三张纸。前面几步是顺的。SU(3)的瞬子模空间可以用AdHm构造参数化,积分测度的形式在文献里有标准结果。他把这些已知的东西代进去,开始计算A_inst[p]在临界点附近的行为。第四张纸写到一半,笔停了。麻烦出在瞬子模空间的紧化环节。SU(2)紧化后的边界还算温和,积分收敛,?_inst[p]翻不出什么浪。但 SU(3)的维度一上去,紧化边界就冒出了新的退化模式。部分瞬子构型会在边界处“劈裂”,叠成一堆子构型。即便它们的拓扑荷总数没变,子构型互相干涉时,却硬生生扯出了额外的发散量。这股发散量会影响_inst[4]到什么程度?他盯着纸上的表达式看了一会儿。手算到这已经是极限。再往下,需要对高维配置空间上的一族积分逐项估计收敛阶,变量太多,分支太多,靠手和脑子已经不够了。林允宁放下笔,闭上眼。【系统,将120小时模拟时长,注入课题:SU(3)瞬子修正项_inst[p]在凝聚度泛函C[∮]临界点附近的行为分析。重点验证瞬子模空间紧化边界处劈裂构型的发散贡献是否破坏凝聚态稳定判据。】【模拟开始。】【第5小时:完成SU(3)瞬子模空间的AdHm参数化与标准测度构造。在荷数k=1的扇区,A_inst的行为与SU(2)定性一致,不破坏临界条件。】【第18小时:进入荷数k=2的扇区。瞬子模空间维度跳升,边界处出现预期中的劈裂构型。两个荷数为1的子构型的相互作用项引入一个对数发散。你尝试用标准的了函数正规化处理该发散,部分成功:对数项被吸收,但残留一个依赖于C[p]临界值的有限修正项。】【第37小时:有限修正项的符号判定。你尝试了三种不同的正规化方案,结果不一致。两种方案给出正号(不破坏稳定判据),一种给出负号(直接摧毁凝聚态)。符号不确定性来自紧化边界处的一个非平凡相位因子,你无法在当前框架内确定该因子的取值。】【第62小时:你试图通过引入额外的拓扑约束来固定相位因子。构造了四种候选约束,逐一检验。前三种均导致过约束,使得瞬子模空间的有效维度坍缩为零,物理上不可接受。第四种约束保持了模空间维度,但将问题转化为一个新的积分恒等式,该恒等式在数学文献中没有已知结果。】【第89小时:你穷举了12种已知的积分恒等式技术试图证明或推翻该等式。全部失败。】【第104小时:最后一次尝试。你退回到最基本的层面,试图直接在SU(3)的李代数上用表示论方法计算相位因子。推导在第三步分裂为两条路径,一条导向已知的weyl特征标公式,另一条进入一个未知区域。你沿未知路径继续推进。】【第112小时:未知路径在底层流形映射处遭遇退化。局部坐标系崩溃,C[∮]在该点无法定义。凝聚态判据失效。】【推导终止。】【剩余模拟时长:12404小时00分钟。】林允宁睁开眼睛,开始在草稿纸上继续推演。等他再次抬起头来的时候,窗外已经黑透。他记不清夜色是什么时候压下来的,只有台灯的光白花花地砸在草稿纸上,墨迹深得刺眼。他把视线拉回第四张纸,落在笔尖悬停的地方。劈裂构型,对数发散,非平凡相位因子——系统在第112小时撞碎的退化点,不偏不倚,正好卡在他之前手算预感会出事的位置。结论很明朗。他的直觉很准确,C[p]的定义确实在SU(3)瞬子模空间的紧化边界翻了车,这属于纯粹的技术节点障碍,而非大方向走偏。但同时,这也意味着堆再多模拟时长都没用。112小时穷尽了现有的数学工具,依旧死磕不下那个相位因子。偏偏它决定了生杀大权。算出来是正号,质量间隙就能通;是负号,整个SU(3)上的框架就当场报废。而他现在没有任何办法确定这个符号。林允宁靠回椅背,盯着天花板。白茫茫的视野空荡荡的,脑子里忽然响起了下午格林伯格教授的几句断言。大脑归根结底是个开放系统,代谢供给存在硬性上限。相干态的耗散,说到底大概率是能量告罄,而非单纯的拓扑退化。他当时没反驳,倒不是顾忌面子,而是自己也隐隐摸到了那层窗户纸。C[∮]在封闭系统里确实足够漂亮,NS方程和杨-米尔斯在里面跑得严丝合缝。可一旦凝聚度泛函被禁锢在理想环境里,它既解释不了人脑,也套不进任何真实的物理系统。试图在三个千禧问题之间强行画等号,那不叫统一。真正的破局,是得找到一套新语言,一刀切通封闭与开放系统中的凝聚现象。而他现在卡死在封闭系统最硬的那块地基上,SU(3)的瞬子修正用纯数学硬推推不过去。换个角度想,如果死局本身就不在于数学功底呢?用纯逻辑去强攻一个极度依赖物理直觉的泥潭,弄不好从起手就错了。真正的生路,肯定藏在推导纸之外的某个角落。视野从虚无的天花板降下来,林允宁看向了桌面的U盘。整整四十个G的脑电原始数据,封存着一个活体大脑在15秒高相干窗口内的全套电信号。在打开之前,他反手按亮了旁边的手机屏幕。日历挂着刺眼的倒计时:距离答辩还有二十九天。