[論文レビュー] An asymptotic property of large matrices with identically distributed Boolean independent entries

Mihai Popa, Zhiwei Hao|arXiv (Cornell University)|Dec 11, 2017

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

ひとこと要約

本稿では、同一分布に従うブール独立な要素を持つ大規模なランダム行列が、モーメント条件のもとで分布収束し、B対角作用素に収束することを確立している。さらに、このような行列が互いに漸近的にブール独立であり、その転置や他の置換バージョンに対しても同様に成り立つことを証明しており、区間分割の組合せ的解析とモーメント法を用いて、最近のブール確率における結果を拡張している。

ABSTRACT

Motivated by the recent work on asymptotic independence relations for random matrices with non-commutative entries, we investigate the limit distribution and independence relations for large matrices with identically distributed and Boolean independent entries. More precisely, we show that, under some moment conditions, such random matrices are asymptotically $ B $-diagonal and Boolean independent from each other. The paper also gives a combinatorial condition under which such matrices are asymptotically Boolean independent from the matrix obtained by permuting the entries (thus extending a recent result in Boolean probability). In particular, we show that random matrices considered are asymptotically Boolean independent from their partial transposes. The main results of the paper are based on combinatorial techniques.

研究の動機と目的

• 大規模なランダム行列における自由確率論の結果を、ブール独立性の枠組みへと拡張すること。
• 同一分布に従うブール独立な要素を持つ非自己共役ランダム行列の漸近的B対角構造を確立すること。
• このような行列とその転置や置換バージョンとの間の漸近的ブール独立性を証明すること。
• 要素の置換に関する組合せ的条件の下で、最近の漸近的ブール独立性に関する結果を一般化すること。

提案手法

• 行列のトレースのモーメント展開を分析するために、区間分割とペアリングに関する組合せ的技術を用いる。
• 自由確率におけるR対角変数のブール版としてのB対角非可換確率変数の概念を適用する。
• 要素の漸近的挙動に依存するモーメント法を用いて、行列のべき乗の正規化トレースの極限を計算する。
• 要素の置換に関する条件を導入し、漸近的ブール独立性を保証する。
• 区間分割のラティス構造を用いて、モーメントへの寄与を分解およびバウンディングする。
• 区間分割に対する再帰的議論を用いて、寄与が区間ペアリングである場合にのみ非ゼロとなることを示す。

実験結果

リサーチクエスチョン

• RQ1 ブール独立で同一分布に従う要素を持つ大規模なランダム行列が、どのような条件下で分布収束し、B対角作用素に収束するか？
• RQ2 2つのこのような行列が互いに漸近的にブール独立であるのはいつか？
• RQ3 要素の置換に関するどのような組合せ的条件が、行列とその置換バージョンとの間の漸近的ブール独立性を保証するか？
• RQ4 行列はその転置や部分転置と漸近的にブール独立か？
• RQ5 このような行列のべき乗の正規化トレースの極限分布は何か？

主な発見

• モーメント条件のもとで、同一分布に従うブール独立な要素を持つ大規模なランダム行列の漸近的分布はB対角である。
• 要素が同一分布に従い、モーメント条件を満たす場合、ブール独立な要素を持つ行列同士は漸近的にブール独立である。
• 行列はその転置と漸近的にブール独立であり、文献に既存の結果を一般化している。
• 偶数次のべきについて、極限トレースモーメントは次の定積分で与えられる：$\int_0^1 (\alpha x + \beta(1-x))^r dx$。$\alpha \neq \beta$ のとき、これは $\frac{\alpha^{r+1} - \beta^{r+1}}{(r+1)(\alpha - \beta)}$ に等しく、$\alpha = \beta$ のときは $\alpha^r$ に等しい。
• 関連する区間分割が区間ペアリングである場合にのみ、トレースモーメントへの寄与が非ゼロとなるため、漸近的挙動は特定の組合せ的構造に制限される。
• 奇数次の $n$ に対して、$B_N^n$ の正規化トレースの極限はゼロであり、偶数次の $n=2r$ に対しては上記の積分表現に収束する。これにより、漸近的分布が確認された。