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

4、第4章 蒙•启蒙 从建筑学到数学 悦儿回忆自

　　那场关于"无穷逃逸即粘性"的推导之后，悦儿连续睡了十四个小时。醒来的时候窗台上的卷心菜已经彻底软塌下去，叶子边缘蜷成深褐色的碎屑，像某种风干后的标本。她把卷心菜扔进垃圾桶，烧了一壶水，泡了一杯速溶咖啡，然后坐在桌前盯着电脑屏幕上那个写了一半的LaTeX文档，忽然觉得心脏里有一个很小的东西在跳——不是心跳，是另一种频率的震动，像远处有一根弦被拨了一下。

　　她不知道自己为什么会想起那个下午。2015年。巴黎的十一月，天阴沉沉的，她坐在埃松省的一间小教室里，面前摊着一张还没画完的建筑平面图。图纸上的线条用铅笔勾了一半，另一半空着，像被遗忘的断桥。

　　那学期她刚退出了硕士的数学项目。没有闹翻，没有争吵，甚至没有人劝阻她。她在导师办公室里坐了十五分钟，说出了那句她准备了三个星期的话——"我想暂时停一下。"导师是一个头发花白的法国男人，他听完之后沉默了几秒，然后说："停了之后呢？"悦儿说："去学建筑。"导师点点头，说："那你去吧。学完之后如果还想回来，给我写封邮件。"

　　她走出办公室的时候走廊里一个人都没有。她把学生卡塞进口袋，发现口袋上有一个洞，学生卡从洞里滑出去掉在地上，她弯腰捡起来的时候忽然哭了。不是因为伤心，是因为她不知道自己为什么在哭。她哭了一路，从教学楼走到地铁站，从地铁站走到租住的小公寓。回到屋里她把门关上，站在玄关的黑暗里，像一根被从墙上拆下来的钉子。

　　学建筑的第一周是画线条。老师说："一根直线可以走无限远。但你画出来的线必须有起点和终点。这就是建筑与数学的区别——建筑里有'有限'这个前提。"悦儿握着铅笔，在纸上画了一条直线。她的手腕很稳，画出来的线笔直，从头到尾没有一丝抖动。老师走过来看了一眼，说："你以前画过？"悦儿说："画过。在黑板上画过很多。"老师没有多问，走开了。悦儿低头看着那条线，忽然觉得它很像一根针。一根被钉在纸面上的针，不能旋转，不能指向任何方向，只是一条永远停在原处的线段。

　　建筑学的课程教给她一种全新的理解空间的方式。在数学里，空间是抽象的，是集合和测度，是无穷维的希尔伯特空间和巴拿赫空间。在建筑里，空间是具体的，是墙、地板、天花板，是光线从窗户里照进来时在地面上切出的那块三角形光斑。悦儿站在空教室里，用脚步丈量房间的对角线，十二步。十二步的距离，在数学里只是一个数字3.66米，在建筑里是一段需要走过去的实际长度。她想起挂谷猜想里的那根针，长度是一，无论什么单位——一米、一英尺、一光年——它都是一根抽象的针。但在建筑里，一根一米的针放在桌上，它占了一米的空间，它挡住了一部分光线，它的影子在下午三点的地板上投出一条细长的暗线。

　　课程进行到第三个月的时候，老师布置了一个题目："设计一座最小的住宅，容纳一个人居住的全部活动空间。"悦儿回去画了三天。她在一张A3纸上画了一个面积很小的平面图，所有的房间都折叠在一起，厨房和卧室共用一面墙，客厅的沙发同时也是床。她画完之后站在桌前看那张图，忽然发现那个平面图的形状很像一个贝西科维奇集合——所有的功能区域互相重叠，重叠到几乎看不见缝隙，但每一个功能区又确实存在。她握着笔，在图的下方写了一个很小的字："测度。"

　　那天晚上她站在宿舍的窗前，巴黎的夜空被城市的灯光染成了一种浑浊的橙红色，看不见星星。她手里握着那张图纸，想起了一个概念：豪斯多夫维数。建筑学里的"空间"是可触摸的三维体，但图纸是二维的。你永远只能看到空间的投影，看不到空间本身。而挂谷猜想恰恰相反——你永远只能看到方向的集合，看不到方向本身的形状。这两个东西，一个是"降维"，一个是"升维"，但在某一个点上它们交叠了。那个交叠的点，就是"如何在不失去信息的前提下压缩空间"。

