[論文レビュー] Normal approximation on Poisson spaces: Mehler's formula, second order Poincar\'e inequalities and stabilization

Giovanni Peccati, Matthias Schulte|arXiv (Cornell University)|Jan 29, 2014

Point processes and geometric inequalities参考文献 51被引用数 10

ひとこと要約

本稿では、繰り返しPoincaré不等式、Malliavin微積分、Steinの方法、統合されたMehlerの公式を用いて、ポアソン過程の関数的に対する新しい正規近似の上限を導出する。第一および第二の微分作用素を明確な幾何的解釈を伴って用いることで、k近傍近傍グラフの辺長やボロノイタイル化における固有体積といった安定化幾何的関数的について、Wasserstein距離およびKolmogorov距離で最適な収束速度を達成する。

ABSTRACT

We prove a new class of inequalities, yielding bounds for the normal approximation in the Wasserstein and the Kolmogorov distance of functionals of a general Poisson process (Poisson random measure). Our approach is based on an iteration of the classical Poincar\'e inequality, as well as on the use of Malliavin operators, of Stein's method, and of an (integrated) Mehler's formula, providing a representation of the Ornstein-Uhlenbeck semigroup in terms of thinned Poisson processes. Our estimates only involve first and second order differential operators, and have consequently a clear geometric interpretation. In particular we will show that our results are perfectly tailored to deal with the normal approximation of geometric functionals displaying a weak form of stabilization, and with non-linear functionals of Poisson shot-noise processes. We discuss two examples of stabilizing functionals in great detail: (i) the edge length of the $k$-nearest neighbour graph, (ii) intrinsic volumes of $k$-faces of Voronoi tessellations. In all these examples we obtain rates of convergence (in the Kolmogorov and the Wasserstein distance) that one can reasonably conjecture to be optimal, thus significantly improving previous findings in the literature. As a necessary step in our analysis, we also derive new lower bounds for variances of Poisson functionals.

研究の動機と目的

• 一般のポアソン過程の関数的について、Wasserstein距離およびKolmogorov距離における鋭い正規近似上限を確立すること。
• 繰り返しPoincaré不等式およびMalliavin作用素に基づく、分散および分布的推定のためのフレームワークを構築すること。
• 第一および第二の微分作用素を用いた幾何的に解釈可能な方法を提供すること。
• k-NNグラフの辺長やボロノイタイル化における固有体積といった安定化関数的を分析すること。
• 主な近似結果のための主要な技術的ステップとして、ポアソン関数的の分散に対する新しい下界を導出すること。

提案手法

• 薄められたポアソン過程を用いて、オーランシュタイン＝ホルンバック半群を表現する統合形のMehlerの公式が用いられる。
• Steinの方法とMalliavin微積分を組み合わせることで、Wasserstein距離およびKolmogorov距離の上限が導出される。
• 繰り返しPoincaré不等式が、高階のクラウス展開を制御するために適用される。
• 第一および第二の微分作用素が、関数的の幾何的感度を定量化するために用いられる。
• 弱い安定化を示す関数的に対して、鋭い漸近的解析が可能となるように、アプローチが調整される。
• 主な近似結果のための必要不可欠な構成要素として、分散の下界が導出される。

実験結果

リサーチクエスチョン

• RQ1 ポアソン過程の幾何的関数的の正規近似において、最適な収束速度を達成できるか？
• RQ2 Malliavin微積分、Steinの方法、Mehlerの公式の相乗効果を活用して、分布的上限を導出するにはどうすればよいか？
• RQ3 第一および第二の微分作用素は、幾何的安定化を定量化するために果たす役割は何か？
• RQ4 提案されたアプローチは、ポアソンショットノイズ過程の非線形関数的をどの程度処理できるか？
• RQ5 導出された分散の下界は、正規近似誤差の鋭さを保証するために十分か？

主な発見

• 本稿では、ポアソン過程の安定化関数的について、Wasserstein距離およびKolmogorov距離の両方で最適な収束速度が確立された。
• k近傍近傍グラフの辺長について、この方法により最適と予想される収束速度が得られた。
• ボロノイタイル化におけるk-faceの固有体積が、提案されたフレームワークのもとで最適な速度で正規分布に収束することが示された。
• このような幾何的関数的について、既存の文献の結果を著しく改善した。
• ポアソン関数的の分散に対する新しい下界が導出され、近似上限の鋭さにとって不可欠な役割を果たした。
• 第一および第二の微分作用素の使用により、収束行動の明確な幾何的解釈が得られた。