マルコフ連鎖のソースを表示

'''【まるこふれんさ (Markov chain)】'''

=== 概要 ===

マルコフ性をもつ離散状態空間上の確率過程. すなわち, 確率過程<math>\{ X(t) \}\,</math> が, 任意の<math>s, t\,</math>と<math>i,j\,</math>に対して
<br>
<table align = center>
  <tr><td><math>\mbox{P}(X(s+t)\,</math></td> <td><math>=j|X(u), \; 0 \leq u < s, X(s)=i)\,</math></td></tr>
  <tr><td></td> <td><math>= \mbox{P}(X(s+t)=j|X(s)=i)\,</math></td></tr>
</table>
を満たす場合, マルコフ連鎖と呼ぶ.

=== 詳説 ===

'''マルコフ過程'''　独立性を緩めた性質である[[マルコフ性]]を持つ確率過程のことを[[マルコフ過程]]と呼び, その中で状態が離散的なものを一般にマルコフ連鎖と呼ぶ. マルコフ連鎖は最も基本的で応用範囲の広い\[[確率過程]]の一つである. 


'''離散時間マルコフ連鎖'''　離散的な[[状態空間]] <math>{\mathcal S}\, </math> 上の確率過程 <math>\{ X_n; \; n = 0,1,2,\cdots \}\, </math> が, 任意の時点 <math>n\, </math>, <math>m\, </math> と任意の状態 <math>i_0, \cdots, i_m, j \in {\mathcal S}\, </math> に対して


<center>
<math>
  \mathrm{P}(X_{m+n}=j|X_k=i_k, k=m,m-1,\cdots,0)
  =\mathrm{P}(X_{m+n}=j|X_m=i_m)
</math>　　　　　<math>(1)\,</math> 
</center>


を満たすとき, <math>\{ X_n \}\, </math> を離散時間[[マルコフ連鎖]]と呼ぶ. (1) は, 将来の分布が現在の状態のみで定まり, 過去の状態には依存しない性質を表しており, マルコフ性と呼ばれる.賭けの問題における所持金の推移や, [[在庫モデル|在庫理論]]における各期の在庫量の変化など, マルコフ性を持つと考えられる例は多い. 

　(1) の推移確率が, 時点 <math>m\, </math> に依存しない場合, マルコフ連鎖は[[斉時性|斉時的]]であるという. 斉時的な離散時間マルコフ連鎖 <math>\{ X_n \}\, </math> に対して, <math>p_{ij}(n)=\mathrm{P}(X_{m+n}=j|X_m=i)\, </math> を <math>n\, </math> ステップ[[推移確率]], <math>\boldsymbol{P}(n)=(p_{ij}(n))\, </math> を <math>n\, </math> ステップ[[推移確率行列]]と呼ぶ. 特に 1ステップ推移確率を <math>p_{ij}\, </math> で表し, <math>\boldsymbol{P}=(p_{ij})\, </math> を推移確率行列と呼ぶ. [[チャップマン・コルモゴロフの等式]] (Chapman-Kolmogorov equation) <math>\boldsymbol{P}(m+n)=\boldsymbol{P}(m) \boldsymbol{P}(n)</math> から <math>\boldsymbol{P}(n)=\boldsymbol{P}^n</math> が成り立つので, 1 ステップ推移確率行列 <math>\boldsymbol{P}</math> が与えられれば, 任意のステップの推移確率を計算することができる. 


'''既約なマルコフ連鎖と吸収的マルコフ連鎖'''　状態の組 <math>i, j\, </math> に対して, 適当な <math>n\, </math> で <math>p_{ij}(n)>0\, </math>  となる場合, <math>i\, </math> から <math>j\, </math> へ到達可能であるという. 任意の状態から他のどの状態へも到達可能であるマルコフ連鎖は[[既約]]であるという. 一方, <math>p_{ii}=1\, </math> である状態 <math>i\, </math> は, 一度入ると他の状態へ推移できないため吸収状態と呼ばれる. 任意の状態から出発したとき確率1でいつかはいずれかの吸収状態に到達するマルコフ連鎖を[[吸収的マルコフ連鎖|吸収的]]という. 後述するように, 既約なマルコフ連鎖では長期間観察したときに各状態に滞在する時間の割合が主な分析対象となる. これに対し, 吸収的マルコフ連鎖では, 吸収されるまでの挙動, 例えば吸収時間の分布, 吸収までに各状態に滞在する平均ステップ数, 複数の吸収状態がある場合に各状態への吸収確率, などが分析の対象となる. 

