「ランダム行列」の版間の差分

削除された内容追加された内容

インライン

2016年11月15日 (火) 15:22時点における版

この項目は、物理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:物理学／Portal:物理学）。

ランダム行列(英語: Random Matrix)とは、行列要素 h_j,k がなんらかの確率法則あるいは確率分布に従う確率変数(乱数)として与えられると仮定する行列モデル。また、ランダム行列に関する理論をランダム行列理論(英語: RMT)という。ランダム行列は、ユージン・ウィグナーにより固有値や固有値の間隔の分布の統計的性質、それらの普遍性(Universality)やその要因などを研究する目的で導入された。現在では核物理学のほかに、量子カオス、固体物理学、統計力学、数論、生態学、遺伝子工学、金融工学、無線工学、複雑ネットワークなどの研究で応用されている。

代表的なランダム行列

この節では代表的なランダム行列についての簡易な説明とそれらの特徴および違いについて述べる。

ウィシャート行列

→詳細は「ウィシャート行列」を参照

英語: Wishart matrix

1928年に統計学者ジョン・ウィシャート(John Wishart)により多変量解析における共分散推定_(英)の研究のため導入されたランダム行列。^[1]

歴史上初めてのランダム行列とされる。多変量の共分散を求める行列である X X^T (または X X^*) により構成されるのが特徴。

ウィシャート行列の構成例
種別	ウィシャート行列	ガウス型ウィシャート行列
確率変数	実数、複素数
	i.i.d.	i.i.d. ガウス分布
	k次モーメントが存在し有限	X_j,k = N(0,1) または、 X_j,k = N(0,1) + i N(0,1)
行列の構成	X は m行 n列の行列 M は m行 m列の行列 M = X X^T または、M = X X^*
特徴	行列Mは半正定値の対称行列(またはエルミート行列) ^{[注釈 1]}
特徴	行列Mの固有値λ(M)は非負の実数 λ(M)≧0

ラゲール・アンサンブル

英語: Laguerre ensembles

ウィシャート行列を用いてガウス型アンサンブルと同様の条件で構成したアンサンブル。β=1 はLOE、β=2 はLUE、β=4 はLSE と呼ばれる。ラゲールの名称は固有値の同時確率密度関数がラゲールの陪多項式を用いて表わされることに由来する。アンサンブル名称に「β-」が付くとβ=1,2,4だけではなく任意実数のβ>0にまで拡張されたアンサンブルとしての意味で用いられることがある。

ウィグナー行列

→詳細は「ウィグナー行列」を参照

英語: Wigner matrix, Wigner ensemble

原子核のエネルギー準位の研究で1950年代にウィグナーが導入したN×N実対称行列(あるいはエルミート行列)。確率変数の確率分布に関してはモーメント (確率論)が存在すること(平均や分散などが発散しないこと)を要求しているくらいで確率分布の指定はない。ガウス分布を指定した場合はガウス型ウィグナー行列(Gaussian Wigner matrix)となる。

ウィグナー行列の構成
種別	実ウィグナー行列 real wigner matrix	複素ウィグナー行列 complex wigner matrix
確率変数	実数自由度 β=1	複素数自由度 β=2
確率変数	i.i.d. k次モーメントが存在し有限
対称性	実対称 h_j,k = h_k,j	エルミート対称 h_j,k = h_k,j
特徴	実対称行列	エルミート行列
特徴	固有値は実数

ベルヌーイ・アンサンブル

英語: Bernoulli ensemble, random sign matrix

各行列要素が等確率で 1 または -1 の値をとるランダム行列。行列要素が従う確率変数は「独立かつ同一分布」(i.i.d.)でその確率分布は、P(X=1)=1/2, P(X=-1)=1/2のベルヌーイ分布。対称性が加わるとウィグナー行列の特別なケースになる。

ガウス型アンサンブル

→詳細は「ガウス型アンサンブル」を参照

英語: Gaussian ensembles, β Hermite ensemble

1962年にフリーマン・ダイソンにより導入された行列モデルで行列要素の確率分布にガウス分布を使用しているのでガウス型と呼ばれる。GOE, GUE, GSE の3つのタイプがある。ウィグナー行列に対して確率分布としてガウス分布が指定されさらに不変性に関する要件 ( U^-1 H U = H ) が追加されるたものと言える。

