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

5、第5章 需•等待 127页论文前的五年 2022年

　　2022年的春天来得格外迟。波士顿的三月还在下雪，四月中旬路边的积雪才彻底化完。悦儿在公寓的窗台上换了一盆新的绿萝——上次那颗卷心菜之后她发誓不再在窗台上养能吃的东西。绿萝好养，只要浇水就能活，叶子顺着窗沿往下垂，像一道道绿色的细线在风中轻轻晃动。

　　她坐在桌前，面前的电脑屏幕上是一封来自扎尔的邮件。时间是凌晨两点十七分。主题是："Accepted." 附件是一份PDF，来自《数学年刊》的接收函。悦儿盯着那个词看了很久。"Accepted"有九个字母，她数了三遍。九年。从2014年在巴黎第一次读到Katz-Tao的论文，到此刻收到这份接收函，整整九年。九年的等待被浓缩成九个字母的单词，像把一头大象塞进一只信封里。

　　她点开附件，目光扫过那些格式化的官方措辞——"审稿人一致认为""该工作解决了粘性挂谷猜想这一重要情形""我们很高兴接收"—然后她关掉了附件。那篇论文她已经在arXiv上看了无数遍了，六十七页，十三个引理，四个定理。每一行公式她都记得。那篇论文里最核心的定理是：粘性挂谷集合的维数一定是三。她和扎尔用了两年时间把它从Katz-Tao的框架里拔出来、拆开、重构、加固。最终的结果像一堵砌得严丝合缝的墙，每一块砖都稳当地压在前一块上面，没有松动的地方。

　　但墙只是墙。不是整栋房子。

　　悦儿站起来走到窗边，绿萝的叶子碰到了她的手腕，凉凉的、软的。她看着窗外查尔斯河的水面，春天的水比冬天亮了，浅浅的灰蓝色上浮着一层薄薄的波光。她在心里把挂谷猜想的证明结构重新过了一遍：第一步，证明粘性情形。已经做完了。第二步，证明阿苏阿德维数的弱版本。还没开始。第三步，把一般情形归约到粘性情形。这是最大的难题。她仿佛看到一栋三层楼的建筑，她刚刚砌好了第一层的地板。上面还有两层，不仅没砌，连图纸都还没画全。

　　扎尔的消息在半小时后追过来："你看到邮件了？"

　　"看到了。"悦儿回复。

　　"你怎么一点都不激动？"

　　悦儿看着屏幕，想了想，打了几个字："因为我知道这只是开始。"删掉，改成了："因为还没做完。"又删掉，最后发了三个字："我知道。"

　　扎尔那边沉默了几分钟。然后他回了一条很长的消息："我也是。我在办公室坐了一个小时，什么都没做。论文接收了，应该高兴，但我满脑子想的都是下一步。怎么从粘性推到一般。我甚至写了一个标题——'On the reduction of general Kakeya sets to sticky configurations'——然后我就对着那个标题坐了一个小时，什么内容都没写出来。"

　　悦儿看到这条消息的时候，笑了一下。她想起自己在巴黎那年，坐在建筑学院的教室里对着空白的图纸，铅笔尖悬在纸面上方一厘米的位置，什么都画不出来。那种感觉和现在一模一样——你知道下一层楼的结构应该长什么样，但你的手就是动不了。每一笔画出去都可能错，而修改的成本太高了。

　　她回复扎尔："标题留着。内容会有的。"

　　扎尔回："你凭什么这么肯定？"

　　悦儿看着窗外的河面，想了很久。"因为我们已经走了最远的那段路。从0到1粘性花了两年。但从1到全部——可能更长。"

　　"多长？"

　　"不知道。也许三年。也许五年。也许更久。"

　　扎尔回了四个字："那就等着。"

　　需。需者，须也。险在前也。那个晚上悦儿第一次真正理解了"需"这个卦的含义。它不是说被动地坐在原地等事情发生。它说的是你面前有一条很长很险的路，你不能跳过它，也不能绕开它，你只能一步一步走过去。但走过去需要时间，而时间本身是一种准备工作。你在等的那段时间里，实际上在积蓄力量，在练习步伐，在调整呼吸。等不是空白，是另一种形态的做。