　<math>p_{ii}(n)>0\, </math> となるすべての <math>n \geq 1\, </math> の最大公約数を, 状態 <math>i\, </math> の周期と定める. 既約なマルコフ連鎖では, すべての状態は同じ周期を持つことが知られている. また, 周期 1 のマルコフ連鎖を非周期的という.
 
　<math>i\, </math> から <math>j\, </math> への[[初到達時間]]を <math>T_{ij}\, </math> とすると, マルコフ連鎖の各状態 (<math>i\, </math> とする) はその状態への[[再帰確率]] <math>\mathrm{P}(T_{ii}<\infty)\, </math> と平均再帰時間 <math>\mathrm{E}(T_{ii})\, </math> により以下のように分類される. 


<center>
<table width="500">
<tr>
<td rowspan="3" valign="top"><math>\left\{
\begin{array}{l}
\\
\\
\\
\end{array}
\right.</math></td>
	<td valign="bottom">一時的　　<math>\mathrm{P}(T_{ii}<\infty)<1 \, </math></td>
	<td></td>
	<td></td>
</tr>
<tr>
	<td rowspan="2">再帰的　　<math>\mathrm{P}(T_{ii}<\infty)=1\, </math></td>
	<td rowspan="2"><math>\left\{
\begin{array}{ll}
\\
\\
\\
\end{array}
\right.</math>	</td>
	<td>零再帰的　　<math>\mathrm{E}(T_{ii}) = \infty \, </math> </td>
</tr>
<tr>
	<td>正再帰的　　<math>\mathrm{E}(T_{ii}) < \infty \,</math> </td>
</tr>
		</table>
</center>


なお, 既約なマルコフ連鎖ではすべての状態は同じ分類に属するので, これらはマルコフ連鎖自身の分類でもある. 特に, 既約で非周期的かつ正再帰的なマルコフ連鎖は, [[エルゴード的マルコフ連鎖]]と呼ばれる. 


'''定常分布'''　<math>n \rightarrow \infty\, </math> のとき <math>p_{ij}(n)\, </math> が初期状態 <math>i\, </math> に無関係な正定数 <math>\pi_j\, </math> に収束し, 正規化条件 <math>\textstyle \sum_{j \in {\mathcal S}} \pi_j = 1\, </math> を満たす場合, <math>\boldsymbol{\pi}=(\pi_j)\, </math> を[[極限分布]]と呼ぶ. 極限分布は[[平衡方程式]] <math>\boldsymbol{\pi}=\boldsymbol{\pi}\boldsymbol{P}\, </math> を満たすため, この方程式と正規化条件から求めることができる. 極限分布に対して, 平衡方程式を満たす確率分布を[[定常分布]]と呼ぶ. 極限分布は定常分布であるが, 周期的なマルコフ連鎖のように定常分布は必ずしも極限分布とならない. 既約で非周期的なマルコフ連鎖に対しては, (1) 正再帰的であること, (2) 極限分布が存在すること, (3) 平衡方程式と正規化条件が一意の解を持つこと, の3条件は同値となる. 実際, エルゴード的なマルコフ連鎖では <math>\pi_j = 1/\mathrm{E}(T_{jj})\, </math> となり, 極限分布は <math>\{ X_n \}\, </math> を長時間観測したときに各状態に滞在する時間の割合に一致する. なお, 有限状態のマルコフ連鎖が既約で非周期的であれば, 必ず正再帰的となる. 一方, 状態 <math>j\, </math> が一時的もしくは零再帰的ならば, <math>\textstyle \lim_{n \rightarrow \infty} p_{ij}(n)=0\, </math> となり極限分布は存在しない. 


'''連続時間マルコフ連鎖'''　離散状態空間上の連続時間確率過程 <math>\{ X(t); \; t \geq 0 \}\, </math> が, 任意の時点 <math>s\, </math>, <math>t\, </math> と状態 <math>i, j\, </math>, および履歴 <math>x(u)\, </math> に対して

 
<center>
<math>
  \mathrm{P}(X(s+t)=j|X(u)=x(u), 0 \leq u \leq s)
   =\mathrm{P}(X(s+t)=j|X(s)=x(s))
</math>　　　　　<math>(2)\,</math> 
</center>


を満たすとき, 連続時間マルコフ連鎖と呼ぶ. [[ポアソン過程]]や[[出生死滅過程]]などは, 代表的な連続時間マルコフ連鎖である. 

　離散時間の場合と同様に, (2) が <math>s\, </math> に依存しないマルコフ連鎖を斉時的といい, 推移確率を <math>p_{ij}(t) = \mathrm{P}(X(s+t)=j|X(s)=i)\, </math>, 推移確率行列を <math>\boldsymbol{P}(t)\, </math> で表す. 異なる状態 <math>i, j\, </math> に対して, <math>\textstyle q_{ij} = \lim_{h \downarrow 0} h^{-1} p_{ij}(h)\, </math> を状態 <math>i\, </math> から <math>j\, </math> への推移速度といい, <math>q_{ij}\, </math> を非対角要素, 対角要素を <math>\textstyle q_{ii}=-\sum_{j \neq i} q_{ij}\, </math> とする行列 <math>\boldsymbol{Q}=(q_{ij})\, </math> を[[推移速度行列]]と呼ぶ. マルコフ性から, 連続時間マルコフ連鎖が状態 <math>i\, </math> に滞在する時間はパラメータ <math>-q_{ii}\, </math> の[[指数分布]]に従う. また, <math>-q_{ij}/q_{ii}\, </math> は状態 <math>i\, </math> での滞在が終了したという条件の下で, 推移先が <math>j\, </math> である条件付き確率を与える. 推移速度行列 <math>\boldsymbol{Q}\, </math> が与えられると, 推移確率は[[コルモゴロフの後退方程式]] <math>\boldsymbol{P}'(t)=\boldsymbol{Q}\boldsymbol{P}(t)\, </math>, あるいは[[コルモゴロフの前進方程式]] <math>\boldsymbol{P}'(t)=\boldsymbol{P}(t)\boldsymbol{Q}\, </math>によって特徴付けられる. この関係から, 応用上現れる多くのマルコフ連鎖では推移確率が<math>\boldsymbol{P}(t) = \mbox{exp}( \boldsymbol{Q}t )\ (t \geq 0)\, </math>で表される. 

　離散時間マルコフ連鎖と同様に, 任意の状態から他のどの状態へも推移可能な場合, このマルコフ連鎖は既約であるという. また, 状態の分類 (一時的, 零再帰的, 正再帰的) も, 各状態への再帰時間 <math>T_{ii}\, </math> の性質により離散時間マルコフ連鎖の場合と同様に定義される. 極限分布についても, 初期状態 <math>i\, </math> に無関係に <math>\textstyle \lim_{t \rightarrow \infty}p_{ij}(t) = \pi_j>0\, </math> と収束し, <math>\textstyle \sum_{j \in {\mathcal S}} \pi_j = 1\, </math> が成り立つ場合, <math>\boldsymbol{\pi}=(\pi_j)\, </math> を極限分布とよぶ. 極限分布は, 平衡方程式 <math>\boldsymbol{0} = \boldsymbol{\pi}\boldsymbol{Q}\, </math>と正規化条件 <math>\textstyle \sum_{i \in {\mathcal S}} \pi_i = 1\, </math> から求めることができる. 既約な連続時間マルコフ連鎖に対しては, 正再帰的であること, 極限分布が存在すること, 平衡方程式と正規化条件を満たす <math>\pi_j\, </math> が存在すること, の3条件は同値である. 


'''マルコフ連鎖の一般化'''　マルコフ性は独立性を少し緩めた概念だが, 適用範囲は広い. 例えば, 離散時間確率過程 <math>\{ X_n \}\, </math> の将来の時点における分布が, 現在の状態 <math>X_n\, </math> と過去の <math>k\, </math> 状態 <math>X_{n-1}, \cdots, X_{n-k}\, </math> に依存する場合, <math>\{ X_n \}\, </math> 自身はマルコフ連鎖とならないが, <math>Y_n=(X_{n-k}, \cdots, X_n)\, </math> はマルコフ連鎖となる. また, 状態の推移はマルコフ連鎖に従い, 各状態の滞在時間分布が一般分布に拡張された確率過程は[[セミマルコフ過程]]と呼ばれ, マルコフ連鎖による分析が援用できる.さらに, そのままではマルコフ性を持たない確率過程に対しても, [[隠れマルコフ連鎖法]]や[[補助変数法]]を利用することでマルコフ連鎖としてモデル化できる場合が少なくない. このようなモデル化における汎用性・柔軟性は, マルコフ連鎖が広く利用される大きな理由となっている. 



----
'''参考文献'''

[1] K. L. Chang,　''Markov Chains with Stationary Transition Probabilities'',　Springer-Verlag, 1967.
  
[2] D. Freedman,　''Markov Chains'',　Springer, 1983.

[3] J. G. Kemenny and J. L. Snell,　''Finite Markov Chain'',　Van Nostrand, 1960.

[4] 森村英典, 高橋幸雄, 『マルコフ解析』, 日科技連, 1979.

[[category:確率と確率過程|まるこふれんさ]]

[[category:待ち行列|まるこふれんさ]]

[[category:待ち行列ネットワーク|まるこふれんさ]]