交互作用粒子系統的建構（construction of an interacting particle system）

交互作用粒子系統（interacting particle system, IPS）是一種連續時間馬可夫過程，描述大量簡單元件——稱之為自旋或粒子——坐落在格點或圖 S（通常是整數格 Z^d）的各個位點上，在隨機時刻改變狀態，而任一位點改變的速率僅依賴其周圍的局部組態。它是平衡態統計力學的動態對應物：我們不再問一個由眾多交互部分組成的系統在平衡時偏好哪些組態，而是觀看這些部分如何在時間中實際演化與交互。建構必須克服的根本困難在於狀態空間是 X = {0,1}^S，即把 0 或 1 指派給每個位點的所有組態 eta 之集合——當 S 無限時這是不可數的無窮乘積——因此第一冊的初等 CTMC 理論（可數狀態空間、指數停留時間）並不適用，因為每個位點都不斷嘗試翻轉，並不存在「第一次跳躍」。

標準的補救方法是不以跳躍、而以生成元來定義過程。對每個位點 x 與每個組態 eta，指定一個非負速率 c(x, eta)，表示座標 eta(x) 翻轉的速率（自旋翻轉系統）；對於守恆型動態，則指定速率 c(x, y, eta)，表示位點 x 與 y 內容交換的速率。由這些局部速率，對局部函數 f（僅依賴有限多座標的函數）寫出形式生成元：對自旋翻轉系統，(L f)(eta) = sum_x c(x, eta) [ f(eta^x) - f(eta) ]，其中 eta^x 是把 eta 在 x 處座標翻轉後的組態。核心定理（Liggett 在 Hille-Yosida 基礎上建立）指出：在速率滿足有界性與有限程／可和影響條件時——sup_x sum_y（c(x, .) 對座標 y 的變動量）有限——L 的閉包在緊空間 X = {0,1}^S 上的連續函數空間 C(X) 上生成一個 Feller 半群 P_t = e^(tL)，從而生成唯一的 Feller 馬可夫過程 eta_t，具 cadlag 路徑與強馬可夫性。組態空間 X 在乘積拓撲下緊緻（Tychonoff 定理），這正是使分析機制成立、並保證不變測度存在的關鍵。

這種「生成元優先」的建構是整個領域的基礎，其誠實的內涵是一個不可省略的正則性條件：若速率可隨組態無界增長，形式生成元未必可閉，過程可能不存在或不唯一。建構承襲的兩項結構性特徵在全領域被反覆運用。其一，強馬可夫性讓人能在隨機時刻重啟過程。其二，許多自然系統具單調性（吸引性），這配合基本耦合與圖示（滲流式子結構）表示，提供了強大的序結構；而生成元與自身的雙線性配對則導出對偶。圖示建構——在時空格上畫出獨立的箭頭與恢復標記的卜瓦松過程，再沿著標記讀出組態——是一種特別生動的替代方法，它由獨立卜瓦松鐘逐路徑地建構過程，並使基本耦合自動成立。