压压惊

肖宿的手飞快从纸上掠过，留下一行行优美的字符。

　　孔涅的谱三元组给出底流形上的算子代数，塞尔伯格迹公式在这个代数上自然出现，谱测度作为算子。蒙哥马利对关联函数所描述的，正是该谱测度所对应的离散特征值在临界线上的局部间距涨落。

　　要构造一个同时满足两者的自伴算子，需要在这个谱三元组上定义一个和乐群约束，这个和乐群约束会把算子的特征值锁定在一条极小能量轨迹上，而这条极小能量轨迹恰好就是泽塔函数在临界线上零点分布的几何表示。

　　整个构造既不需要任何人工截断，也不需要任何扰动展开，更不需要任何有限维假设，因为和乐群约束本身就是无穷维的，它天然适配泽塔函数零点的无穷维特征。

　　而一旦这个自伴算子被构造出来了，那自伴算子的特征值自然就是实数，即所有非平凡零点的实部都等于二分之一。

　　笔尖在纸上飞快地移动，非交换几何的谱三元组定义、塞尔伯格迹公式的算符表示、和乐群约束在谱三元组上的自然构造、自伴算子的特征值实数性证明，每一步都严丝合缝地咬住上一步的结论。

　　所有之前那些被堵死的路径在新的框架下全部都自动消失了。

　　塞尔伯格迹公式和蒙哥马利对关联函数不再是两个需要被强行拼合在一起的东西，它们在和乐群约束下变成了同一个几何体的两种自然表达。

　　肖宿再一次在数学王国里架起了一座通往奇迹的桥梁。

　　当第一缕晨光从窗帘缝隙里漏进来的时候，他还坐在桌前，面前的坐标纸上已经铺满了完整的推导。

　　笔迹从最开始的工整小字变成了越来越快的行草，有好几页的页脚被他翻得微微卷起，墨迹透过纸背渗到了下一页，但书写越来越流畅，几乎没有停顿过。

　　过了许久，肖宿终于放下笔，揉了揉微酸的手腕，从头到尾把整条逻辑链扫了一遍。

　　没有任何漏洞。

　　他满意的点了点头，忽然，窗外传来远处超算机房冷却系统换班的提示铃，清晨的风把窗帘吹得轻轻晃了一下。

　　他这才惊觉，自己竟然在这儿推导了五个小时了。

　　……

　　早上七点，顾清尘准时推开了肖宿办公室的门，手里提着从食堂打包的豆浆和小笼包。

　　平时这个点肖宿已经在办公室里看书或者做自己的演算了，最近他好像开始了一个新的研究，总是若有所思的样子，不知道在想些什么。

　　顾清尘觉着得找个机会问一问，可别又不顾身体偷偷熬夜了。

　　不过，今天他推开房门的时候，发现办公室竟然空空如也，只有桌上铺着一张张草稿纸，显然肖宿做完又思考了许多。

　　顾清尘放下早餐，退出来在走廊里碰到高长安。

　　“高助理，小宿出门了吗？”

　　高长安有些奇怪，他一直看着，肖教授一直没有出楼才对。

　　“没有啊，我一直看着，肖教授应该还在楼里，是不是还在寝室？”

　　顾清尘点了点头，觉得有可能，心里还是有点奇怪，这孩子作息一直很规律，今天怎么连人影都不见，难道身体不舒服了？

　　想到这儿，他的眉瞬间皱了起来，快步往肖宿宿舍走去。

　　他站在宿舍门口，抬手敲了敲门。

　　“小宿，你在里面吗？”

　　过了片刻，门从里面打开了。

　　肖宿站在门口，身上穿的睡衣，袖子卷到手肘，手里拿着一支还没盖上笔帽的笔。

　　顾清尘一看他这个样子就明白了，这孩子又熬夜研究问题去了。