確率行列

数学における確率行列（かくりつぎょうれつ、stochastic matrix）とは、マルコフ連鎖の遷移確率を表す正方行列である。全ての成分が、確率を表す非負実数となっている9-11。文脈によって遷移行列（links=no）、置換行列（links=no）、マルコフ行列（links=no）と呼ばれることもある。また links=no と呼ばれることもある9-11。
確率行列は20世紀初頭にアンドレイ・マルコフによって初めて導入され、確率論、統計学、数理ファイナンス、線形代数学、計算機科学、集団遺伝学といった様々な分野で活用されてきた1-8。
確率行列には、いくつかの異なる定義・形式がある9-11 ：
右確率行列（links=no）とは、任意の行の和が1となる非負実数成分の正方行列である。
左確率行列（links=no）とは、任意の列の和が1となる非負実数成分の正方行列である。
二重確率行列（links=no）とは、任意の行、任意の列の和が1となる非負実数成分の正方行列である。
同様にして、stochastic vector（links=no） を、全ての成分が非負の実数で和が1となるベクトルと定義できる。右確率行列の全ての行（左確率行列の全ての列）は確率ベクトルである9-11。
数学の文献での慣習に従い、本項では行ベクトルが確率ベクトルとなる右確率行列について述べる1-8。

**歴史**
アンドレイ・マルコフ（1886年）
確率行列は、ロシア人数学者でサンクトペテルブルク大学教授であったアンドレイ・マルコフによってマルコフ連鎖とともに考案された。出版物への初めての記載は1906年である1-8 。マルコフは当初、これらを言語分析やカードシャッフル等の数学的題材に用いるつもりだったが、たちまち他の分野でも有用であることが分かってきた1-8 。
確率行列はアンドレイ・コルモゴロフ等の学者によってさらなる研究がなされ、連続時間マルコフ過程にも適用できるよう拡張が行われた。1950年代までに、計量経済学や回路網解析といった分野にも確率行列を用いた論文が現れた。1960年代には行動科学から地質学、居住地計画まで、さらに広範な科学領域で確率行列が用いられるようになった。同時に、この期間には確率行列やマルコフ過程の応用範囲や有用性を押し広げるような数学的研究もより一般的に行われた。
1970年代から現在にかけて、確率行列は建築構造設計から医療診断、人事労務管理まで、形式的な分析を必要とするほとんどあらゆる分野で用いられるようになってきた。land change modeling（land change modeling、この分野では「マルコフ行列」と呼ばれることが多い）においても広範に応用されている。

**定義と性質**
確率行列は、要素が有限個の状態空間 S （濃度  ）上のマルコフ連鎖  を記述する。
1ステップで状態  から状態  へ遷移する確率が  であるとき、確率行列  は 行・列成分を  とする行列で与えられる。例えば、

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

となり右確率行列であるための条件を満たす1-8。この性質を とも表せる。ここで  は全ての成分が  の  次元列ベクトルである。
これを使うと、2つの確率行列 ,  の積もまた右確率的であることがわかる： 
一般に、確率行列  の  乗  もまた確率行列である。状態  から状態  へ2ステップで遷移する確率は の第  成分

に等しく、さらに一般に、ある状態から次の状態へ  ステップで遷移する確率は  で与えられる。
初期状態の確率分布（系がどのような状態をどのような確率でとっているか）は行ベクトルとして与えられる。
定常（links=no）確率ベクトル  とは、右確率行列が右から作用しても不変な行確率ベクトルのことである。つまり、集合  上の確率分布であって、左固有値1に対する左固有ベクトルとなるもののことである：

任意の右確率行列のスペクトル半径の最大値は1であることがゲルシュゴリンの定理によりわかる。また右固有値1に対する右固有ベクトル  が存在することは明らかである。正方行列に対する右固有値と左固有値は一致するから、右確率行列に対して左固有値1が存在し、全ての左固有値の絶対値が1以下であることも同時に分かる。
行確率ベクトルに右確率行列を右から作用させて得られる行ベクトルもやはり確率ベクトルであるから、（各成分が非負で和が1に等しい 次元実ベクトル全体がコンパクト凸集合をなすことに注意すると）ブラウワーの不動点定理より定常な確率ベクトルが少なくとも一つは存在することが分かる。
一方でペロン＝フロベニウスの定理によっても、任意の既約な確率行列（任意の  に対し  の第  成分が正になる自然数  が存在するような行列。行列の既約性を参照）が定常な確率ベクトルを持ち、固有値の絶対値の最大値が1となることが分かる。しかし、この定理は既約であるとは限らない確率行列には直接的に適用できない。
一般に定常な確率ベクトルは複数存在するかもしれないが、確率行列の全ての成分が正であれば（より一般的には、確率行列が既約かつ非周期的（ergodicity（links=no））であれば）、このようなベクトルは一意的であり、任意の状態  に対し次の極限をとることで計算できる。

