[論文レビュー] A multivariate central limit theorem for Lipschitz and smooth test functions

Martin Raič|arXiv (Cornell University)|Dec 19, 2018

Functional Equations Stability Results参考文献 20被引用数 10

ひとこと要約

本稿は、スティーンの方法を用いて、リプシッツ的および滑らかなテスト関数に対して、最適な収束速度 $n^{-1/2}$ を持つ多変量中心極限定理を確立し、高次元設定における以前の結果に見られた対数因子を排除した。主な革新は、非有界な3階微分を避けるために2階および4階微分を活用し、3階モーメントが有限でない条件下でも、リンデバーグ型の条件の下でウォッサーシュタイン-1距離におけるタイトな誤差境界を達成したことにある。

ABSTRACT

We provide an abstract multivariate central limit theorem with the Lindeberg-type error bounded in terms of Lipschitz functions (Wasserstein 1-distance) or functions with bounded second or third derivatives. The result is proved by means of Stein's method. For sums of i.i.d. random vectors with finite third absolute moment, the optimal rate of convergence is established (that is, we eliminate the logarithmic factor in the case of Lipschitz test functions). We indicate how the result could be applied to certain other dependence structures, but do not derive bounds explicitly.

研究の動機と目的

• 高次元におけるリプシッツ的テスト関数に対して、最適な収束速度 $n^{-1/2}$ を持つ多変量中心極限定理を確立すること。これは、先行研究が $n^{-1/2}\log n$ の劣最適なレートを示していたためである。
• スティーンの方法の適用範囲を、2階または3階微分が有界な滑らかなテスト関数を含む多変量正規近似に拡張すること。
• 高次元におけるリプシッツ的テスト関数の収束速度から、以前の高次元結果で長年残っていた対数因子を除去すること。
• サイズとゼロバイアスの一般化を可能にする、スティーンの方法に基づく抽象的枠組みを構築し、i.i.d.和を超えた従属構造への応用を可能とすること。
• 3階絶対モーメントが有限でない条件でも成立するリンデバーグ型の誤差境界を提供すること。これには、スティーン方程式の解の2階および4階微分に関するモーメント条件に依存する。

提案手法

• 方法はスティーンの方法に従い、正規近似誤差を、和項に適用された微分方程式（スティーン方程式）の解の期待値に還元する。
• 主な技術的革新：スティーン解の非有界な3階微分を回避するため、2階および4階微分を用いることで、与えられた仮定の下で良好に振る舞うことを示した。
• 誤差境界は、高階微分の影響を射影的および射影的テンソルノルムを用いて制御する、新規の推定式（式53）によって導出される。
• 多変量の依存構造と条件付き期待値を体系的に取り扱うために、ベクトル測度およびテンソル積積分を用いる。
• 抽象的結果（定理2.9および2.16）は、条件付き分布およびバイアス構造の観点で定式化され、サイズおよびゼロバイアス技法を一般化する。
• i.i.d.のランダムベクトルの和にこのアプローチを適用し、最小限のモーメント仮定のもとで最適な $n^{-1/2}$ 収束が得られることを示した。

実験結果

リサーチクエスチョン

• RQ1 高次元多変量中心極限定理におけるリプシッツ的テスト関数の収束速度から、対数因子を除去することは可能か？
• RQ2 3階絶対モーメントが有限でない条件下でも、$ olimits\mathbb{R}^d$ におけるリプシッツ関数に対して最適な $n^{-1/2}$ レートを達成することは可能か？
• RQ3 スティーン方程式の解の3階微分が非有界である場合、スティーンの方法をどのようにして制御可能にするか？
• RQ4 条件付き分布およびバイアス構造に基づく抽象的枠組みを、i.i.d.和を超えた従属ランダムベクトルに一般化することは可能か？
• RQ5 2階および4階微分は、多変量正規近似におけるウォッサーシュタイン-1距離の境界をどのように制御するか？

主な発見

• 本稿は、$ olimits\mathbb{R}^d$ におけるリプシッツ的テスト関数に対して、高次元で以前避けられなかった $ olimits\log n$ 要因を除去した最適な収束速度 $n^{-1/2}$ を確立した。
• 3階絶対モーメントが有限なi.i.d.ランダムベクトルに対して、最適な $n^{-1/2}$ レートが達成され、既知の単変量結果と一致する。
• 誤差境界は、3階モーメントが有限でない条件でも成立するリンデバーグ型の条件のもとで導出され、スティーン解の2階および4階微分に関するモーメント条件に依存する。
• 主な技術的ステップ（式53）は、非有界な3階微分を回避するのに成功し、射影的および射影的テンソルノルムを用いて2階および4階微分を制御した。
• 抽象的枠組みはサイズおよびゼロバイアスを一般化し、パーム過程や条件付き和項などの従属構造への応用が可能であるが、これらのケースについては明示的な境界は得られていない。
• i.i.d.ランダムベクトルの正規化された和と標準正規分布とのウォッサーシュタイン-1距離は、和項の2階および4階モーメントと次元に依存する定数倍の $n^{-1/2}$ で有界である。