確率行列

数学における確率行列とは、マルコフ連鎖の遷移確率を表す正方行列である。全ての成分が、確率を表す非負実数となっている9-11}}。文脈によって遷移行列、置換行列、マルコフ行列と呼ばれることもある。また英語では probabilistic matrix と呼ばれることもある9-11}}。

確率行列は20世紀初頭にアンドレイ・マルコフによって初めて導入され、確率論、統計学、数理ファイナンス、線形代数学、計算機科学、集団遺伝学といった様々な分野で活用されてきた1-8}}。

確率行列には、いくつかの異なる定義・形式がある9-11}} ：

右確率行列とは、任意の行の和が1となる非負実数成分の正方行列である。左確率行列とは、任意の列の和が1となる非負実数成分の正方行列である。二重確率行列とは、任意の行、任意の列の和が1となる非負実数成分の正方行列である。同様にして、確率ベクトル を、全ての成分が非負の実数で和が1となるベクトルと定義できる。右確率行列の全ての行は確率ベクトルである9-11}}。

数学の文献での慣習に従い、本項では行ベクトルが確率ベクトルとなる右確率行列について述べる1-8}}。

1. 歴史
-----

確率行列は、ロシア人数学者でサンクトペテルブルク大学教授であったアンドレイ・マルコフによってマルコフ連鎖とともに考案された。出版物への初めての記載は1906年である1-8}} 。マルコフは当初、これらを言語分析やカードシャッフル等の数学的題材に用いるつもりだったが、たちまち他の分野でも有用であることが分かってきた1-8}} 。

確率行列はアンドレイ・コルモゴロフ等の学者によってさらなる研究がなされ、連続時間マルコフ過程にも適用できるよう拡張が行われた。1950年代までに、計量経済学や回路網解析といった分野にも確率行列を用いた論文が現れた。1960年代には行動科学から地質学、居住地計画まで、さらに広範な科学領域で確率行列が用いられるようになった。同時に、この期間には確率行列やマルコフ過程の応用範囲や有用性を押し広げるような数学的研究もより一般的に行われた。

1970年代から現在にかけて、確率行列は建築構造設計から医療診断、人事労務管理まで、形式的な分析を必要とするほとんどあらゆる分野で用いられるようになってきた。土地利用変化モデリングにおいても広範に応用されている。

2. 定義と性質
--------

確率行列は、要素が有限個の状態空間 //S// 上のマルコフ連鎖 を記述する。

1ステップで状態 から状態 へ遷移する確率が であるとき、確率行列 は 行・列成分を とする行列で与えられる。例えば、

状態 から次の状態へ遷移する確率の総和は1なので、

となり右確率行列であるための条件を満たす1-8}}。

行列 の各 行成分の和は とより簡潔に書くこともできる。ここで は全ての成分が1の 次元列ベクトル。これを使うと、2つの確率行列 , の積もまた右確率的であることがわかる：

一般に、確率行列 の 乗 もまた確率行列である。状態 から状態 へ2ステップで遷移する確率は の第 成分

に等しく、さらに一般に、ある状態から次の状態へ //k// ステップで遷移する確率は で与えられる。

初期状態の確率分布は行ベクトルとして与えられる。

定常確率ベクトル とは、右確率行列が右から作用しても不変な行確率ベクトルのことである。つまり、集合 上の確率分布であって、左固有値1に対する左固有ベクトルとなるもののことである：

任意の右確率行列のスペクトル半径の最大値は1であることがゲルシュゴリンの定理によりわかる。また右固有値1に対する右固有ベクトル が存在することは明らかである。正方行列に対する右固有値と左固有値は一致するから、右確率行列に対して左固有値1が存在し、全ての左固有値の絶対値が1以下であることも同時に分かる。

行確率ベクトルに右確率行列を右から作用させて得られる行ベクトルもやはり確率ベクトルであるから、ブラウワーの不動点定理より定常な確率ベクトルが少なくとも一つは存在することが分かる。

