[論文レビュー] Topological expansion for Haar-distributed orthogonal matrices and second-order freeness of orthogonally invariant ensembles

C. E. I. Redelmeier|arXiv (Cornell University)|Nov 3, 2015

Random Matrices and Applications参考文献 8被引用数 4

ひとこと要約

本稿は、実行列の性質に起因する可換および非可換曲面を含む、ハール分布を受ける直交行列を含む積のトレースに対する位相的展開を確立する。独立で直交不変な確率的行列は、モーメントの積分解析と図式的ウェイングルテン計算を用いて、実直交設定における2次自由性への第二の自由性の拡張を含む、漸近的実2次自由性であることを証明する。

ABSTRACT

We present a genus expansion-type expression for the expected values of products of traces of expressions involving Haar-distributed orthogonal matrices. As with other real genus expansions, nonorientable surfaces appear, in addition to the orientable surfaces of the complex expansion. We use this expression to demonstrate that independent random matrices which are orthogonally in general position, such as matrices whose distributions are orthogonally invariant, are asymptotically real second-order free.

研究の動機と目的

• ハール分布を受ける直交行列の積の期待トレースに対する種数展開を構築し、複素行列モデルに欠けている非可換曲面を考慮する。
• 2次自由性の理論を、特に直交不変分布を有する実確率的行列集合へと拡張する。
• 独立してこのような分布から抽出された行列が、漸近的に実2次自由であることを確立し、複素ケースにおける既知の結果を一般化する。

提案手法

• ウェイングルテン計算を用いて、ハール分布を受ける直交行列を含むトレースの積の期待値に対する正確な公式を導出する。
• 地図的道具と輪状非交差条件を用いた図式的技法を適用し、さまざまな種数の曲面からの寄与を表現する。
• 2次フラクチュエーションの分析に積率に基づくアプローチを用い、乗法的構造の欠如にもかかわらず、連結成分の取り扱いを可能にする。
• 置換とペアリングによって寄与がインデックス化される修正された位相的展開を導入し、種数はオイラー特性によって定まる。
• 展開を用いてトレースの漸近的積率を計算し、置換における位相的制約によって主要項を同定する。
• 極限積率が実2次自由確率変数のそれと一致することを示し、漸近的自由性を確認する。

実験結果

リサーチクエスチョン

• RQ1 ハール分布を受ける直交行列に対して、実行列モデルと同様に非可換曲面の寄与を含む位相的展開を定式化できるか？
• RQ2 直交不変な確率的行列の2次フラクチュエーションは、大N極限においてどのように漸近的に振る舞うか？
• RQ3 独立して直交不変な分布から抽出された行列に適用可能な実数版の2次自由性は存在するか？
• RQ4 トレース展開における項が主要項として寄与するためには、どのような位相的および組合せ的条件を満たす必要があるか？
• RQ5 連結成分からの乗法的寄与の欠如が、実数の場合の2次自由性の分析にどのように影響するか？

主な発見

• ハール分布を受ける直交行列のトレースの積の期待値は、可換および非可換曲面を含む位相的展開を有する。
• 展開における主要項は、置換ペアが輪状非交差条件を満たす配置に対応し、種数2の寄与を保証する。
• p = q の場合、トレースの漸近的共分散は、インデックス関数が v(i) = w(k−i) または v(i) = w(k+i) を満たす場合にのみ非ゼロとなる。これはペアリングの偶奇に依存する。
• トレースの漸近的積率は、実2次自由確率変数のそれと一致し、独立して直交不変な分布から抽出された行列が漸近的に実2次自由であることを確認する。
• この結果は、ハール分布を受ける直交行列、実ギニブル、ガウス型直交、実ウィシャール行列を含む集合へと拡張可能であり、これらすべてが漸近的に実2次自由である。
• ハール分布を受ける直交行列による共役作用は2次自由性関係を保ち、任意の2次自由極限分布を持つAに対して、AとO^TAOは漸近的に実2次自由である。