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