昨日的短文閉合了框架曾擱置的一個問題 —— 它刪除哪一面壁,又為何如此? —— 並以對稱破缺工具箱中最尋常的原理將其閉合:最小破缺。在從 Dynkin 圖刪除一個節點的三種方式中,破缺生成元最少的那一種就是 Pati-Salam 色壁,而一個對破缺生成元計代價的自能選定它。那篇短文對這一主張的形態極為審慎。最小破缺是一個擬設 —— 你供給的一個原理 —— 而非關於 的定理。閉合是條件性的。
這便引出顯然的下一個問題,而它是個好問題。框架有一份假設清單 —— 兩個月來承載了每一項結果的六條活躍假設。它是否強制最小破缺?倘若如此,那條件性答案便會變為被迫答案,色壁便會從框架自身的承諾、而非從一個為契合而引入的原理中隨之而來。今日的短文恰恰追問此事,並予以回答。答案是否定的 —— 而它之所以否定的理由,比這個否定本身更有價值。
選擇算符必須是什麼
先從最小破缺真正需要什麼說起。要在三種刪除中作選,你需要一個自能:附著於每一種之上的一個實數、一個代價,其規則是破缺越多對稱性、代價越大。把這條規則餵給三種刪除,它返回端節點,因為端節點破缺 的十五個生成元中的六個,而中心節點破缺八個。整個論證運行於一個對象之上 —— 一個把能量賦予每一面壁的函數 。
於是「清單是否強制最小破缺」這一問題,銳化為某種具體而可核查之物:是否有任何假設供給那個函數 ?
六條假設,沒有能量
逐條看下去。其中四條假設固定體積 —— 射影空間的 Fubini–Study 體積、產生精細結構關係的腔室加權體積、把質子-電子比讀作 的強子讀法。體積是附著於一個空間之上的數,而非附著於破缺對稱性某種方式之上的代價。一條假設 供給 Weyl 配置本身 —— 根、權、各種刪除、乃至計數 —— 但它把這些作為組合學供給,是整數與分拆,不附帶能量。一條假設固定框架力塔的自旋與耦合強度;耦合強度不是真空能。一條是群嵌入 —— 坐落於 之內 —— 它使 Pati-Salam 壁可得,卻對刪除它的代價無所言說。還有一條是弱動能項上的無量綱歸一化,它根本不觸及 問題。
把整份清單攤到桌面上,這一缺席是徹底的。其中沒有 Lagrangian,沒有 Higgs 勢,沒有對稱破缺扇區上的任何作用量。清單是運動學性的:它描述結構 —— 體積、配置、嵌入、歸一化 —— 而從不把能量賦予某一壁之選。最小破缺所需的那個選擇函數 ,根本不在假設所談論之物之列。
計數作為數是典範的。稱六比八更便宜,是假設從未踏出的一步。
關鍵:數不是能量
這裡是整個結果所繫的精確之處,而它小到容易錯過。破缺生成元計數完全是典範的。刪除端節點破缺六個生成元;刪除中心節點破缺八個;這些是關於 的事實,在任何標記下為真,由 直接供給。於是人們禁不住要說:六當然比八便宜,能量學是顯然的。
但「六比八更便宜」並不是 所說的。 說 —— 一個關於數的事實。要把它變成 —— 一個關於能量的事實 —— 你需要一條規則:破缺生成元越多代價越大,一個從計數到代價的單調映射。那條規則恰恰就是最小破缺,而清單中無一物供給它。計數作為數是典範的;把它讀作能量是那額外的、供給的一步。運動學給你數。唯有動力學把它變成代價。
你可以通過構造對手來感受這一裂隙。從同樣的群論數據,你可以寫下兩個不同的選擇算符。一個是破缺生成元計數本身 —— 它偏好色壁。另一個是基本表示上三次反常的幅值,一個乾淨的典範數,它恰好在中心節點消失,因而偏好中心。兩者都可從清單數據計算;它們彼此不合;清單不選出勝者。並非框架悄悄選定了色壁而我們在小題大做 —— 框架,照字面理解,什麼也沒有選定。
那個誠實的出路,以及為何它仍是額外的
有一個公允的反對意見,而短文正面迎接它,而非迴避。批評者會說,反常幅值選擇算符是個作弊 —— 反常是個自洽性數據,而非能量,故它沒有資格冒充自能。把注意力限制到誠實的自能,那對手便消失;在真正的代價之中,它們想必都偏好更小的破缺。
誠然 —— 但看看這一限制的代價。要把反常選擇算符判為出界,你必須定義什麼算作真正的自能,而那個定義不在清單裡。沒有假設供給勢、質量矩陣、正定性跡,或任何能讓你說「這個函數是真能量而那個不是」的機制。故而限制到誠實自能並非從框架的推斷;它是疊加於框架之上的一個新動力學假設。而這正是要害所在。條件性答案無法從當前清單升級為被迫答案,因為清單甚至未定義那升級所要量化的對象之類。結論仍為不變-條件 —— 不是因為找到了某個選定中心的能量,而是因為框架尚未含有這個問題所需的能量概念。
no-go 有何用處
這是一個否定性結果,而否定性結果有一種特別的價值:它們是精確的。一句含糊的「我們沒能導出它」讓你懷疑自己是否只是漏掉了論證。一個 no-go 告訴你那論證為何不可能存在,並由此勾出必須補足之物的精確輪廓。
此處輪廓是銳利的。框架目前是一個關於結構的理論 —— 它陳述世界由什麼樣的空間、配置與嵌入構成,並從它們的幾何中提取數。它尚不是一個關於動力學的理論 —— 它沒有作用量、沒有能量泛函、沒有「某一構型比另一構型代價更大」的概念。壁選擇問題是這一裂隙首次變得承重之處,因為選定一面壁是一樁能量學之舉,而框架沒有能量。要強制色壁 —— 要把條件性閉合變為一次導出 —— 你必須賦予框架一個動力學層:一個對稱破缺扇區上的作用量,經典範歸一化,使得破缺越多代價確實越大。此障礙即是那缺失之層的規格說明。
值得言明此事未觸及什麼。它不是針對框架的 no-go —— Q2 的條件性答案成立,色壁仍是一個標準能量學原理所選定的那一面。它不移動活躍清單。而它是一個與更下一結構層不同的、更淺的裂隙 —— 即一旦壁存在, 凝聚選定哪一個極化 —— 後者就其自身而言仍開放。短文所做的,是把昨日誠實的告誡轉化為一條定理,並在同一舉動中命名框架在一面壁能被導出而非選取之前所將需要的那一種成分 —— 動力學。
結論
最小破缺壁選擇算符不被框架的假設清單蘊含。清單是運動學性的;選擇算符需要一個能量;破缺生成元計數作為數是典範的,但作為能量則不是;而那個本能了結此事、限制到誠實自能的做法,本身即是缺失的動力學。壁選擇答案仍為條件性,與原先分毫不差 —— 但如今我們精確地知道它為何尚不能更進一步,以及一個被迫的答案將要付出什麼代價。
該短文為 The Minimal-Breaking Wall Selector Is Not Entailed by the Postulate Ledger,載於 Zenodo(DOI 10.5281/zenodo.20945031;CC-BY-4.0)。九頁,十四篇參考文獻。