[論文レビュー] Random matrices, free probability, planar algebras and subfactors

Alice Guionnet, Vaughan F. R. Jones+1 more|ArXiv.org|Dec 18, 2007

Random Matrices and Applications参考文献 2被引用数 69

ひとこと要約

この論文は、ランダム行列理論から導かれるトレースと勾配代数構造を用いて、任意の既存の部分因子プランアルゲブラからII₁部分因子を構成する。大N行列モデルによるトレースの族を定義し、GNS構成を適用することで、プランアルゲブラを部分因子の高次相対可換部分代数系として実現し、すべてのプランアルゲブラがII₁部分因子の標準不変量として現れることを示す、ポーパの結果の新たな証明を与える。

ABSTRACT

Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated von Neumann algebras are II$_{1}$ factors whose inclusions realize the given planar algebra as a system of higher relative commutants. We thus give an alternative proof to a result of Popa that every planar algebra can be realized by a subfactor.

研究の動機と目的

• 任意の部分因子プランアルゲブラからII₁部分因子を構成する新規手法を確立すること。
• プランアルゲブラを通じて、ランダム行列理論、自由確率論、部分因子理論を結びつけること。
• ポーパの定理（すべてのプランアルゲブラがII₁部分因子の標準不変量として実現可能）の代替的証明を提供すること。
• 勾配代数とランダム行列の漸近的トレースを用いて、非可換確率空間の塔を定義すること。

提案手法

• プランアルゲブラのタングル乗法を用いて、$Gr_kP = \bigoplus_{n \neq k} P_n$ という勾配代数構造を定義する。
• 大Nランダム行列の漸近的挙動にインspiredして、テンペリー＝リーマンタングルの和を用いて、$Gr_kP$ 上のトレース族 $Tr_k$ を構成する。
• $Tr_0$ をフォック空間上の真空期待値として実現し、ボイクルスキュの自由確率トレースと一致させる。
• $Tr_k$ を用いたGNS構成により、$\delta > 1$ のときII₁因子 $M_k$ を得る。
• $Gr_kP \subset Gr_{k+1}P$ という単位的包含関係を確立し、$M_k \subset M_{k+1}$ に拡張する。ここで、射影 $\mathbf{e}_k$ は基本構成の塔を形成する。
• 相対可換部分代数 $M_0' \cap M_k$ をプランアルゲブラの $*$-代数として $P_k$ と自然同型に特定する。

実験結果

リサーチクエスチョン

• RQ1 任意の部分因子プランアルゲブラを、構成的メソッドによりII₁部分因子の高次相対可換部分代数系として実現できるか？
• RQ2 ランダム行列理論からのトレースを、プランアルゲブラ上の非可換確率構造を体系的に定義するためにどのように用いることができるか？
• RQ3 プランアルゲブラから導かれる勾配代数の役割は何か？
• RQ4 構成された部分因子の高次相対可換部分代数は、元のプランアルゲブラとどのように関係するか？
• RQ5 自由確率論、ランダム行列、部分因子の間の関係を、統一的な代数的構造として形式化できるか？

主な発見

• $k$ ごとに、$Gr_kP$ 上のトレース $Tr_k$ は忠実なトレーシング状態であり、$\delta > 1$ のときGNS完備化によりII₁因子 $M_k$ が得られる。
• 包含関係 $Gr_kP \subset Gr_{k+1}P$ は、$M_k \subset M_{k+1}$ に単位的包含へ拡張され、II₁因子の塔を形成する。
• $\mathbf{e}_k \in Gr_{k+1}P$ は基本構成の関係を満たし、$(M_{k+1}, \mathbf{e}_k)$ は $M_0 \subset M_1$ の基本構成である。
• 相対可換部分代数 $M_0' \cap M_k$ は、プランアルゲブラの $*$-代数として $P_k$ と自然同型に同一視できる。
• $Gr_0P$ 上のトレース $Tr_0$ は、$p$ 個の自己共役変数における非可換多項式上でのボイクルスキュの自由確率トレースと一致する。
• この構成により、ポーパの結果の新たな証明が得られる：すべての部分因子プランアルゲブラは、II₁部分因子の標準不変量として実現可能である。