福爾廷-卡斯特萊恩隨機叢集表示(the Fortuin-Kasteleyn random-cluster representation)
/ Fortuin: FOR-town; Kasteleyn: KAS-tuh-line /
隨機叢集模型是把滲流與伊辛/波茨自旋模型統合於一處的主物件。它是單一的雙參數相依邊滲流測度族,調節一個參數即可復原普通滲流、伊辛模型、或 q 態波茨模型。福爾廷-卡斯特萊恩表示是把自旋問題翻譯成連通(滲流)問題的精確字典,也是滲流方法能驅動磁體相變嚴謹理論的原因。
邊組態 omega 屬於 {0,1}^E 上的隨機叢集測度 phi_{p,q},賦予 omega 一個正比於 (對邊求積 p^(omega(e)) (1-p)^(1-omega(e))) 乘以 q^(k(omega)) 的權重,其中 k(omega) 是 omega 中的開放叢集數。額外因子 q^(k(omega)) 正是引入相依性者:不同於伯努利滲流,開放一條邊可能合併兩個叢集而降低 k,故對 q > 1 模型獎勵連通、邊正相關(它滿足 FKG 格條件)。當 q = 1 該因子消失,phi_{p,1} 恰為伯努利(p) 滲流。愛德華茲-索卡爾(Edwards-Sokal)耦合把它連到自旋:以 p = 1 - e^(-beta) 從 phi_{p,q} 抽樣邊,然後對每個開放叢集獨立且均勻地塗上 q 種顏色之一;所得位點顏色的分布恰為逆溫 beta 下的 q 態波茨模型(q = 2 給伊辛)。反之,自旋相關等於連通機率:在伊辛中 E[sigma_x sigma_y] = phi(x 連到 y),故磁性有序-無序轉變「就是」隨機叢集模型的滲流轉變。
這個等價極其有力:它讓人能用從滲流引入的 FKG、BK 與魯索型論證,證明磁性相變、自旋相關的指數衰減、與伊辛磁化的連續性。這正是斯米爾諾夫共形不變性綱領抵達伊辛模型的途徑,也是 Duminil-Copin 與合作者在二維證明 1 <= q <= 4 時相變連續、q > 4 時相變不連續(一階)的方式。兩個誠實告誡:q^(k(omega)) 使模型非乘積且確實相依,故伯努利滲流乾淨的、基於獨立性的論證必須以其 FKG-單調性對應物取代;且自旋耦合要求 q 為正整數,儘管隨機叢集測度本身對任何實 q >= 1 都有意義(且 q -> 0、p -> 0 的極限連到生成樹與生成森林)。
要計算逆溫 beta 下的伊辛兩點函數 E[sigma_0 sigma_x],設 p = 1 - e^(-2beta) 並抽樣 q = 2 的隨機叢集模型;則 E[sigma_0 sigma_x] = phi_{p,2}(0 連到 x)。自旋相關指數衰減與叢集連接指數衰減是同一陳述——磁性圖像與滲流圖像合而為一。
愛德華茲-索卡爾:隨機塗色 FK 叢集即得波茨;自旋相關等於連通機率。
因子 q^(k(omega)) 使隨機叢集模型對 q != 1 相依(非乘積測度),故依賴獨立性的伯努利滲流論證須以 FKG/單調性版本取代。自旋耦合要求 q 為正整數,儘管測度本身可延拓到實 q >= 1。