[論文レビュー] On the Rate of Convergence in the Central Limit Theorem for Linear Statistics of Gaussian, Laguerre, and Jacobi Ensembles

Sergey Berezin, Alexander I. Bufetov|arXiv (Cornell University)|Apr 22, 2019

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

ひとこと要約

本稿は、ガウス型、ラゲル型、ヤコビ型ユニタリ行列集合の線形統計量における中心極限定理の収束速度の上界を、コルモゴロフ–スミルノフ距離に関して確立する。リーマン–ヒルベルト法を用いて、成長する区間全体にわたる特性関数の一様推定を行うことで、収束速度が $ O(n^{-1/d}) $ であることを証明する。ここで $ d=5 $ はGUEおよびLUEに対して、$ d=3 $ はJUEに対して成り立ち、$ \beta, \beta > -1 $ のコンパクト集合において一様に成り立つ。

ABSTRACT

Under the Kolmogorov--Smirnov metric, an upper bound on the rate of convergence to the Gaussian distribution is obtained for linear statistics of the matrix ensembles in the case of the Gaussian, Laguerre, and Jacobi weights. The main lemma gives an estimate for the characteristic functions of the linear statistics; this estimate is uniform over the growing interval. The proof of the lemma relies on the Riemann--Hilbert approach.

研究の動機と目的

• ガウス型、ラゲル型、ヤコビ型重みを有する行列集合の線形統計量における中心極限定理の収束速度の上界を導出すること。
• 収束速度がテスト関数の滑らかさおよび解析性、および集合の種別に依存する仕組みを分析すること。
• 一カット正則ポテンシャルの取り扱いを統一し、すべての3つの集合に対してスペクトル区間を標準化して $[-1,1]$ にすること。
• LUEおよびJUEに対して、パrameter $ \beta, \beta > -1 $ に関してコンパクト集合上で一様な収束速度を確立すること。
• 非線形勾配降下法を用いて、線形固有値統計量の漸近的正規性に対する厳密な基礎を構築すること。

提案手法

• 成長する区間全体にわたる線形統計量の特性関数の一様推定を導出するため、リーマン–ヒルベルト法を用いる。
• 分割関数の漸近的挙動およびその対数微分の解析に、非線形勾配降下法を適用する。
• 正規化された線形統計量 $ S_{f,n} $ の特性関数 $ \tilde{\rho}_{f,n}(h) $ を推定するための鍵となる補題を用い、$ h \to 0 $ および $ n \to \bigcirc $ に対して一様に有効な境界を確立する。
• コルモゴロフ–スミルノフ距離を、経験分布と標準正規分布との間で評価するためにフェラーの滑らか化不等式を用いる。
• 誤差項の制御および収束速度の最適化のため、特性関数に再スケーリングパrameter $ \nu = n^\nu $ を導入する。
• 指数的尾部境界と不等式 $ |e^z - 1| \leq |z|e^{|z|} $ を組み合わせ、$ \nu $ の中間的領域における誤差項が増加する場合の取り扱いを行う。

実験結果

リサーチクエスチョン

• RQ1 コルモゴロフ–スミルノフ距離に関して、ガウス型、ラゲル型、ヤコビ型集合の線形統計量における中心極限定理の最良収束速度は何か？
• RQ2 テスト関数 $ f $ の滑らかさおよび解析性、特に $ f $ が $[-1,1]$ の複素近傍で解析的である場合に、収束速度はどのように依存するか？
• RQ3 LUEおよびJUEに対して、$ \beta, \beta > -1 $ のコンパクト集合上で収束速度を一様に有界に保てるか？
• RQ4 スペクトル端縁 $ \leq 1 $ における局所的固有値挙動が、収束速度を決定づける役割を果たすか？
• RQ5 リーマン–ヒルベルト法を用いて、特性関数の一様な境界を導出し、行列集合の中心極限定理における鋭い収束速度を得られるか？

主な発見

• 本稿は、$ \frac{1}{n^{1/d}} \times \text{sup}_x |F_{f,n}(x) - F_{\text{N}}(x)| $ が $ n $ および $ x $ に関して一様に有界であり、GUEおよびLUEに対して $ d = 5 $、JUEに対して $ d = 3 $ であることを確立する。
• 収束速度は $ O(n^{-1/d}) $ であり、LUEおよびJUEにおいて $ \beta, \beta > -1 $ のコンパクト集合上で一様に成り立つ。
• 補題1.5における特性関数推定は、$ h \to 0 $ および $ n \to \bigcirc $ に対して一様であるため、フェラーの不等式を用いて収束速度の導出が可能である。
• $ \nu \notin (1/d, 1/(d-1)) $ の場合、特性関数展開における誤差項は有界のまま保たれ、収束速度 $ O(n^{-1/d}) $ が維持される。
• この方法は、3つの集合に共通する直交多項式に関連するリーマン–ヒルベルト問題の非線形勾配降下解析に依存している。
• 結果は、スペクトル端縁 $ \leq 1 $ における挙動が収束速度を決定づける主因であり、バルク統計よりも支配的であることを確認する。