第258章 思路是通用的
孫茂才愣了一下，然後眼睛亮了：「邊界條件？把邊界本身也納入到主叢構造里？」
「對，只要把邊界定義為主叢的一個截影，給截影賦零和樂條件，那邊界附近的誤差項自然就被吸收了。」
肖宿的語氣很平淡，像是在說一件理所當然的事。
孫茂才攥著論文的手不自覺的收緊了。
當然不是因為沒聽懂，恰恰相反，他聽得太明白了。
肖宿隨口說出的邊界截影，就像一把鑰匙精準插進鎖孔，剛好對上了他卡了多年的思路，咔噠一下，心裡堵著的那層窗戶紙瞬間被捅破了。
他搞了一輩子渦動力學，再清楚不過奇點附近的計算有多頭疼了。
渦絲一斷裂，流場局部曲率直接發散，傳統數值辦法無非就是加密網格、加阻尼、湊人工粘性，兜來兜去全是在奇點外圍繞圈子，不敢直面問題核心。
但肖宿根本沒繞路。
而是直接把邊界當成主叢截影來定義，再配上零和樂條件，等於不用刻意避開奇點，反倒能把奇點納入幾何框架里，正經給它下個定義，把誤差和奇異性直接消化掉了。
他立刻在腦子裡復盤起自己卡了兩年的渦環重聯模型來。
之前他每次算到重聯節點的時候，路徑有序指數就會瘋狂震盪，死活收斂不住。
網格加密、換高階差分格式……能試的辦法全都試過了，半點用沒有。
這一刻他才猛然醒悟，其實根本不是數值算法不行，而是他們從一開始就把思路走偏了，沒把重聯點當成邊界條件來處理。
孫茂才當即轉頭對身後課題組的研究員說道：
「小趙，趕緊記下來，零和樂邊界條件、邊界截影，回去就立刻把咱們渦環模型的邊界條件全部重寫試一次。」
說完他又轉回頭，眼睛死死盯著白板上的閉合曲線和中間的奇點標記。
眉頭緊緊擰起，整個人的心思徹底沉了進去，周遭的人聲、環境全都被他屏蔽了。
旁人一看就明白，孫教授已經完全神遊進自己的學術世界，徹底開啟了沉浸式鑽研模式了。
林崇淵坐在第一排靠後的地方，他仔細看了看白板上那個被打了叉的閉合曲線，側過頭對坐在身邊的鞠知行低聲說了一句：
「零和樂條件，本質上是把奇異性約束在邊界截影上，讓主叢內部的聯絡保持光滑，這個思路不止用在流場上，任何有奇點結構的場論，只要能把奇點隔離成邊界條件，和樂算子就能定義。」
鞠知行慢慢點了點頭，「顧辛流型上拉格朗日子流形的橫截相交條件，本質上也是在做同一件事，把奇異相交隔離到邊界的補空間裡去，這兩個東西在數學上是同一個結構的不同實現。」
一旁，齊房軍看著孫教授的狀態露出了一個滿意的笑容。
照這個勢頭，用不了多久，孫教授的實驗室說不定就能拿出新的成果了。
他心裡暗自感慨，把講座改成自由研討的形式，實在是太明智了。
「下面，請彭遠征教授發言」。
彭遠征是國內少有的同時精通代數幾何和量子場論的學者，他的問題很有自己的風格：
「肖教授，我是做量子場論方向的，這些年一直在和路徑積分打交道。
你那篇哥德巴赫猜想的論文我讀了好幾遍，裡面對鞍點圓法的處理讓我印象非常深。
在量子場論里，我們做路徑積分的時候也經常用到鞍點近似，這跟你處理圓法積分的思路在精神上是有相通之處的。
但有一個地方我琢磨了很久，你在構造最速下降路徑的時候，積分空間是有限維的。
而量子場論的路徑積分是在無窮維空間上做的，我想請教一下，當積分空間變成無窮維的時候，最速下降路徑還能定義嗎？
換句話說，你那個方法能不能推廣到泛函積分上呢？」
肖宿把記號筆從左手換到右手：「泛函鞍點的定義本身是成立的，問題在於沿最速下降方向的積分測度。
有限維情形下測度是勒貝格測度，沿最速下降方向的積分可控。
無窮維情形下測度不再是勒貝格測度，需要用到抽象維納空間的理論。
我在論文附錄里沒有展開寫，但思路是通用的。」
他在白板上寫下了一行簡潔的公式，接著說：
「需要修改的地方只有一處，那就是把積分空間的希爾伯特結構換成巴拿赫結構，最速下降方向用Gateaux導數來定義。
只要巴拿赫空間滿足Radon-Nikodym性質，鞍點估計的精度不會退化。」
巴拿赫結構、Gateaux導數、Radon-Nikodym性質……
每一個都精準地踩在他之前推導時反覆卡殼的地方。
希爾伯特換成巴拿赫……
彭遠征當然知道路徑積分的無窮維空間不是希爾伯特空間，但知道歸知道，真到動手算的時候他還是會習慣性地把有限維的鞍點估計往裡套，然後被發散項卡得死死的。
現在他忽然意識到，不是鞍點方法不對，而是他用的空間結構不對。
如果換到巴拿赫空間，測度的變換群變大了，Radon-Nikodym性質一成立，就可以構造一個和積分核自動匹配的等價測度了。
那個一直對不攏的因子，差的不是別的，就是一個合適的測度變換。
他重新抬起頭來，「肖教授，我還有一個問題。」
彭遠征的語氣比剛才更沉了一些，顯然是在腦子裡快速推了一遍才開口的。
「在巴拿赫空間裡做鞍點估計，測度的選擇就有了自由度，這是它的優點。
但自由度本身也帶來了新的問題，比如不同的等價測度給出的大偏差函數是不等價的。
在有限維情形下，大偏差原理是唯一的，但在無窮維巴拿赫空間裡，測度的不同選擇會導致不同的速率泛函。
這會不會影響鞍點估計的物理預言能力？
像這種情況要怎麼判斷選哪個測度才是對的呢？」
聽到這個問題，後排的鞠知行不禁坐直了身子。
這個問題問得極好，大偏差原理在無窮維空間裡的不唯一性，在數學物理領域也一直沒討論清楚。
如果測度的選擇會影響物理預言，那這個框架就不能用來做定量計算了。
「對，只要把邊界定義為主叢的一個截影，給截影賦零和樂條件，那邊界附近的誤差項自然就被吸收了。」
肖宿的語氣很平淡，像是在說一件理所當然的事。
孫茂才攥著論文的手不自覺的收緊了。
當然不是因為沒聽懂，恰恰相反，他聽得太明白了。
肖宿隨口說出的邊界截影，就像一把鑰匙精準插進鎖孔，剛好對上了他卡了多年的思路，咔噠一下，心裡堵著的那層窗戶紙瞬間被捅破了。
他搞了一輩子渦動力學，再清楚不過奇點附近的計算有多頭疼了。
渦絲一斷裂，流場局部曲率直接發散，傳統數值辦法無非就是加密網格、加阻尼、湊人工粘性，兜來兜去全是在奇點外圍繞圈子，不敢直面問題核心。
但肖宿根本沒繞路。
而是直接把邊界當成主叢截影來定義，再配上零和樂條件，等於不用刻意避開奇點，反倒能把奇點納入幾何框架里，正經給它下個定義，把誤差和奇異性直接消化掉了。
他立刻在腦子裡復盤起自己卡了兩年的渦環重聯模型來。
之前他每次算到重聯節點的時候，路徑有序指數就會瘋狂震盪，死活收斂不住。
網格加密、換高階差分格式……能試的辦法全都試過了，半點用沒有。
這一刻他才猛然醒悟，其實根本不是數值算法不行，而是他們從一開始就把思路走偏了，沒把重聯點當成邊界條件來處理。
孫茂才當即轉頭對身後課題組的研究員說道：
「小趙，趕緊記下來，零和樂邊界條件、邊界截影，回去就立刻把咱們渦環模型的邊界條件全部重寫試一次。」
說完他又轉回頭，眼睛死死盯著白板上的閉合曲線和中間的奇點標記。
眉頭緊緊擰起，整個人的心思徹底沉了進去，周遭的人聲、環境全都被他屏蔽了。
旁人一看就明白，孫教授已經完全神遊進自己的學術世界，徹底開啟了沉浸式鑽研模式了。
林崇淵坐在第一排靠後的地方，他仔細看了看白板上那個被打了叉的閉合曲線，側過頭對坐在身邊的鞠知行低聲說了一句：
「零和樂條件，本質上是把奇異性約束在邊界截影上，讓主叢內部的聯絡保持光滑，這個思路不止用在流場上，任何有奇點結構的場論，只要能把奇點隔離成邊界條件，和樂算子就能定義。」
鞠知行慢慢點了點頭，「顧辛流型上拉格朗日子流形的橫截相交條件，本質上也是在做同一件事，把奇異相交隔離到邊界的補空間裡去，這兩個東西在數學上是同一個結構的不同實現。」
一旁，齊房軍看著孫教授的狀態露出了一個滿意的笑容。
照這個勢頭，用不了多久，孫教授的實驗室說不定就能拿出新的成果了。
他心裡暗自感慨，把講座改成自由研討的形式，實在是太明智了。
「下面，請彭遠征教授發言」。
彭遠征是國內少有的同時精通代數幾何和量子場論的學者，他的問題很有自己的風格：
「肖教授，我是做量子場論方向的，這些年一直在和路徑積分打交道。
你那篇哥德巴赫猜想的論文我讀了好幾遍，裡面對鞍點圓法的處理讓我印象非常深。
在量子場論里，我們做路徑積分的時候也經常用到鞍點近似，這跟你處理圓法積分的思路在精神上是有相通之處的。
但有一個地方我琢磨了很久，你在構造最速下降路徑的時候，積分空間是有限維的。
而量子場論的路徑積分是在無窮維空間上做的，我想請教一下，當積分空間變成無窮維的時候，最速下降路徑還能定義嗎？
換句話說，你那個方法能不能推廣到泛函積分上呢？」
肖宿把記號筆從左手換到右手：「泛函鞍點的定義本身是成立的，問題在於沿最速下降方向的積分測度。
有限維情形下測度是勒貝格測度，沿最速下降方向的積分可控。
無窮維情形下測度不再是勒貝格測度，需要用到抽象維納空間的理論。
我在論文附錄里沒有展開寫，但思路是通用的。」
他在白板上寫下了一行簡潔的公式，接著說：
「需要修改的地方只有一處，那就是把積分空間的希爾伯特結構換成巴拿赫結構，最速下降方向用Gateaux導數來定義。
只要巴拿赫空間滿足Radon-Nikodym性質，鞍點估計的精度不會退化。」
巴拿赫結構、Gateaux導數、Radon-Nikodym性質……
每一個都精準地踩在他之前推導時反覆卡殼的地方。
希爾伯特換成巴拿赫……
彭遠征當然知道路徑積分的無窮維空間不是希爾伯特空間，但知道歸知道，真到動手算的時候他還是會習慣性地把有限維的鞍點估計往裡套，然後被發散項卡得死死的。
現在他忽然意識到，不是鞍點方法不對，而是他用的空間結構不對。
如果換到巴拿赫空間，測度的變換群變大了，Radon-Nikodym性質一成立，就可以構造一個和積分核自動匹配的等價測度了。
那個一直對不攏的因子，差的不是別的，就是一個合適的測度變換。
他重新抬起頭來，「肖教授，我還有一個問題。」
彭遠征的語氣比剛才更沉了一些，顯然是在腦子裡快速推了一遍才開口的。
「在巴拿赫空間裡做鞍點估計，測度的選擇就有了自由度，這是它的優點。
但自由度本身也帶來了新的問題，比如不同的等價測度給出的大偏差函數是不等價的。
在有限維情形下，大偏差原理是唯一的，但在無窮維巴拿赫空間裡，測度的不同選擇會導致不同的速率泛函。
這會不會影響鞍點估計的物理預言能力？
像這種情況要怎麼判斷選哪個測度才是對的呢？」
聽到這個問題，後排的鞠知行不禁坐直了身子。
這個問題問得極好，大偏差原理在無窮維空間裡的不唯一性，在數學物理領域也一直沒討論清楚。
如果測度的選擇會影響物理預言，那這個框架就不能用來做定量計算了。