2032年的春天到来的时候悦儿办公室墙上的白板右下角多了一行小字是她用细头马克笔写的第十八次尝试状态卡在相位传递环节。她写完那行字之后退后了两步看了看整块白板上的内容——左侧是四维框架的完整结构图中间是已经被擦过很多次的推导残迹右侧是一列按时间排列的尝试标记。第十八次尝试的标记前面有十七个更旧的标记有些已经被横线划掉了有些还保留着原始状态像一排没有被清空的日志文件。那十八个月里团队的工作节奏发生了一种细微但持续的偏移。巴西博士后在年初发表了一篇三维变体挂谷集的改进估计那篇论文跟四维核心问题没有直接关系但它在审稿过程中消耗了大约五个月的时间。韩国博士生在夏天完成了一篇关于振荡积分的常数校正那篇论文的篇幅很短只有九页但她在这九页上花费的精力跟她在核心问题上花的精力几乎一样多。以色列成员转向了一个更技术的方向——他在尝试把代数几何中的某些局部化方法移植到高维球面的测度估计中。移植的进展缓慢每走一步都需要重新验证基础假设。瑞典成员在秋天提出了一个关于束划分的替代方案悦儿看了之后觉得那个方案在理论上是成立的但在实际操作中需要的计算量远远超出了现有资源的承受能力。她把这个评价写在了方案旁边然后把它放进了待定的文件夹里。每个成员都在以自己的方式回应同一个瓶颈——不直接冲击它在它周围的边缘地带寻找可操作的空间。那些边缘地带的工作成果是真实存在的每一篇论文都是一个完整的、经过评审的贡献。但它们在整体框架中的位置像是围绕着一个未闭合的环的外圈铺设的轨道轨道本身没有断点但它们不能通向环的中心。悦儿自己也做了一些边缘性质的工作。她在那十八个月里完成了一篇关于三维挂谷猜想的后续说明——不是新结果是一种对原证明中某些步骤的重述用更简洁的方式重新组织了引理之间的依赖关系。她在写那篇说明的时候发现自己在做一种回溯式练习把已经完成的结构重新走一遍不是为了修正它而是为了在走的过程中重新熟悉那些已经被使用过的工具的形状和承重能力。她在那篇说明的末尾写了一句话本文的内容在三维证明中已经存在它的价值在于为读者提供了一种不同的接近方式。那篇论文在审稿期间收到的反馈中有一条评论说这篇文章没有引入新数学但它把旧内容组织成了一种更容易被其他方向研究者理解的形式。悦儿读完了那条评论之后把页面关掉坐在桌前想了想。她没有觉得那条评论是一种批评它准确描述了她当时的状态——她没有新的工具可以输出所以她输出了一种对旧工具的重新排列。十八个月里她和墨子之间的通信频率保持稳定。她在信中描述瓶颈的方式不断变化有时候是技术性的——相位传递环节在跨尺度时出现异步振荡频差大约在0.03左右有时候是更抽象的——我站在一扇门前面知道门后面有路但找不到门把手的位置。墨子的回复通常不会直接回应技术细节而是把她说的内容转换成一种他熟悉的语言再做一次表述。有一次他写道你描述的异步振荡在我的系统里对应的状态是——两组信号在传递中丢失了同步相位。如果丢失的相位差是恒定的可以用一个固定补偿来修正如果相位差随时间变化就需要实时调整补偿系数。你遇到的是哪一种悦儿在读到那封信的时候把笔记本翻到了她记录相位传递问题的页面重新检查了那组频差的数值特征。她发现自己之前一直假设相位差是固定的但根据最近几次尝试的观测相位差实际上在跨过特定尺度阈值后会出现一次跳跃。那不是固定频差是分段常数型——在某些区间内稳定在临界点处突变。她在回复中写道是分段常数型。在临界点之前和之后各稳定在一个值上但两个值之间不连续。墨子的回复在两天后到达分段常数意味着临界点本身的性质是问题的关键。找到临界点的表达式就可以把问题拆成两段分别处理然后在临界点处用匹配条件连接。悦儿看着那行字把匹配条件这四个字读了几遍。匹配条件是微分方程中常见的处理方法用来在分段定义的解之间建立连续性。如果相位传递在临界点处发生突变而突变前后的值各在一个稳定区间内那么只需要在突变点处设置一个连接条件就可以把两个区间上的估计拼接成一个完整的控制函数。她在第二天上午的团队会议上提出了这个想法。她说如果相位失配是分段常数型的我们不试图消除失配本身而是为它的突变点建立匹配条件。把问题从消除失配改成在失配点处建立连接。团队在白板上画了一幅图下方画了两条平行的虚线横轴一条标着相位自由度另一条标着方向自由度。图示的人在两条轴线的同一位置各自标了一个跳跃点。他在两个跳跃点之间加了一根连接线用一个较细的箭头标注匹配条件连接使两个跳跃点之间形成了一条可见的连续路径。悦儿在那幅图下方站了一会儿然后说匹配条件的表达式本身需要被构造出来。它不会自己出现。那之后的时间被投入到匹配条件的构造中。悦儿花了大约六周在纸上尝试了四种不同的连接函数形式——多项式插值、指数衰减连接、对数中间过渡以及最后一种基于调和函数的双曲切线连接。前三种在数值检验中都产生了可观测的残余误差误差的幅度虽然不大但足以在多个尺度迭代后被放大到破坏整个估计的程度。第四种——双曲切线连接——在检验中显示残余误差被控制在了一个低于阈值的范围内。她在笔记本上把那组连接函数的表达式圈了出来在旁边写下匹配条件初步方案有待扩展到三维方向空间。六周后在瓶颈的第22个月她向团队展示了匹配条件的构造。她在白板的左侧画出了相位失配的分布函数在右侧画出了双曲切线连接的形状然后指着中间说这两种曲线合并之后得到的结果是一条从起点到终点都连续的线。节点位置是匹配条件连接方案使用双曲切线的边界趋于稳定。韩国博士生在演示结束后沉默片刻然后说现在看起来像一条连续的线了。悦儿站在白板旁边将视线从双曲切线的图示移回左侧的原始分布函数在两个图形之间来回扫视了一番然后说它看起来连续是因为连接条件在两个分段的接缝处施加了一个平滑过渡。目前它只在二维测试中成立需要扩展到三维方向空间后才能判断是否确实稳固。但方向是对的。瓶颈的持续时间从那之后不再是决定性的参数了。她在笔记中不再写第XX个月没有进展——因为进展的定义在那时已经发生了变化。匹配条件的构造本身不是整个问题的解但它提供了一个方向使相位自由度和方向自由度在分段区间上的处理有了可操作的桥梁。那个桥梁很窄只能单向通行而且每个区间的长度分布决定了能传递的信息量。但她在那座桥上站着的那个时刻感觉到脚下的支撑物已经从可能不存在变成了需要加固。她在那个晚上给墨子发了一封信这封信比平时的短只有三句话我找到了连接两个分段区间的桥梁。桥不宽但方向是对的。你之前说的匹配条件在四维相位传递中确实存在一个可构造的表达式。她按下发送键后没有等回复而是把笔记本摊开在桌面上翻到了匹配条件所在的页面在页面的右边缘用铅笔标注了时间点:2033.3——标注之后她合上本子在台灯下坐了一会儿把目光停留在墙上的白板轮廓上。白板上那行第十八次尝试的标记还在但她没有把它擦掉。她只是看着它让它在视野中存在了一小段时间随后收回视线把注意力重新放在笔尖上。困卦的爻辞说困而不失其所亨其唯君子乎——在困境中不失去自己的方向这样的人才能继续前行。十八个月里悦儿在墙上的白板上累积了四十多个尝试方向记录它们被逐一标注、逐一验证、逐一排除。她没有在困境这个词上停留过久而是把精力投入到记录和排除过程中让那些被划去的标记成为可追溯的试错痕迹而不是判断自己是否失败的依据。当匹配条件的桥梁被搭起来的时候她坐在桌前看着那个尚未被最终验证的构造感受到的不仅仅是解决问题的那种支撑感还有一种对困境本质的认识——瓶颈的突破往往不是来自某个突然出现的灵感而是在漫长的逐个排除之后由剩余的那些未排除过的结构片段拼接而成的产物。她在第22个月的末尾把匹配条件的初稿纳入四维框架的整体结构中留出了一段待验证的空间作为后续填充的入口。墙上的白板仍然保留着部分标记但她知道那处空间将在框架闭合后被填满而瓶颈会以一种可以被描述为走过来了的方式结束——不是因为障碍消失了而是因为她终于踩上了一条通往障碍另一侧的路。