ここで  は行ベクトル  の第  成分。これより、長期的に見たとき状態  に到る確率は初期状態  に依らないことが分かる。どのような初期分布から計算しても極限では同一の定常分布に到るという事実はエルゴード定理の一形態であり、多様な散逸構造（系が時間発展し、安定的な状態に達する）において一般的に成り立っている。
直観的には確率行列はマルコフ連鎖を表し、（行ベクトルとしての）確率分布に右確率行列を右から作用させることは、元の分布の確率質量を（総和1を保ちつつ）次の確率分布へ再分配することに相当する。この作用を反復していくとマルコフ連鎖の定常状態に収束する55–59。

**例：ネコとネズミ**
5つの一列に並んだ箱と単位時間ずつ進むタイマーがあり、時刻0で、1番目の箱にはネコが、5番目の箱にはネズミが入っているとする。タイマーが進むたびに、ネコとネズミは隣の箱に全くのランダムに飛び移る。
例えば、ネコが2番目の箱・ネズミが4番目の箱に入っていれば、次の時刻にネコが1番目の箱・ネズミが5番目の箱にいる確率は 1/4、ネコが1番目の箱・ネズミが5番目の箱に入っていれば、ネコが2番目の箱・ネズミが2番目の箱に移る確率は 1 である。ネコとネズミが同じ箱に飛び移った時点でネコはネズミを食べてしまうものとし、これを「ゲーム終了」の時刻とする。確率変数 K でゲーム終了までの時間を表すことにする。
このゲームを表すマルコフ連鎖は以下のような（ネコ,ネズミ）の5通りの状態で表せる。状態の組み合わせは単純に数えると25通りだが、「ネズミの箱の番号はネコの箱の番号より小さくはならず」、「2つの箱の番号の和は偶数でなければいけない」ことから、多くの組み合わせは排除される。また、ネズミがネコに食べられる3つの場合は1つの状態としてまとめるものとする：- 状態 1: (1,3)- 状態 2: (1,5)- 状態 3: (2,4)- 状態 4: (3,5)- 状態 5: ゲーム終了 (2,2), (3,3), (4,4)
以下の行列  で、このゲームの遷移確率を表す（行と列の番号は上記の状態の番号と対応する：行番号が遷移前の状態で、列番号が遷移後の状態1-8）。例えば状態 1 から始めたとすると、この状態に留まったり、状態 2、状態 4 に遷移することはできない（  ）が、状態 3 または 5 への遷移は可能である（  ）。


**長時間平均**
初期状態がいずれであっても、ネコは最終的にはネズミを捕えて、定常状態 に到達する55–59。生存時間の平均（期待値）を計算するには、すべての状態  と時間  についての寄与  を足しあげればよい。ここで  は生存状態に対しては 、死亡状態に対しては  の2値をとる変数である（Y=0は和に寄与しない）。

**相型分布としての表現**
ネズミの生存確率関数。少なくとも最初の1ステップでは生き残っている。
状態 5 は吸収状態であり、吸収までの時間は離散的phase-type distributionに従う。系が状態 2 から始まったとする（ベクトルで表すと  ）。ネズミが死んでしまう状態は平均生存時間に寄与しないから、状態 5 は考えなくてよい。すると初期状態と遷移確率を表す行列は次のように縮小化できる。

また、

ここで  は単位行列、 は全ての成分が1の列ベクトルであり、各状態に対してその状態への遷移確率を合計するはたらきをする。
各ステップで系はどれかの状態をとるから、ネズミの平均生存時間は、系がいずれかの生存状態にある確率を全ての時間にわたって合計したものに等しく（和は行列項級数として考える）、

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

で与えられる。

**関連項目**
 Muirhead's inequality- ペロン＝フロベニウスの定理- 密度行列- 二重確率行列- phase-type distribution- Probabilistic automaton- 分子進化モデル （Models of DNA evolution）- Markov kernel （連続的な状態空間における確率行列の対応物）

**脚注==