顾清尘走后，办公室又恢复了安静。

    肖宿埋头，沉入了自己的思绪里。

    初版样品的全频段散射对消框架跑通了，也就是大方向没问题，但是镀膜均匀性的偏差导致的发短波端共振峰漂移，多层膜层间应力没做专门处理差点影响良率，以及曲面基底上的相位偏移问题还没正式纳入框架这些问题还是存在的，这些，他都得在新的方案里改进。

    而且，为了避免再次出现上次罗华他们那种情况，实验方法也得写的清楚一些。

    梳理了一遍思路，肖宿低头落笔，纸面上开始铺开一行行推导。

    他先给模式空间的共振峰加了鲁棒性约束，把窄带高峰展宽成宽带平坦响应，用算法层面把工艺偏差兜住。

    接着，他翻出上一版的多层膜结构图，重新拆解了层间应力的力学分布，用梯度亚层等效替代单层厚膜，在不改变光学特性的前提下把应力分散到安全阈值以内。

    然后，又把曲面问题正式纳入了主框架，推导共形映射的变换矩阵，并且在映射过程中引入了曲率自适应的几何预补偿，让不同曲率位置的散射相位进一步拉平。

    三块内容写完，纸面上已经密密麻麻铺满了公式、草图和标注了。

    写了大概一个多小时，他才抬起头来。

    他揉了揉有些酸疼的手，把写好的几页纸收进文档夹里，标上日期和版本号，让高长安发给了赵雪晴和罗华他们。

    等高长安拿着文档走出去，他也没歇息，抬手打开了桌面上停了好几天的文档。

    这是之前顾长钧请他帮忙写的《杨-米尔斯规范场质量间隙的几何证明框架》，他已经写了十多页了。

    从和乐约束算子在规范场商空间上的定义，到曲率正则化定理推广的初步框架，再到Gribov拷贝消除的骨架截断构造，大部分内核推导都已经写完了。

    但是每次翻到最后，肖宿总觉得有些不对劲。

    并不是有错误，相反，肖宿做了那些论证，全都遵循了他一致的严谨，可，他就是觉得这个证明不够……不够简洁，也不够漂亮。

    肖宿十指交叉撑在桌面上，双眸直直的看着文档上质量间隙几个字。

    质量间隙问题，是物理学家给数学家出的一道难题。

    它问的不是“这个粒子多重”，而是“为什么这个粒子会有重量”。

    为什么数学上看似应该为零的能隙，在物理现实中却是一个正数？

    这不仅仅是一个计算问题，还是一个存在性问题。

    它需要所有的数学家和物理学家回答：规范场的最低能量态，是否真的必须大于零？如果是，为什么？能不能从杨-米尔斯理论的公理体系出发，严格证明这个结论？

    注意，是严格证明，而不是数值实验或者微扰展开的近似结果。

    在过去半个多世纪里，全球不知道有多少顶尖的物理学家和数学家在这个问题上折戟沉沙。

    最主流的一条路是格点规范理论。

    这个思路说起来很简单，那就是既然连续时空中的杨-米尔斯方程太难解，那就把时空离散化，变成一个四维的格点，在每一个格点上定义规范场，然后在这个离散的框架下做计算。

    格点QCD的数值仿真，靠着超级计算机的海量算力，已经能在实验误差范围内精确计算出强子的质量谱，包括质子、中子、π介子、K介子的质量都算得和实验值几乎一模一样。

    但是，数值仿真终究不是真正的证明。

    你可以在格点间距趋近于零的极限下外推，得到一个质量间隙的数值估计，但事你永远无法从格点计算中严格证明这个质量间隙一定大于零。

    因为格点本身就是一个近似，你只能在有限大小的格点上做计算，而真实时空是连续的、无穷维的。

    从有限到无穷的跨越，中间隔着一条数学上的鸿沟，这座桥，至今没有人能严格地搭起来。

    另一条路是连续场论的方法。

    从上世纪七十年代开始，物理学家们开发了各种非微扰的分析工具：戴森-施温格方程、泛函重整化群、有效势方法……

    每一套工具都能在特定条件下给出一些有价值的洞察，但是没有任何一套工具能够从第一性原理出发，完整地证明能隙的存在性。

    其中最有名的一个尝试就是苏联物理学家格里博夫在上世纪七十年代做出的。

    他在研究规范固定问题的时候发现了一个惊人的现象，对于非阿贝尔规范场，传统的朗道规范固定并不是唯一的，同一个物理构型可以映射多个不同的规范场配置，这些多馀的配置后来被命名为格里博夫拷贝。

    格里博夫证明，这些拷贝的存在会导致规范场路径积分的微扰展开在低能局域失效，而这正是质量间隙问题最内核的困难