[論文レビュー] Annular non-crossing permutations and partitions, and second-order asymptotics for random matrices

James A. Mingo, Alexandru Nica|arXiv (Cornell University)|Mar 25, 2003

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

ひとこと要約

本稿は、確率的行列理論における2次漸近的性質を分析するための組合せ的枠組みとして、輪状非交差順列および輪状非交差分割を導入する。これはバイアヌの円板領域における地図的条件の輪状版に相当するものであり、順列から分割への非単射写像を特定し、独立したウィシャルト行列の単語のトレースの漸近的ガウス性を導出する応用を行う。2次累積量の明示的公式は、輪状非交差構造を用いて得られる。

ABSTRACT

We study the set $S_{ann-nc}$ of permutations of $\{1, ..., p+q \}$ which are non-crossing in an annulus with $p$ points marked on its external circle and $q$ points marked on its internal circle. The algebraic approach to $S_{ann-nc}$ goes by identifying three possible crossing patterns in an annulus, and by defining a permutation to be annular non-crossing when it does not display any of these patterns. We prove the annular counterpart for a ``geodesic condition'' shown by Biane to characterize non-crossing permutations in a disc. We point out that, as a consequence, annular non-crossing permutations appear in the description of the second order asymptotics for the joint moments of certain families (Wishart and GUE) of random matrices. We examine the relation between $S_{ann-nc}$ and the set $NC_{ann}$ of annular non-crossing partitions of $\{1, ..., p+q \}$, and observe that (unlike in the disc case) the natural map from $S_{ann-nc}$ onto $NC_{ann}$ has a pathology which prevents it from being injective.

研究の動機と目的

• 輪状非交差順列および輪状非交差分割を、確率的行列の漸近的性質を扱う形式的代数的枠組みとして定義し、特徴づけること。
• バイアヌの円板領域における非交差順列の地図的条件の輪状版を確立すること。
• 輪状非交差順列から輪状非交差分割への自然な写像の非単射性を解消し、その構造的要因を特定すること。
• 理論を応用して、独立したウィシャルト行列の単語のトレースの2次漸近モーメントを導出すること。
• 輪状非交差順列の組合せ論を用いて、ウィシャルト行列の線形統計量の漸近的ガウス性を示すこと。

提案手法

• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ を、3つの輪状交差パターン（AC-1）、（AC-2）、（AC-3）を避ける順列として定義し、輪状の意味での「標準的」なサイクルを要件とする。
• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ が、グループ論的および組合せ論的議論を用いて、バイアヌの円板領域における結果に類似した輪状地図的条件を満たすことを証明する。
• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ が、外部および内部サイクル順列 $\gamma_{ext}$ および $\gamma_{int}$ による共役作用の下で ${\cal S}_{\hbox{{\scriptsize\it disc-nc}}}(p+q)$ の飽和であることを確立する。
• この枠組みを用いて、$M_k \times N_k$ の i.i.d. ガウス行列の積 $X_w^{(k)}$ を含むトレース展開を通じて、ウィシャルト行列の連関モーメントの2次漸近的性質を分析する。
• トレースの間の漸近的共分散を、$w \circ \tau = w$ を満たす $(p_1,\dots,p_l)$-連結な順列 $\tau$ における和として導出し、項は $\left(\frac{M_k}{N_k}\right)^{\#(\tau)}$ で重みづけられる。
• 累積量の次数 $l \geq 3$ が漸近的に消えることを示す。これは、和における $N_k$ の指数が最大で $2-l$ であると評価することで、0に収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 非交差順列および分割を円板領域から輪状領域へ一般化する方法は何か？ また、それらを定義する代数的条件は何か？
• RQ2 バイアヌの円板領域における非交差順列の地図的条件の輪状版は何か？
• RQ3 輪状非交差順列から輪状非交差分割への自然な写像が非単射である理由は何か？ その病理の背後にある構造的特徴は何か？
• RQ4 輪状非交差順列は、独立したウィシャルト行列の積のトレースの2次漸近的性質をどのように支配するか？
• RQ5 ウィシャルト行列のトレースの線形統計量の漸近的ガウス性を引き起こす条件は何か？ そして、その証明を組合せ論的にどのように行えるか？

主な発見

• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ は、3つの輪状交差パターンを避けることと、標準的サイクルの要件を満たすことで特徴づけられ、円板非交差順列の適切な一般化を形成する。
• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ を特徴づける輪状地図的条件が証明され、バイアヌの円板領域における結果が輪状領域へ拡張された。
• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ から $NC_{\rm ann}(p,q)$ への自然な全射は、サイクル構造と共役の特定の代数的病理により非単射である。
• 独立したウィシャルト行列の単語のトレースの2次漸近的性質は、輪状非交差順列における和によって支配され、主要項は $\left(\frac{M_k}{N_k}\right)^{\#(\tau)}$ で決定される。
• 正規化されたトレース関数 $N_k \cdot \text{tr}(X_w^{(k)})$ の累積量の次数 $l \geq 3$ は漸近的に消える。これは、線形統計量の族の漸近的ガウス性を証明する。
• トレースの単語 $v$ と $w$ 間の漸近的共分散は、$w \circ \tau = w$ を満たす $(p,q)$-連結な輪状非交差順列 $\tau$ における和を用いて明示的に計算され、$M_k^{\#(\tau)} N_k^{\#(\tau^{-1}\gamma) - (p+q)}$ を含む極限に収束する。