[論文レビュー] Operator valued random matrices and asymptotic freeness

Weihua Liu|arXiv (Cornell University)|Jun 13, 2018

Random Matrices and Applications参考文献 28被引用数 3

ひとこと要約

本稿は、演算子値をとる行列のためのボイクルツェフの漸近的自由性定理の類似を確立し、条件付き独立性およびモーメントの条件の下で、それらの同時分布が演算子値をとる半円分布に収束することを示している。さらに、ブール独立性の類似も証明し、極限分布が演算子値をとるベルヌーイ分布となることを示しており、非可換確率論における自由確率論の一般化を図っている。

ABSTRACT

We show that the limit laws of random matrices, whose entries are conditionally independent operator valued random variables having equal second moments proportional to the size of the matrices, are operator valued semicircular laws. Furthermore, we prove an operator valued analogue of Voiculescu's asymptotic freeness theorem. By replacing conditional independence with Boolean independence, we show that the limit laws of the random matrices are Operator-valued Bernoulli laws.

研究の動機と目的

• 期待値が複素数ではなくC*-代数に値をとる演算子値設定へのVoiculescuの漸近的自由性定理の拡張を図ること。
• 条件付き独立性の下で、演算子値をとる行列の極限分布を確立し、それが演算子値をとる半円分布に収束することを示すこと。
• フレームワークをブール独立性へ一般化し、このような行列が演算子値をとるベルヌーイ分布に収束することを証明すること。
• ランダム行列理論と演算子値自由確率論を統合し、非スカラーの文脈における漸近的自由性の結果を導出すること。
• 量子情報理論およびフォン・ノイマン代数への応用を想定した、演算子値をとる確率的行列モデルの確率論的基盤を提供すること。

提案手法

• 自己随伴な演算子値をとる確率的行列の族を定義し、その成分が条件付き独立で、平均がゼロで、2次のモーメントが1/nに比例するようにする。
• C*-代数Bに値をとる条件付き期待値を用いて2次のモーメント構造を定義し、写像E[a(i,j;s,n)·a(j,i;s,n)]がスケーリング係数1/nを伴う完全正値写像であることを要請する。
• 成分の積に関するモーメントバウンドを導入し、n→∞のとき一様に減衰するようにし、定数は項の数にのみ依存するようにする。
• 自由確率論における組み合わせ的技法、特に非交差分割と区間ペア分割を用いて、漸近的モーメントを計算する。
• インデックス集合とカーネル分割の構造を分析することで、同時モーメントの収束を確立し、極限においては区間ペア分割のみが寄与することを活用する。
• 適切な条件下で、インデックスタプル上の期待値の正規化された和が、ブール独立なベルヌーイ確率変数のモーメント式に収束することを示すことにより、主要結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 Voiculescuの漸近的自由性定理は、条件付き期待値が複素数ではなくC*-代数に値をとる演算子値をとる行列へ一般化可能か？
• RQ2 条件付き独立性およびモーメントスケーリングのもとで、演算子値をとる行列の極限スペクトル分布は何か？
• RQ3 非交差分割および区間ペア分割の構造は、演算子値設定における漸近的同時モーメントをどのように規定するか？
• RQ4 行列モデルにおける条件付き独立性がブール独立性に置き換えられた場合、極限分布にはどのような変化が生じるか？
• RQ5 どのような条件下で、演算子値をとる確率的行列は、ブール独立なベルヌーイ確率変数の族に収束するか？

主な発見

• 条件付き独立な成分をもつ演算子値をとる確率的行列の同時分布は、与えられたモーメントおよび有界性条件のもとで、演算子値をとる半円分布に収束する。
• ブール独立な成分をもつ行列の極限分布は、区間ペア分割を含む特定のモーメント式で特徴づけられる演算子値をとるベルヌーイ分布である。
• 演算子値設定においても漸近的自由性が成立する：成分が条件付き独立であるとき、極限の同時モーメントは自由独立な確率変数のそれと一致する。
• 主な技術的結果は、漸近的モーメント計算においては区間ペア分割のみが寄与し、他のすべての分割はnが大きい極限で消えることである。
• 行列の正規化されたトレースの積の収束が、極限の演算子値分布のモーメント式と一致することを示し、誤差項はn→∞のとき消える。
• 古典的な漸近的自由性は非スカラー期待値へ拡張され、非可換確率論における演算子値構造を扱うための枠組みを提供する。