Aritalab:Lecture/NetworkBiology/Markov Chains/Coupling

From Metabolomics.JP
< Aritalab:Lecture | NetworkBiology | Markov Chains(Difference between revisions)
Jump to: navigation, search
m (New page: ==分布間の距離== 二つの確率分布 <math>D_1</math> と <math>D_2</math> の距離を次のように定義する。 変動距離: <math>\textstyle ||D_1 - D_2|| = \frac{1}{2} \...)
 
m (カップリング)
Line 59: Line 59:
 
状態空間 ''S'' 上のマルコフ連鎖 <math>X_t</math>, <math>Y_t</math> がカップリング (coupling) するとは、時刻 ''t'' 以降に二つの確率過程が同じ状態を取ること、つまり <math> X_n = Y_n (n \geq t) </math> をいう。この時刻 ''t'' をカップリング時間という。
 
状態空間 ''S'' 上のマルコフ連鎖 <math>X_t</math>, <math>Y_t</math> がカップリング (coupling) するとは、時刻 ''t'' 以降に二つの確率過程が同じ状態を取ること、つまり <math> X_n = Y_n (n \geq t) </math> をいう。この時刻 ''t'' をカップリング時間という。
  
規約でエルゴード的なマルコフ連鎖は、任意の初期分布に対して、''T'' ステップ後に定常分布との間の変動距離を <math>\epsilon</math> 以下にすることができる。
+
規約でエルゴード的なマルコフ連鎖は、任意の初期分布と定数 <math>\epsilon</math> に対して、ある数 ''T'' が存在し、 ''T'' ステップ後に定常分布との間の変動距離を <math>\epsilon</math> 以下にすることができる。
  
定常分布を表す <math>Y_t</math> と、任意の状態集合 <math>A \subset S</math> において
+
定常分布を表す <math>Y_n</math> と、任意の状態集合 <math>A \subset S</math> において
  
 
<math>
 
<math>

Revision as of 09:59, 1 July 2010

分布間の距離

二つの確率分布 D_1D_2 の距離を次のように定義する。

変動距離: \textstyle
||D_1 - D_2|| = \frac{1}{2} \sum_{x \in S} | D_1(x) - D_2(x) |

右辺の係数 1/2 は  0 \leq ||D_1 - D_2|| \leq 1 を満たすためについており、||D_1 - D_2|| = 0 なら全要素について分布が等しいから D_1 = D_2 である。また距離が 1 のときは確率が正となる状態の集合が独立であることを意味している。

変動距離は、特定の事象に対する確率の差を用いても定義できる。 任意の A \subset S において \textstyle D_i(A) = \sum_{x \in A} D_i (x) とする。このとき

 
||D_1 - D_2|| = \max_{A \subset S} | D_1(A) - D_2(A) |

証明

D_1(x) \geq D_2(x) を満たす状態の集合を  S^+ \subset SD_1(x) < D_2(x) を満たす状態の集合を S^- \subset S と書く。 このとき


\begin{align}
\max_{A \subset S} D_1(A) - D_2(A) &= D_1(S^+) - D_2(S^+)\\
\max_{A \subset S} D_2(A) - D_1(A) &= D_1(S^-) - D_2(S^-)\\
\end{align}

また


D_1(S^+) + D_1(S^-) = D_2(S^+) + D_2(S^-) = 1

より


D_1(S^+) - D_2(S^+) = D_2(S^-) - D_1(S^-)

したがって


\max_{A \subset S} | D_1(A) - D_2(A) | =
| D_1(S^+) - D_2(S^+) | = | D_2(S^-) - D_1(S^-) |

最後に

\textstyle
||D_1 - D_2|| = \frac{1}{2}\sum_{x \in S} | D_1(x) - D_2(x) |
= \frac{1}{2}( | D_1(S^+) - D_2(S^+) | + | D_2(S^-) - D_1(S^-) | )
= \max_{A \subset S} | D_1(A) - D_2(A) |
(証明おわり)

カップリング

状態空間 S 上のマルコフ連鎖 X_t, Y_t がカップリング (coupling) するとは、時刻 t 以降に二つの確率過程が同じ状態を取ること、つまり  X_n = Y_n (n \geq t) をいう。この時刻 t をカップリング時間という。

規約でエルゴード的なマルコフ連鎖は、任意の初期分布と定数 \epsilon に対して、ある数 T が存在し、 T ステップ後に定常分布との間の変動距離を \epsilon 以下にすることができる。

定常分布を表す Y_n と、任意の状態集合 A \subset S において


\begin{align}
\mbox{Pr}(X_T \in A) &\geq \mbox{Pr}((X_T = Y_T) \cap (Y_T \in A)) \\
&= 1 - \mbox{Pr}((X_T \not= Y_T) \cup (Y_T \not\in A)) \\
&\geq (1 - \mbox{Pr}(Y_T \not\in A)) - \mbox{Pr}(X_T \not= Y_T) \\
&\geq (1 - \mbox{Pr}(Y_T \not\in A)) - \epsilon \\
&= \pi(A) - \epsilon
\end{align}

同じ議論を補集合 S-A に適用すると \mbox{Pr}(X_T \not\in A) \geq \pi(S-A) - \epsilon。 すなわち  \mbox{Pr}(X_T \in A) \leq \pi(A) + \epsilon であるため、時刻 T 以降に定常分布へ収束することがわかる。

Personal tools
Namespaces

Variants
Actions
Navigation
metabolites
Toolbox