《穿针：一部挂谷猜想的64重奏》八宝粥888

8、第8章 比•比邻 两个孤独的人 2024年

　　2024年一月，波士顿遭遇了十年以来最大的一场雪。从元旦开始下了整整九天，每天下午两三点准时飘起来，到第二天早晨才停。街道上的积雪堆到了膝盖以上，学校的铲雪车来回跑了无数趟，但人行道上的冰层一层覆一层，踩上去咔咔响，像踩碎一摞干透的纸。

　　悦儿已经连续十七天睡在办公室里了。办公室里有一张行军床，是她在亚马逊上买的，花了四十六美元。床垫薄得像一层纸，铺在金属骨架上面，夜里翻身的时候会发出咯吱咯吱的响声。她每天晚上在行军床上躺下的时候，脑子里还在转那些管道的重指数、交叉点的分布函数、不同尺度的覆盖数估计。她有时候觉得自己根本没睡着，只是闭着眼睛，让那些公式在黑暗里自己排布。到了凌晨三四点她坐起来，打开灯，在笔记本上把梦里排布好的公式抄下来。那些公式一半是对的，一半是错的。她需要花一整个上午来区分哪些对哪些错。

　　办公室的桌面上堆了三个马克杯，杯底都凝着一圈干涸的咖啡渍。窗台上那盆绿萝的叶子已经垂到了桌面边缘，被她浇了太多水，根茎微微发软。她伸手摸了摸叶子，冰凉的、滑的，像触到一根细管的表面。她缩回手，继续看屏幕。

　　扎尔在温哥华的时间比波士顿晚三个小时。每天下午一点，悦儿这边下午四点，准时连上Zoom。他们最近的谈话越来越短，越来越密集。没有寒暄，没有"你吃了吗"，打开视频就是一句话："引理12.4的第三行你看了吗？"或者"那个常数的量级你确认了吗？"对话像在传递接力棒，公式在屏幕上飞来飞去，每一段被确认正确的论证就被打上绿色的高亮，出问题的部分被打上红色。他们的文档从六十页长到了九十页，然后是一百零七页，然后是一百一十九页。每一天都在逼近那个看不见的终点，但终点像地平线，你走它就退，你跑它也跟着跑。

　　一月十二号晚上十一点，悦儿在电脑前校对引理14.2。那是一个关于"管道重叠次数上界"的估计，引理本身的证明只有九行，但它依赖前面的七个引理。她从头到尾过了一遍，在第七个依赖引理那里停了下来。那个引理她两个月前写的，当时觉得没问题。现在重新读了一遍，她看到了一行她当时没有注意到的条件假设——"假设管道束的直径为R，束内最大间距不超过R/3"。但那行假设在最终的证明里可能不被满足，因为当尺度缩到足够小的时候，束内间距和束直径的比例是不恒定的。

　　她放下鼠标，靠着椅背，闭上了眼睛。那种感觉像在走一条很长的桥，走到桥中间发现桥面上有一块木板是松的。你回头看，来路已经看不见了。往前走，剩下的木板的结实程度你无法确认。你被困在桥的正中间，进退不得。

　　她睁开眼睛，拿了一支笔，在纸上把那行条件假设圈了出来，在旁边画了一个问号。然后她继续往下看，想先确认其他地方有没有类似的隐患。但她知道自己只是在拖延。那个问号像一个没有被堵住的洞，整个证明的水正在从洞里一点点漏出去。

　　凌晨一点，有人敲门。

　　悦儿没有抬头。"进来。"

　　门推开了。冷风从走廊里灌进来，带着一股冬天的铁锈味。墨衍站在门口，外套上落了一层薄薄的雪。他的头发湿了，贴在额头上，手里提着两个纸袋，一只袋子里是咖啡杯，另一只袋子里有什么东西正冒着热气。

　　"你还没走。"他说。

　　"你也没走。"悦儿说。

　　墨子走进来把门带上。他把咖啡袋子放在桌上，另一个袋子放在窗台上，打开，里面是一盒还温着的炒面。"学校旁边那个中餐馆。最后一份。老板说要关门了，我问他能不能再做一份，他做了。"

　　悦儿看着那盒炒面。她说："我吃过了。"

　　墨子看了她一眼。"你什么时候吃的？"

　　悦儿想了想。她不记得了。也许是中午？也许是昨天？"不太记得了。"

　　墨子把一次性筷子掰开，放在炒面盒子旁边。"那就现在吃。冷了就不好吃了。"

　　悦儿没有动。她盯着屏幕上那个被圈出来的条件假设，大脑还在循环着那个问题：束内间距和束直径的比例到底是不是恒定的？如果是，那引理成立。如果不是，整段证明得重写。她需要重新评估所有束的几何结构才能回答那个问题。而重新评估所有束的几何结构意味着把前面七十页的论证全部复盘一遍。她刚刚从那个过程中走出来，她不想再走一遍。

