[論文レビュー] Products of random matrices and q-Catalan numbers

A. Khorunzhy|ArXiv.org|Apr 6, 2001

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

ひとこと要約

本稿では、$2k$ 個の相関付き $N\times N$ ランダム行列の積の正規化トレースが、$N\to\infty$ の極限において $q$-Catalan 数に関連する母関数に収束することを示すことにより、相関付きランダム行列積と $q$-Catalan 数の間の関係を確立する。主な結果は、極限モーメント $B_k(p)$ が、$p^{|i-j|}$ で重み付けられた非交差ペアリングに関連する再帰的関係を満たすことである。$q$-Catalan 数は $C_k(q) = \phi_k(p) p^{{k-1 \choose 2}}$、$q = p^{-1}$ によって得られる。

ABSTRACT

We describe one interpretation of the q-Catalan numbers in frameworks of random matrix theory and weighted partitions of the set of integers.

研究の動機と目的

• ランダム行列理論における $q$-Catalan 数の解釈と重み付き非交差分割の関係を明らかにすること。
• Christian Mazza が提起した $2k$ 点の重み付き非交差ペアリングに関する問いを解消すること。
• $N\to\infty$ の極限における相関付きランダム行列積のトレースの漸近的挙動を導出し、$q$-Catalan 構造と関連付けること。
• 相関付きガウス行列が $q$-Catalan モーメントを生成する非可換確率の枠組みを確立すること。

提案手法

• 相関構造 $V(r - r') = p^{|r - r'|}$、$0 < p < 1$ を用いて、実対称 $N\times N$ ランダム行列 $A^{(r)}$ の系列を定義する。
• 正規化トレース $\frac{1}{N} \mathrm{Tr}(A^{(1)} \cdots A^{(2k)})$ を計算し、$N \to \infty$ の下での期待値を分析する。
• ガウスベクトルに対する部分積分公式を用いて、$\{1, \dots, 2k\}$ のすべてのペアリングの和としてモーメントを表し、$p^{|i-j|}$ で重み付けする。
• モーメントが極限 $B_k(p)$ に収束することを証明し、$B_0(p) = B_1(p) = 1$ を満たす再帰的関係 $B_{k+1}(p) = \sum_{i=1}^{k+1} p^{2i-1} B_{i-1}(p) B_{k+1-i}(p)$ を満たすことを示す。
• $B_k(p)$ が非交差ペアリングの和として表されることを示し、非交差分割とカタランの組合せ論への関連を確立する。
• $B_k(p)$ の生成関数 $\phi_k(p)$ を $q = p^{-1}$ を用いて $C_k(q) = \phi_k(p) p^{{k-1 \choose 2}}$ と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 相関付きランダム行列積は、非交差ペアリングのような組合せ的構造とどのように関係するか？
• RQ2 $N\to\infty$ の極限における、相関付き $N\times N$ ランダム行列 $2k$ 個の積の正規化トレースの漸近的挙動は何か？
• RQ3 $q$-Catalan 数は、相関付きランダム行列から導かれる非可換確率モデルのモーメントとして解釈可能か？
• RQ4 相関減衰 $p^{|r-r'|}$ は、$q$-Catalan 再帰的関係を生成する上で果たす役割は何か？

主な発見

• 正規化トレースの極限 $\lim_{N\to\infty} \mathbb{E}\left[\frac{1}{N}\mathrm{Tr}(A^{(1)}\cdots A^{(2k)})\right]$ が存在し、非交差ペアリングに関する生成関数 $B_k(p)$ に等しい。
• モーメント $B_k(p)$ は再帰的関係 $B_{k+1}(p) = \sum_{i=1}^{k+1} p^{2i-1} B_{i-1}(p) B_{k+1-i}(p)$ を満たし、$B_0(p) = B_1(p) = 1$ を満たす。これは $q$-Catalan 再帰的関係と一致する。
• $B_k(p)$ の生成関数 $\phi_k(p)$ は $C_k(q) = \phi_k(p) p^{{k-1 \choose 2}}$ を用いて $q$-Catalan 数と関連づけられる。ここで $q = p^{-1}$ である。
• $q$-Catalan 数は、相関付きガウス行列から構築された非可換確率モデルのモーメントとして自然に現れる。
• Lyapunov 指数 $\frac{1}{k}\log \mathbb{E}[Q_{2k}^{(N)}(p)]$ の臨界的挙動は、$k \to \infty$ のとき、臨界 $p_c$ における相転移を示し、$p > p_c$ のとき正の成長を示す。
• 証明は、積算展開とガウスベクトルに対する部分積分に依拠しており、$N \to \infty$ のとき交差項が $1/N$ の抑制により消えることを示している。