第49章 无需修改
三天后，麻省理工学院，32號楼。亚歷克斯·陈教授的办公室在四楼，窗外可以看见查尔斯河。
下午两点，阳光正好，河面上帆船点点，但亚歷克斯拉上了百叶窗。
他需要绝对的专注。
办公桌上摊著列印出来的论文稿，足足四十页，每一页都有密密麻麻的批註。
红笔、蓝笔、铅笔，不同顏色代表不同类別的笔记。
红色是疑问，蓝色是启发，绿色是需要验证的细节。
亚歷克斯已经在这篇论文上花了五个小时。
对於平均审稿时间只有三小时的他来说，这是罕见的投入。
他五十岁，头髮已经花白，但眼神依然锐利。
此刻他正盯著论文的第三章，理论框架部分，眉头紧锁。
门被敲响，博士生凯文探头进来：
“教授，您三点和谷歌研究员的会议……”
“推迟到明天。”亚歷克斯头也不抬。
“但这是您上周特意安排的，关於合作项目……”
“我说推迟。”亚歷克斯的声音里没有商量的余地。
凯文愣了一下，识趣地退出办公室，轻轻带上门。
他跟了亚歷克斯三年，从未见过教授如此专注，不，如此著迷，於一篇审稿论文。
办公室里重新安静下来。
亚歷克斯拿起红笔，在论文的页边空白处写下一个问题：
“定理3.2的证明中，为什么选择这个特定的李群so(n)？为什么不是su(n)或sp(n)？这种选择对最终算法性能的影响是什么？”
这个问题他其实已经思考了二十分钟。
论文作者给出的理由是so(n)的表示论更简单，计算更高效。
但亚歷克斯的直觉告诉他，这里面可能有更深的几何解释。
他站起身，走到办公室角落的白板前。
这块白板是他专门用来思考棘手问题的地方，上面已经写满了公式。
他擦掉一小块区域，开始推导。
设g=so(n)，h是某个闭子群，齐性空间m=g/h……
他的笔在白板上快速移动，发出沙沙的声响。
阳光从百叶窗的缝隙漏进来，在公式上切出细长的光带。
二十分钟后，亚歷克斯停下了笔。
他盯著自己推导出的结果，眼神复杂。
论文作者的选择是对的。
对於图分割这种需要保持节点间相对距离关係的问题，so(n)的正交性质恰好提供了最自然的几何结构。
选择su(n)或sp(n)反而会引入不必要的复杂性。
“他们不是隨便选的。”
亚歷克斯低声说，“他们真正理解了问题的几何本质。”
他回到桌前，翻到实验部分。
这里的数据好得令人难以置信：在六个大规模数据集上，分割质量的提升从38%到47%不等，运行时间的减少从25%到34%。
亚歷克斯的第一反应是怀疑。
他打开自己的笔记本电脑，登录实验室的伺服器，找到论文作者开源的代码仓库。
下载，编译，运行，一套熟练得不能再熟练的动作。
他选择了自己实验室最近收集的一个数据集。
一个学术合作网络，包含一千两百万节点，四千万条边，是他用来测试新算法的基准之一。
程序开始运行。
屏幕上滚过一行行日誌信息。
亚歷克斯盯著进度条，手指无意识地敲击桌面。
十五分钟后，程序运行完毕。
亚歷克斯点开结果文件，逐行阅读。
他的表情从平静变为惊讶，从惊讶变为震惊。
分割质量提升：41.7%。
运行时间减少：29.3%。
內存占用：比基线算法还低了12%。
“这不可能……”
亚歷克斯喃喃道。
他又跑了一遍，换了不同的隨机种子，结果基本一致。
他靠在椅背上，闭上眼睛。
脑海里浮现出论文作者栏里的那个名字：肖宿，十五岁，京城大学。
亚歷克斯想起自己十五岁时在做什么。
那时候，他还在为高中微积分考试发愁，最大的成就是参加了一次数学竞赛。
而这个中国的少年，已经做出了可能改变整个领域的研究。
他睁开眼睛，打开审稿系统，开始撰写审稿意见。
手指在键盘上停留了很久，才敲下第一句话：
“这是一篇非凡的论文，可能是我近十年来审阅过的最具创新性的工作。”
同一时间，普林斯顿大学，数学系大楼。
麦可·詹森教授刚刚结束下午的研討班，回到办公室时已经快五点了。
他今年已经六十二岁了，瘦高，白髮稀疏但梳理整齐。
他穿著经典的粗花呢外套，即使在春天也不脱掉。
打开邮箱，他第一眼就看到了tois的审稿邀请。
通常他都会直接拒绝。
计算机期刊的审稿太耗时，而且很多论文的数学部分漏洞百出，审起来让人很恼火。
但“李群理论”这个关键词让他犹豫了。
他是这个领域的专家，写过三本专著，培养过十二个博士。
看到有人试图把李群应用到计算机问题中，他的第一反应是好奇，第二反应是怀疑。
大多数这样的尝试都是很肤浅的，只是把这个数学名词当作一种装饰。
他点开论文，打算快速瀏览一下，如果质量太差就早点拒掉。
引言部分让他稍微提起了一点兴趣。
作者对问题的描述清晰，对现有方法的局限分析到位。
然后他翻到了数学部分。
五分钟后，麦可坐直了身体。
十分钟后，他起身关上了办公室的门。
半小时后，他已经完全忘记了时间。
论文中的数学不是他预想中的简单应用，而是真正的拓展。
作者不仅理解了李群和齐性空间的基本理论，还做出了创新，提出了“软群作用”的概念，將严格的对称性鬆弛为近似的对称性，这在实际应用中显然更合理。
更让麦可惊讶的是证明的严谨性。
每个定理都有完整的证明，每个引理都標註了出处。
他在一个关键引理处停下来，那个引理他认识，是他二十年前在一篇不太出名的论文中证明的。
麦可翻到参考文献列表，果然在第28条找到了自己的那篇论文：
[28] johnson, pact lie groups.” journal of differential geometry, 64(2), 301-330.
一种奇异的感受涌上心头。
那篇论文发表时，这个叫肖宿的作者还没出生。
而现在，这个少年不仅读懂了那篇专业到极点的文章，还把它用在了完全不同的领域。
麦可打开文件柜，从底层抽出那本已经泛黄的期刊合订本。
翻到第301页，他当年写的证明赫然在目。
对比论文中对该引理的使用，简洁，准確，而且给出了新的几何解释。
“他读懂了，而且理解了。”
麦可低声说。
这不是简单的引用，而是真正的消化吸收。
他继续往下读。
论文的第四章给出了算法的详细描述和复杂度分析。
作为数学家，麦可通常不关心算法的实现细节，但这次他看得格外认真，因为他想看看，这些优美的数学理论如何落地为实际的代码。
看完后，他不得不承认，作者的工程素养同样出色。
算法设计清晰，优化技巧巧妙，复杂度分析十分严谨。
麦可看了眼时间，晚上七点。
他已经在论文上花了两个小时，却丝毫没感到疲惫。
相反，他感到一种久违的兴奋，那种看到美妙数学时的纯粹的喜悦。
他打开审稿系统，开始撰写意见。
写得很慢，很慎重，每个词都斟酌再三。
在最后一段，他写道：
“从纯数学的角度看，这篇论文对李群理论也有贡献。『软群作用』的概念是一个有趣的推广，可能在数学的其他分支中也有应用价值。我强烈建议接收这篇论文，並期待与作者进行进一步的学术交流。”
点击“提交”后，麦可靠在椅背上，望向窗外。
普林斯顿的夜晚很安静，只有远处图书馆的灯火。
他想起了自己年轻时对数学的热情，那种想要探索未知世界的衝动。
而今天，他在一个十五岁少年身上看到了同样的光芒。
两周后，tois编辑部。
马克看著屏幕上返回的四份审稿意见，第一反应是揉了揉眼睛。
四份意见，全部是“强烈建议接收”。
没有修改要求，没有实质批评，只有一些细微的建议，补充某个证明的细节，增加一个对比实验，诸如此类。
他逐份打开细读。
亚歷克斯·陈的意见长达三页，详细分析了论文的算法贡献，称之为“可能开启图算法研究的新范式”。
玛丽亚·罗德里格斯附上了她自己运行代码的结果，確认了实验的可重复性，並指出“这套框架具有实际的工程价值”。
大卫·李从应用角度给予了高度评价，认为“这將极大推动社交网络分析领域的发展”。
麦可·詹森的意见让马克最意外。
这位以严格著称的数学家，在意见中毫不吝嗇讚美之词，甚至说“仅数学部分就值得发表在顶级的数学期刊上”。
马克长舒一口气，靠在椅背上。
莎拉凑过来，看完后也沉默了。
“这种情况……我职业生涯第一次见。”马克说。
“我也是。”
莎拉轻声说，“四位审稿人，都是领域內的大牛，给出了几乎一致的最高评价。这篇论文……”
“这篇论文会轰动。”马克接过话。
他点开决定信的模板，开始撰写。
他写得很用心，比平时任何一次都用心。
不仅正式接受论文，还特別讚扬了论文的跨学科创新性。
在信的末尾，他加了一段个人评论：
“作为编辑，我很少在决定信中表达个人观点。但这次请允许我说：这篇论文提醒我们，真正的创新往往发生在学科的边界处，而最伟大的头脑能够自由穿越这些边界。期待在不久的將来，在tois上看到您更多的开创性工作。”
点击“发送”时，马克的手微微颤抖，不是紧张，而是一种见证歷史的激动。
发送成功的提示跳出来。
马克靠在椅背上，闭上眼睛。
“结束了？”莎拉问。
“不。”马克睁开眼睛，眼中闪著光，“这刚刚开始。”