　　"你在看什么？"墨子问。他已经脱了外套，坐在房间角落那把唯一多余的椅子上。那把椅子是悦儿从系里某个废弃办公室搬来的，椅面有一道裂缝，坐上去会略微往左偏。墨子坐在上面，身体微微倾斜，但他没有调整姿势。

　　"引理14.2。"悦儿说，"有一个条件假设——"

　　"你讲给我听。"

　　悦儿转过头看他。"你听不懂的。"

　　"不一定。"墨子说，"你试试看。"

　　悦儿沉默了几秒。然后她拿起粉笔，在黑板上画了三条细管——三条平行的线。"这是管道几何。挂谷猜想的核心技术。"她在三条线旁边标了δ和R两个符号。"你把每一根单位线段加粗，变成半径为δ的细管。然后你研究所有这些细管并集的体积。当δ趋近于零的时候，那些管道的重叠方式——"

　　她在三条线的交叉处画了一个圆圈。"——决定了集合的维数。"

　　"我在听。"墨子说。

　　悦儿继续说下去。她把引理14.2的核心思想用最简化的语言说了出来——没有积分符号，没有范数估计，只有"管子""重叠""间距""半径"这几个概念组成的几何图像。她讲了大约十五分钟，中间喝了墨子带来的咖啡，咖啡还温着，微苦，没有加糖。她讲完之后在黑板上的三条线旁边写了一个问号。

　　"这里出了问题。间距和半径的比例不恒定。但这个不恒定可能只是表象——如果我把束的定义改一下——"

　　她忽然停下来，盯着黑板上的问号。她刚才在说的过程中，她自己的声音帮她整理了一遍思路。那一瞬间她好像看到了什么。间距和半径的比例不恒定，但如果束内所有的管道都被"压缩"到同一组方向呢？她不需要恒定比例。她只需要知道这个比例被某个函数控制住。那个函数是什么？她拿起粉笔，在黑板上写了一个新的不等式。未知数，系数，上界。她从引理前面七页里翻出一个之前被忽略的估计，把那个估计代进了新的不等式。

　　墨子在角落坐着，没有说话。他带来的炒面凉了，盖子上的蒸汽已经彻底散了。他用叉子挑了两根面条送进嘴里，嚼得很安静。

　　悦儿写了大约二十分钟。她写完之后把粉笔放回槽里，退后一步看黑板上的结果。新的不等式成立。那行有问题的条件假设可以被一个更弱的条件代替。不需要证明束内间距恒定，只需要证明束内间距的变化率被一个已知函数控制。而那个已知函数已经在引理7.8里证明过了。

　　她站在黑板前面，胸口涌上来一股温热的东西。不是激动，是松了口气之后血液重新流回四肢的那种暖意。她转头看了墨子一眼。他坐在角落的歪椅子上，面前的炒面盒子空了，咖啡已经喝完了，手边什么也没有。他刚才什么都没做，只是坐在那里，在凌晨一点半的办公室里看着一个她写了二十分钟的黑板。

　　"你一直没走。"悦儿说。

　　"你也没让我走。"墨子说。

　　悦儿走到窗边。外面还在下雪，鹅毛一样的雪片从黑暗的天上落下来，被路灯照成一种暖黄色，在风中斜斜地飘着。窗玻璃上凝了一层薄薄的冰花，她伸出手指在上面画了一条线，冰花被体温融化了，露出一小块透明的玻璃，透过它她看见外面整座城市埋在雪里，所有的屋顶都是白的，所有的街道都是白的，所有的方向都被白色统一成了同一种颜色。

　　"你来的时候走了多久？"她问。

　　"四十分钟。路不好走。"

　　"为什么来？"

　　墨子没有立刻回答。他坐在那把歪椅子上，灯光从头顶打下来，在他的脸上投出半边明半边暗的轮廓。他的下巴线条在那个明暗交界处显得比以前更硬了一些。悦儿忽然注意到他的嘴角下方有一道极淡的疤痕，不知道什么时候留下的，可能是她之前没看到，也可能是被胡子遮住了。

　　"因为你十七天没出过那间办公室。"墨子说，"我路过的时候看到灯亮着。每天的灯都亮着。"

　　悦儿靠在窗台上。背后的玻璃透进来一股冷气，隔着外套都能感觉到那种冰凉的、贴近皮肤的穿透力。她看着桌子上的三个咖啡杯、那盆快被浇死的绿萝、屏幕上还没关闭的引理14.2文档。她的生活被压缩在这个不足十平米的房间里，剩下的世界在窗外，在下雪，在夜里，在所有她没去的地方。

　　"我明天会出一次门。"她说。

　　"去哪？"

