對偶作為分析工具（duality as an analytical tool）
對偶是交互作用粒子系統理論中最強大的單一分析技巧，且往往是唯一能給出精確答案的方法。基本難題在於 IPS 棲於龐大的組態空間，我們無法同時追蹤所有位點。對偶把關於複雜過程的問題，精確地關聯到關於第二個、通常較簡單的對偶過程的問題——常是「粒子」少得多、易於追蹤者。投票者／聚合漫步與接觸過程自對偶是著名實例；一般方法是兩個馬可夫生成元之間透過對偶函數的精確代數關係。
形式上，兩個馬可夫過程 X_t（在空間 E 上）與 Y_t（在空間 F 上）關於函數 H : E x F -> R 對偶，若對所有 x, y 與時刻 t 有 E_x[ H(X_t, y) ] = E_y[ H(x, Y_t) ]。要點在於作用於 X 變數的時間演化，透過固定配對 H 等於作用於 Y 變數的時間演化。確立此事的方式在生成元層次：只需 (L_X H( . , y))(x) = (L_Y H(x, . ))(y) 對所有 x, y 成立，這是把兩生成元逐項寫出可驗的恆等式；期望的相等隨後由半群積分推得。對粒子系統，對偶 H(eta, A) 通常是「eta 在有限集 A 上被佔據（或為空）」這類指示函數，而對偶過程 Y 是 A 的有限系統——幾個（可能聚合或分支的）隨機漫步——故關於無窮多位點的棘手問題塌縮為關於有限多對偶漫步者的可解問題。投票者模型的相圖（聚合漫步的常返）、接觸過程的存活-平衡對應（自對偶）、對稱排他的自對偶，正是這樣證明的。
對偶之重要，在於它把前向、高維、組態的問題轉成後向、低維、系譜的問題，也是少數粒子系統本質上精確可解的緣由。它與可逆性（可逆鏈關於其平穩密度自對偶）、時間反演、以及族群遺傳學的系譜／聚合圖景密切相連。誠實的提醒是實在的：對偶並非通用工具——找到有用的對偶函數是一門藝術，許多系統並無對偶，而對偶的存在是模型真正的結構性質，通常繫於代數對稱（排他過程對偶背後的 SU(2)／量子群對稱）。再者，對偶只提供關於能配對的泛函 H 的資訊；它回答 H 能表達的問題，對其他問題則沉默。它奏效時是決定性的；不奏效時，便退回單調性、耦合與比較。
對稱排他自對偶，對偶函數 H(eta, A) = product over x in A of eta(x) = 1{有限集 A 的所有位點皆被佔據}。則 E_eta[ H(eta_t, A) ] = E_A[ H(eta, A_t) ]，其中 A_t 是 |A| 個對稱排他「對偶粒子」的系統（它們本身也做排他）。欲計算無窮系統中 k 個位點的相關，只須追蹤 k 個對偶漫步者——一個有限計算。
對偶以有限的對偶問題換取無窮位點的問題：k 點相關只須追蹤 k 個對偶漫步者。
對偶精確且決定性，卻非通用——找到有用的對偶函數是一門藝術，許多系統並無對偶，而對偶的存在是通常繫於代數對稱的結構性質。對偶只回答其配對函數 H 能表達的問題。