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