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

46、第46章 升•上升 继续向上 2031年

　　2031年的冬天，纽约比往常冷了一些。十二月中旬的某个凌晨，悦儿在Courant的办公室里独自坐着，笔记本摊开在第一百四十七页的位置。她刚刚在那一页的末尾写完了一个等式——一个关于四维管道几何中束间距离估计的闭合表达式。她写完之后检查了两遍，确认所有的指数都对得上，所有的常数都没有被遗漏，然后放下笔，在椅背上靠了一会儿。

　　她看着那个等式的形状。它在纸面上只占了三行，但它闭合的过程持续了大约六周。六周里她在黑板上画了四版不同的框架，每一次都在同一个位置卡住——束间距离的下界估计在四维中比三维多了一个自由度，那个额外自由度在估计中引入了两个方向之间的夹角分布密度函数，密度函数的积分域在高维球面上的形状比在二维球面上复杂了太多。她最后采用的方案是把那个积分域分割成若干子区域，在每个子区域中用不同的上界逼近总积分，再把逼近结果累加起来。累加之后的常数比她最初预期的略大，但那在大小的判断上仍然在可控范围之内。

　　她站起来走到窗边。凌晨的曼哈顿南端依然有灯光在亮着，一些是办公楼的夜间照明，一些是高层住宅的窗内透出的暖黄色光。她在窗前站了一小会儿，觉得自己的状态跟六周前有一些不同——那种不同不是来自已完成了一页推导的即时满足，而是一种更缓慢的、像被某个长期拖拽的负重从身上卸除了一部分的轻盈感。

　　她在当天的笔记本扉页上加了一行记录："12月17日，束间距离估计闭合。四维框架进度约七成。剩余部分：相位项的跨尺度传递验证、极端方向区间的常数精化。"

　　她把本子合上，关了台灯，在办公室的暗色中离开了。第二天早上她到办公室的时候，看到那页被合上的笔记本封面上沾着一小片灰白色的粉笔灰，是她写黑板时蹭到的。她没有擦掉它，只是把它连笔记本一起放进了书架上的固定位置。

　　当时四维挂谷猜想的状态是一种非常具体的"部分完成"。悦儿在三年多的时间里已经把多尺度归纳方法从三维平移到了四维，框架的主体结构是完整的——管道束划分、重叠密度函数的定义、坏管的逃逸路径分类——这些部分都可以在四维中直接沿用，只需要调整维度参数和球面上的测度表达式。但框架中有几段关键估计在四维中变成了另一种形态，不再是简单替换维数就能行的。那几段估计涉及高维球面上的方向分布函数，分布的局部行为在四维中比三维复杂了整整一个层级，有些在三维中成立的不等式到了四维就被违反了，需要用更精细的代数结构来替代它们。

　　她花了那个冬天和接下来的春天的一部分时间处理其中一段最关键的替代构造。那段构造的名字在笔记中被简写成"相位跨尺度传递验证"——它要确保管道束在跨越三到四个数量级的尺度时，相位的变化速度不会破坏已经建立好的体积上界。那个验证在三维中是自动成立的，因为三维空间中相位的自由度被方向空间直接约束了。在四维中它需要被单独证明。

　　她在那一年的四月中旬完成了那段验证的初稿。完成的方式不是直接证明相位在整个尺度区间的稳定，而是把尺度区间分成三段，在每一段中用不同的工具进行控制，然后在段与段之间的交界处使用一个插值公式将三段的估计拼接在一起。拼接后的结果在纸面上看起来不像一个自然的估计，更像一个由三块不同颜色的布缝在一起的拼接物。但所有缝线的位置都是精确的，没有一处松脱。

　　她在团队会议上展示那段拼接估计的时候，有人在白板上把三个子区间的控制函数画了出来。三个函数在图中颜色不同，形状各异，它们的曲线在交界点处交汇的连续性在视觉上看起来略有一些生硬，但在坐标轴上它们被同一条投影线连接起来了。巴西博士后盯着那三个函数的交汇处看了半天，然后说"缝线的位置是对的"——这个评价后来被团队当作一句内部梗来使用，每当有人做了某种看似粗糙但精度合格的拼接时，其他人会说"缝线的位置是对的"。

　　悦儿在那个拼接完成之后重新审视了四维框架的整体进度。她在一张新的白纸上画了一根进度条，左侧标"0"，右侧标"100%"，在进度条的中央偏右位置用马克笔画了一道竖线。她在竖线的右侧写"已完成框架"，左侧写"剩余细节"。竖线的位置大概在百分之六十五到七十之间的位置——不算高，但也不算低。整条进度条是稳定的，没有回退的迹象。

　　她给墨子发了那条进度条的照片，附了一句话："四维完成了大概七成。比去年的六成多了一成。"

　　墨子的回复是一段代码。他在回复中没有对进度条做评论，只是在邮件正文中附了一行说明："我用你的四维框架生成了一个投影到三维空间的图像。代码附在下面。你跑一下看看。"

