確率行列

数学における確率行列（かくりつぎょうれつ、）とは、マルコフ連鎖の遷移確率を表す正方行列である。全ての成分が、確率を表す非負実数となっている。文脈によって遷移行列、置換行列、マルコフ行列と呼ばれることもある（順にtransition matrix, substitution matrix, Markov matrix）。また英語では probabilistic matrix と呼ばれることもある。
確率行列は20世紀初頭にアンドレイ・マルコフによって初めて導入され、確率論、統計学、数理ファイナンス、線形代数学、計算機科学、集団遺伝学といった様々な分野で活用されてきた。
確率行列には、いくつかの異なる定義・形式がある ：
同様にして、（stochastic vector または probability vector） を、全ての成分が非負の実数で和が1となるベクトルと定義できる。右確率行列の全ての行（左確率行列の全ての列）は確率ベクトルである。
数学の文献での慣習に従い、本項では行ベクトルが確率ベクトルとなる右確率行列について述べる。
歴史.
確率行列は、ロシア人数学者でサンクトペテルブルク大学教授であったアンドレイ・マルコフによってマルコフ連鎖とともに考案された。出版物への初めての記載は1906年である 。マルコフは当初、これらを言語分析やカードシャッフル等の数学的題材に用いるつもりだったが、たちまち他の分野でも有用であることが分かってきた 。
確率行列はアンドレイ・コルモゴロフ等の学者によってさらなる研究がなされ、連続時間マルコフ過程にも適用できるよう拡張が行われた。1950年代までに、計量経済学や回路網解析といった分野にも確率行列を用いた論文が現れた。1960年代には行動科学から地質学、居住地計画まで、さらに広範な科学領域で確率行列が用いられるようになった。同時に、この期間には確率行列やマルコフ過程の応用範囲や有用性を押し広げるような数学的研究もより一般的に行われた。
1970年代から現在にかけて、確率行列は建築構造設計から医療診断、人事労務管理まで、形式的な分析を必要とするほとんどあらゆる分野で用いられるようになってきた。（land change modeling、この分野では「マルコフ行列」と呼ばれることが多い）においても広範に応用されている。
定義と性質.
確率行列は、要素が有限個の状態空間 "S" （濃度 formula_1 ）上のマルコフ連鎖 formula_2 を記述する。
1ステップで状態 formula_3 から状態 formula_4 へ遷移する確率が formula_5 であるとき、確率行列 formula_6 は formula_3行・formula_4列成分を formula_9 とする行列で与えられる。例えば、
状態 formula_3 から次の状態へ遷移する確率の総和は1なので、
となり右確率行列であるための条件を満たす。
行列 formula_6 の各 formula_3 行成分の和は formula_15 とより簡潔に書くこともできる。ここで formula_16 は全ての成分が1の formula_1 次元列ベクトル。これを使うと、2つの確率行列 formula_18, formula_19 の積もまた右確率的であることがわかる： formula_20
一般に、確率行列 formula_6 の formula_22 乗 formula_23 もまた確率行列である。状態 formula_3 から状態 formula_4 へ2ステップで遷移する確率はformula_26 の第 formula_27 成分
に等しく、さらに一般に、ある状態から次の状態へ "k" ステップで遷移する確率は formula_29 で与えられる。
初期状態の確率分布（系がどのような状態をどのような確率でとっているか）は行ベクトルとして与えられる。
定常（stationary）確率ベクトル formula_30 とは、右確率行列が右から作用しても不変な行確率ベクトルのことである。つまり、集合 formula_31 上の確率分布であって、左固有値1に対する左固有ベクトルとなるもののことである：
任意の右確率行列のスペクトル半径の最大値は1であることがゲルシュゴリンの定理によりわかる。また右固有値1に対する右固有ベクトル formula_33 が存在することは明らかである。正方行列に対する右固有値と左固有値は一致するから、右確率行列に対して左固有値1が存在し、全ての左固有値の絶対値が1以下であることも同時に分かる。
行確率ベクトルに右確率行列を右から作用させて得られる行ベクトルもやはり確率ベクトルであるから、（各成分が非負で和が1に等しい "n"次元実ベクトル全体がコンパクト凸集合をなすことに注意すると）ブラウワーの不動点定理より定常な確率ベクトルが少なくとも一つは存在することが分かる。
一方でペロン＝フロベニウスの定理によっても、任意の既約な確率行列（任意の formula_27 に対し formula_35 の第 formula_27 成分が正になる自然数 formula_37 が存在するような行列。行列の既約性を参照）が定常な確率ベクトルを持ち、固有値の絶対値の最大値が1となることが分かる。しかし、この定理は既約であるとは限らない確率行列には直接的に適用できない。
一般に定常な確率ベクトルは複数存在するかもしれないが、確率行列の全ての成分が正であれば（より一般的には、確率行列が既約かつ非周期的（（ergodic））であれば）、このようなベクトルは一意的であり、任意の状態 formula_3 に対し次の極限をとることで計算できる。
ここで formula_40 は行ベクトル formula_30 の第 formula_4 成分。これより、長期的に見たとき状態 formula_4 に到る確率は初期状態 formula_3 に依らないことが分かる。どのような初期分布から計算しても極限では同一の定常分布に到るという事実はエルゴード定理の一形態であり、多様な散逸構造（系が時間発展し、安定的な状態に達する）において一般的に成り立っている。
直観的には確率行列はマルコフ連鎖を表し、（行ベクトルとしての）確率分布に右確率行列を右から作用させることは、元の分布の確率質量を（総和1を保ちつつ）次の確率分布へ再分配することに相当する。この作用を反復していくとマルコフ連鎖の定常状態に収束する。
例：ネコとネズミ.
5つの一列に並んだ箱と単位時間ずつ進むタイマーがあり、時刻0で、1番目の箱にはネコが、5番目の箱にはネズミが入っているとする。タイマーが進むたびに、ネコとネズミは隣の箱に全くのランダムに飛び移る。
例えば、ネコが2番目の箱・ネズミが4番目の箱に入っていれば、次の時刻にネコが1番目の箱・ネズミが5番目の箱にいる確率は 1/4、ネコが1番目の箱・ネズミが5番目の箱に入っていれば、ネコが2番目の箱・ネズミが2番目の箱に移る確率は 1 である。ネコとネズミが同じ箱に飛び移った時点でネコはネズミを食べてしまうものとし、これを「ゲーム終了」の時刻とする。確率変数 "K" でゲーム終了までの時間を表すことにする。
このゲームを表すマルコフ連鎖は以下のような（ネコ,ネズミ）の5通りの状態で表せる。状態の組み合わせは単純に数えると25通りだが、「ネズミの箱の番号はネコの箱の番号より小さくはならず」、「2つの箱の番号の和は偶数でなければいけない」ことから、多くの組み合わせは排除される。また、ネズミがネコに食べられる3つの場合は1つの状態としてまとめるものとする：
以下の行列 formula_6 で、このゲームの遷移確率を表す（行と列の番号は上記の状態の番号と対応する：行番号が遷移前の状態で、列番号が遷移後の状態）。例えば状態 1 から始めたとすると、この状態に留まったり、状態 2、状態 4 に遷移することはできない（ formula_46 ）が、状態 3 または 5 への遷移は可能である（ formula_47 ）。
長時間平均.
初期状態がいずれであっても、ネコは最終的にはネズミを捕えて、定常状態 π = (0,0,0,0,1) に到達する。生存時間の平均（期待値）を計算するには、すべての状態 Sj と時間 tk についての寄与 Yj,k·P(S=Sj,t=tk) を足しあげればよい。ここで Y は生存状態に対しては Yj,k=1、死亡状態に対しては Yj,k=0 の2値をとる変数である（Y=0は和に寄与しない）。
相型分布としての表現.
状態 5 は吸収状態であり、吸収までの時間は離散的に従う。系が状態 2 から始まったとする（ベクトルで表すと formula_49 ）。ネズミが死んでしまう状態は平均生存時間に寄与しないから、状態 5 は考えなくてよい。すると初期状態と遷移確率を表す行列は次のように縮小化できる。
また、
ここで formula_52 は単位行列、formula_16 は全ての成分が1の列ベクトルであり、各状態に対してその状態への遷移確率を合計するはたらきをする。
各ステップで系はどれかの状態をとるから、ネズミの平均生存時間は、系がいずれかの生存状態にある確率を全ての時間にわたって合計したものに等しく（和は行列項級数として考える）、
となる。高次のモーメントは
で与えられる。