第438章 落幕的演讲——终焉之三(求订阅求月票)(1 / 2)
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
“下午好。”略显清冷的声音在主会场的穹顶下散开。“各位对今天的主题已经很清楚了,我们直接开始。”
没有多余的寒暄,甚至连对台下贵宾的例行致意都省了。
翻页笔一声轻响,巨型屏幕亮起。
上面没有密密麻麻的定理或推导方程,只展示了一幅结构框架图。
凝聚度泛函C[φ]和修正度量g(γ,J)分列上方两侧。
下方则延伸出三条分支:纳维-斯托克斯流、SU(N)紧规范群,以及开放系统动力学。
在场的三千多名学者对这幅图都不陌生。
四个月前的洛克菲勒礼堂,它曾铺满整块黑板,支撑起了那场轰动学界的博士答辩,也是后来菲尔兹奖评委会打出全票9比0的底气。
一粒红色的激光光点此刻正定格在框架图正中。
“自六月以来,这个框架的骨架没动过。今天下午的核心,就是填补它剩下的缺口。”林允宁看了眼前排的几位学者,“在我博士论文手稿的第三十九页列出过两处不足:第一,SU(N)紧规范群瞬子修正缺乏具体的数值验证;第二,外部驱动参数J的物理对应,还需要实验数据来支撑。
“今天,我先解决第一点。”
屏幕画面切换,正中央浮现出两行孤零零的标题:
SU(N)格点规范场论数值验证,及SU(2)第一阶段结果。
言简意赅,甚至连多余的排版格式都没有。
台下,陶哲轩翻开了他那本旧笔记本的新一页。
威滕手指无意识地收紧;舒尔茨将手里来回折叠的A4纸压平在膝盖上;孔涅则按出了自动铅笔的笔芯。
林允宁直入主题:“SU(2)紧规范群,beta参数区间取2.40到2.85。格点构型覆盖了常规基准范围,误差棒与国际已发表的数据逐点对齐。”
接着,一张误差带图谱填满大屏。
横轴是beta值,纵轴是Wilsoloop期望值。蓝线是理论预测,宽阔的灰色带代表现有的国际基准,而那些分布其中的红点,就是他带到现场的抽样结果。
在这个参数区间内,每一颗红点都严丝合缝地咬合在灰色误差带里。
前排泛起一阵压抑的低语。
威滕松开交叠的双手,掀开扣在腿上的皮面笔记本,用钢笔飞快地记下了一串数字。
引起他注意的不是图谱走向,而是那些红点所对应的极其严苛的坐标参数。
陶哲轩也抬起了头,目光只在屏幕上停留了一秒,就盯住了台上的林允宁。
不用开口,在座的同行脑海里都浮现出了同一个疑问:数据哪来的?
“关于这批数值的计算配置,包括精度量级、格点尺度、有效采样数以及热化步数,都已经整理在附录B里。”
林允宁顿了顿,语气依然平缓,“运算由独立计算节点完成。至于节点的具体位置,不在今天的讨论范围内。”
会场后排的角落里,特工艾伦·斯特恩听到这句话,默默按亮了手里的加密终端,随后又将屏幕摁灭。
这两个月来,华盛顿的情报部门拉起了一张大网:切断AWS的大型GPU实例访问、冻结芝大的内部算力申请、封锁国家实验室通道,甚至对所有跨境远程计算请求进行骨干网深度包检测。
一切封堵都建立在一个底层假设上——林允宁手里没有足够的算力资源。
只要他试图跑出SU(N)的数值,就必定会触网暴露。
但此时此刻,这组理论上“算不出来”的数据,就挂在数学界最高舞台的大屏幕上。
他是怎么做到的?
斯特恩心中惊骇,却又没法发问,只能沉着脸,把终端塞回了包里。
贵宾席上的舒尔茨微微前倾。
他没去纠结那些红点是否吻合,视线只是扫过图例和坐标系的颗粒度。
仅仅几秒的心算,他就在倒推一个显而易见的事实:要达到这种精度的Wilsoloop采样,需要的计算量是惊人的,根本不是几台顶配工作站能跑出来的结果。
那么提供这庞大算力的机器究竟藏在哪?
他带着探究望向讲台上的年轻人。
“至于更复杂的SU(3)紧规范群,”林允宁切换了幻灯片,“目前正用同一套框架推进计算。完整的验证结果将在后续发表。”
没附带多余的数据图谱,也没有任何暗示。
舒尔茨靠回椅背,暂时咽下了疑问。
大半个小时不知不觉流逝。
端坐在正中央的费弗曼依然保持着双臂交叠的姿势,没动过笔。
直到大屏幕上跳出一行极短的页眉:非紧流形上凝聚度泛函的正则性。
林允宁转身走向左侧的小桌板,拿起那几页手写稿。
他看着台下,停顿了两秒才开口。
“第二部分。”
话音刚落,费弗曼僵持了半个多小时的姿态松动了,老人的左手食指,重重地压在了空白的便签本上。
林允宁齐了齐那六张手写稿,指腹顺着纸张边缘滑过右下角的编号。
确认顺序无误后,他将整沓纸反扣在讲台右侧的小桌板上。
其实他没打算看稿,只是借着这个动作整理思路。
而且,胸口内袋里其实还贴身放着第七张写有框架目录的无编号手稿,他也根本没打算掏出来。
场内三千多人的思绪大都还停留在刚才那张SU(2)的误差带图谱,和那句“不在讨论范围内”上。
原本压抑的空气中渐渐浮现出某种焦灼的期待。
所有人都知道,接下来的才是主菜。
主屏上方切出了新标题:非紧流形上凝聚度泛函的正则性。
下方列着三个小节:
一、局部凝聚态与Sobolev嵌入。
二、退化纤维层收缩与Bootstrap临界指数间隙。
三、非紧无穷远处的边界控制。
林允宁放下翻页笔,转身走到旁边那块崭新的移动黑板前,拈起一支粉笔。
他用拇指蹭了蹭粉笔末端,直接落笔。
“第一阶段,”粉笔在黑板左上角敲出一声轻响,“局部凝聚态的存在性,和Sobolev嵌入的充分条件。”
他手腕没停,利落地写下三行式子:非紧流形M上的凝聚度泛函局部表达、Sobolev空间嵌入的指数条件,以及代入非紧衰减因子后的修正不等式。
整个过程不到半分钟。
“这一段,七月中旬我已经和普林斯顿的同僚们用信件核对过四轮。”
林允宁粉笔尖一点,“嵌入充分性在p>/2区间内直接成立,技术上没问题,今天时间有限,就不展开了。”
费弗曼依然双臂交叠,膝盖上的便签本和派克钢笔原封未动。
不过听到“四轮信件”时,他的下颌微微绷了一下。
旁边的陶哲轩恰好抬起头,视线在费弗曼和黑板之间打了个转,随即将笔尖重新落回了笔记本上。
林允宁挪向黑板中央:“第二阶段,退化纤维层的收缩估计与Bootstrap临界指数间隙。”
这次他写得很慢,每写两行就停顿一下,留出时间让台下消化。
这一段包含三个关键不等式。
写第一个时,他直接把Bootstrap参数k的取值区间,推到了闭区间[k?,k?]的上半边。没有任何解释,直接作为已知前提列在首行。
陶哲轩停下笔,盯着那个区间看了片刻,在心里快速验算了一遍。
接着,他在新一页的顶端画了个向右的箭头,并在旁边批注:“已验证”。
写完第二个不等式,粉笔停住了。
“这里有一条引理,”林允宁说,“之前的预印本和答辩稿里都没提过。”
前排的舒尔茨默默把A4纸往跟前拽了拽。
林允宁加快了板书速度,迅速列出引理陈述和证明提纲:在退化纤维的收缩估计中,Bootstrap的关键指数间隙,其实是由一个仅依赖流形第二基本形式迹的几何量Γ(M)的上界来控制的。
他在一旁的括号里随手写下了Γ(M)的定义。
孔涅悬着笔停顿了片刻,抄下这个新定义的符号,并在下方用非交换几何的语言补充了自己的猜想。
这很像他十几年前研究过的一种算子迹限制。
威滕的目光也锁死在了引理的上界估计上。
而一直抱臂端坐的费弗曼,虽然姿势没变,左手的两根手指已经搭在了便签本边缘。
林允宁写下第二阶段的收尾:合并前两个不等式,得出一个覆盖整个指数间隙上半区的紧致估计,顺势推导出下一阶段的边界衰减条件。
写完后,他拿起板擦抹掉了左上角的第一阶段板书。
黑板擦摩擦的沙沙声在寂静的会场里格外清晰。
“第二阶段到这里。”他重新捏起粉笔,挪向黑板中央,“第三阶段,非紧流形无穷远处的边界控制。”
听到这句,费弗曼搭在纸边的手指微微扣紧。
这才是重头戏。
早在七月份的通信中,费弗曼就把前两阶段拆解透了。
真正的难点在于这最后的边界衰减一致性控制。
非紧流形在无穷远处的退化行为,并不能自动保证泛函在边界上可控。
如果给不出一致的衰减率,正则性估计就无法闭环。
在这个问题上,至今没人能拿出一个完整的跨越方案。
林允宁起笔,先写下了一个“穷竭序列”(ExhatioSequece)的定义,给出一族嵌套且带有光滑边界的紧致子集,接着在子集上定义了一族截断泛函。
前两步都是常规操作。
关键在第三步:他引入了一个全新的“退化率函数”ρ(x,r),不仅逐点估计了泛函的差值,还给出了递减速率的一致上界。
这个上界的常数项,刚好能被第二阶段定义的Γ(M)整除。
当这个相容性被浓缩成一个极简的不等式列在黑板上时,舒尔茨一把抓起了桌上的A4纸,手悬在半空,目光却牢牢钉在黑板上。
林允宁继续往下推。
最后一步,是将一致上界代入序列,证明截断泛函在有效函数空间范数下收敛,并利用穷竭序列的性质将局部估计拼接起来。
解决“拼接”这个核心难点的,并不是什么复杂的新技术,而是黎曼几何里一个很古老的几何量。
他把其中第二基本形式的迹做了现代化改写,硬是套进了非紧情形里。
粉笔离开黑板。
那一瞬间,坐在正中央端了近一个小时的费弗曼松开了交叠的双臂,拔开那支派克钢笔,在空白处写下了一行字。
林允宁背对观众写下边界控制一致收敛的最后一行式子,正则性估计在非紧流形上的逻辑闭环正式合拢。
粉笔重重点下两点,画上句号。
这一刻,前排的几位学者几乎动作一致:孔涅放下笔,陶哲轩合上笔记本,舒尔茨把A4纸平铺回桌面,威滕也搁下了钢笔。
费弗曼恰好写完那行字。
他没盖笔帽,由着钢笔斜压在字迹旁,双手自然地搭回腿上,紧绷的脊背彻底松懈下来。
林允宁转身面向全场。
主屏上第一到第三阶段的标题旁,已经亮起了三个绿色的完成勾。
他把粉笔放回黑板槽,没说一句总结的废话,只平静地吐出四个字:
“第三部分。”
林允宁没去管那六张手写稿,它们依然按顺序反扣在讲台右侧的小桌板上。
全场瞬间反应过来:摆在讲台上的那六页手稿,他压根就没打算看。
他走回讲台正中央,按动翻页笔,主屏画面随之切换。
新页面只有一个方框,上方标着一行小字:广义林氏纲领——统一闭环。
“第三部分,就是广义林氏纲领。”他的声音比先前更平稳。
“把今天下午证实的三个部分,和四个月前博士答辩里立住的部分,合成一条陈述。”
随着他的按键,方框里依次浮现出四行简短的描述:
霍奇范畴基础(4月);
凝聚度泛函C[φ]·修正度量g(γ,J)·NS-YM同构(6月);
AD-02开放系统实例(6月);
SU(2)格点验证(8月)·非紧流形C[φ]正则性(8月)。
“六月在洛克菲勒,今天在海得拉巴。”林允宁看着台下,“这四个月里,其实只增加了两项内容。一项在上半场,一项在刚才。”
台下第一排,威滕重新握住了那支没盖帽的钢笔。
屏幕上,方框里的四行字被一个括号圈起,上方跳出新字:
广义林氏纲领(闭式)。
括号右侧连着一个等号,紧接着浮现出一条定理形式的断言:
“对于任意满足[耗散γ,驱动J,具有非紧穷竭边界?M]的动力系统S,其拓扑凝聚电荷在泛函C[φ]下的全局演化,完全由以下三项的联合约束决定:(i)修正度量g(γ,J)上的变分原理,(ii)C[φ]在非紧流形上的正则性估计,以及(iii)紧SU(N)规范群上的格点数值验证。”
白底黑字的陈述稳稳停在屏幕正中,字号不大,却足够清晰。
这不算什么新定理,既未引入新的数学对象,也未重定义任何符号,单纯是将几个月来的局部工作焊合成了一条严密的约束陈述。
陶哲轩翻开旧笔记本,用自己最熟悉的PDE估计语言和字符习惯,将这条陈述转译了一遍。
台上的林允宁继续补充:“这条陈述的物理对应范围,涵盖了纳维-斯托克斯有限时间爆破、杨-米尔斯质量间隙,以及开放系统动力学的一个实例——也就是我在六月份的报告中给出的AD-02队列那组曲线。
“那组曲线已经公开过,今天不再展示。在这里,它仅仅作为开放系统动力学方向的一个验证锚点。”
他点到即止。关于背后的医疗团队、相干窗口或是孟筱兰的个案,只字未提。
在这个物理与数学的最高殿堂里,AD-02只是一个已被证实的学术符号。
↑返回顶部↑