ガウス型アンサンブルの構成例
種別	GOE	GUE	GSE
確率変数	実数 (β=1)	複素数 (β=2)	四元数 (β=4)
	i.i.d. ガウス分布	i.i.d. ガウス分布	i.i.d. ガウス分布
	A_j,k = N(0,1)	A_j,k = N(0,1) + i N(0,1)	A_j,k = N(0,1) + i₁ N(0,1) + i₂ N(0,1) + i₃ N(0,1)
行列の構成	H = (A + A^T)/2	H = (A + A^*)/2	H = (A + A^D)/2
対称性 (不変性)	O^T H O = H	U^* H U = H	S^D H S = H
特徴	対称行列	エルミート行列	自己双対行列
特徴	対角要素 h_j,j = N(0,1) 非対角要素 h_j,k = N(0, 1/2) の行列が構成される^{[注釈 2]}

円アンサンブル

→詳細は「円アンサンブル」を参照

英語: Circular ensemble, Fourier ensemble

1962年にフリーマン・ダイソンが導入したランダム行列モデル。^[2] 複素平面上の単位円周上のみを移動可能な N 個の単位荷電粒子(Coulomb Gas)からなる系をモデル化したもの。ガウス型アンサンブルと同様に3つのタイプがありダイソン指数β=1,2,4 に対応して COE, CUE, CSE と呼ばれる。なお固有値の分布は逆温度βのギブス分布(ボルツマン分布)に対応する。

Ginibreアンサンブル

各行列要素 z_j,k は実数または複素数で構成される n×nの正方行列ですべての要素は独立同一分布。各要素は次式で表されるガウス分布に従う。

P(z_{j,k})=\pi ^{-1}\,\exp(-|z_{j,k}|^{2})

ランダム行列の構成

行列サイズ

特に制限はないが、N×N ( N > 0 )の正方行列を対象とする理論が多く取り扱われている。

行列要素

各行列要素は確率変数により決定される。例えば行列要素 h_j,k が複素数の場合、確率変数をX_j,k, Y_j,k として

h_j,k = X_j,k + i・Y_j,k

のようになる。

確率変数

詳細は確率変数を参照のこと

行列を決定する確率変数はなんらかの確率分布あるいは確率法則に従う。主に以下の要素のすべてあるいはいづれかを用いた条件が指定されることが多い。

IID

行列を決定する確率変数は「独立かつ同一分布」(i.i.d.)の条件が課されることが多い。

確率分布

確率分布の指定は、ガウス分布やベルヌーイ分布などの特定の分布の密度関数を指定する行列モデルもあれば、特定の分布を指定しないものもある。

モーメント

確率分布のモーメント (確率論)(平均や分散)の指定がある場合は、確率変数をX_j,k として

E(X_j,k) = 0 - 平均はゼロ

E((X_j,k)²) = 1 - 分散はイチ

E(|X_j,k|^k) < ∞ - 確率変数の絶対値のモーメントはすべての次数kに対して存在しすべて有限

のように条件が指定される。

ガウス分布であれば記法N(μ,σ²)を用いて X_j,k = N(0,1) のように指定される。なお複素数や四元数の場合、多変量ガウス分布 N^d(μ,σ²) (ここでdは次元) を用いて表すことがある。

行列要素の自由度

行列要素を決定する独立した確率変数の数。行列要素が実数なら1、複素数なら2、四元数なら4となる。ダイソン指数(β)と呼ぶこともある。

行列要素の分布

行列要素の分布は大きく2つに分かれる。

各行列要素 X_j,k が独立していて一様にランダムな場合。例えば、 X_j,k = N(0,1) のようにどの行列要素も独立同一分布(i.i.d.)に従う場合。
行列要素の間に対称性などの制約条件が存在する場合。

行列要素の対称性

対角成分に対して対称性が指定される場合

実対称行列 - 行列要素が実数で h_j,k = h_j,k
エルミート行列 - 行列要素が複素数で h_j,k = h_j,k

群により対称性が指定される場合

対称性 (物理学)も参照のこと

