孙茂才愣了一下，然后眼睛亮了：“边界条件？把边界本身也纳入到主丛构造里？”

    “对，只要把边界定义为主丛的一个截影，给截影赋零和乐条件，那边界附近的误差项自然就被吸收了。”

    肖宿的语气很平淡，象是在说一件理所当然的事。

    孙茂才攥着论文的手不自觉的收紧了。

    当然不是因为没听懂，恰恰相反，他听得太明白了。

    肖宿随口说出的边界截影，就象一把钥匙精准插进锁孔，刚好对上了他卡了多年的思路，咔哒一下，心里堵着的那层窗户纸瞬间被捅破了。

    他搞了一辈子涡动力学，再清楚不过奇点附近的计算有多头疼了。

    涡丝一断裂，流场局部曲率直接发散，传统数值办法无非就是加密网格、加阻尼、凑人工粘性，兜来兜去全是在奇点外围绕圈子，不敢直面问题内核。

    但肖宿根本没绕路。

    而是直接把边界当成主丛截影来定义，再配上零和乐条件，等于不用刻意避开奇点，反倒能把奇点纳入几何框架里，正经给它下个定义，把误差和奇异性直接消化掉了。

    他立刻在脑子里复盘起自己卡了两年的涡环重联模型来。

    之前他每次算到重联节点的时候，路径有序指数就会疯狂震荡，死活收敛不住。

    网格加密、换高阶差分格式……能试的办法全都试过了，半点用没有。

    这一刻他才猛然醒悟，其实根本不是数值算法不行，而是他们从一开始就把思路走偏了，没把重联点当成边界条件来处理。

    孙茂才当即转头对身后课题组的研究员说道：

    “小赵，赶紧记下来，零和乐边界条件、边界截影，回去就立刻把咱们涡环模型的边界条件全部重写试一次。”

    说完他又转回头，眼睛死死盯着白板上的闭合曲线和中间的奇点标记。

    眉头紧紧拧起，整个人的心思彻底沉了进去，周遭的人声、环境全都被他屏蔽了。

    旁人一看就明白，孙教授已经完全神游进自己的学术世界，彻底开启了沉浸式钻研模式了。

    林崇渊坐在第一排靠后的地方，他仔细看了看白板上那个被打了叉的闭合曲线，侧过头对坐在身边的鞠知行低声说了一句：

    “零和乐条件，本质上是把奇异性约束在边界截影上，让主丛内部的连络保持光滑，这个思路不止用在流场上，任何有奇点结构的场论，只要能把奇点隔离成边界条件，和乐算子就能定义。”

    鞠知行慢慢点了点头，“顾辛流型上拉格朗日子流形的横截相交条件，本质上也是在做同一件事，把奇异相交隔离到边界的补空间里去，这两个东西在数学上是同一个结构的不同实现。”

    一旁，齐房军看着孙教授的状态露出了一个满意的笑容。

    照这个势头，用不了多久，孙教授的实验室说不定就能拿出新的成果了。

    他心里暗自感慨，把讲座改成自由研讨的形式，实在是太明智了。

    “下面，请彭远征教授发言”。

    彭远征是国内少有的同时精通代数几何和量子场论的学者，他的问题很有自己的风格：

    “肖教授，我是做量子场论方向的，这些年一直在和路径积分打交道。

    你那篇哥德巴赫猜想的论文我读了好几遍，里面对鞍点圆法的处理让我印象非常深。

    在量子场论里，我们做路径积分的时候也经常用到鞍点近似，这跟你处理圆法积分的思路在精神上是有相通之处的。

    但有一个地方我琢磨了很久，你在构造最速下降路径的时候，积分空间是有限维的。

    而量子场论的路径积分是在无穷维空间上做的，我想请教一下，当积分空间变成无穷维的时候，最速下降路径还能定义吗？

    换句话说，你那个方法能不能推广到泛函积分上呢？”

    肖宿把记号笔从左手换到右手：“泛函鞍点的定义本身是成立的，问题在于沿最速下降方向的积分测度。

    有限维情形下测度是勒贝格测度，沿最速下降方向的积分可控。

    无穷维情形下测度不再是勒贝格测度，需要用到抽象维纳空间的理论。

    我在论文附录里没有展开写，但思路是通用的。”

    他在白板上写下了一行简洁的公式，接着说：

    “需要修改的地方只有一处，那就是把积分空间的希尔伯特结构换成巴拿赫结构，最速下降方向用Gateaux导数来定义。

    只要巴拿赫空间满足Radon-Nikody质，鞍点估计的精度不会退化。”

    巴拿赫结构、Gateaux导数、Radon-Nikody质……

    每一个都精准地踩在他之前推导时反复卡壳的地方。