[論文レビュー] On the rate of convergence and Berry-Esseen type theorems for a multivariate free central limit theorem

Roland Speicher|ArXiv.org|Dec 18, 2007

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

ひとこと要約

本稿は、正規化された部分和と限界半円型要素との間の作用素値コーシー変換の差に上限を導出し、多変量自由中心極限定理に対するベルリ・エッセーン型定理を確立する。線形化のテクニックとリゾルベントの推定を用いて、収束速度が $ O(1/\text{poly}(n)) $ であることを証明し、モーメントおよび作用素ノルムに明示的な依存関係を持つ。

ABSTRACT

We address the question of a Berry Esseen type theorem for the speed of convergence in a multivariate free central limit theorem. For this, we estimate the difference between the operator-valued Cauchy transforms of the normalized partial sums in an operator-valued free central limit theorem and the Cauchy transform of the limiting operator-valued semicircular element.

研究の動機と目的

• 非可換で作用素値の自由確率論への古典的ベルリ・エッセーン結果の拡張を含め、明示的な収束速度推定を伴う多変量自由中心極限定理を確立すること。
• 標準的な分布関数や距離が利用できない、非可換な確率変数が関与する多変量自由確率論における課題に取り組むこと。
• 作用素値コーシー変換を用いて、正規化された和の限界半円分布への収束速度に定量的な上限を与えること。
• 最近の作用素値自由確率論およびリゾルベント解析の進展を活用して、1次元の自由ベルリ・エッセーン結果を多変量設定に一般化すること。

提案手法

• 正規化された和 $ S_n $ の分布を表すために、上半平面 $ \mathcal{B}_+ $ に属する $ b $ を用いて作用素値コーシー変換 $ G_n(b) = E[(b - S_n)^{-1}] $ を用いる。
• ハーガップとトールビョーンセンのインスピレーションを受けて、多変数問題を1次元作用素値設定に還元する線形化のテクニックを適用する。
• 剰余項 $ r_3 $ を含む $ G_n(b) $ の摂動方程式を導出し、限界半円のリゾルベント方程式を近似する恒等式 $ \Lambda_n(b) = b - r_3 G_n(b)^{-1} $ を得る。
• 解析接続が有効であることを保証するため、$ \text{Im}\, \Lambda_n(b) > 0 $ を満たす集合 $ \tilde{O}_n \subset \mathcal{B}_+ $ を定義する。
• リゾルベント恒等式と $ \|G_n(b) - G(b)\| $ の推定を、$ \|\Lambda_n(b) - b\| $ を用いて行い、$ \|G_n(b)^{-1}\| $ および $ \|1/\text{Im}\, b\| $ の推定を活用する。
• 集合 $ \tilde{O}_n $ 上での点ごとの推定と、$ \tilde{O}_n $ 外部での自明な上限を組み合わせ、すべての $ b \in \mathcal{B}_+ $ に対して有効な一様上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 作用素値確率変数に対する多変量自由中心極限定理における収束速度は何か？
• RQ2 古典的ベルリ・エッセーン定理を非可換で多変量の自由確率論の文脈にどのように拡張できるか？
• RQ3 作用素値コーシー変換を用いて、自由確率論における半円分布への収束速度を定量化できるか？
• RQ4 多変量自由中心極限定理の文脈で、リゾルベントの可逆性および正則性を保証する条件は何か？
• RQ5 作用素値自由確率論における線形化技術を用いて、収束速度推定をどのように導出できるか？

主な発見

• 本稿は、正規化された和 $ S_n $ のコーシー変換と限界半円型要素のコーシー変換との作用素ノルム差に上限を与える：$ \|G_n(b) - G(b)\| \leq 4c_n(b)\left(\|b\| + \alpha_2 \|1/\text{Im}\, b\|\right) \|1/\text{Im}\, b\|^2 $。
• 収束速度は $ c_n(b) = \frac{1}{\sqrt{n}} \left\| \frac{1}{\text{Im}\, b} \right\|^3 \sqrt{\alpha_2} \left(2\alpha_2 + \sqrt{\alpha_4 + 2\alpha_2^2}\right) + \frac{1}{n} \left\| \frac{1}{\text{Im}\, b} \right\|^4 \alpha_2^2 $ によって制御され、モーメント条件のもとで $ O(1/\sqrt{n}) $ の減衰を示す。
• $ b \in \tilde{O}_n $ の場合、リゾルベント恒等式と解析接続を用いて上限が導出され、負の虚部を持つ方程式 $ w = \frac{1}{G} + \eta(G) $ の解の一意性に依存する。
• $ \tilde{O}_n $ の外部では、$ c_n(b) $ に関する場合分けを用いて上限を回復し、すべての $ b \in \mathcal{B}_+ $ にわたる一様な制御を保証する。
• この結果は、作用素値自由中心極限定理における収束が、4次モーメント $ \alpha_4 $、2次モーメント $ \alpha_2 $、および $ 1/\text{Im}\, b $ のスペクトルノルムによって定量的に制御されることを示唆する。
• フーリエ変換の代わりにコーシー変換を用い、リゾルベント恒等式や線形化といった作用素論的ツールを活用することで、古典的ベルリ・エッセーン手法を多変数自由設定に一般化する。