　　她忽然清醒了。像有人在她面前打了一个响指。她低头看着那张图纸，那些折叠在一起的房间，那些重叠的功能分区，那些几乎看不见的缝隙——她正在做的这件事，本质上和Davies在1971年做的那个构造一模一样。把所有的方向压缩到尽可能小的空间里，让重叠最大化，让空隙最小化。建筑学里的"最小住宅"和数学里的"最小集合"在问她同一个问题：一个东西可以小到什么程度，同时还能保持它的完整性？

　　第二天她去了学校附近的建筑书店，买了一本厚重的傅里叶分析教材。那本书她其实读过两遍了，但在巴黎的那个冬天她读了第三遍。她坐在塞纳河边的长椅上，翻开第一章，从头开始看。傅里叶变换把一个函数分解成不同频率的正弦波——就像把一栋建筑分解成砖、混凝土、玻璃、钢架。每一个元素都很简单，但组合在一起就成了复杂的结构。挂谷猜想关心的不是"组合"本身，而是"组合之后的空间"。如果一个集合包含了所有方向的线段，那它的傅里叶变换会表现出一种特殊的衰减行为。反过来，如果你能控制傅里叶变换的衰减，你就能控制挂谷集合的最小体积。

　　这层关系在数学里有一个专门的名字：限制性猜想。悦儿在长椅上读到那个词的时候，手里的咖啡已经凉透了。她盯着书上那一页，红色的下划线划在"restriction conjecture"这个短语下面，然后她翻开另一页，看到了一句话——"挂谷猜想与限制性猜想是调和分析中的一对对偶问题。解决其中之一，往往意味着接近另一个。"

　　她合上书，看着塞纳河上驶过的游船。船上的人用手机拍照，有人朝她挥手，她没看见。她在想一件事：如果挂谷猜想问的是"方向集合能有多小"，那限制性猜想问的就是"这些小集合上的能量能有多大"。两个问题是同一个硬币的两面。你证明了其中一个的尺寸上限，就相当于证明了另一个的能量上限。二维挂谷猜想解决之后，二维限制性猜想也跟着解决了。但三维挂谷猜想停在原地，三维限制性猜想也就停在原地。两个问题像连体婴，共享同一颗心脏。

　　那天晚上她回到宿舍，给自己的导师写了一封邮件。她写了很长时间，删了又改，改了又删，最后一共只有三行字："老师，我学完了建筑。我想回来。还来得及吗？"

　　导师回了六个字："把你的论文发来。"

　　她打开电脑，找到了自己硕士阶段写过的那篇关于调和分析的期中论文。那篇论文她当时的成绩是B+，在班里中等偏下。她重新打开文档，看着那些曾经让她头疼的公式和定义，忽然发现它们变得清晰了。建筑学教给她的是"形状"——一个东西长什么样，两个东西怎么拼接，三个东西怎么共生。现在她带着那些形状的理解回到公式里，每一个不等式都像一面墙，每一个估计都像一个房间，一个数学证明就是一个完整的建筑，有地基，有框架，有屋顶，有窗户。

　　她在回巴黎的火车上重新写了一版论文。从巴黎到埃松的火车只有四站，全程二十五分钟。她用这二十五分钟重新推导了论文里的一个关键引理——原来的证明用了十五行，她压缩到了八行，因为她在建筑学里学会了"留白"。有些步骤不需要全部写出来，让读者自己去填充那些空隙，就像一栋房子不需要填满每一寸空间，留出来的门和窗才是结构的意义所在。

　　导师收到新论文之后过了三天才回复。他说："你用八行写了原来十五行的事。但这八行里有两个地方你省略了细节。省略得不错，但你要确保省略的东西确实可以被填上。"悦儿回复："我可以填。"导师说："那你填上再发给我。"

　　她用了四天把那两个"省略的细节"写成了十二页的附录。那十二页是她在建筑学教室里画的那些平面图、剖面图、立体模型的数学翻版——她把"空间的围合"翻译成"集合的边界"，把"视线的方向"翻译成"纤维的积分"，把"最小住宅的折叠"翻译成"覆盖引理的递归应用"。附录写完的时候，她已经完全不记得自己曾经因为成绩不好而放弃过数学。那些成绩单上的B+只是一个平面的数字，而她此刻站的是一栋三维的建筑。高度不同，视野就不同。

