顧清塵走後，辦公室又恢復了安靜。
肖宿埋頭，沉入了自己的思緒裡。
初版樣品的全頻段散射對消框架跑通了，也就是大方向沒問題，但是鍍膜均勻性的偏差導致的發短波端共振峰漂移，多層膜層間應力沒做專門處理差點影響良率，以及曲面基底上的相位偏移問題還沒正式納入框架這些問題還是存在的，這些，他都得在新的方案裡改進。
而且，為了避免再次出現上次羅華他們那種情況，實驗方法也得寫的清楚一些。
梳理了一遍思路，肖宿低頭落筆，紙面上開始鋪開一行行推導。
他先給模式空間的共振峰加了魯棒性約束，把窄帶高峰展寬成寬頻平坦響應，用演算法層面把工藝偏差兜住。
接著，他翻出上一版的多層膜結構圖，重新拆解了層間應力的力學分佈，用梯度亞層等效替代單層厚膜，在不改變光學特性的前提下把應力分散到安全閾值以內。
然後，又把曲面問題正式納入了主框架，推導共形對映的變換矩陣，並且在對映過程中引入了曲率自適應的幾何預補償，讓不同曲率位置的散射相位進一步拉平。
三塊內容寫完，紙面上已經密密麻麻鋪滿了公式、草圖和標註了。
寫了大概一個多小時，他才抬起頭來。
他揉了揉有些痠疼的手，把寫好的幾頁紙收進資料夾裡，標上日期和版本號，讓高長安發給了趙雪晴和羅華他們。
等高長安拿著檔案走出去，他也沒歇息，抬手打開了桌面上停了好幾天的文件。
這是之前顧長鈞請他幫忙寫的《楊-米爾斯規範場質量間隙的幾何證明框架》，他已經寫了十多頁了。
從和樂約束運算元在規範場商空間上的定義，到曲率正則化定理推廣的初步框架，再到Gribov複製消除的骨架截斷構造，大部分核心推導都已經寫完了。
但是每次翻到最後，肖宿總覺得有些不對勁。
並不是有錯誤，相反，肖宿做了那些論證，全都遵循了他一致的嚴謹，可，他就是覺得這個證明不夠……不夠簡潔，也不夠漂亮。
肖宿十指交叉撐在桌面上，雙眸直直的看著文件上質量間隙幾個字。
質量間隙問題，是物理學家給數學家出的一道難題。
它問的不是“這個粒子多重”，而是“為什麼這個粒子會有重量”。
為什麼數學上看似應該為零的能隙，在物理現實中卻是一個正數？
這不僅僅是一個計算問題，還是一個存在性問題。
它需要所有的數學家和物理學家回答：規範場的最低能量態，是否真的必須大於零？如果是，為什麼？能不能從楊-米爾斯理論的公理體系出發，嚴格證明這個結論？
注意，是嚴格證明，而不是數值實驗或者微擾展開的近似結果。
在過去半個多世紀裡，全球不知道有多少頂尖的物理學家和數學家在這個問題上折戟沉沙。
最主流的一條路是格點規範理論。
這個思路說起來很簡單，那就是既然連續時空中的楊-米爾斯方程太難解，那就把時空離散化，變成一個四維的格點，在每一個格點上定義規範場，然後在這個離散的框架下做計算。
格點QCD的數值模擬，靠著超級計算機的海量算力，已經能在實驗誤差範圍內精確計算出強子的質量譜，包括質子、中子、π介子、K介子的質量都算得和實驗值幾乎一模一樣。
但是，數值模擬終究不是真正的證明。
。零於大定一隙間量質個這明證格嚴中算計點格從法無遠永你事但，計估值數的隙間量質個一到得，推外下限極的零於近趨距間點格在以可你
。的維窮無、的續連是空時即真而，算計做上點格的小大限有在能只你，似近個一是就本點格為因
。來起搭地格嚴能人有沒今至，橋座這，鴻的上學數條一著隔間中，越的窮無到限有從
。法方的論場續連是路條一另
……法方勢效有、群化整重函泛、程方格溫施-森戴：工析分的擾微非種各了發開們家學理，始開代年十七紀世上從
。在存的隙能明證地整完，發出理原一第從夠能工套一何任有沒是但，察的值價有些一出給下件條定特在能都工套一每
。的出做代年十七紀世上在夫博里格家學理聯蘇是就試嘗個一的名有最中其
。製複夫博里格為名命被來後置配的餘多些這，置配場範規的同不個多應對以可型構理個一同，的一唯是不並定固範規道朗的統傳，場範規爾貝阿非於對，象現的人驚個一了現發候時的題問定固範規究研在他
。在所難困的心核最題問隙間量質是正這而，效失域區能低在開展擾微的分積徑路場範規致導會在存的製複些這，明證夫博里格
。靈失部全工擾微的統傳，下限極能低在
。坎個那的住卡們他臻葉來後、一了提手隨上座講程方SN在宿肖是就，製複夫博里格
。題問個這過度角同不從、期時同不在經曾都，字名的名有赫赫域領學數和理論理在串長一……亞提阿、伊蓋、格伯塞、滕威有還，外之此除
。完拼圖拼幅整把能人有沒是但，圖拼塊一了獻貢題問個這為都人個每，度角的理定標指從亞提阿，度角的偶對從格伯塞，度角的論理範規稱對超從滕威
？難麼這麼什為個這那
。題問合耦強個一是上質本，現表的域區能低在論理斯爾米-楊為因
。斂收階逐，話聽很開展擾微，用作互相自有沒間之子，中用作互相磁電在
。用能也開展擾微以所，小很數常合耦效有，重很子玻Z和W為因是但，用作互相自有然雖子玻範規，中用作互相弱在
。潰崩底徹開展擾微到直，大越來越得變會數常合耦效有，低降量能著隨且而，用作互相自的強常非有間之們它，的量質零是中論理在子膠的用作互相強，是但
。了錯用就本工，樣一式函的散發近附點原在個一近去開展勒泰用想你是像就這
。上之礎基的開展擾微在立建都乎幾，法方算計論場子量的統傳有所而
。了械了繳部全武的裡手把於等就，效失開展擾微旦一
。在存的隙能出讀，中構結擾微非的論理斯爾米-楊從接直夠能須必法方新套這，法方新的開展擾微於賴依不全完套一到找須必，題問隙間量質決解要，以所
