孙茂才愣了一下，然后眼睛亮了：“边界条件？把边界本身也纳入到主丛构造里？”
“对，只要把边界定义为主丛的一个截影，给截影赋零和乐条件，那边界附近的误差项自然就被吸收了。”
肖宿的语气很平淡，像是在说一件理所当然的事。
孙茂才攥著论文的手不自觉的收紧了。
当然不是因为没听懂，恰恰相反，他听得太明白了。
肖宿隨口说出的边界截影，就像一把钥匙精准插进锁孔，刚好对上了他卡了多年的思路，咔噠一下，心里堵著的那层窗户纸瞬间被捅破了。
他搞了一辈子涡动力学，再清楚不过奇点附近的计算有多头疼了。
涡丝一断裂，流场局部曲率直接发散，传统数值办法无非就是加密网格、加阻尼、凑人工粘性，兜来兜去全是在奇点外围绕圈子，不敢直面问题核心。
但肖宿根本没绕路。
而是直接把边界当成主丛截影来定义，再配上零和乐条件，等於不用刻意避开奇点，反倒能把奇点纳入几何框架里，正经给它下个定义，把误差和奇异性直接消化掉了。
他立刻在脑子里復盘起自己卡了两年的涡环重联模型来。
之前他每次算到重联节点的时候，路径有序指数就会疯狂震盪，死活收敛不住。
网格加密、换高阶差分格式……能试的办法全都试过了，半点用没有。
这一刻他才猛然醒悟，其实根本不是数值算法不行，而是他们从一开始就把思路走偏了，没把重联点当成边界条件来处理。
孙茂才当即转头对身后课题组的研究员说道：
“小赵，赶紧记下来，零和乐边界条件、边界截影，回去就立刻把咱们涡环模型的边界条件全部重写试一次。”
说完他又转回头，眼睛死死盯著白板上的闭合曲线和中间的奇点標记。
眉头紧紧拧起，整个人的心思彻底沉了进去，周遭的人声、环境全都被他屏蔽了。
旁人一看就明白，孙教授已经完全神游进自己的学术世界，彻底开启了沉浸式钻研模式了。
林崇渊坐在第一排靠后的地方，他仔细看了看白板上那个被打了叉的闭合曲线，侧过头对坐在身边的鞠知行低声说了一句：
“零和乐条件，本质上是把奇异性约束在边界截影上，让主丛內部的联络保持光滑，这个思路不止用在流场上，任何有奇点结构的场论，只要能把奇点隔离成边界条件，和乐算子就能定义。”
鞠知行慢慢点了点头，“顾辛流型上拉格朗日子流形的横截相交条件，本质上也是在做同一件事，把奇异相交隔离到边界的补空间里去，这两个东西在数学上是同一个结构的不同实现。”
一旁，齐房军看著孙教授的状態露出了一个满意的笑容。
照这个势头，用不了多久，孙教授的实验室说不定就能拿出新的成果了。
他心里暗自感慨，把讲座改成自由研討的形式，实在是太明智了。
“下面，请彭远征教授发言”。
彭远征是国內少有的同时精通代数几何和量子场论的学者，他的问题很有自己的风格：
“肖教授，我是做量子场论方向的，这些年一直在和路径积分打交道。
你那篇哥德巴赫猜想的论文我读了好几遍，里面对鞍点圆法的处理让我印象非常深。
在量子场论里，我们做路径积分的时候也经常用到鞍点近似，这跟你处理圆法积分的思路在精神上是有相通之处的。
但有一个地方我琢磨了很久，你在构造最速下降路径的时候，积分空间是有限维的。
而量子场论的路径积分是在无穷维空间上做的，我想请教一下，当积分空间变成无穷维的时候，最速下降路径还能定义吗？
换句话说，你那个方法能不能推广到泛函积分上呢？”
肖宿把记號笔从左手换到右手：“泛函鞍点的定义本身是成立的，问题在於沿最速下降方向的积分测度。
有限维情形下测度是勒贝格测度，沿最速下降方向的积分可控。
无穷维情形下测度不再是勒贝格测度，需要用到抽象维纳空间的理论。
我在论文附录里没有展开写，但思路是通用的。”
他在白板上写下了一行简洁的公式，接著说：
“需要修改的地方只有一处，那就是把积分空间的希尔伯特结构换成巴拿赫结构，最速下降方向用gateaux导数来定义。
只要巴拿赫空间满足radon-nikodym性质，鞍点估计的精度不会退化。”
巴拿赫结构、gateaux导数、radon-nikodym性质……
每一个都精准地踩在他之前推导时反覆卡壳的地方。
希尔伯特换成巴拿赫……
彭远征当然知道路径积分的无穷维空间不是希尔伯特空间，但知道归知道，真到动手算的时候他还是会习惯性地把有限维的鞍点估计往里套，然后被发散项卡得死死的。
现在他忽然意识到，不是鞍点方法不对，而是他用的空间结构不对。
如果换到巴拿赫空间，测度的变换群变大了，radon-nikodym性质一成立，就可以构造一个和积分核自动匹配的等价测度了。
那个一直对不拢的因子，差的不是別的，就是一个合適的测度变换。
他重新抬起头来，“肖教授，我还有一个问题。”
彭远征的语气比刚才更沉了一些，显然是在脑子里快速推了一遍才开口的。
“在巴拿赫空间里做鞍点估计，测度的选择就有了自由度，这是它的优点。
但自由度本身也带来了新的问题，比如不同的等价测度给出的大偏差函数是不等价的。
在有限维情形下，大偏差原理是唯一的，但在无穷维巴拿赫空间里，测度的不同选择会导致不同的速率泛函。
这会不会影响鞍点估计的物理预言能力？
像这种情况要怎么判断选哪个测度才是对的呢？”
听到这个问题，后排的鞠知行不禁坐直了身子。
这个问题问得极好，大偏差原理在无穷维空间里的不唯一性，在数学物理领域也一直没討论清楚。
如果测度的选择会影响物理预言，那这个框架就不能用来做定量计算了。
“对，只要把边界定义为主丛的一个截影，给截影赋零和乐条件，那边界附近的误差项自然就被吸收了。”
肖宿的语气很平淡，像是在说一件理所当然的事。
孙茂才攥著论文的手不自觉的收紧了。
当然不是因为没听懂，恰恰相反，他听得太明白了。
肖宿隨口说出的边界截影，就像一把钥匙精准插进锁孔，刚好对上了他卡了多年的思路，咔噠一下，心里堵著的那层窗户纸瞬间被捅破了。
他搞了一辈子涡动力学，再清楚不过奇点附近的计算有多头疼了。
涡丝一断裂，流场局部曲率直接发散，传统数值办法无非就是加密网格、加阻尼、凑人工粘性，兜来兜去全是在奇点外围绕圈子，不敢直面问题核心。
但肖宿根本没绕路。
而是直接把边界当成主丛截影来定义，再配上零和乐条件，等於不用刻意避开奇点，反倒能把奇点纳入几何框架里，正经给它下个定义，把误差和奇异性直接消化掉了。
他立刻在脑子里復盘起自己卡了两年的涡环重联模型来。
之前他每次算到重联节点的时候，路径有序指数就会疯狂震盪，死活收敛不住。
网格加密、换高阶差分格式……能试的办法全都试过了，半点用没有。
这一刻他才猛然醒悟，其实根本不是数值算法不行，而是他们从一开始就把思路走偏了，没把重联点当成边界条件来处理。
孙茂才当即转头对身后课题组的研究员说道：
“小赵，赶紧记下来，零和乐边界条件、边界截影，回去就立刻把咱们涡环模型的边界条件全部重写试一次。”
说完他又转回头，眼睛死死盯著白板上的闭合曲线和中间的奇点標记。
眉头紧紧拧起，整个人的心思彻底沉了进去，周遭的人声、环境全都被他屏蔽了。
旁人一看就明白，孙教授已经完全神游进自己的学术世界，彻底开启了沉浸式钻研模式了。
林崇渊坐在第一排靠后的地方，他仔细看了看白板上那个被打了叉的闭合曲线，侧过头对坐在身边的鞠知行低声说了一句：
“零和乐条件，本质上是把奇异性约束在边界截影上，让主丛內部的联络保持光滑，这个思路不止用在流场上，任何有奇点结构的场论，只要能把奇点隔离成边界条件，和乐算子就能定义。”
鞠知行慢慢点了点头，“顾辛流型上拉格朗日子流形的横截相交条件，本质上也是在做同一件事，把奇异相交隔离到边界的补空间里去，这两个东西在数学上是同一个结构的不同实现。”
一旁，齐房军看著孙教授的状態露出了一个满意的笑容。
照这个势头，用不了多久，孙教授的实验室说不定就能拿出新的成果了。
他心里暗自感慨，把讲座改成自由研討的形式，实在是太明智了。
“下面，请彭远征教授发言”。
彭远征是国內少有的同时精通代数几何和量子场论的学者，他的问题很有自己的风格：
“肖教授，我是做量子场论方向的，这些年一直在和路径积分打交道。
你那篇哥德巴赫猜想的论文我读了好几遍，里面对鞍点圆法的处理让我印象非常深。
在量子场论里，我们做路径积分的时候也经常用到鞍点近似，这跟你处理圆法积分的思路在精神上是有相通之处的。
但有一个地方我琢磨了很久，你在构造最速下降路径的时候，积分空间是有限维的。
而量子场论的路径积分是在无穷维空间上做的，我想请教一下，当积分空间变成无穷维的时候，最速下降路径还能定义吗？
换句话说，你那个方法能不能推广到泛函积分上呢？”
肖宿把记號笔从左手换到右手：“泛函鞍点的定义本身是成立的，问题在於沿最速下降方向的积分测度。
有限维情形下测度是勒贝格测度，沿最速下降方向的积分可控。
无穷维情形下测度不再是勒贝格测度，需要用到抽象维纳空间的理论。
我在论文附录里没有展开写，但思路是通用的。”
他在白板上写下了一行简洁的公式，接著说：
“需要修改的地方只有一处，那就是把积分空间的希尔伯特结构换成巴拿赫结构，最速下降方向用gateaux导数来定义。
只要巴拿赫空间满足radon-nikodym性质，鞍点估计的精度不会退化。”
巴拿赫结构、gateaux导数、radon-nikodym性质……
每一个都精准地踩在他之前推导时反覆卡壳的地方。
希尔伯特换成巴拿赫……
彭远征当然知道路径积分的无穷维空间不是希尔伯特空间，但知道归知道，真到动手算的时候他还是会习惯性地把有限维的鞍点估计往里套，然后被发散项卡得死死的。
现在他忽然意识到，不是鞍点方法不对，而是他用的空间结构不对。
如果换到巴拿赫空间，测度的变换群变大了，radon-nikodym性质一成立，就可以构造一个和积分核自动匹配的等价测度了。
那个一直对不拢的因子，差的不是別的，就是一个合適的测度变换。
他重新抬起头来，“肖教授，我还有一个问题。”
彭远征的语气比刚才更沉了一些，显然是在脑子里快速推了一遍才开口的。
“在巴拿赫空间里做鞍点估计，测度的选择就有了自由度，这是它的优点。
但自由度本身也带来了新的问题，比如不同的等价测度给出的大偏差函数是不等价的。
在有限维情形下，大偏差原理是唯一的，但在无穷维巴拿赫空间里，测度的不同选择会导致不同的速率泛函。
这会不会影响鞍点估计的物理预言能力？
像这种情况要怎么判断选哪个测度才是对的呢？”
听到这个问题，后排的鞠知行不禁坐直了身子。
这个问题问得极好，大偏差原理在无穷维空间里的不唯一性，在数学物理领域也一直没討论清楚。
如果测度的选择会影响物理预言，那这个框架就不能用来做定量计算了。