　　回到巴黎的第二天，她在学校走廊里碰到了建筑学院的老师。那个老师说："你退课了？"悦儿说："我回去了。"老师看着她，说："回哪儿？"悦儿说："回数学。"老师点点头，说："你觉得建筑和数学最大的区别是什么？"悦儿想了想，说："数学是找到唯一正确的答案。建筑是在无数种可能中选一个。"老师说："那你怎么知道数学里的那个'唯一'是存在的？"悦儿说："我不知道。但我愿意去找。"

　　那之后又过了三年。三年里她完成了博士论文，做了两期博士后，在MIT找到了位置。现在她站在2020年秋天的波士顿，面前是扎尔发来的修改意见和粘性挂谷猜想的归约框架。她回头看那三年——从建筑回到数学的那条路，像一条从雾中穿过的隧道。她在隧道里走了很久，出来的时候看见的东西和进去的时候完全不一样了。

　　那天下午，她的手机响了。一条消息来自墨子："有空吗？Café ArtScience，四点。室外。"悦儿看了一眼时间，三点二十。她关了电脑，穿上外套出了门。咖啡馆在MIT附近的一条街上，疫情之后室外搭了一圈围栏，摆了六张桌子。悦儿到的时候墨子已经坐在那里了，面前放着一台打开的笔记本电脑，屏幕上是一个她看不懂的界面，密密麻麻的彩色方块像一张棋盘，有的在动，有的静止。

　　"这是什么？"她坐下来，要了一杯热茶。

　　"算法。"墨子把屏幕转向她，"我写了一个东西，在高维空间里找'套利方向'。"

　　悦儿看着那些彩色方块。"什么方向？"

　　"价格差异。比如说，同一个金融产品在不同的交易所卖不同的价格。我在两个市场之间找一条路径——从低价市场买，到高价市场卖，中间的利润就是方向。"他滑动鼠标，屏幕上出现了一团闪烁的点，像是被风吹乱的萤火虫。"你看这些点，每一个点都代表一个潜在的套利机会。它们分布在一个高维空间里，像一群飞散的粒子。我的算法要做的事情就是——在所有的点里找到那些'方向一致'的，然后把它们连起来。"

　　悦儿盯着那团点看了一会儿。"你在找的是稀缺。"

　　墨子抬起头。"什么？"

　　"我说，你在找的是稀缺。"悦儿端起茶杯喝了一口。"你的算法在所有的可能性里找最少的那个——最少的路径，最少的风险，最少的代价。你试图把整个空间压缩到一条线上，一条能赚钱的线。而那些其他的点——那些不能赚钱的方向——对你来说就是噪声。"

　　墨子没有说话。他把屏幕转了回来，看着那团闪烁的点，然后他忽然笑了。"那你呢？你在找什么？"

　　"我在找完整。"悦儿说，"我的问题要求所有方向都必须存在。一个方向都不能少。你找的那个套利方向，在我的问题里只是千万分之一。我的空间里不能有'噪声'，所有点都必须有意义。"

　　墨子合上了电脑。秋日下午的阳光斜斜地照在室外桌面上，茶杯的影子被拉得很长，像一根从杯沿延伸出去的细线。"稀缺和完整，"他说，"是同一枚硬币的两面。"

　　悦儿看着他。"怎么说？"

　　"没有'完整'这个背景，'稀缺'就毫无意义。如果所有方向都能赚钱，那每个方向赚得都一样，没有区别。反过来也一样——如果没有稀缺的方向，'完整'就只是另一个词，没有任何信息量。"他把电脑放到一边，端起自己的咖啡喝了一口。"你做的那件事——让所有方向都能存在——其实是在定义一枚硬币的一面。我在另一面找那个最稀少的点。没有你，我看不到那枚硬币。"

　　悦儿没有说话。风吹过来，她外套上的衣领翻了一下。她伸手把它按平，手指碰到了杯沿烫了一下，缩了回来。墨子注意到了，但什么都没说。他只是在她的茶杯旁边放了一张叠好的纸巾。

　　"你在学建筑的时候，"墨子忽然说，"有没有想过不做数学了？"

　　悦儿一愣。"你怎么知道——"

