[論文レビュー] A Central Limit Theorem for the Poisson-Voronoi Approximation

Matthias Schulte|arXiv (Cornell University)|Nov 28, 2011

Point processes and geometric inequalities参考文献 8被引用数 4

ひとこと要約

本稿は、コンpact凸集合 $K \subset \mathbb{R}^d$ のポアソンボロノイ近似の体積について、中心極限定理を確立する。すなわち、基礎となるポアソン点過程の強度 $\lambda$ が無限大に近づくにつれて、正規化された体積偏差が標準正規確率変数に分布収束することを示す。証明はウィENER-イトウクラウス展開と、ポアソン汎関数に対する抽象的中心極限定理に依拠しており、$\lambda^{-1 - 1/d}$ のオーダーの明示的分散バウンドが得られる。

ABSTRACT

For a compact convex set $K$ and a Poisson point process $η$, the union of all Voronoi cells with a nucleus in $K$ is the Poisson-Voronoi approximation of $K$. Lower and upper bounds for the variance and a central limit theorem for the volume of the Poisson-Voronoi approximation are shown. The proofs make use of so called Wiener-Itô chaos expansions and the central limit theorem is based on a more abstract central limit theorem for Poisson functionals, which is also derived.

研究の動機と目的

• コンパクトな凸集合 $K \subset \mathbb{R}^d$ のポアソンボロノイ近似体積についての中心極限定理を確立すること。
• 強度 $\lambda$ の関数として、近似体積の分散の鋭い下界および上界を導出すること。
• ウィナー・イトウクラウス展開に基づく、ポアソン汎関数のための抽象的中心極限定理を構築し、適用すること。
• 凸集合を超えた拡張を図るために、中心極限定理が依然成り立つような弱い幾何的条件を同定すること。
• 既知のスケーリング行動 $\lambda^{-1 - 1/d}$ と一致する、定量的な漸近的分散バウンドを提供すること。

提案手法

• ポアソンボロノイ近似体積を複数確率積分の級数として表現するために、ウィナー・イトウクラウス展開を用いる。
• シュタインの方法とマルリヤン微積分の技術を用いて導出された、ポアソン汎関数のための抽象的中心極限定理を適用する。
• 共面積公式と幾何的推定を用いて、クラウス展開の核関数 $f_n$ の $L^2$ ノルムを制御する。
• 抽象的CLTの条件を検証するために、$n! \|f_n\|_n^2$ の一様収束性を確立する。
• Steinerの公式と平行集合体積推定を用いて、分散項をバウンドする。
• 幾何的内挿体積 $V_i(K)$ を $\lambda$ と次元 $d$ のスケーリングと組み合わせることで、明示的な分散バウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 強度 $\lambda \to \infty$ のとき、凸集合 $K$ のポアソンボロノイ近似体積は中心極限定理を満たすか？
• RQ2 ポアソンボロノイ近似体積の分散の正確な漸近的スケーリングは、$\lambda$ と $K$ の幾何的性質に関してどのように表されるか？
• RQ3 より弱い幾何的仮定の下で、中心極限定理を非凸集合へ拡張できるか？
• RQ4 内挿体積 $V_i(K)$ は、近似体積の分散にどのように寄与するか？
• RQ5 内接半径 $r_K$ は、分散の漸近的挙動を決定づける役割を果たすか？

主な発見

• 強度 $\lambda \to \infty$ のとき、正規化された体積偏差 $\frac{\operatorname{PV}(K) - \operatorname{Vol}(K)}{\sqrt{\operatorname{Var}\,\operatorname{PV}(K)}}$ が標準正規確率変数に分布収束することを示し、中心極限定理を確立した。
• ポアソンボロノイ近似体積の分散は、漸近的に $\lambda^{-1 - 1/d}$ のオーダーにスケーリングされ、先行研究で知られているオーダーと一致する。
• 新たな分散の下界が導出され、$\lambda \geq (2/r_K)^d$ のとき $\operatorname{Var}\operatorname{PV}(K) \geq \underline{C} \kappa_1 V_{d-1}(K) \lambda^{-1 - 1/d}$ が成り立つ。ここで $\underline{C} > 0$ は $d$ のみに依存する定数である。
• 上界が確立され、$\operatorname{Var}\operatorname{PV}(K) \leq \overline{C} \sum_{i=0}^{d-1} \kappa_{d-i} V_i(K) \lambda^{-2 + i/d}$ が成り立つ。この不等式は既知のスケーリングと一致し、以前の結果を改善する。
• ポアソン汎関数のための抽象的中心極限定理が導出され、体積汎関数への適用が行われ、将来的な応用のための一般化されたツールが提供された。
• 結果は、(S1) 平行集合体積が有界であること、および (S2) 外側の $r$-近傍で正の下界密度を持つ条件を満たす非凸集合へ拡張可能である。