群作用を用いて対称性を記述する場合がある。例えばガウス型アンサンブルでは物理的な時間反転に対する不変性や空間回転に対する不変性などの条件に群の概念が用いられる。行列式としては U^-1 H U = H を満たすという条件が加わる。 ^{[注釈 3]}

三重対角行列のように対角要素と隣接する非対角要素以外はすべてゼロとするランダム行列

行列の自由度

ある行列における独立な確率変数の総数。行列に対称性など行列要素の分布に制約がなければ βN² だが、ガウス型アンサンブルのように対称性があると(対角成分とその他を足して) N + N(N-1)β/2 となる。

行列の固有値/特異値

行列の性質により固有値の特徴が変わる。

半正定値の行列(ウィシャート行列) → 固有値は非負の実数 λ ≧ 0
対称行列、エルミート行列(ウィグナー行列) → 固有値は実数 λ ∈ R
すべての行列要素が独立な行列(ベルヌーイ行列) → 固有値は複素数 λ ∈ C

固有値の極限分布などの理論を組む上で固有値が複素数だと実数のように固有値λ_kを順番に並べられず都合が悪いため代わりに特異値を用いることがある。特異値は常に非負の実数である。また、m×n(m≠n)の非正方行列を扱う場合は固有値が存在しないので代わりに特異値が用いられる。

行列要素の同時確率密度関数

英語: joint element probability density function

行列のすべての要素に関する同時分布のこと。N×N行列の場合、数式では次のように表せる。

P(H)=P(h_{11},\cdots ,h_{jk},\cdots ,h_{MN})

各要素が独立な確率変数に従う場合は、数式では次のように表せる。

P(H)=\prod _{1\leq j,k\leq N}P(h_{jk})

なお、独立でない場合は相関を考慮する必要が出てくる。

行列要素が独立な確率変数に従いまた行列が対称性を有する場合は対称な要素の片方は式に含まないことになる。

P(H)=\prod _{1\leq j\leq N}P(h_{jj})\prod _{1\leq j<k\leq N}P(h_{jk})

固有値の同時確率密度関数

英語: joint eigenvalue probability density function

行列のすべての固有値λに関する同時分布のこと。単に固有値分布とも言う。固有値がN個存在する場合、数式では次のように表せる。

P(\lambda _{1},\cdots ,\lambda _{j},\cdots ,\lambda _{N})

これは簡単には計算できず、行列要素の同時確率密度関数P(H)からヤコビ行列(英: Jacobian)を利用して変換を行ない求められる。

普遍性

英語: Universalities and conjectures

(原子核のエネルギー準位に対応する)「固有値」の分布や(エネルギー準位間隔に対応する)「固有値間隔」の分布などの統計的性質は、行列要素の個々の値やそれらが従っている確率法則あるいは確率分布に依存せず、アンサンブルの対称性などで構成される普遍性クラスによって統計的性質などが決定されることを普遍性という。なおまだ検証されていないものについては予想(英: Conjecture)と言われる。行列のサイズが無限大に近づくなど極限における統計的性質がよく研究されている。

固有値分布

英語: eigenvalue distribution

行列サイズを非常に大きくしていった場合の固有値の同時確率密度関数の極限分布や最大固有値λ_max・最小固有値λ_minの極限分布などが主に研究されている。最大最小固有値の分布はランダム行列の固有値の極値分布といえる。

以下にこの分野で多用される用語を示す^[3]。

bulk - 固有値全体の統計的性質について言及する際に用いられる。例: bulk statistics, bulk distribution, bulk behavior, in the bulk of spectrum
edge - 最大または最小固有値に関して言及する際に用いられる。例: edge statistics, edge behavior
soft edge
hard edge

Marchenko–Pastur 則

→詳細は「Marchenko–Pastur 則」を参照

英語: Marchenko–Pastur Law, Marchenko–Pastur distribution、Marchenko–Pastur 分布とも言う。

ウィシャート行列の固有値分布スペクトルは Marchenko–Pastur 分布に近づいていくとするもの。

この則は次のウィグナーの半円則を包含している。

ウィグナーの半円則

→詳細は「ウィグナーの半円則」を参照

英語: Wigner's Semicircle Law

