[論文レビュー] Rectangular random matrices, related free entropy and free Fisher's information

Florent Benaych-Georges|arXiv (Cornell University)|Dec 4, 2005

Random Matrices and Applications被引用数 14

ひとこと要約

本稿は、特徴値分布の収束を仮定しない単位的不変性の下で、長方形ランダム行列について、可換な有限次元代数 𝒟 におけるアマルガメーションに関して漸近的自由性を確立する。微状態に基づく自由エントロピーと共役変数に基づく自由フィッシャー情報量を導入し、核および像射影が 𝒟 に属する演算子に対して、Marchenko-Pastur分布が自由エントロピーを最大化し、Cramér-Rao不等式において等号が成立することを示す。加法性は、要素が 𝒟 を中心とするアマルガメーションに関して自由である場合に限り成立する。

ABSTRACT

We prove that independent rectangular random matrices, when embedded in a space of larger square matrices, are asymptotically free with amalgamation over a commutative finite dimensional subalgebra $D$ (under an hypothesis of unitary invariance). Then we consider elements of a finite von Neumann algebra containing $D$, which have kernel and range projection in $D$. We associate them a free entropy with the microstates approach, and a free Fisher's information with the conjugate variables approach. Both give rise to optimization problems whose solutions involve freeness with amalgamation over $D$. It could be a first proposition for the study of operators between different Hilbert spaces with the tools of free probability. As an application, we prove a result of freeness with amalgamation between the two parts of the polar decomposition of $R$-diagonal elements with non trivial kernel.

研究の動機と目的

• 可換な有限次元部分代数 𝒟 を持つフォンノイマン代数の枠組みを用いて、異なるヒルベルト空間間の演算子への自由確率論の道具の拡張を図ること。
• 核および像射影が 𝒟 に属する W*-確率空間内の N 個の要素の微状態に基づく自由エントロピーを定義すること。
• そのような要素に対して、共役変数を用いた非微状態的アプローチにより自由フィッシャー情報量を構成し、その性質を確立すること。
• 固定されたトレースノルムおよび 𝒟 内の射影を有する要素の中で、Marchenko-Pastur分布が自由エントロピーを最大化することを示すこと。
• 自由フィッシャー情報量の加法性が、要素が 𝒟 を中心とするアマルガメーションに関して自由である場合に限り成立することを証明すること。

提案手法

• 長方形ランダム行列をブロック対角または非対角埋め込みによりより大きな正方行列に埋め込み、𝒟 行動を定義する。
• ユニタリ不変性と漸近的解析を用いて、独立な長方形行列が 𝒟 を中心とする漸近的自由性を示す。
• 微状態自由エントロピーを、(𝒜,φ) 内の要素の同時分布を核および像が 𝒟 に属する長方形行列の組が近似する際の体積の漸近的対数として定義する。
• 非微状態的アプローチにおいて共役変数を用いて自由フィッシャー情報量を構成し、Cramér-Rao不等式の枠組みを活用する。
• 変数変換の公式およびユニタリ群上の微分形式を用いて、ヤコビアンとプッシュフォワード測度を計算する。
• 既知の固有値分布およびハール測度の結果を用いて、プッシュフォワード測度の密度を導出し、体積計算における定数 C が正確に 1 であることを特定する。

実験結果

リサーチクエスチョン

• RQ1 独立な長方形ランダム行列が、可換な有限次元代数 𝒟 を中心とするアマルガメーションに関して、どのような条件下で漸近的自由性を示すか？
• RQ2 異なるヒルベルト空間間の演算子に対する自由エントロピーの正しい一般化は何か？ その表現は、核および像射影が 𝒟 に属する要素として与えられる。
• RQ3 固定されたトレースノルムおよび 𝒟 内の射影を有する要素の中で、微状態自由エントロピーを最大化する分布は何か？
• RQ4 自由フィッシャー情報量の加法性はどのように振る舞い、𝒟 を中心とするアマルガメーションに関する自由性と何の関係があるか？
• RQ5 与えられた制約の下で、Marchenko-Pastur分布が自由エントロピーの唯一の最大化者であり、フィッシャー情報量の最小化者として特徴付けられるか？

主な発見

• ユニタリ不変性の下で、特徴値分布の収束を仮定しない限り、独立な長方形ランダム行列は 𝒟 を中心とするアマルガメーションに関して漸近的自由性を示す。
• 微状態自由エントロピーは劣加法的であり、要素が 𝒟 を中心とするアマルガメーションに関して自由である場合に限り加法的である。
• 核および像射影が 𝒟 に属し、φ(aa*) ≤ φ(q) を満たすすべての要素の中で、q𝒜q 内の aa* の分布が Marchenko-Pastur であるとき、自由エントロピーは最大値をとる。
• 自由フィッシャー情報量は Cramér-Rao 不等式を満たし、等号が成立するのは aa* の分布が Marchenko-Pastur である場合に限り成立する。
• 自由フィッシャー情報量の加法性は、要素が 𝒟 を中心とするアマルガメーションに関して自由である場合に限り成立し、両概念の双対性を確立する。
• レベーグ測度の行列パrametrization によるプッシュフォワード測度の密度は Δ(a)² ∏a_j^{q′−q} に比例し、正規化定数 C は正確に 1 である。