[論文レビュー] Stein's method and stochastic analysis of Rademacher functionals

Ivan Nourdin, Giovanni Peccati+1 more|Oct 16, 2008

Random Matrices and Applications被引用数 4

ひとこと要約

本稿は、無限Rademacher系列の汎関数の正規近似に対する明示的誤差項を導出するため、Steinの方法と離散Malliavin微積分を組み合わせた新規な応用を開発する。カオス展開を用いて明示的な交換可能な対を構築し、核の縮約ノルムを用いることで、多項式形式、重み付き無限2-ラン、スパース集合上の多重積分に対して鋭いCLTの誤差項を確立する。これはBleiとJansonによるスパース多重積分に関する結果の別証明であり、明示的な誤差率を伴う。

ABSTRACT

We compute explicit bounds in the Gaussian approximation of functionals of infinite Rademacher sequences. Our tools involve Stein's method, as well as the use of appropriate discrete Malliavin operators. Although our approach does not require the classical use of exchangeable pairs, we employ a chaos expansion in order to construct an explicit exchangeable pair vector for any random variable which depends on a finite set of Rademacher variables. Among several examples, which include random variables which depend on infinitely many Rademacher variables, we provide three main applications: (i) to CLTs for multilinear forms belonging to a fixed chaos, (ii) to the Gaussian approximation of weighted infinite 2-runs, and (iii) to the computation of explicit bounds in CLTs for multiple integrals over sparse sets. This last application provides an alternate proof (and several refinements) of a recent result by Blei and Janson.

研究の動機と目的

• 無限Rademacher系列の汎関数の正規近似のためのフレームワークを、Steinの方法と離散Malliavin微積分を用いて構築すること。
• 部分和の形でない汎関数に対しても、中心極限定理（CLT）における明示的誤差項を導出すること。
• カオス分解を用いて、有限Rademacher汎関数に対して明示的な交換可能な対を構築し、既存のSteinの方法の結果への応用を可能にすること。
• BleiとJansonが最初に確立した、スパース集合上での多重積分に関する組合せ的CLTに対する、新たな洗練された証明を提供すること。
• Steinの方法の適用範囲を、順序に依存しない任意の離散集合でインデックス付けられたi.i.d. Rademacher系列の汎関数へ拡張すること。

提案手法

• Rademacher系列の汎関数を解析するため、離散的勾配作用素および離散的発散作用素を含む離散版Malliavin微積分を用いる。
• 平方可積分な汎関数のカオス分解を用いて、直交する多重積分に分解し、汎関数を核の言語で表現する。
• カオス展開を用いて、有限個のRademacher変数に依存する任意の汎関数に対して、条件付き期待値において線形性を満たす明示的な交換可能な対を構築する。
• 数え上げ測度を用いて、離散集合上での核の縮約ノルムを定義し、正規近似誤差をバインドするための主要な要素とする。
• ReinertとRöllin [34] の交換可能な対に関する結果を応用し、Wasserstein距離における明示的誤差項を導出する。
• Mosselら [21] の結果と組み合わせることで、有限3次モーメントを持つ一般のi.i.d.系列へ結果を拡張し、Rademacher汎関数とガウス型汎関数との比較が可能になる。

実験結果

リサーチクエスチョン

• RQ1 古典的な交換可能な対に依存せずに、無限Rademacher系列の汎関数の正規近似における明示的誤差項を導出できるか？
• RQ2 離散Malliavin微積分を用いて、有限Rademacher汎関数のための交換可能な対をどのように構築できるか？
• RQ3 固定されたカオス内での汎関数のCLTにおける収束速度のバインドに、核の縮約ノルムが果たす役割は何か？
• RQ4 BleiとJansonの多重積分に関するCLTにおけるスパースネス条件は、モーメント計算ではなく、縮約ノルム構造から自然に導出可能か？
• RQ5 このフレームワークは、順序に依存しない任意の離散集合でインデックス付けられたi.i.d.系列へ、どの程度一般化可能か？

主な発見

• カオス分解における核の縮約ノルムを用いて、無限Rademacher系列の汎関数の正規近似に対するWasserstein距離における明示的誤差項が導出された。
• 固定カオス内での汎関数に対しては、誤差項が縮約核の作用素ノルムで与えられ、ガウス型・ポアソン型カオス設定における既存結果を一般化する。
• 本稿は、スパース集合上での多重積分に関するCLTに対して、明示的誤差項を伴う新たな洗練された証明を提供し、従来の結果を同等または上回る。
• BleiとJansonの定理における収束に必要なスパースネス条件は、モーメントに基づくマルティンゲール的議論ではなく、縮約ノルム構造から自然に導出される。
• 標準正規分布との距離に対して、明示的な上界が導出された。その式は $ B_1 rac{|F_N^ atural|^{1/2}}{|F_N|} + B_2 ig[ ext{max}_j rac{|F_{Nj}^*|}{|F_N|}ig]^{1/4} $ であり、$ F_N^ atural $ および $ F_{Nj}^* $ は汎関数の構造に関連する組合せ的量である。
• 有限3次モーメントを持つ一般のi.i.d.系列へフレームワークを拡張し、Mosselら [21] の比較結果を用いて、RademacherのCLT結果がガウス型の場合へ転送可能であることを示した。