2024年一月波士顿遭遇了十年以来最大的一场雪。从元旦开始下了整整九天每天下午两三点准时飘起来到第二天早晨才停。街道上的积雪堆到了膝盖以上学校的铲雪车来回跑了无数趟但人行道上的冰层一层覆一层踩上去咔咔响像踩碎一摞干透的纸。悦儿已经连续十七天睡在办公室里了。办公室里有一张行军床是她在亚马逊上买的花了四十六美元。床垫薄得像一层纸铺在金属骨架上面夜里翻身的时候会发出咯吱咯吱的响声。她每天晚上在行军床上躺下的时候脑子里还在转那些管道的重指数、交叉点的分布函数、不同尺度的覆盖数估计。她有时候觉得自己根本没睡着只是闭着眼睛让那些公式在黑暗里自己排布。到了凌晨三四点她坐起来打开灯在笔记本上把梦里排布好的公式抄下来。那些公式一半是对的一半是错的。她需要花一整个上午来区分哪些对哪些错。办公室的桌面上堆了三个马克杯杯底都凝着一圈干涸的咖啡渍。窗台上那盆绿萝的叶子已经垂到了桌面边缘被她浇了太多水根茎微微发软。她伸手摸了摸叶子冰凉的、滑的像触到一根细管的表面。她缩回手继续看屏幕。扎尔在温哥华的时间比波士顿晚三个小时。每天下午一点悦儿这边下午四点准时连上Zoom。他们最近的谈话越来越短越来越密集。没有寒暄没有你吃了吗打开视频就是一句话引理12.4的第三行你看了吗或者那个常数的量级你确认了吗对话像在传递接力棒公式在屏幕上飞来飞去每一段被确认正确的论证就被打上绿色的高亮出问题的部分被打上红色。他们的文档从六十页长到了九十页然后是一百零七页然后是一百一十九页。每一天都在逼近那个看不见的终点但终点像地平线你走它就退你跑它也跟着跑。一月十二号晚上十一点悦儿在电脑前校对引理14.2。那是一个关于管道重叠次数上界的估计引理本身的证明只有九行但它依赖前面的七个引理。她从头到尾过了一遍在第七个依赖引理那里停了下来。那个引理她两个月前写的当时觉得没问题。现在重新读了一遍她看到了一行她当时没有注意到的条件假设——假设管道束的直径为R束内最大间距不超过R/3。但那行假设在最终的证明里可能不被满足因为当尺度缩到足够小的时候束内间距和束直径的比例是不恒定的。她放下鼠标靠着椅背闭上了眼睛。那种感觉像在走一条很长的桥走到桥中间发现桥面上有一块木板是松的。你回头看来路已经看不见了。往前走剩下的木板的结实程度你无法确认。你被困在桥的正中间进退不得。她睁开眼睛拿了一支笔在纸上把那行条件假设圈了出来在旁边画了一个问号。然后她继续往下看想先确认其他地方有没有类似的隐患。但她知道自己只是在拖延。那个问号像一个没有被堵住的洞整个证明的水正在从洞里一点点漏出去。凌晨一点有人敲门。悦儿没有抬头。进来。门推开了。冷风从走廊里灌进来带着一股冬天的铁锈味。墨衍站在门口外套上落了一层薄薄的雪。他的头发湿了贴在额头上手里提着两个纸袋一只袋子里是咖啡杯另一只袋子里有什么东西正冒着热气。你还没走。他说。你也没走。悦儿说。墨子走进来把门带上。他把咖啡袋子放在桌上另一个袋子放在窗台上打开里面是一盒还温着的炒面。学校旁边那个中餐馆。最后一份。老板说要关门了我问他能不能再做一份他做了。悦儿看着那盒炒面。她说我吃过了。墨子看了她一眼。你什么时候吃的悦儿想了想。她不记得了。也许是中午也许是昨天不太记得了。墨子把一次性筷子掰开放在炒面盒子旁边。那就现在吃。冷了就不好吃了。悦儿没有动。她盯着屏幕上那个被圈出来的条件假设大脑还在循环着那个问题束内间距和束直径的比例到底是不是恒定的如果是那引理成立。如果不是整段证明得重写。她需要重新评估所有束的几何结构才能回答那个问题。而重新评估所有束的几何结构意味着把前面七十页的论证全部复盘一遍。她刚刚从那个过程中走出来她不想再走一遍。你在看什么墨子问。他已经脱了外套坐在房间角落那把唯一多余的椅子上。那把椅子是悦儿从系里某个废弃办公室搬来的椅面有一道裂缝坐上去会略微往左偏。墨子坐在上面身体微微倾斜但他没有调整姿势。引理14.2。悦儿说有一个条件假设——你讲给我听。悦儿转过头看他。你听不懂的。不一定。墨子说你试试看。悦儿沉默了几秒。然后她拿起粉笔在黑板上画了三条细管——三条平行的线。这是管道几何。挂谷猜想的核心技术。她在三条线旁边标了δ和R两个符号。你把每一根单位线段加粗变成半径为δ的细管。然后你研究所有这些细管并集的体积。当δ趋近于零的时候那些管道的重叠方式——她在三条线的交叉处画了一个圆圈。——决定了集合的维数。我在听。墨子说。悦儿继续说下去。她把引理14.2的核心思想用最简化的语言说了出来——没有积分符号没有范数估计只有管子重叠间距半径这几个概念组成的几何图像。她讲了大约十五分钟中间喝了墨子带来的咖啡咖啡还温着微苦没有加糖。她讲完之后在黑板上的三条线旁边写了一个问号。这里出了问题。间距和半径的比例不恒定。但这个不恒定可能只是表象——如果我把束的定义改一下——她忽然停下来盯着黑板上的问号。她刚才在说的过程中她自己的声音帮她整理了一遍思路。那一瞬间她好像看到了什么。间距和半径的比例不恒定但如果束内所有的管道都被压缩到同一组方向呢她不需要恒定比例。她只需要知道这个比例被某个函数控制住。那个函数是什么她拿起粉笔在黑板上写了一个新的不等式。未知数系数上界。她从引理前面七页里翻出一个之前被忽略的估计把那个估计代进了新的不等式。墨子在角落坐着没有说话。他带来的炒面凉了盖子上的蒸汽已经彻底散了。他用叉子挑了两根面条送进嘴里嚼得很安静。悦儿写了大约二十分钟。她写完之后把粉笔放回槽里退后一步看黑板上的结果。新的不等式成立。那行有问题的条件假设可以被一个更弱的条件代替。不需要证明束内间距恒定只需要证明束内间距的变化率被一个已知函数控制。而那个已知函数已经在引理7.8里证明过了。她站在黑板前面胸口涌上来一股温热的东西。不是激动是松了口气之后血液重新流回四肢的那种暖意。她转头看了墨子一眼。他坐在角落的歪椅子上面前的炒面盒子空了咖啡已经喝完了手边什么也没有。他刚才什么都没做只是坐在那里在凌晨一点半的办公室里看着一个她写了二十分钟的黑板。你一直没走。悦儿说。你也没让我走。墨子说。悦儿走到窗边。外面还在下雪鹅毛一样的雪片从黑暗的天上落下来被路灯照成一种暖黄色在风中斜斜地飘着。窗玻璃上凝了一层薄薄的冰花她伸出手指在上面画了一条线冰花被体温融化了露出一小块透明的玻璃透过它她看见外面整座城市埋在雪里所有的屋顶都是白的所有的街道都是白的所有的方向都被白色统一成了同一种颜色。你来的时候走了多久她问。四十分钟。路不好走。为什么来墨子没有立刻回答。他坐在那把歪椅子上灯光从头顶打下来在他的脸上投出半边明半边暗的轮廓。他的下巴线条在那个明暗交界处显得比以前更硬了一些。悦儿忽然注意到他的嘴角下方有一道极淡的疤痕不知道什么时候留下的可能是她之前没看到也可能是被胡子遮住了。因为你十七天没出过那间办公室。墨子说我路过的时候看到灯亮着。每天的灯都亮着。悦儿靠在窗台上。背后的玻璃透进来一股冷气隔着外套都能感觉到那种冰凉的、贴近皮肤的穿透力。她看着桌子上的三个咖啡杯、那盆快被浇死的绿萝、屏幕上还没关闭的引理14.2文档。她的生活被压缩在这个不足十平米的房间里剩下的世界在窗外在下雪在夜里在所有她没去的地方。我明天会出一次门。她说。去哪去你上次说的那个咖啡馆。室外。雪停了就去。墨子看了她一会儿。然后他站起来把空炒面盒子和空咖啡杯收进那只纸袋里。他走到桌前把纸袋放下然后走到窗边站在悦儿旁边。两个人之间的距离大约一个手掌的宽度。窗户上的冰花正在缓慢融化玻璃表面淌下一道细细的水痕。你知道吗墨子说我做量化交易的时候有一个习惯。如果某一天亏损超过了一个阈值我不继续看屏幕了。我站起来出门走一圈随便走哪条路都行。走十分钟再回来。不是因为那十分钟能让我赚回亏损是那十分钟能让我记得——屏幕外面的世界还在。悦儿看着窗外那些落在路灯下的雪花。每一片都在旋转方向不同速度不同但它们最终都落在地面上彼此挨在一起变成同一层白色。我没法出门走一圈。她说我的问题在屏幕里。那我过来。悦儿转过头看他。墨子没有看她。他正看着窗外那些雪花。他的侧脸在暖黄色的路灯反光里显得很安静像一个在等雨停的人。你过来要四十分钟。悦儿说。我知道。你明天还来吗明天雪停了你说要去咖啡馆。雪不停呢墨子微微侧过头来。雪不停就后天。后天不停就大后天。雪总会停的。他伸出手的时候悦儿没有动。他的手指碰到了她的手指——指背冰凉的带着室外的温度。他在她手指上停了一瞬然后握住了。掌心贴着她的指节慢慢收紧像在确认一个已经在心里确认过很多次的事实。悦儿没有抽回手。她站在窗边窗玻璃上的冰花还在融化水痕越来越宽像一条被凿开的河。窗外的雪落在那条河的反光里每一片都变亮了一瞬间然后暗下去。你在想什么墨子问。我在想如果这个引理错了我明天就得重写七十页。这个引理错了吗没错了。我刚才推过了。那你在想什么悦儿沉默了几秒。她的手还在墨子的掌心里他的手很稳没有用力只是轻轻握着像握着一件他知道一定会被放开的东西但他还是握着。我在想悦儿说这个办公室里很久没有别人在过了。墨子没有说话。他们站在窗前雪继续下着黑板上那个新写出来的不等式在灯光下泛着粉笔特有的灰白色。一整面黑板的公式从左上角排到右下角像一整片被文字覆盖的田野。而在角落里那一行被加上的新条件用一个极小的字体写在了引理14.2的下方像一颗刚被发现的、小小的行星在轨道上找到了自己的位置。悦儿感觉他的手指轻轻收紧了一下然后松开了。她垂下手指节上还残留着他掌心的温度。我得把那个新条件插进去。她说。我等你。你在这等我在角落等。悦儿走回电脑前坐下。她打开文档把引理14.2的那行假设删掉换上了新推导出来的弱条件。光标在屏幕上移动她打字的声音在安静的办公室里显得格外清楚。墨子走回那把歪椅子上坐下手机屏幕亮了一下他低头看了一眼然后锁了屏把手机放回口袋。他在等她。窗外的雪还在下。波士顿的这场大雪持续到了第十天。但在悦儿的办公室里一个小小的、比手掌还窄的空间里有人在陪着她等雪停。她打字打到凌晨三点的时候回头看了一眼。墨子靠着椅背头微微偏向一侧闭着眼睛。他睡着了呼吸很浅均匀得像一段写得平稳的代码。那把椅子还是歪的他整个人随之倾斜着但他在那倾斜的姿势里显得很安稳。悦儿转回去继续打字。她打了十五分钟然后停下来拿了一张空白的纸在上面画了一排管道。细的密的在有限的空间里指向所有的方向。那些管道彼此重叠、交叉、分离构成了一个完整的结构。她在结构的最中央画了一个极小的点然后在点的旁边写了一行字有人在。她把纸折好放进抽屉。然后她站起来走到窗边把窗户推开了一条缝。冷空气涌进来带着雪的气息和冬天的安静。她没有关上窗户。她回到桌前继续写引理14.2的注释。身后的墙角墨子在歪椅子上翻身了一下外套从肩膀上滑落了一点他没有醒。雪还在窗外落着。所有方向都在下落但所有方向都落在同一个地方。
