[論文レビュー] Truncations of Haar distributed matrices, traces and bivariate Brownian bridges

Catherine Donati-Martin, Alain Rouault|arXiv (Cornell University)|Jul 8, 2010

Random Matrices and Applications参考文献 25被引用数 6

ひとこと要約

この論文は、中心化された切り捨てられたハール分布をしたユニタリまたは直交行列のトレースを2次元グリッドでスケーリングしたものが、確率的にブローニアンブリッジに収束することを確立している。組合せ的モーメント法とウェインゲルテン関数の漸近解析を用いて、群（ユニタリ群ではβ = 2、直交群ではβ = 1）に依存する共分散構造を持つ、多次元スコロホド空間における収束を証明している。

ABSTRACT

Let U be a Haar distributed unitary matrix in U(n)or O(n). We show that after centering the double index process $$ W^{(n)} (s,t) = \\sum_{i \\leq \\lfloor ns \ floor, j \\leq \\lfloor nt\ floor} |U_{ij}|^2 $$ converges in distribution to the bivariate tied-down Brownian bridge. The proof relies on the notion of second order freeness.

研究の動機と目的

• U(n)およびO(n)における切り捨てられたハール分布をした確率的行列のトレースに関する関数的極限定理を確立すること。
• 従来の1パラメータ過程（例：固有値トレース）の結果を2パラメータ関数的設定に拡張すること。
• 制限されたガウス過程を2次元の縛られたブローニアンブリッジとして特徴づけ、群に依存する共分散を特定すること。
• パスの正則性とタイトネスを保証する、多次元スコロホド空間D([0,1]^2)における収束の厳密な証明を提供すること。
• ジャコビアン・エンsemblesや固有値の線形統計量との関連を含め、確率的行列理論の結果を統一的かつ一般化すること。

提案手法

• H_{p,q}をハール分布をした行列の左上p×q部分行列のグラム行列とする。W^(n)(s,t) = Tr(H_{⌊ns⌋,⌊nt⌋}) − E[Tr(H_{⌊ns⌋,⌊nt⌋})]として2パラメータ過程を定義する。
• トレースT_{p,q} = Tr(H_{p,q})の結合モーメントおよび累積量を計算するためにウェインゲルテン計算を用いる。
• ユニタリおよび直交群のウェインゲルテン関数の漸近的挙動（[8]および[11]より）を用いて、T_{p,q}の累積量の漸近展開を導出する。
• 累積量推定に基づくビケルとウィチャラの2パラメータ基準を用いて、有限次元分布のタイトネスを確立する。
• 高次累積量が漸近的に消えること（r ≥ 3に対してκ_r = o(1)）を示し、有限次元分布のガウス極限への収束を証明する。
• 制限された共分散構造をE[W^(∞)(s,t)W^(∞)(s',t')] = (s∧s' − ss')(t∧t' − tt')として特定し、β = 2（ユニタリ）またはβ = 1（直交）とする。

実験結果

リサーチクエスチョン

• RQ1 n → ∞のとき、U(n)またはO(n)における切り捨てられたハール分布行列の中心化トレースは、2次元ガウス過程に収束するか？
• RQ2 2パラメータトレース過程の関数的極限の共分散構造は何か？
• RQ3 パスの正則性と弱収束を保証する、多次元スコロホド空間D([0,1]^2)における収束は確立できるか？
• RQ4 U(n)およびO(n)におけるウェインゲルテン関数の漸近的挙動は、トレースの累積量および極限過程にどのように影響するか？
• RQ5 極限過程は縛られたブローニアンブリッジか？また、群の対称性（β = 2または1）はその分散にどのように影響するか？

主な発見

• プロセスW^(n)は、共分散E[W^(∞)(s,t)W^(∞)(s',t')] = (s∧s' − ss')(t∧t' − tt')を有する縛られたブローニアンブリッジに分布収束し、関数的極限定理が確認された。
• 極限過程はガウス分布かつ中心化されており、ユニタリ群では分散パrameter β = 2、直交群ではβ = 1である。
• T_{p,q}の4次累積量はO(p²q²/n⁴)であり、n → ∞でp/n → sおよびq/n → tとなるとき、漸近的に消えるため、ガウス分布への漸近的性が保証される。
• 累積量推定と漸近的ウェインゲルテン関数の挙動に依存する2パラメータ基準を用いて、分布族のタイトネスが確立された。
• 収束により、sup_{s,t∈[0,1]} |W^(n)(s,t)| → sup_{s,t∈[0,1]} |W^(∞)(s,t)| が分布収束し、T_{⌊ns⌋,⌊nt⌋}/n → st が確率的に成立する。
• この結果は、チアファイによる、ワイラー行列および標本共分散行列の固有ベクトル行列に対する極限過程の普遍性に関する予想を裏付け、後にベナシュ＝ジエルドによりワイラー行列について確認された。