　　第二天下午，悦儿的邮箱里收到了一封意料之外的邮件。发件人：墨衍。主题："一个动态模型。"

　　她点开。正文很短："上次说帮你做可视化。我写了一个原型。可以在三维空间里显示管道的多尺度结构。你看看吧，有bug可以告诉我，没bug就留着用。"底下附了一个下载链接。

　　悦儿犹豫了几秒，点了那个链接。下载的是一个压缩包，解压之后是一个可以执行的程序文件。她双击打开，屏幕上跳出一个窗口，浅灰色的背景上悬浮着一团细细的彩色线条。她用鼠标滚轮缩放，那团线条开始变化——放大的时候线条变粗、分散，缩小的时候线条变细、聚合，像一朵可以在任意尺度上切换视角的金属花。她拖动鼠标旋转视角，那些线条在三维空间中缓缓转动，彼此交错、重叠、分离，形成一种复杂而有序的网状结构。

　　悦儿盯着屏幕看了很久。那个程序比她想象的精巧得多。不只是把管道画出来那么简单，它还标出了每一根管道与其他管道的"重叠指数"——用颜色的深浅来表示：深红色的重叠最多，浅蓝色的重叠最少。悦儿把画面缩到最小，看到整个结构的外轮廓是一个不规则的球体，边缘有一层淡淡的透明外壳。她忽然意识到，那层外壳就是"粘性假设"的视觉化表达——所有管道都被限制在一个有限的空间里，不能逃逸出去。

　　她给墨子发了消息："你写了多久？"

　　墨子回了："两周。利用晚上时间。怎么了？"

　　"没什么。就是觉得——你把我的证明翻译成了另一种语言。"

　　墨子隔了一会儿才回："什么语言？"

　　"视觉。"悦儿说，"我以前只会在黑板上画二维的示意图。三根管、四根管、最多五根，画多了就看不清了。你把几千根管同时放在一个空间里，让我看到了它们的整体结构。"

　　墨子那边沉默了大概三分钟。然后他回了一条："结构对吗？我是说——我画出来的那些重叠指数，跟你数学里的定义一致吗？"

　　悦儿重新打开程序，把颜色最深的那团管道放大。她认出那些是粘性核心区域——最密集、重叠最充分的部分。浅蓝色的区域分散在外围，是那些"可能逃逸"的方向。她伸出手指在屏幕上画了一条路径，从深红区穿过浅蓝区再绕回深红区，那条路径正好对应了她和扎尔在论文中用不等式证明的某种"瓶颈估计"。

　　"完全一致。"她发了这四个字，然后追加了一句，"你用的颜色编码，正好对应了我们的重叠指数。你在没看过公式的前提下还原了公式想说的东西。"

　　墨子的回复让她愣了一下。"我看过公式。你的那篇预印本，我读了前三章。后面的太复杂了，读不懂。但前三章里你们定义了一个'重叠函数'。我把它翻译成了颜色。"

　　他读过她的论文。悦儿不知道该怎么回。她看着屏幕上那团正在缓慢自转的彩色管道网，忽然觉得那团东西比她写的任何一段公式都更接近"粘性"这两个字的真实含义。公式是精确的，但公式也是线性的——一行接一行，像排队报数。而这个可视化模型是平行的，所有信息同时呈现，像站在山顶看一座城市的全貌。

　　那天之后，墨子发程序的频率变高了。每隔几天邮箱里就冒出一个新版本的压缩包，文件名带着日期和版本号。有时候只是改了一个视角控制的灵敏度，有时候是增加了新的颜色映射方案。悦儿每次都下载、打开、旋转、缩放、截图、把截图发给他、附上一两段简短的反馈。他们之间的对话变得像在合写一份代码文档，没有多余的话，全是"第二层的红色范围偏大了""第三层的蓝色边缘需要再加一个过渡区"。但悦儿注意到，墨子从来没有问过她"这样改对不对"。他只是在调整，用他自己的方法靠近那个"正确"的形状，像一个雕刻家在石头上凿掉多余的碎屑。