ウィグナー行列 H_nの固有値分布ρ(λ)は、行列サイズ n を非常に大きく(n→∞)していった場合にウィグナー半円分布へと近づいていくとするもの。

\rho _{sc}(\lambda )={\frac {1}{2\pi \sigma ^{2}}}{\sqrt {4\sigma ^{2}-\lambda ^{2}}}\quad

ここで、λは固有値。σ² はウィグナー行列の非対角要素の分散 $\sigma ^{2}=E(|h_{j,k}|^{2})$ 　(j≠k)。多くの場合では σ²=1 となるように規格化されている。また、行列要素(確率変数)あるいは固有値を ${\frac {1}{\sqrt {n}}}$ で規格化することで行列サイズに依存しない分布則となっている。

円則

→詳細は「円則」を参照

英語: Circular law

n×n 実正方行列(または複素正方行列)において各行列要素を独立同一分布で平均ゼロ E(X_j,k)=0、分散 $E(|X_{j,k}|^{2})=1/{\sqrt {n}}$ のように規格化すると、行列のサイズを非常に大きくしていく(n → ∞)に従い固有値は複素平面上の単位円盤(英: unit disc)上で一様に分布するようになるというもの。この円則が当てはまるのはベルヌーイ・アンサンブルやジニブル・アンサンブルなどで、行列要素間に対称条件がありすべての固有値が実数となるウィシャート行列やウィグナー行列などでは複素平面の実軸上にのみ固有値が分布しこの円則は当てはまらない。(代わりにそれぞれMarchenko-Pasture則あるいは半円則がこの則に相当する。)

Tracy–Widom 分布

→詳細は「Tracy–Widom 分布」を参照

英語: Tracy–Widom distribution, Tracy-Widom law

ランダム・エルミート行列の最大固有値分布はTracy–Widom 分布に従う。

特異値分布

英語: singular value distribution

Marchenko–Pastur の四分円則

英語: Marchenko–Pastur quarter-circle Law

独立同一分布のランダム行列では、正規化した特異値の分布は行列サイズを非常に大きくしていくとその分布スペクトルが四分円へと近づいていくとするもの。

固有値の間隔分布

英語: density distribution of spacing, gap distribution

異なる固有値の間隔に関する分布。なかでも固有値を大きさ順に並べたときに連続する2つの固有値λの間隔 S = |λ_i+1 - λ_i| である最近接間隔分布(英: nearest neighbor spacing distribution)についての研究が有名。以下、固有値の分布にはどのようなものがあるのか、そしてランダム行列がどのように関係するのかについて記述する。

ポアソン分布

隣接する固有値が区間[λ+S,λ+S+dS]に見つかる確率P(S)dSが固有値の値λや間隔 S とは相関がなく独立している(つまり定数)と仮定すると、固有値の最近接間隔分布はポアソン過程において連続して起こる事象の生起間隔の分布と同じ指数分布になる^{[注釈 4]}^{[注釈 5]}。

P(s)\sim e^{-s}

ウィグナー予想

英語: Wigner surmise、ウィグナー分布、ウィグナー近似と呼ぶこともある。

ウィグナーは1956年、2×2の実対称行列において隣接する固有値が間隔 S で存在する確率は(前項ポアソン分布にあるように)間隔 S と独立ではなく間隔 S に比例すると推測しその場合の分布を提示した^[4]^[5]^{[注釈 6]}。

P(S)dS={\frac {1}{2}}\pi \rho ^{2}e^{-{\frac {1}{4}}\pi \rho ^{2}S^{2}}\,S\,dS\;

このウィグナー予想はその後の実験結果や理論的なガウス型アンサンブルの間隔分布をNが大きい場合でも比較的よく近似していることが確認されている。

ガウス型アンサンブル(N=2)に対応するウィグナー予想は次のように一般式で書ける。(ただし、βはダイソン指数。)^[6]

P_{\beta }(s)=a_{\beta }s^{\beta }\exp {(-b_{\beta }s^{2})}

ただし、

