[論文レビュー] Pathwise asymptotic behavior of random determinants in the uniform Gram and Wishart ensembles

Alain Rouault|arXiv (Cornell University)|Sep 1, 2005

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

ひとこと要約

本稿は、行列次元が増大する際の均一なグラムおよびウィシャルトアンサンブルにおける確率的行列式の経路的漸近的性質を研究する。バートレットの分解とスペクトル的手法を用いて、正規化された対数行列式過程に関して、ほとんど確実な収束、関数的中心極限定理、および大偏差原理を確立し、インフラ・コンボリューションと双対性を用いて明示的なレート関数を導出する。

ABSTRACT

This paper concentrates on asymptotic properties of determinants of some random symmetric matrices. If B_{n,r} is a n x r rectangular matrix and B_{n,r}' its transpose, we study det (B_{n,r}'B_{n,r}) when n,r tends to infinity with r/n o c\in (0,1). The r column vectors of B_{n,r} are chosen independently, with common distribution ν_n. The Wishart ensemble corresponds to ν_n = {\cal N}(0, I_n), the standard normal distribution. We call uniform Gram ensemble the ensemble corresponding to ν_n = σ_n, the uniform distribution on the unit sphere `S_{n-1}. In the Wishart ensemble, a well known Bartlett's theorem decomposes the above determinant into a product of chi-square variables. The same holds in the uniform Gram ensemble. This allows us to study the process \{\frac{1}{n}\log \det\big(B_{n,\lfloor nt floor}'B_{n,\lfloor nt floor}\big), t \in [0,1]\} and its asymptotic behavior as n o \infty: a.s. convergence, fluctuations, large deviations. We connect the results for marginals (fixed t) with those obtained by the spectral method.

研究の動機と目的

• ランダム行列アンサンブルにおける正規化された対数行列式過程のほとんど確実な収束、フラクチュエーション、および大偏差を調査すること。
• 条件 $ r/n \to c \in (0,1) $ の下で、均一グラムおよびウィシャルトアンサンブルにおける行列式の同時漸近的挙動を分析すること。
• スペクトル理論および確率過程を用いて、固定 $ t $ における周辺的結果と経路的結果の間の関係を確立すること。
• 球面分布およびカイ二乗分布成分からのレート関数のインフラ・コンボリューションを用いて、対数行列式過程の明示的な大偏差レート関数を導出すること。
• 分解法とスペクトル的アプローチの両方を用いた、行列式過程を統一的に扱うフレームワークを提供し、マルチェンコ＝パストルの法則への応用を含む。

提案手法

• ウィシャルトの場合のカイ二乗分布および均一グラムの場合のベータ分布に由来する独立な確率変数の和として $ \log \det(B_{n,r}^\prime B_{n,r}) $ を表現するバートレットの分解を適用する。
• 経路的解析のための三角行列として、プロセス $ \left\{ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) \right\}_{t \in [0,1]} $ を定義する。
• 固有値 $ \lambda_{n,r}^{(k)} $ を用いたスペクトル表現 $ \log \det(B_{n,r}^\prime B_{n,r}) = \sum_{k=1}^r \log \lambda_{n,r}^{(k)} $ を用い、マルチェンコ＝パストルの法則と接続する。
• 固有値およびノルムに関する強大数法則を用いて、正規化された対数行列式過程のほとんど確実な収束を確立する。
• 経験的スペクトル測度の弱収束と不変性原理を用いて、関数的中心極限定理を導出する。
• ガルトナー＝エラーの定理と球面成分およびノルム成分からのレート関数のインフラ・コンボリューションを用いて、大偏差原理（LDP）を計算し、双対性を用いてレート関数を回復する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) $ のほとんど確実な極限は何か？
• RQ2 正規化された対数行列式過程のフラクチュエーションは関数的スケールでどのように振る舞い、その極限ガウス過程の共分散構造は何か？
• RQ3 プロセス $ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) $ の大偏差レート関数は何か？ また、これは成分ごとのLDPからどのように導出されるか？
• RQ4 バートレット分解（独立変数の積）による結果とスペクトル法（固有値の和）による結果の間にはどのような関係があるか？
• RQ5 ウィシャルトの場合の対数行列式の極限モーメント生成関数およびレート関数の正確な形は何か？ また、これはマルチェンコ＝パストル分布とどのように関係するか？

主な発見

• 正規化された対数行列式過程 $ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) $ は、ほとんど確実に、$ \gamma(t) \mapsto \int_0^t \left[ \gamma(s) \log 2 + \ell(n\gamma(s) + n/2) - \ell(n/2) \right] ds $ という確定的関数 $ \gamma(t) $ に収束する。ここで $ \ell = \log \Gamma $ である。
• このプロセスは関数的中心極限定理を満たし、スペクトル測度から導かれる共分散構造を持つ中心化ガウス過程に弱収束する。
• プロセスの大偏差原理は、球面成分とノルム成分からのレート関数のインフラ・コンボリューションによって与えられる良好なレート関数を用いて確立される。
• ウィシャルトアンサンブルの場合、極限モーメント生成関数は $ \mathcal{L}^W(\gamma) = \frac{1}{2} \int_0^1 \mathcal{J}(1 + 2\gamma(t)) dt $ であり、ここで $ \mathcal{J}(x) = x \log x - x + 1 $ である。これはモーメント生成関数からの双対性によって導出される。
• 総対数行列式 $ \Xi_{n,n} = \log \det(B_{n,n}^\prime B_{n,n}) $ のレート関数は、$ x \geq -1 $ に対して $ \lim_{n \to \infty} \frac{1}{n^2} \log \mathbb{P}(\Xi_{n,n} \geq nx) = -I_1^W(x) $ を満たし、境界点で2階微分が消失する。
• プロセスの正確なレート関数 $ I_T^{(sp)} $ は測度の最小化を用いて計算され、$ \sigma^2 = 1 + 2\theta $、$ c = T / \sigma^2 $ のもとで $ I_T^{(sp)}(\pi_{\sigma^2}^c) $ が得られ、その結果は論文の式 (40) の明示的公式と一致する。