　　"上次在报告厅外面你说过。你说你在法国待过。我后来查了一下你的履历。"

　　悦儿看着桌上的纸巾，那张纸叠得很整齐，边角对得一丝不苟。"想过。做了半年的建筑。然后回来了。"

　　"为什么回来？"

　　"因为建筑没办法回答我的问题。"

　　"什么问题？"

　　悦儿沉默了一下。她看着远处查尔斯河上的水光，秋天的阳光在水面上碎成无数个亮片，每一个亮片都在动，每一个方向都有。"我在想一个东西能小到什么程度。建筑里永远有一个'最小'——最小房间，最小面积，最小空间。但那个'最小'是用尺子量出来的，是一个具体的数字。数学里的'最小'不是数字——是一个极限。你可以无限逼近它，永远到不了。我想知道那个极限在哪里。"

　　墨子听完了，把咖啡杯放回桌上。杯底碰到木桌面发出一声很轻的响。"那你现在知道了多少？"

　　"知道了它存在。"悦儿说，"剩下的是怎么找到它。"

　　墨子没有追问。他只是把电脑重新打开，把那团闪烁的彩色方块又调了出来。"你看到这些点了吗？"他指着一个在屏幕边缘的绿色小点。"这个点是概率最低的方向。几乎不可能发生。但在我的算法里，它存在。我不能删掉它。因为如果删掉了，整个空间就不完整了。"

　　悦儿凑过去看那个绿点。它很小，在密密麻麻的红蓝点阵里几乎看不见。但它的确在那里，一动不动地待在高维空间的某个角落，像一个被所有人忽略的方向。

　　"那你删不掉它。"悦儿说。

　　"删不掉。"墨子说，"所以我也在找完整。"

　　他们坐在室外，太阳慢慢偏西，秋风开始变凉。悦儿把外套拉链拉上，忽然想起了一个词：蒙。山下有险，险而止。她当年在北大从地空转到数学，在法国从数学转到建筑，又从建筑转回来——每一次转折都是"险而止"，在悬崖边上停住，然后换一条路。山一直在那里，但走山路的方式可以变。她从地质的视角看数学，又从建筑的视角看数学，最后从编程的视角看数学。每一个视角都像一扇窗户，打开之后看到的是同一座山的不同侧面。

　　墨子把电脑关了。"走吗？"他说。

　　"走。"悦儿站起来。

　　他们沿着查尔斯河走了一段路。谁都没说话。河面上的亮片已经变成了暗金色的碎光，在秋风中微微晃动。悦儿走在他左边半步的位置，两个人的影子在地面上交替着拉长又缩短。

　　到了分岔路口，墨子停下来。"下次，我帮你把那些管道画成动态的。"

　　悦儿看着他。"什么管道？"

　　"你跟我说过的。那些三维空间里交叉的细管。我在代码里做一个模型，让它们真的动起来。"

　　悦儿忽然笑了一下。那是她今天第一次笑，很轻，像一阵风擦过水面。"精确是数学的事——"

　　"美是代码的事。"墨子替她说完了。

　　他走了。悦儿站在路口，看着他拐过街角，背影融进暮色里。她转过身往公寓的方向走，口袋里的手机震了一下。她掏出来看，是扎尔的消息："引理7的推导我重新做了。你的'无穷逃逸即粘性'那条思路，我用上了。明天碰头。"

　　她回了三个字："明天见。"

　　回到公寓，她打开灯，桌面上那张写着"无穷逃逸即粘性"的纸还在。她把它拿起来，对着灯光看。纸面上那些箭头的线条在背光中变成了一幅半透明的结构图，像一栋建筑的剖面——地基是那行字，框架是那些不等式，屋顶是还没来得及写下的最终结论。

　　蒙。启蒙不是获得答案，是学会在不同的视角之间往返。她从地质走到数学，从数学走到建筑，再从建筑走回来。每一条路都没有白走。每一条路都是那根针旋转时扫过的一个方向。

　　她把纸放回桌上，打开电脑，在LaTeX文档的最上面写了今天的日期。然后在日期下面打了一行新标题："第4章归约框架。第一节：从非粘性到粘性的极限构造。"光标在屏幕左上角闪了一下。她开始打字。窗外查尔斯河的水面已经完全暗了，但她知道那些亮片还在，只是换了方向，换了一种光。