b_{\beta }=\left[{\frac {\Gamma ({\frac {\beta +2}{2}})}{\Gamma ({\frac {\beta +1}{2}})}}\right]^{2}\quad ,\quad a_{\beta }={\frac {2{b_{\beta }}^{(\beta +1)/2}}{\Gamma ({\frac {\beta +1}{2}})}}={\frac {2\left[\Gamma ({\frac {\beta +2}{2}})\right]^{\beta +1}}{\left[\Gamma ({\frac {\beta +1}{2}})\right]^{\beta +2}}}

Gaudin分布

Brody分布

Berry-Robnik分布

応用例

参考文献

Peter J. Forrester (2010), Log-Gases and Random Matrices (2010 ed.), Princeton University Press, ISBN 978-0-691-12829-0
Fritz Haake (2004), Quantum Signatures of Chaos (second edition 2001 (corrected second printing 2004) ed.), Springer Verlag, ISBN 3-540-67723-2
Mandan Lal Mehta (2004), Random Matrices (first edition 2004 ed.), Elsevier ltd., ISBN 0-12-088409-7
H-J Stockmann (October 1999), Quantum Chaos - an introduction, CAMBRIDGE UNIVERSITY PRESS, ISBN 978-0-521-59284-0
Gordon Blower (October 2009), Random Matrices: High Dimensional Phenomena, London Mathematical Society - Lecture note series (No.367), CAMBRIDGE UNIVERSITY PRESS, ISBN 978-0-521-13312-8
E.P.Wigner (17 June 1957), “RESULTS AND THEORY OF RESONANCE ABSORPTION”, CONFERENCE ON NEUTRON PHYSICS BY TIME-OF-FLIGHT HELD AT GATLINBURG, TENNESSEE, NOVEMBER 1 AND 2, 1956: 59-70 2013年2月13日閲覧。
Todd Timberlake (June 2006), “Random numbers and random matrices: Quantum chaos meets number theory”, American Journal of Physics (American Association of Physics Teachers) 74 (6): 547-553, doi:10.1119/1.2198883, ISSN 0002-9505 2013年2月17日閲覧。
Terence Tao (Aug 2009). “Discrete random matries and universality” (pdf). University of California, Los Angeles, Mahler Lecture Series. 2013年2月24日閲覧。
Alan Edelman and N. Raj Rao (May 2005), “Random matrix theory”, Acta Numerica (Cambridge University Press) 14: 233-297, doi:10.1017/S0962492904000236 2013年2月27日閲覧。

注釈

^ 共分散行列は常に半正定値。分散共分散行列参照。
^ GOEについてだけ述べる。確率変数の分散の性質から、対角成分はσ²[(X+X)/2] = σ²(X) = 1 。
非対角成分は、σ²[(X+Y)/2] = {σ²(X) + σ²(Y)}/2² = 1/2 。
^ 書籍により U^-1が右側にあったり左側にあったりするがどちらでも同じことである。左からU^-1 右からU をかけてやれば同じ式になり等価となる。
^ この分野ではこれをポアソン分布と呼んでいる。
^ これは次のように示される。(Mandan Lal Mehta 2004, p. 11-12, H-J Stockmann 1999, p. 66-67)
単位間隔に固有値が存在する確率をρとする。固有値λ_iから間隔 S だけ離れたところ (λ+ S) に次の固有値λ_i+1があるとする。区間(λ,λ+S)においては固有値が見つからず、区間[λ+S, λ+S+dS]に固有値が見つかる確率を考える。固有値間隔の分布関数をP(S)とすれば
$P(S)dS=\lim _{n\to \infty }\left(1-\rho \cdot {\frac {S}{n}}\right)^{n}\rho \,dS=e^{-\rho S}\rho \,dS\;$
あるいは、これを積分で表して方程式を解く。(Todd Timberlake 2006, p. 549)
$P(S)dS=\left(1-\int _{0}^{S}P(x)\,dx\right)\rho \,dS\;$
^ これもポアソン分布を求めたのと同様の方法で求められる。ただし、隣接する固有値が見つかる確率は間隔 S に比例すると仮定する。これを一般的に間隔Sの関数ρ(S)とすれば、
$P(S)dS=\left(1-\int _{0}^{S}P(x)\,dx\right)\rho (S)\,dS=\rho (S)\,dS\,\int _{S}^{\infty }P(x)\,dx\;$
一般解は、
$P(S)=C\,\rho (S)\,\exp \left(-\int \rho (x)\,dx\right)\;$
(Fritz Haake 2004, p. 123-124)

