[論文レビュー] Berry-Esseen bounds and multivariate limit theorems for functionals of Rademacher sequences

Kai Krokowski, Anselm Reichenbachs+1 more|arXiv (Cornell University)|Apr 3, 2014

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

ひとこと要約

本稿は、離散マルティヤン微分積分法と収縮作用素を用いて、無限ラデマッハ系列の非線形関数へのマルティヤン＝スタイン法を適用し、明示的なコルモゴロフ距離推定値を導出することで、非線形関数へのベルリ＝エッセンの境界を確立する。この境界は、小球確率と関連付けられ、最適なレートを伴う多次元中心極限定理を証明する。特に、ベルヌーイ確率行列のトレースに対して $ O(n^{-1/4}) $ の収束レートが得られる。

ABSTRACT

Berry-Esseen bounds for non-linear functionals of infinite Rademacher sequences are derived by means of the Malliavin-Stein method. Moreover, multivariate extensions for vectors of Rademacher functionals are shown. The results establish a connection to small-ball probabilities and shed new light onto the relation between central limit theorems on the Rademacher chaos and norms of contraction operators. Applications concern infinite weighted 2-runs, a combinatorial central limit theorem and traces of Bernoulli random matrices.

研究の動機と目的

• 無限ラデマッハ系列の非線形関数へマルティヤン＝スタイン法を拡張し、定量的正規近似境界を提供すること。
• ラデマッハ関数と正規分布との間のコルモゴロフ距離に対する明示的ベルリ＝エッセン型境界を導出すること。
• マルティヤン＝スタイン境界と小球確率との関係を確立し、滑らかなテスト関数アプローチでは以前は見えにくかった関係を明らかにすること。
• 特にベルヌーイ確率行列のトレースに対して、ラデマッハ関数のベクトルに対する多次元極限定理を構築すること。
• 核の収縮ノルムと関連付けることで、高次元設定における最適収束レートを達成すること。

提案手法

• 離散マルティヤン作用素と新規の部分積分公式を用いて、ラデマッハ系列へのマルティヤン＝スタイン法を適用する。
• 収縮作用素 $ f_n ensor{r}{r} f_n $ を用いてコルモゴロフ距離を評価し、4次の中心モーメントと小球確率とを関連付ける。
• 三角不等式を用いて、関数 $ extbf{F}_n $ とガウスベクトル $ extbf{N} $ の距離を $ d_4( extbf{F}_n, extbf{J}_n) + d_4( extbf{J}_n, extbf{N}) $ に分解する。ここで $ extbf{J}_n $ は $ extbf{F}_n $ の切断版である。
• 離散多重ストラスコビッチ積分の等長性およびノルム推定値を用いて、共分散構造と収縮ノルムを制御する。
• 漸近的境界に依存する：$ ig floor f^{(q)}_n ensor{r}{r} f^{(q)}_n ig floor_{ ext{HS}} = O(n^{-1/2}) $ および $ ig| ext{Var}(J_q) - q ig| = O(n^{-1}) $ であり、これらが最終的な収束レートを示す。
• テスト関数に対して $ M_1(g) eq 1 $ であることに着目し、コーシー＝シュワルツ不等式を用いて $ ig| ext{E}[g( extbf{F}_n)] - ext{E}[g( extbf{J}_n)] ig| = O(n^{-1/2}) $ を評価する。

実験結果

リサーチクエスチョン

• RQ1 マルティヤン＝スタイン法を、ラデマッハ系列の非線形関数へ拡張することで、ベルリ＝エッセン境界を提供できるか？
• RQ2 ラデマッハホーチャイの文脈において、小球確率はコルモゴロフ距離とどのように関係するか？
• RQ3 ラデマッハ関数のベクトルを含む多次元中心極限定理の最適収束レートは何か？
• RQ4 核の収縮ノルムを用いて、ラデマッハ関数と正規分布との距離を定量化できるか？
• RQ5 同じ設定下で、ベルヌーイ確率行列のトレースの収束レートは、ガウス行列のそれと比べてどうか？

主な発見

• 本稿は、ラデマッハ関数 $ F_n $ と標準正規変数との間のコルモゴロフ距離に対するベルリ＝エッセン境界を確立し、その境界が収縮ノルムと小球確率に依存することを示した。
• ラデマッハ関数ベクトルに対する多次元中心極限定理は、収束レート $ O(n^{-1/4}) $ を達成しており、ガウス行列の既知の結果と一致する。
• 距離 $ d_K(F_n, N) riangleq ext{ess sup}_x ig| P(F_n riangleq x) - P(N riangleq x) ig| $ は、マルティヤン＝スタイン法により、$ ig floor f_n ensor{r}{r} f_n ig floor $ に明示的な依存関係を持つ形で制御される。
• 小球確率は、コルモゴロフ距離推定において自然に現れ、離散マルティヤン微分積分法の枠組みにおいて、以前は見えにくかった関係が明らかになった。
• ベルヌーイ確率行列のトレースに対しては、収束レートが $ O(n^{-1/4}) $ であり、$ d_4( extbf{J}_n, extbf{N}) = O(n^{-1/4}) $ および $ d_4( extbf{F}_n, extbf{J}_n) = O(n^{-1/2}) $ から導出される。後者は誤差を支配する。
• 結果は、ラデマッハホーチャイへの4次モーメント定理の一般化を示し、収束レートが収縮作用素 $ f_n ensor{r}{r} f_n $ の $ L^2 $-ノルムによって決定されることを示した。