隨機矩陣普適性(random-matrix universality)
普適性是隨機矩陣理論中最深刻、最引人注目的現象,也是此學科遠超出數學而重要的原因。此現象是:特徵值的局部統計——體相中的間距分布、邊緣處最大特徵值的波動——並不依賴於矩陣模型的精細細節。它們只依賴於對稱類(Hermite、對稱或四元數,即 beta = 2, 1, 4),而完全不依賴於個別元素的分布。高斯元素、Bernoulli 元素、任何具有正確前幾階動差的元素:相同的局部律。這是古典中央極限定理高一層的矩陣對應,那裡極限高斯遺忘了被加項的分布。
它有兩面,全域與局部,而普適性主要指局部那一面。全域(或一階)普適性是這樣的陳述:宏觀特徵值密度在各模型間相同——Wigner 矩陣給半圓、樣本共變異數矩陣給馬爾欽科-帕斯圖爾,不論元素分布;這相對容易,僅用變異數透過動差法或 Stieltjes 法即可得出。局部普適性是深刻的陳述:縮放到個別特徵值的尺度,相關函數收斂到相匹配的高斯系綜的普適核——體相的正弦核、軟邊緣的 Airy 核(Tracy-Widom)、硬邊緣的 Bessel 核。由 Erdos-Schlein-Yau 與 Tao-Vu 發展的現代證明策略有兩個要素:一個控制預解式直到特徵值尺度的局部律,以及一個比較/內插論證。一條路徑運行 Dyson 布朗運動(特徵值的隨機流,能在短時間內把任何初始譜鬆弛到高斯局部統計),另一條是四動差定理(若你把元素的前四階動差匹配到高斯,局部統計不變)。
普適性正是為何隨機矩陣理論是一門預測性科學而非對單一高斯模型的研究。由於局部律是普適的,它們出現在結構上與高斯系綜毫無關係的系統中:Riemann zeta 函數非平凡零點的間距服從 GUE 正弦核(Montgomery-Odlyzko)、古典混沌量子系統的能階服從 GOE 或 GUE 統計(Bohigas-Giannoni-Schmit 猜想)、而最大特徵值的 Tracy-Widom 律浮現於增長模型與組合學(KPZ)。一個注意事項:普適性並非無條件。它要求元素真正獨立且有足夠多的有限動差(變異數無窮的重尾元素會破壞它並給出不同的、非普適的極限),且要求矩陣處於正確的對稱類且具有非退化的變異數輪廓。普適性是帶有假設的定理,而非魔法詞——稀疏或有結構的矩陣(非常稀疏的 Erdos-Renyi 圖、低於門檻寬度的帶狀矩陣)可能完全離開普適類。
Montgomery 計算了 Riemann zeta 函數非平凡零點(在臨界線上,經適當展開)的對相關,發現為 1 - (sin(pi s)/(pi s))^2——正是 GUE 正弦核的對相關。Odlyzko 隨後對數十億個計算出的零點以驚人精度做數值驗證。zeta 零點,一個確定性的算術對象,服從與隨機 Hermite 矩陣特徵值相同的局部排斥律。那個巧合,在深層次上仍未被解釋,是普適性在純數論中宣告自身。
Riemann zeta 零點服從 GUE 正弦核統計——普適性延伸進數論。
普適性僅在真正獨立、足夠多的有限動差與正確對稱類下成立。重尾(變異數無窮)、強稀疏性或窄帶結構可能把矩陣完全推出普適類——它是帶有假設的定理,而非口號。