脚注

^ “THE GENERALISED PRODUCT MOMENT DISTRIBUTION IN SAMPLES FROM A NORMAL MULTIVARIATE POPULATION”. Biometrika 20A (1-2): 32-52. (1928). doi:10.1093/biomet/20A.1-2.32 2013年2月25日閲覧。.
^ Freeman J. Dyson (1962 　). “Statistical Theory of the Energy Levels of Complex Systems. I, II, III”. Journal of Mathematical Physics (The American Institute of Physics) 3 (1): 140-175. doi:10.1063/1.1703773. ISSN 1089-7658 2013年2月19日閲覧。.
^ Alan Edelman and N. Raj Rao 2005, p. 233+34, Sec 9.1
^ E.P.Wigner 1957, p. 67-68
^ Mandan Lal Mehta 2004, p. 13-14
^ T.L. Einstein, O. Pierre-Louis (19 March 1999). “Implications of random-matrix theory for terrace-width distributions on vicinal surfaces: improved approximations and exact results”. Surface Science (Elsevier Science B.V) 424 (1): L299-L308. doi:10.1016/S0039-6028(99)00092-8 2013年2月15日閲覧。.

@@ 65行目: / 65行目: @@
 |-
 ! 対称性
-|  実対称 <br /> <b>h</b><sub>j,k</sub> = <b>h</b><sub>k,j</sub> || エルミート対称 <br /> <b>h</b><sub>j,k</sub> = <span style="text-decoration: overline"><b>h</b></span><sub>k,j</sub>
+|  実対称 <br /> '''h'''<sub>j,k</sub> = '''h'''<sub>k,j</sub> || エルミート対称 <br /> '''h'''<sub>j,k</sub> = <span style="text-decoration: overline">'''h'''</span><sub>k,j</sub>
 |-
 ! rowspan="2" | 特徴
@@ 91行目: / 91行目: @@
 | i.i.d. ガウス分布 || i.i.d. ガウス分布 || i.i.d. ガウス分布
 |-
-| <b>A</b><sub>j,k</sub> = N(0,1) || <b>A</b><sub>j,k</sub> = N(0,1) + i  N(0,1) || <b>A</b><sub>j,k</sub> = N(0,1) + i<sub>1</sub> N(0,1) + i<sub>2</sub> N(0,1) + i<sub>3</sub> N(0,1)
+| '''A'''<sub>j,k</sub> = N(0,1) || '''A'''<sub>j,k</sub> = N(0,1) + i  N(0,1) || '''A'''<sub>j,k</sub> = N(0,1) + i<sub>1</sub> N(0,1) + i<sub>2</sub> N(0,1) + i<sub>3</sub> N(0,1)
 |-
 ! 行列の構成
-| <b>H</b> = (<b>A</b> + <b>A</b><sup>T</sup>)/2
+| '''H''' = ('''A''' + '''A'''<sup>T</sup>)/2
-|| <b>H</b> = (<b>A</b> + <b>A</b><sup>*</sup>)/2
+|| '''H''' = ('''A''' + '''A'''<sup>*</sup>)/2
-|| <b>H</b> = (<b>A</b> + <b>A</b><sup>D</sup>)/2
+|| '''H''' = ('''A''' + '''A'''<sup>D</sup>)/2
 |-
 ! 対称性 <br /> (不変性)
@@ 172行目: / 172行目: @@
 のように条件が指定される。
-ガウス分布であれば記法N(μ,σ<sup>2</sup>)を用いて X<sub>j,k</sub> = N(0,1) のように指定される。なお複素数や四元数の場合、多変量ガウス分布 N<sup><b>''d''</b></sup>(μ,σ<sup>2</sup>) (ここでdは次元) を用いて表すことがある。
+ガウス分布であれば記法N(μ,σ<sup>2</sup>)を用いて X<sub>j,k</sub> = N(0,1) のように指定される。なお複素数や四元数の場合、多変量ガウス分布 N<sup>'''''d'''''</sup>(μ,σ<sup>2</sup>) (ここでdは次元) を用いて表すことがある。
 ===行列要素の自由度===