マルコフ再生過程

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:参照方法 マルコフ再生過程テンプレート:Lang-en-short)は、確率過程の一つであり、ジャンプ型マルコフ過程(Markov jump process)の考え方を一般化したものである。マルコフ連鎖テンプレート:仮リンクのような一部の確率過程、およびテンプレート:仮リンクはマルコフ再生過程の特別な場合として導出することができる。

定義

マルコフ再生過程の実例

状態空間を S 、(連続的な)時刻の集合を T とする。いま、確率変数の系列 {(Xn,Tn)S×T}n0 を考える。ここで Tn はジャンプ時刻 (jump time) 、Xn は対応するマルコフ連鎖の状態である (図を参照)。また、到着間時刻 (inter-arrival time) を τn=TnTn1 と表記する。次の条件を満たすとき、系列 {(Xn,Tn)}n0 はマルコフ再生過程と呼ばれる。

Pr(τn+1t,Xn+1=j(X0,T0),(X1,T1),,(Xn=i,Tn))=Pr(τn+1t,Xn+1=jXn=i)n1,t0,i,jS

準マルコフ過程

t[Tn,Tn+1) に対し Yt:=Xn を満たす確率過程 Yt を定義する。これは準マルコフ過程 (semi-Markov process) と呼ばれる確率過程となる。MRP と準マルコフ過程の違いは、前者は状態と時刻の組で定義されるのに対し、後者は時間発展する実際の時系列の確率過程であり、実現値が任意の時刻における状態の値として定義される点である。

この確率過程は全体を見ればマルコフ性を持たない(すなわち無記憶性を持たない)が、ジャンプする瞬間に限りマルコフ性を持つ。これがマルコフという名前の理論的根拠であるテンプレート:Sfnテンプレート:Sfnテンプレート:Sfnテンプレート:仮リンク も参照されたい。

(上に定義した)準マルコフ過程のうち、保持時間 (holding time) が指数分布で表されるものを連続時間マルコフ連鎖、または連続時間マルコフ過程 (continuous-time Markov chain/process; CTMC) と呼ぶ。言い換えると、到着間時間が指数分布に従い、かつある状態における待ち時間 (waiting time) と次に遷移する状態が独立であれば準マルコフ過程は CTMC となる。

Pr(τn+1t,Xn+1=j(X0,T0),,(Xn,Tn))=Pr(Xn+1=jXn=i)(1eλit),n1,t0,i,jS

他の確率過程との関係

  1. 系列 {Xn}n0 は離散時間マルコフ連鎖となる。すなわち、時間変数を無視すれば MRP は離散時間マルコフ連鎖として扱うことができる。
    Pr(Xn+1=jX0,,Xn=i)=Pr(Xn+1=jXn=i),n1,i,jS
  2. 系列 {τn}n0独立かつ同一の分布に従い、かつそれらの分布が状態 Xn に依存しないのであれば、対応する確率過程はテンプレート:仮リンクとなる。したがって、状態を無視したときに得られる独立同分布の時間系列は再生過程として扱うことができる。
    Pr(τn+1tT0,,Tn)=Pr(τn+1t),n1,t0

参考文献

テンプレート:Reflist hide テンプレート:Refbegin

テンプレート:Refend

テンプレート:確率論