　　"去你上次说的那个咖啡馆。室外。雪停了就去。"

　　墨子看了她一会儿。然后他站起来，把空炒面盒子和空咖啡杯收进那只纸袋里。他走到桌前把纸袋放下，然后走到窗边，站在悦儿旁边。两个人之间的距离大约一个手掌的宽度。窗户上的冰花正在缓慢融化，玻璃表面淌下一道细细的水痕。

　　"你知道吗，"墨子说，"我做量化交易的时候有一个习惯。如果某一天亏损超过了一个阈值，我不继续看屏幕了。我站起来，出门走一圈，随便走哪条路都行。走十分钟再回来。不是因为那十分钟能让我赚回亏损，是那十分钟能让我记得——屏幕外面的世界还在。"

　　悦儿看着窗外那些落在路灯下的雪花。每一片都在旋转，方向不同，速度不同，但它们最终都落在地面上，彼此挨在一起，变成同一层白色。"我没法出门走一圈。"她说，"我的问题在屏幕里。"

　　"那我过来。"

　　悦儿转过头看他。墨子没有看她。他正看着窗外那些雪花。他的侧脸在暖黄色的路灯反光里显得很安静，像一个在等雨停的人。

　　"你过来要四十分钟。"悦儿说。

　　"我知道。"

　　"你明天还来吗？"

　　"明天雪停了，你说要去咖啡馆。"

　　"雪不停呢？"

　　墨子微微侧过头来。"雪不停就后天。后天不停就大后天。雪总会停的。"

　　他伸出手的时候悦儿没有动。他的手指碰到了她的手指——指背，冰凉的，带着室外的温度。他在她手指上停了一瞬，然后握住了。掌心贴着她的指节，慢慢收紧，像在确认一个已经在心里确认过很多次的事实。

　　悦儿没有抽回手。她站在窗边，窗玻璃上的冰花还在融化，水痕越来越宽，像一条被凿开的河。窗外的雪落在那条河的反光里，每一片都变亮了一瞬间然后暗下去。

　　"你在想什么？"墨子问。

　　"我在想，如果这个引理错了，我明天就得重写七十页。"

　　"这个引理错了吗？"

　　"没错了。我刚才推过了。"

　　"那你在想什么？"

　　悦儿沉默了几秒。她的手还在墨子的掌心里，他的手很稳，没有用力，只是轻轻握着，像握着一件他知道一定会被放开的东西，但他还是握着。

　　"我在想，"悦儿说，"这个办公室里很久没有别人在过了。"

　　墨子没有说话。他们站在窗前，雪继续下着，黑板上那个新写出来的不等式在灯光下泛着粉笔特有的灰白色。一整面黑板的公式，从左上角排到右下角，像一整片被文字覆盖的田野。而在角落里，那一行被加上的新条件，用一个极小的字体写在了引理14.2的下方，像一颗刚被发现的、小小的行星在轨道上找到了自己的位置。

　　悦儿感觉他的手指轻轻收紧了一下，然后松开了。她垂下手，指节上还残留着他掌心的温度。

　　"我得把那个新条件插进去。"她说。

　　"我等你。"

　　"你在这等？"

　　"我在角落等。"

　　悦儿走回电脑前坐下。她打开文档，把引理14.2的那行假设删掉，换上了新推导出来的弱条件。光标在屏幕上移动，她打字的声音在安静的办公室里显得格外清楚。墨子走回那把歪椅子上坐下，手机屏幕亮了一下，他低头看了一眼，然后锁了屏，把手机放回口袋。

　　他在等她。

　　窗外的雪还在下。波士顿的这场大雪持续到了第十天。但在悦儿的办公室里，一个小小的、比手掌还窄的空间里，有人在陪着她等雪停。

　　她打字打到凌晨三点的时候回头看了一眼。墨子靠着椅背，头微微偏向一侧，闭着眼睛。他睡着了，呼吸很浅，均匀得像一段写得平稳的代码。那把椅子还是歪的，他整个人随之倾斜着，但他在那倾斜的姿势里显得很安稳。

　　悦儿转回去继续打字。她打了十五分钟，然后停下来，拿了一张空白的纸，在上面画了一排管道。细的，密的，在有限的空间里指向所有的方向。那些管道彼此重叠、交叉、分离，构成了一个完整的结构。她在结构的最中央画了一个极小的点，然后在点的旁边写了一行字："有人在。"

　　她把纸折好，放进抽屉。然后她站起来，走到窗边，把窗户推开了一条缝。冷空气涌进来，带着雪的气息和冬天的安静。她没有关上窗户。她回到桌前，继续写引理14.2的注释。身后的墙角，墨子在歪椅子上翻身了一下，外套从肩膀上滑落了一点，他没有醒。

　　雪还在窗外落着。所有方向都在下落，但所有方向都落在同一个地方。