[論文レビュー] Quantitative two-scale stabilization on the Poisson space

Raphaël Lachièze-Rey, Giovanni Peccati+1 more|arXiv (Cornell University)|Oct 26, 2020

Stochastic processes and statistical mechanics参考文献 41被引用数 5

ひとこと要約

本稿では、ポアソン確率測度の汎関数に関する新しい定量的二尺度安定化不等式を導入し、二つの異なるスケールで評価された単一の追加コスト作用素を用いて、鋭い正規近似バウンドを可能にする。この手法により、確率的幾何における多次元中心極限定理に対して次元に依存しない、計算可能なバウンドが得られる。応用例として、オンライン近傍グラフ、最小全域木、重尾型ショットノイズ場の断片的集合が含まれる。

ABSTRACT

We establish inequalities for assessing the distance between the distribution of a (possibly multidimensional) functional of a Poisson random measure and that of a Gaussian element. Our bounds only involve add-one cost operators at the order one - that we evaluate and compare at two different scales - and are specifically tailored for studying the Gaussian fluctuations of sequences of geometric functionals displaying a form of weak stabilization - see Penrose and Yukich (2001) and Penrose (2005). Our main bounds extend the estimates recently exploited by Chatterjee and Sen (2017) in the proof of a quantitative version of the central limit theorem (CLT) for the length of the Poisson-based Euclidean minimal spanning tree (MST). We develop in full detail three applications of our bounds, namely: (i) to a quantitative multidimensional spatial CLT for functionals of the on-line nearest neighbor graph, (ii) to a quantitative multidimensional CLT involving functionals of the empirical measure associated with the edge-length of the Euclidean MST, and (iii) to a collection of multidimensional CLTs for geometric functionals of the excursion set of heavy-tailed shot noise random fields. Application (i) is based on a collection of general probabilistic approximations for strongly stabilizing functionals, that is of independent interest.

研究の動機と目的

• ポアソン確率測度の幾何的汎関数が二尺度安定化を示す場合に、定量的中心極限定理（CLT）を構築すること。
• 特にチャタージーとセーン（2017）の手法を、離散化や反復作用素を用いない多次元設定へと拡張すること。
• 二つの異なるスケールで評価された一次の追加コスト作用素のみを用いて、計算可能なバウンドを提供することにより、複雑な幾何的設定における適用性を向上させること。
• オンライン近傍グラフ、最小全域木、重尾型ショットノイズ場の断片的集合の汎関数に対する、新たな正規近似バウンドを確立すること。
• 反復作用素の複雑さを回避する、洗練された二尺度フレームワークを導入することで、安定化に基づくCLTを統一的かつ一般化すること。

提案手法

• コアとなる手法は、コルモゴロフ距離およびワーサーテイン距離の正規分布への近似バウンドを導出するため、ポアソンカオス空間上でミンクスキー微分法とシュタインの方法を組み合わせること。
• 小さなスケールΔと大きなスケールR（R ≫ Δ）における追加コスト作用素の比較を通じて、二尺度安定化構造を導入する。
• バウンドは、安定化半径の尾確率および一次のマルチンヴィル微分の essentially suprema のみに依存して表現される。
• 主要な推定には、作用素 $ D_x F $ とその領域 $ ext{A}_x $（スケールΔ）における差 $ D_x F - D_x F( ext{A}_x) $ の比較が含まれる。
• パrameter $ t $ を用いた再帰的不等式が導出され、解法により最終的なバウンド $ d_{ ext{c}}( ext{F}, N_Σ) $ がスケール依存量およびスペクトルノルムの関数として得られる。
• 反復作用素を用いる複雑さを回避するため、簡潔な二尺度構造を用いることで、二階Poincaré不等式を避ける。この手法は、反復作用素が取り扱いにくい設定にも適用可能である。

実験結果

リサーチクエスチョン

• RQ1 二つの異なるスケールで評価された一次の追加コスト作用素のみを用いて、ポアソン過程の幾何的汎関数に対する定量的多次元CLTを導出可能か？
• RQ2 二尺度安定化は、反復作用素が取り扱いにくい場合に、強安定化汎関数の解析をどのように改善するか？
• RQ3 コルモゴロフ距離およびワーサーテイン距離の正確なバウンドは、安定化半径および微分モーメントの関数としてどのように表現されるか？
• RQ4 提案手法は、最小全域木の辺長およびオンライン近傍グラフの既知のCLTを高次元に回復・拡張可能か？
• RQ5 二尺度構造は、重尾型ショットノイズ場の断片的汎関数の正規近似の取り扱いをどの程度向上させるか？

主な発見

• 本稿では、汎関数 $ ext{F} $ とガウスベクトル $ N_Σ $ 間のコルモゴロフ距離のバウンドをもたらす、新たな定量的二尺度安定化不等式のクラスを確立した。このバウンドは、安定化半径の尾確率および一次のマルチンヴィル微分の $ L^p $ ノルムにのみ依存する。
• オンライン近傍グラフの場合は、安定化半径および共分散行列 $ Σ $ の固有値の逆数に依存する明示的な誤差バウンドを伴う多次元CLTが得られる。
• 最小全域木の場合は、チャタージーとセーン（2017）の定量的CLTを回復・拡張し、分散の逆数に比例する $ ig(rac{1}{ ext{variance}}ig)^{1/2} $ および $ ig( ext{trace}(Σ^{-1})ig)^{1/2} $ に比例するバウンドを持つ多次元版が得られる。
• 重尾型ショットノイズ場の断片的汎関数に対しては、二尺度安定化に基づく新たなCLTが提供され、非ガウス的かつ長距離相関を持つ設定においても正規近似が可能になる。
• 距離 $ d_{ ext{c}}( ext{F}, N_Σ) $ のバウンドは、$ Oig( ext{スケール依存項} imes ig( ext{和} rac{1}{ ext{variance}_i}ig)^{1/2}ig) $ と表され、$ ext{trace}(Σ^{-1}) $、$ ext{trace}(Σ^{-1/2}) $、および $ ext{variance}^{-1/2} $ を含む明示的定数を伴う。
• 不等式の再帰的解法により、最終的なバウンド $ d_{ ext{c}}( ext{F}, N_Σ) riangleq ext{コルモゴロフ距離} riangleq ext{O}( ext{スケール依存項} imes ext{和} rac{1}{ ext{variance}_i}) $ が得られ、$ Σ^{-1} $ のスペクトルノルムおよび安定化半径の尾に明示的な依存関係が示された。