　　悦儿下载了那组代码，在自己的机器上运行。她原本预期看到一些与三维可视化类似的管道结构，但实际生成的图像比她预想的复杂得多。屏幕上出现的是一个由无数细密线条构成的不规则结构，线条在空间中的分布不均匀——某些区域浓密到几乎成为实心的色块，某些区域稀疏到只有几根孤立的细线。整个结构的整体形状看起来像一个被揉皱后又拉伸过的表面，不是球体，不是椭球，而是一种介于面与体积之间的形态，像是试图在三维空间中展现四维物体的阴影。

　　她看了一会儿，给墨子发了一条消息："这是四维集合在三维空间中的投影。"

　　墨子回了一个字："是。"

　　悦儿继续看着那张图。结构内部有些深色的集中区域像被压实的管道密集区，外缘则有几缕近乎透明的丝状延伸物——那些延伸物在三维中看起来像是断裂的、不连续的碎片，但在四维中它们可能是连续的路径，只是在降维投影中被压缩成了虚影。她盯着那些丝状延伸物的方向和分布方式，认出它们对应着四维框架中她写过的"极端方向区间"中的一些结构。那些结构在纯公式中看起来是一些抽象的高维几何对象，在这张投影图中它们变成了可被视线追踪的、有形状的实体。她伸出手指在屏幕上沿着其中一根细丝的方向划了一小段弧线，弧线在画面中穿过了三处浓密区域之间的空隙，延展到结构的边缘处逐渐变细，变成一条几乎没有宽度的亮线。

　　她看了那张图大约十分钟，然后打了几个字发送："四维的美，三维的人看不到。"

　　墨子的回复在几秒后出现，打破了凌晨四点半的寂静："但我看到了。"

　　她看着那四个字，把图放大到全屏模式，让结构中的每一根线条都在视野中完整地展开。那些线条的密度分布和方向分布跟她笔记本中记录的估计参数之间存在着一一对应的关系。她在那个时刻忽然理解了那张图的价值——它不是一幅装饰性的展示图，它是一个经过压缩的验证平台。投影图上的每一个可见特征都对应着四维框架中的一个结构组件，如果投影图上的特征出现了不该有的断裂或空白，那就意味着四维框架中对应的那个组件需要被重新检查。反过来，如果图上显示的特征跟预期一致，那就为那些组件的正确性提供了一种额外的确认方式。

　　她后来把那张投影图打印出来，贴在了办公室的墙上。打印出来的图像比屏幕上的更清晰，深色区域的边界可以辨认出更细的纹理。她在贴的时候注意到图中的一个细节——在结构的左上象限中有一条长度较长的浅色弧线，弧线的曲率变化与另一个方向上的深色区域形成了一种几乎对称的对位关系。她后来花了大约一周时间去验证那个对称关系是否对应于框架中某种未被她记录的对应结构，验证的结果是肯定的。那张投影图在她框架验证的工作中起到了她最初没有预想到的作用——它不是证明工具，但它是视觉层面的诊断工具，有时比证明中的不等式更快地显示出哪些位置存在尚未被捕捉到的模式。

　　升。柔以时升。上升的速度是由时间决定的，而不是由人的意愿决定的。四维框架从搭建到闭合用了三年多，进度条的七成位置是在无数个凌晨和黎明之间累积出来的。每一成大约需要半年时间，有些时候推进得快，有些时候推进得慢。快的阶段通常对应着某个核心结构的一次性闭合——像束间距离估计的三行等式，写它的过程是六周，但它出现的那一瞬间感觉像一次快速的攀升。慢的阶段通常对应着那些拼接缝的打磨——把三段不同的控制函数拼在一起可能需要几个月的微调才能让缝线位置准确到不产生额外的误差。

　　那张投影图每天都出现在她的视线里。她坐在桌前面向它的角度使得视线从左到右自然扫过整个结构，然后再从右到左返回一次。那个扫视的节奏跟她在推导中偶尔抬头思考的节奏同步——写一段，抬头看一眼图，继续写。图上的某些部分在她看了很多遍之后已经变成了她的视觉基线，如果有新增的部分变化，她能立即注意到。

　　她在那年夏天的一次团队讨论中提到了那张图。她打开投影图，向团队成员展示了四维结构在三维空间中的投影方式，并解释那些丝状延伸部分对应的框架组件。团队中的韩国成员问"这能用来检验极端方向区间的估计吗"，悦儿说"已经验证过一次了。图上左上象限的弧线对应着框架中的一个对称结构，我后来在证明中找到了它"。以色列成员听了之后说"那这张图本身也是一个证明工具"，悦儿说"是的"。

　　她没有在讨论中提到那行代码的开发者名字。但她在那个场合适当地看了一眼自己的手机，屏幕上没有消息，这意味着墨子可能正在休息或者在别处处理事务。她将目光收回桌面上的草图，继续推进进度条那尚未填满的三成区间，沿着四维框架的结构深度向内部移动，逐段填充那些还有待验证的组合。那个结构还在被一层层地加固，像一棵树的年轮正在以不可见的速度缓慢加厚。她不知道外圈何时会闭合，但她能从内部的紧密度感知到大致的趋向。进度条上的那根竖线会继续向右移动，以时升的方式缓慢推进，直到它抵达百分之百的位置。