[論文レビュー] A Strong Law for the Largest Nearest-Neighbor Link on Normally Distributed Points

Bhupender Gupta, Srikanth K. Iyer|ArXiv.org|Apr 27, 2006

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

ひとこと要約

本稿は、$ \mathbb{R}^d $ 内の $ n $ 個の i.i.d. 標準正規点からなる最近傍グラフにおける最大最近傍距離 $ d_n $ について、強い大数の法則を確立する。$ d \geq 2 $ において、$ n \to \infty $ のとき $ \frac{\sqrt{\log n}\, d_n}{\log \log n} \to \frac{d}{\sqrt{2}} $ がほとんど確実に成り立つことを示している。この結果は、ポアソン過程の結合、空間的集中性の見積もり、半径が増加する円環領域におけるボレル・カンテリの補題を用いて導出される。

ABSTRACT

Let $n$ points be placed independently in $d-$dimensional space according to the standard $d-$dimensional normal distribution. Let $d_n$ be the longest edge length for the nearest neighbor graph on these points. We show that \[\lim_{n ar \infty} \frac{\sqrt{\log n} d_n}{\log \log n} = \frac{d}{\sqrt{2}}, \qquad d \geq 2, {a.s.} \]

研究の動機と目的

• $ d \geq 2 $ に対して、$ \mathbb{R}^d $ 内の $ n $ 個の i.i.d. 標準正規点からなる最近傍グラフにおける最大最近傍距離の強法則を確立すること。
• コンpactな台を持つ密度関数に限らない、多次元正規分布の非有界台を持つ場合への強法則の拡張。
• 空間的集中性とポアソン過程の結合を用いて、最近傍グラフにおける最長辺の漸近的挙動を分析すること。
• 高次元正規点過程における最大最近傍距離のスケーリングを解明すること。

提案手法

• i.i.d. 点過程 $ \mathcal{X}_n $ を、強度 $ n\phi(\cdot) $ の非一様ポアソン過程 $ \mathcal{P}_n $ と結合し、十分大きな $ n $ に対して $ \mathcal{P}_n^{-} \subset \mathcal{X}_n \subset \mathcal{P}_n^{+} $ が成り立つようにする。
• 半径 $ R_n(c) $ の球体 $ B(0, R_n(c)) $ と $ R_n'(-2) $ の球体 $ B(0, R_n'(-2)) $ の差集合である円環領域 $ A_n = B(0, R_n(c)) \setminus B(0, R_n'(-2)) $ を定義する。ここで $ R_n(c) $ は $ n $ 個の正規点の典型的な径方向拡がりを捉える。
• 補題 2.1 を用いて、半径 $ r_n $ の球体が、半径 $ \rho_n $ の点を中心として、その内部に点を含まない確率の漸近的近似を導出する。
• ボレル・カンテリの補題を適用し、$ c > 2 $ のときには $ \mathcal{X}_n \subset B(0, R_n(c)) $ が僅かに有限回しか発生せず、$ c < 0 $ のときには $ \mathcal{X}_n \cap B^c(0, R_n(c)) \neq \emptyset $ が僅かに有限回しか発生しないことを示す。
• 領域 $ A_n $ 内に互いに交わらない球体 $ B(x_i^n, r_n(u)) $ を構成し、$ \mathcal{X}_n $ の点が小さな球体にちょうど1つ、大きな球体に点が1つも存在しないことを示す事象 $ E_n(x_i^n) $ を定義する。
• 事象 $ \bigcup_{i=1}^{\sigma_n} E_n(x_i^n) $ の確率を評価し、その和が収束することを示し、これにより $ d_n \geq r_n(t) $ がほとんど確実に無限回成り立つことが示される。ここで $ t < \frac{2d + c - 2}{2\sqrt{2}} $ である。

実験結果

リサーチクエスチョン

• RQ1 $ d \geq 2 $ に対して、$ \mathbb{R}^d $ 内の $ n $ 個の i.i.d. 標準正規点からなる最近傍グラフにおける最大最近傍距離のほとんど確実な漸近的スケーリングは何か？
• RQ2 正規点の径方向集中性は、最近傍距離の極値的挙動にどのように影響するか？
• RQ3 密度関数の台が非有界である、例えば正規分布のような場合においても、最大最近傍距離の強法則を確立できるか？
• RQ4 ポアソン過程の結合と空間的円環分解は、幾何的グラフパラメータの強法則を導出する上で果たす役割は何か？
• RQ5 正規密度の尾部挙動の漸近的性質は、最近傍グラフにおける最長辺のスケーリングにどのように影響するか？

主な発見

• 最大最近傍距離 $ d_n $ は、$ d \geq 2 $ に対して $ \lim_{n \to \infty} \frac{\sqrt{16 \log n} \, d_n}{\log \log n} = \frac{d}{\sqrt{2}} $ がほとんど確実に成り立つ。ここで、紙では $ \log \log n $ を $ \log_2 n $ と表記している。
• 標準正規点 $ n $ 個の径方向拡がりは、$ R_n(c) = \sqrt{2\log n + (c + d - 2)\log \log n + 2\log A_d} $ で集中する。ここで $ A_d = (2\pi)^{-d/2}/d $ である。
• $ c > 2 $ のとき、すべての $ \mathcal{X}_n $ の点は、十分に大きな $ n $ に対してほとんど確実に $ B(0, R_n(c)) $ 内に存在する。また $ c < 0 $ のとき、$ B(0, R_n(c)) $ の外側に少なくとも1つの点がほとんど確実に無限回存在する。
• 円環領域 $ A_n $ 内の点が、距離 $ r_n(u) $ 以内に他の点を持たない確率は、任意の多項式より遅く減衰する項よりも大きい下界で抑えられ、これによりボレル・カンテリの補題を用いて和が収束することが可能になる。
• $ A_n $ 内に構築された互いに交わらない球体 $ B(x_i^n, r_n(u)) $ により、その数 $ \sigma_n $ は $ \left( \frac{\log n}{\log \log n} \right)^{d-1} $ のオーダーで増加し、点の空間的密度を捉えることができる。
• 証明により、$ t < \frac{2d + c - 2}{2\sqrt{2}} $ のとき、$ d_n \geq r_n(t) $ がほとんど確実に無限回成り立つことが示され、$ c $ を最適化することで、極限値 $ \frac{d}{\sqrt{2}} $ が得られる。