情報科学 › 乱数と確率的数値計算 › Markov 連鎖 Monte Carlo

熱浴法と走査の順序

定義 2.5(「Markov 連鎖 Monte Carlo」§2)

S=S1×⋯×SnS = S_1 \times \cdots \times S_n(各 SiS_i は有限集合)、π\pi を SS 上の正の確率分布とする。x∈Sx \in S の第 ii 成分だけを s∈Sis \in S_i に替えた状態を xi→sx^{i \to s} と書く。遷移行列

Pi(x,y)=π(y)∑s∈Siπ(xi→s)(y は x と第 i 成分以外で一致),Pi(x,y)=0(それ以外)P_i(x, y) = \frac{\pi(y)}{\sum_{s \in S_i}\pi(x^{i\to s})} \quad (y \text{ は } x \text{ と第 } i \text{ 成分以外で一致}), \qquad P_i(x,y) = 0 \quad (\text{それ以外})

を成分 ii の熱浴更新(Gibbs 更新)という。他の成分を固定したときの π\pi の条件付き分布から、第 ii 成分を引き直す操作である。PRS=1n∑i=1nPiP_{\mathrm{RS}} = \frac1n\sum_{i=1}^nP_i を無作為走査、PSS=P1P2⋯PnP_{\mathrm{SS}} = P_1P_2\cdots P_n を系統走査の熱浴法という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 1 問