　　五月的某个深夜，悦儿把那个可视化程序打开到最大窗口。屏幕上那团管道网在缓慢旋转，她盯着它看了很久。忽然她发现了一件事——那个旋转的速度不是恒定的，在某个特定视角下，它转得快一点；在另一个视角下，它几乎停下来。她切换到那个"几乎停下来"的视角，发现那个方向正好是她前几天在和扎尔讨论中卡住的那个角度：从某个特定方向观察时，管道的重叠结构会"塌缩"成一个更简单的模式。

　　悦儿拿起手机拨了墨子的号码。响了两声他就接了。

　　"你在代码里做了什么？"悦儿问。

　　"什么做了什么？"

　　"那个旋转速度，在某个视角下变慢了。"

　　墨子沉默了两秒。"哦，那个。我加了一个惯性权重。当视角接近某个'特征方向'时，算法会自动减速。你上次说过——管道在某些特定方向上的投影会简化结构。我就把那些方向标出来了，让模型在接近它们的时候走慢一点，方便你观察。"

　　悦儿握着手机，站在半明半暗的房间里。屏幕上那团管道还在转，在"特征方向"附近轻轻晃动，像一艘船在入港前减速。

　　"你怎么知道我说的'某些特定方向'是哪些？"

　　墨子说："你论文里有一个引理。引理4.2。你说'存在一个方向集E，使得投影到E上的管道满足简化条件'。我把那个引理里的方向集参数化成了视角的权重。"

　　悦儿没有说话。她引理4.2里写的那句话只有三行。墨子读了三行字，就把三行字变成了一个在屏幕上自己旋转的、有重量的、会减速的视觉模型。她忽然明白了为什么她读那篇论文的时候总有一种隔着一层玻璃看东西的感觉——因为公式是写在纸上的，平面上的，平的。而墨子用一种属于代码的直觉，把平面上的东西"提"了起来，让它有了纵深，有了速度，有了方向。

　　"你是一个程序员，"悦儿说。

　　"我是。"

　　"但你在用代码做数学。"

　　墨子那头传来一阵很轻的键盘敲击声，像是他在一边打电话一边随手敲着什么东西。"我不知道那算不算数学。"他说，"我只是在画你脑子里的东西。"

　　悦儿放下手机的时候屏幕上的模型已经转到了另一个视角。那团管道网的红色区域和蓝色区域交界处，有一条极细的亮线——墨子不知道什么时候加了一条边界线，用来标示"粘性区域"和"非粘性区域"的临界位置。那条线弯弯曲曲的，像山脊线的等高图，把她和扎尔用三十页不等式才逼近的那个临界边界，用一条像素级别的细线画了出来。

　　她坐在桌前，对着那条亮线看了很久。窗外天已经蒙蒙亮了，查尔斯河的水面上泛起一层极淡的金色。需。等待。五年。她不知道五年后自己在哪里，不知道那栋三层楼的建筑会不会盖完。但她看着屏幕上那条由代码画出来的细线，忽然觉得等一等也没关系。那条线在那里。方向在那里。她只需要沿着它走过去。

　　她把窗口关掉之前截了一张图，发给了墨子，附了一个字："留着。"墨子回了两个字："留着。"

　　第二天早上扎尔的邮件来了，标题是"下一步的计划"，里面列了一个时间表，从2022年夏天开始，到2025年冬天结束，中间分了八个阶段。悦儿看着那个时间表，发现扎尔在最后一个阶段写的不是"完成证明"，而是"如果需要更多时间，请告知"。他在那张表里留了一行空行，像一堵墙上预先留好的门洞。

　　悦儿回复了他："五年。我留了五年。如果不够——那就继续等。"

　　她关掉邮件，打开墨子昨天发来的最新版本程序。屏幕上那团管道网在晨光中旋转，所有的方向都在动，所有的管都在交叉、重叠、分离、再交叉。她伸出手，用鼠标拖动视角，让那条临界亮线完整地呈现在屏幕正中央。然后她打开了一个空白文档，在顶部打了一行字："归约框架草案。第一阶段：识别非粘性区域的逃逸路径。"

　　光标闪了一下。她开始打字。窗外的查尔斯河上，一艘皮划艇刚刚下水，桨叶划破水面，在水面上留下一道细细的、正在慢慢合拢的痕迹。那道痕迹像一根针扫过的路径，指向所有方向中的一个，它存在了一会儿，然后消失了。但它消失之前，水面记住了它的方向。