現役數學科院生・うどん「自由確率論 集中解說」2025/1/10
エグゼクティブ・サマリー
本資料は、自由確率論 (free probability theory) の基礎理論、主要な極限定理、および random 行列理論への應用について網羅的に解說するものである。自由確率論は、1980 年代にダン・ボイクレスク (Dan Voiculescu) によって考案された比較的新しい數學分野であり、確率變數が「非可換」であることを前提とする。 1. 自由確率論の基礎定義
1.1 非可換確率空間
自由確率論における「確率空間」は、非可換な対象を扱うために代数的な構造として定義される。
定義（非可換確率空間）： 組$ (A,\phi)として定義される。
$ A: 複素数体上の単位的結合多元環 (代数)。要素は「非可換確率変数」と呼ばれる。行列や作用素などがこれに該当する。 $ \phi:$ Aから複素数への単位的線形汎関数（期待値に相当）。$ \phi(1)=1を満たす。 分布の定義： 非可換確率論において、確率變數の分布は「モーメントの列」によって定義される。 1.2 自由独立性（Free Independence）
通常の確率論における独立性に相当する概念であり、非可換確率空間特有の性質を持つ。
定義： 部分多元環の族 \{A_i\} が自由独立であるとは、各 A_{i_j} から選ばれた平均 0（\phi(a_j)=0）の要素 a_1, a_2, \dots, a_n に対して、隣り合う要素が異なる部分多元環に属する場合（i_1 \neq i_2, i_2 \neq i_3, \dots）、その積の期待値が 0（\phi(a_1 a_2 \dots a_n) = 0）になることを指す。
特徴： 通常の独立性と異なり、期待値の計算において要素の「並び順」が極めて重要となる。例えば、\phi(abab) は単なる \phi(a^2)\phi(b^2) には分解されず、より複雑な展開を必要とする。
2. 組み合わせ論と計算手法
自由確率論の計算において、分割の概念、特に「非交差性」が中心的な役割を果たす。
2.1 非交差分割（Non-Crossing Partitions）
集合 \{1, 2, \dots, n\} の分割において、異なるブロックに属する要素同士を線で結んだ際に、交差が生じないものを「非交差分割」と呼ぶ。
ペア分割の比較：
通常の独立性： 全てのペア分割（交差を許容）が寄与する。
自由独立性： 非交差なペア分割のみが主要な寄与を持つ。
Catalan 數（Catalan Numbers）： 非交差なペア分割の総数はカタラン数 C_k で表され、これが自由確率論における主要な分布のモーメントとして現れる。 2.2 期待値の分解定理
自由独立な変数群の積の期待値において、その添字の分割が「非交差」である場合、期待値は各ブロックごとの積へと綺麗に分解される。交差がある場合は、自由独立性の定義に基づいたより複雑な計算が必要となる。
3. 主要な極限定理
自由確率論には、古典的確率論の主要定理に対応する「自由」版の定理が存在する。
3.1 自由中心極限定理
自由独立かつ同分布な非可換確率変数の和を適切に正規化したものの極限を記述する。
定理： 平均 0、分散 1 の自由独立同分布な変数列 a_n に対し、S_n = \frac{a_1 + \dots + a_n}{\sqrt{n}} は 半圓分布（Wigner Semicircle Law） に分布収束する。
半圓分布の性質：
モーメント：奇数次は 0、偶数次 2k はカタラン数 C_k。
密度関数：グラフが半圓を描く形状を持つ。
3.2 自由ポアソン収束定理
ベルヌーイ試行の自由独立な和の極限を記述する。
定理： 各成分のモーメントが 1/n である自由独立同分布な変数の n 個の和は、自由ポアソン分布に収束する。
性質：
自由ポアソン分布のモーメントは、非交差分割（ペアに限らない）の総数によって決定される。
半圓分布に従う変数の自乗は、自由ポアソン分布に従う。
table:性質
特徵 古典的確率論 (中心極限定理) 自由確率論 (自由中心極限定理) 獨立性 獨立 (independence) 自由獨立 (free independence)
極限分布 正規分布 (normal distribution) 半圓分布 (semicircle distribution) 組み合はせ論 ペア分割 (all pairings) 非交差ペア分割 (non-crossing pairings)
random 行列理論は、各成分が確率変数である行列を扱う。行列サイズを無限大に飛ばした際の挙動を記述する上で、自由確率論は強力な道具となる。 トレースの重要性： 行列の k 乗のトレースは、固有値の k 次モーメントの平均に一致する。したがって、トレースの極限挙動を調べることは、固有値の分布を調べることと同義である。
巨大なランダム行列の固有値分布に関する基本定理である。
対象： GUE（Gaussian Unitary Ensemble）。各成分が独立な複素正規分布に從ふ Hermitian 行列。 主張： N \to \infty において、正規化されたGUEの固有値分布は半圓分布に収束する。
証明の要点（ウィックの公式）：
正規分布の多次モーメントをペア分割の和で表す「ウィックの公式（Wick's formula）」を用いる。 行列サイズ N の次数を考慮すると、交差する分割は N \to \infty で無視可能（オーダーが低い）となり、非交差なペア分割のみが生き残る。
5. 結論と展望
自由確率論は、非可換代數と組み合はせ論、そして確率論が融合した分野である。古典的な確率論における「正規分布」や「獨立性」が、非可換の世界では「Wigner 半圓分布」や「自由獨立性」へと自然に擴張される。特に random 行列の固有値分布という、一見複雜な對象を「非交差分割」といふシンプルな組み合はせ論的構造で解明できる點は、本理論の最も強力な洞察の一つである。 現在、本理論は作用素環論のみならず、機械學習や深層學習といった最先端の應用分野においても、その有用性が注目されている。 https://www.youtube.com/watch?v=ZIH5YLsrO7s
https://www.youtube.com/watch?v=0-ut95OrNoE
https://www.youtube.com/watch?v=n2Qa4v7JPFA
https://www.youtube.com/watch?v=LzXOMNrLpJ8