一方でペロン＝フロベニウスの定理によっても、任意の既約な確率行列が定常な確率ベクトルを持ち、固有値の絶対値の最大値が1となることが分かる。しかし、この定理は既約であるとは限らない確率行列には直接的に適用できない。

一般に定常な確率ベクトルは複数存在するかもしれないが、確率行列の全ての成分が正であれば、このようなベクトルは一意的であり、任意の状態 に対し次の極限をとることで計算できる。

ここで は行ベクトル の第 成分。これより、長期的に見たとき状態 に到る確率は初期状態 に依らないことが分かる。どのような初期分布から計算しても極限では同一の定常分布に到るという事実はエルゴード定理の一形態であり、多様な散逸構造において一般的に成り立っている。

直観的には確率行列はマルコフ連鎖を表し、確率分布に右確率行列を右から作用させることは、元の分布の確率質量を次の確率分布へ再分配することに相当する。この作用を反復していくとマルコフ連鎖の定常状態に収束する55–59}}。

3. 例：ネコとネズミ
-----------

5つの一列に並んだ箱と単位時間ずつ進むタイマーがあり、時刻0で、1番目の箱にはネコが、5番目の箱にはネズミが入っているとする。タイマーが進むたびに、ネコとネズミは隣の箱に全くのランダムに飛び移る。

例えば、ネコが2番目の箱・ネズミが4番目の箱に入っていれば、次の時刻にネコが1番目の箱・ネズミが5番目の箱にいる確率は 1/4、ネコが1番目の箱・ネズミが5番目の箱に入っていれば、ネコが2番目の箱・ネズミが2番目の箱に移る確率は 1 である。ネコとネズミが同じ箱に飛び移った時点でネコはネズミを食べてしまうものとし、これを「ゲーム終了」の時刻とする。確率変数 //K// でゲーム終了までの時間を表すことにする。

このゲームを表すマルコフ連鎖は以下のようなの5通りの状態で表せる。状態の組み合わせは単純に数えると25通りだが、「ネズミの箱の番号はネコの箱の番号より小さくはならず」、「2つの箱の番号の和は偶数でなければいけない」ことから、多くの組み合わせは排除される。また、ネズミがネコに食べられる3つの場合は1つの状態としてまとめるものとする：

状態 1: 
状態 2: 
状態 3: 
状態 4: 
状態 5: ゲーム終了 , , 以下の行列 で、このゲームの遷移確率を表す。例えば状態 1 から始めたとすると、この状態に留まったり、状態 2、状態 4 に遷移することはできないが、状態 3 または 5 への遷移は可能である。

3.1. 長時間平均
----------

初期状態がいずれであっても、ネコは最終的にはネズミを捕えて、定常状態 π =  に到達する55–59}}。生存時間の平均を計算するには、すべての状態 Sj と時間 tk についての寄与 Yj,k·P を足しあげればよい。ここで Y は生存状態に対しては Yj,k=1、死亡状態に対しては Yj,k=0 の2値をとる変数である。

3.2. 相型分布としての表現
---------------

状態 5 は吸収状態であり、吸収までの時間は離散的相型分布に従う。系が状態 2 から始まったとする。ネズミが死んでしまう状態は平均生存時間に寄与しないから、状態 5 は考えなくてよい。すると初期状態と遷移確率を表す行列は次のように縮小化できる。

また、

ここで は単位行列、 は全ての成分が1の列ベクトルであり、各状態に対してその状態への遷移確率を合計するはたらきをする。

各ステップで系はどれかの状態をとるから、ネズミの平均生存時間は、系がいずれかの生存状態にある確率を全ての時間にわたって合計したものに等しく、

となる。高次のモーメントは

で与えられる。

4. 関連項目
-------

ペロン＝フロベニウスの定理
密度行列
二重確率行列
分子進化モデル
マルコフ核

5. 脚注
-----