第348章 實在不算高明
肖宿在參觀結束後就徑直走進了位於三樓的自己的辦公室。
辦公室朝南，採光很好，窗外是校園裡的法國梧桐和遠處灰濛濛的山脊輪廓。
窗台上還沒有任何擺件，乾乾淨淨。
高長安和顧清塵已經開始安排後續的工作了，劉浩然、陳林和陸奇也擼起袖子準備幫忙。
肖宿剛坐下，本來打算繼續自己的研究的，看到陳林和陸奇，想到自己作為老師，竟然這麼久沒有過問過一句兩個學生的學習情況，就把兩人叫住了。
劉浩然會意，帶著遲藝先走了：「遲藝，那我們先去清點一下鍍膜設備的配件清單吧。」
幾人退了出去。
辦公室的門被輕輕帶上，徹底安靜了下來。
肖宿在辦公桌後面坐下，陳林和陸奇站在他對面，對視了一眼，心裡都有了點數，肖宿應該是要問他們題目的事兒了。
果然，肖宿一開口就是：「之前的課題，完成得怎麼樣了。」
「額……」
陳林瞅了瞅陸奇，陸奇嘴唇緊緊抿著，感覺有點緊張，他就先開口了。
「目前進展還算順利，耦合算子的拆分，我們走了兩條不同的路，我先按照老師給的框架，把積分算子拆成了三個子項，分別對應非線性項、色散項和耗散項，然後用朗蘭茲綱領里的自守形式做全局基展開。」
「靠朗蘭茲綱領的自守形式展開之後，色散項的積分在第二類完全橢圓積分形式下就可以精確解析求值了，這一步不涉及任何數值近似。」
陳林說和，從包里把一本活頁筆記本推到肖宿面前，翻開到折角的那一頁，上面密密麻麻寫滿了推導過程，每一頁都分了小節，用不同顏色畫了重點標記。
「邊界條件對應的拉格朗日子流形我用了顧辛幾何里的曲率正則化方法來構造，算到最後得到的是一個帶約束的變分方程。泛函是嚴格凸的，極小值點存在且唯一。
最後解出來的物理軌跡在相空間中是一個穩定的極限環，在外加驅動力頻率和本徵頻率滿足二比一共振時，振幅有跳躍現象，但是，這個跳躍的幅值可以用鞍點漸近展開的次領頭階來精確控制，我的誤差估計是epsilon的三分之五次方。」
陸奇等他合上本子，緩了緩，跟著開口說道：
「老師，我走的路和陳林不一樣，我用的是路徑積分的方法。非線性振子的相空間軌跡在路徑積分下對應的是作用量泛函的極值，我就把這個作用量用Fourier級數展開了。」
他把自己的筆記本也遞過去，上面每一頁都畫了草圖和箭頭標註，在關鍵的公式旁邊還用鉛筆寫了物理注釋。
「耦合算子裡的和樂群部分，我沒有直接用辛流形上的微分幾何去定義，而是用路徑積分里的Berry相因子來描述的。系統在參數空間裡繞一個閉合迴路時，波函數的幾何相位變化和經典非線性振子的周期解之間有一個對應關係。」
說到這裡他頓了頓，像是在整理措辭。
「我在分析這個Berry相因子的時候發現，如果系統在相空間的某個區域上的指數圖集是擬周期的，那麼在特定共振條件下，Berry相因子應該是會發生跳變的，這個跳變在實空間裡對應的就是振子振幅的一個突變。
我借用了老師之前提到的鞍點圓法的思想，在路徑積分里做了鞍點近似，找到了一組特定的參數值，使得原來的發散積分在考慮鞍點貢獻的次領頭階之後，可以轉化為收斂積分。」
陳林在一旁點了點頭，表示他們私下交流過這一步。
「是的，我和陸奇把這兩個結果放在一起對了對，發現思路不一樣，但最後得到的臨界參數值是一樣的，誤差估計量級也是epsilon的三分之五次方。」
說完，他又補充道：
「我們倆後來又把整個證明反過來整理了一遍，統一成了一個更通用的框架，就是耦合算子在辛流形上和樂群等價類上的極小能量軌跡，它的存在性和唯一性不依賴於具體的材料參數，只要和樂群的Holonomy表示是非平凡的，極小值點就必然是存在的，證明的最後一步用到了顧辛幾何中曲率正則化的全局收斂定理。」
肖宿點點頭，看著辦公桌上攤著兩本筆記本，一本密密麻麻地爬滿了自守形式展開和嚴格凸泛函的推導，另一本畫滿了路徑積分示意圖和Berry相因子的分析。
他們的方法都沒錯，但是，太複雜了，肖宿都想不到怎麼可以把路繞這麼遠的。
在肖宿看來，這道題的核心其實只有一個東西，在辛流形上被和樂群商掉的商空間裡，證明極小能量軌跡的存在性和唯一性。
陳林走的路是從代數幾何的正門進去，用朗蘭茲綱領的自守形式做全局基展開，一層一層往下篩，篩到最後把解鎖定在極小值點上。
這條路像用一門重炮轟開城門，火力充足，步驟嚴謹，每一步都有據可查。
而陸奇的方法更加橫衝直撞一些，他用路徑積分和Berry相因子捕捉系統在參數空間裡的幾何相位跳變，借鞍點圓法把發散積分收成收斂積分，從物理直覺反推數學結構，像在黑暗中沿著牆摸到開關，啪一下的燈就亮了。
他們都找到了到達山頂的路。
但是，他們的路都太繞了，這樣的方法，實在不算高明。
這道題其實有一條更直的路。
仔細想想，這個問題的本質其實就是是在一個商掉和樂群等價關係的辛流形上找極小能量軌跡。
如果用顧辛幾何的語言重寫這個問題，那麼耦合算子在商掉和樂群等價關係之後，底流形的曲率正則化過程已經天然給出了一個嚴格凸的能量泛函，極小值點的存在性和唯一性是這個泛函的全局性質，不需要從外部引進任何額外的重型工具，也不需要路徑積分的鞍點近似。
直接從商空間的辛結構出發，用曲率正則化定理一步就能推出結論了。
肖宿蹙著眉，看著眼前緊張的兩人，委婉的表示：「你們的方法，雖然都不夠簡潔。」
陳林和陸奇同時屏住了呼吸。
「但是確實能解決問題。」
兩個人又同時把那口氣吐了出來。
辦公室朝南，採光很好，窗外是校園裡的法國梧桐和遠處灰濛濛的山脊輪廓。
窗台上還沒有任何擺件，乾乾淨淨。
高長安和顧清塵已經開始安排後續的工作了，劉浩然、陳林和陸奇也擼起袖子準備幫忙。
肖宿剛坐下，本來打算繼續自己的研究的，看到陳林和陸奇，想到自己作為老師，竟然這麼久沒有過問過一句兩個學生的學習情況，就把兩人叫住了。
劉浩然會意，帶著遲藝先走了：「遲藝，那我們先去清點一下鍍膜設備的配件清單吧。」
幾人退了出去。
辦公室的門被輕輕帶上，徹底安靜了下來。
肖宿在辦公桌後面坐下，陳林和陸奇站在他對面，對視了一眼，心裡都有了點數，肖宿應該是要問他們題目的事兒了。
果然，肖宿一開口就是：「之前的課題，完成得怎麼樣了。」
「額……」
陳林瞅了瞅陸奇，陸奇嘴唇緊緊抿著，感覺有點緊張，他就先開口了。
「目前進展還算順利，耦合算子的拆分，我們走了兩條不同的路，我先按照老師給的框架，把積分算子拆成了三個子項，分別對應非線性項、色散項和耗散項，然後用朗蘭茲綱領里的自守形式做全局基展開。」
「靠朗蘭茲綱領的自守形式展開之後，色散項的積分在第二類完全橢圓積分形式下就可以精確解析求值了，這一步不涉及任何數值近似。」
陳林說和，從包里把一本活頁筆記本推到肖宿面前，翻開到折角的那一頁，上面密密麻麻寫滿了推導過程，每一頁都分了小節，用不同顏色畫了重點標記。
「邊界條件對應的拉格朗日子流形我用了顧辛幾何里的曲率正則化方法來構造，算到最後得到的是一個帶約束的變分方程。泛函是嚴格凸的，極小值點存在且唯一。
最後解出來的物理軌跡在相空間中是一個穩定的極限環，在外加驅動力頻率和本徵頻率滿足二比一共振時，振幅有跳躍現象，但是，這個跳躍的幅值可以用鞍點漸近展開的次領頭階來精確控制，我的誤差估計是epsilon的三分之五次方。」
陸奇等他合上本子，緩了緩，跟著開口說道：
「老師，我走的路和陳林不一樣，我用的是路徑積分的方法。非線性振子的相空間軌跡在路徑積分下對應的是作用量泛函的極值，我就把這個作用量用Fourier級數展開了。」
他把自己的筆記本也遞過去，上面每一頁都畫了草圖和箭頭標註，在關鍵的公式旁邊還用鉛筆寫了物理注釋。
「耦合算子裡的和樂群部分，我沒有直接用辛流形上的微分幾何去定義，而是用路徑積分里的Berry相因子來描述的。系統在參數空間裡繞一個閉合迴路時，波函數的幾何相位變化和經典非線性振子的周期解之間有一個對應關係。」
說到這裡他頓了頓，像是在整理措辭。
「我在分析這個Berry相因子的時候發現，如果系統在相空間的某個區域上的指數圖集是擬周期的，那麼在特定共振條件下，Berry相因子應該是會發生跳變的，這個跳變在實空間裡對應的就是振子振幅的一個突變。
我借用了老師之前提到的鞍點圓法的思想，在路徑積分里做了鞍點近似，找到了一組特定的參數值，使得原來的發散積分在考慮鞍點貢獻的次領頭階之後，可以轉化為收斂積分。」
陳林在一旁點了點頭，表示他們私下交流過這一步。
「是的，我和陸奇把這兩個結果放在一起對了對，發現思路不一樣，但最後得到的臨界參數值是一樣的，誤差估計量級也是epsilon的三分之五次方。」
說完，他又補充道：
「我們倆後來又把整個證明反過來整理了一遍，統一成了一個更通用的框架，就是耦合算子在辛流形上和樂群等價類上的極小能量軌跡，它的存在性和唯一性不依賴於具體的材料參數，只要和樂群的Holonomy表示是非平凡的，極小值點就必然是存在的，證明的最後一步用到了顧辛幾何中曲率正則化的全局收斂定理。」
肖宿點點頭，看著辦公桌上攤著兩本筆記本，一本密密麻麻地爬滿了自守形式展開和嚴格凸泛函的推導，另一本畫滿了路徑積分示意圖和Berry相因子的分析。
他們的方法都沒錯，但是，太複雜了，肖宿都想不到怎麼可以把路繞這麼遠的。
在肖宿看來，這道題的核心其實只有一個東西，在辛流形上被和樂群商掉的商空間裡，證明極小能量軌跡的存在性和唯一性。
陳林走的路是從代數幾何的正門進去，用朗蘭茲綱領的自守形式做全局基展開，一層一層往下篩，篩到最後把解鎖定在極小值點上。
這條路像用一門重炮轟開城門，火力充足，步驟嚴謹，每一步都有據可查。
而陸奇的方法更加橫衝直撞一些，他用路徑積分和Berry相因子捕捉系統在參數空間裡的幾何相位跳變，借鞍點圓法把發散積分收成收斂積分，從物理直覺反推數學結構，像在黑暗中沿著牆摸到開關，啪一下的燈就亮了。
他們都找到了到達山頂的路。
但是，他們的路都太繞了，這樣的方法，實在不算高明。
這道題其實有一條更直的路。
仔細想想，這個問題的本質其實就是是在一個商掉和樂群等價關係的辛流形上找極小能量軌跡。
如果用顧辛幾何的語言重寫這個問題，那麼耦合算子在商掉和樂群等價關係之後，底流形的曲率正則化過程已經天然給出了一個嚴格凸的能量泛函，極小值點的存在性和唯一性是這個泛函的全局性質，不需要從外部引進任何額外的重型工具，也不需要路徑積分的鞍點近似。
直接從商空間的辛結構出發，用曲率正則化定理一步就能推出結論了。
肖宿蹙著眉，看著眼前緊張的兩人，委婉的表示：「你們的方法，雖然都不夠簡潔。」
陳林和陸奇同時屏住了呼吸。
「但是確實能解決問題。」
兩個人又同時把那口氣吐了出來。