投票者模型（voter model）

投票者模型是描述共識形成的最簡單交互作用粒子系統。設想 Z^d 的每個位點 x 有一位選民，持有兩種意見之一，eta(x) in {0,1}。每位選民以速率 1 醒來，均勻隨機挑一個鄰居，複製其意見。它回答的是社會動態最基本的問題：一群相互模仿的行動者何時達成一致（共識），何時相互衝突的意見會永久並存（共存）？它也是兩種生物物種或等位基因之間空間競爭的模型，死者所在的位點由勝者的後代繼承。

形式上翻轉速率為 c(x, eta) =（x 的最近鄰中與 x 意見相左者的比例），故位於一致區域內的選民鮮少改變，而位於意見邊界上的選民則頻繁改變。生成元為 (L f)(eta) = sum_x [ (1/2d) sum_{y ~ x} 1{eta(y) != eta(x)} ] [ f(eta^x) - f(eta) ]。此模型的決定性特徵是它與聚合隨機漫步（coalescing random walks）的精確對偶：欲求時刻 t 時位點 x_1, ..., x_k 上意見的聯合分布，從這些位點逆時間跑出獨立隨機漫步，兩兩相遇即聚合，再把每個存活的祖先位置在時刻 0 的原始意見指派回去。由於 Z^d 上兩個獨立隨機漫步以機率 1 相遇的充要條件是 d <= 2（常返），模型呈現鮮明的維度依賴：在 d = 1 與 d = 2 對偶漫步會聚合，任何有限選民集都回溯到單一祖先，系統朝共識叢聚——局部上人人終將一致（雖然在無限格上這是不斷增大的斑塊上的局部共識，而非單次全域翻轉）。在 d >= 3 對偶漫步為暫態，可能永不相遇，意見因此共存：存在一族單參數的非平凡極端不變測度 mu_rho，平移不變且遍歷，以意見 1 的密度 rho 為指標，在其下兩種意見皆永久存活。

投票者模型是試金石，因為它的完整平衡圖景能藉對偶精確算出，這在本領域實屬罕見。它也闡明一個重要的誠實要點：二分法是叢聚／共識（低維）對共存（高維），而臨界的 d = 2 會叢聚，但僅以對數般的緩慢速度。請注意，無限格上的「共識」不代表整個世界在有限時刻翻成單一意見；而是系統不處於非平凡平穩態，且任意給定兩個位點終將幾乎必然一致。投票者模型是線性的（其對偶只與單一聚合系統相關），這使它在分析上特殊，也略顯脆弱——即使在模仿規則中加入溫和的非線性，如門檻型或非線性投票者模型，相結構也可能改變。