[논문 리뷰] A Strong Law for the Largest Nearest-Neighbor Link on Normally Distributed Points

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

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.} \]

연구 동기 및 목표

• 표준 정규 분포를 따르는 $ n $개의 i.i.d. 점들이 형성하는 최근접 이웃 그래프에서 가장 큰 최근접 이웃 거리에 대한 강한 법칙을 확립하는 것.
• 콤���트 지지 밀도를 초월하여 다변량 정규 분포의 비유계 지지 사례로까지 강한 법칙 결과를 확장하는 것.
• 공간 농도와 포아송 과정 결합을 통한 분석을 통해 최근접 이웃 그래프에서 가장 긴 변의 渐近적 행동을 분석하는 것.
• 고차원 정규 점 과정에서 가장 큰 최근접 이웃 거리의 척도를 규명하는 것.

제안 방법

• i.i.d. 점 과정 $ \mathcal{X}_n $을 강도 $ n\phi(\cdot) $인 비균일 포아송 과정 $ \mathcal{P}_n $와 결합하여, 큰 $ n $에 대해 $ \mathcal{P}_n^{-} \subset \mathcal{X}_n \subset \mathcal{P}_n^{+} $가 되도록 보장한다.
• 반경이 증가하는 링형 영역 $ 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)) $를 구성하고, $ E_n(x_i^n) $ 이벤트를 정의하여, 작은 구 안에 정확히 한 개의 $ \mathcal{X}_n $ 점이 있고 더 큰 구에는 점이 없음을 나타낸다.
• 합집합 $ \bigcup_{i=1}^{\sigma_n} E_n(x_i^n) $의 확률을 바ound하고, 그 합이 수렴함을 보여, $ t < \frac{2d + c - 2}{2\sqrt{2}} $일 때 거의 확실히 무한번 $ d_n \geq r_n(t) $임을 증명한다.

실험 결과

연구 질문

• RQ1 표준 정규 분포를 따르는 $ n $개의 i.i.d. 점들이 형성하는 $ \mathbb{R}^d $에서의 최근접 이웃 그래프에서 가장 큰 최근접 이웃 거리의 거의 확실한 渐近적 척도는 무엇인가요? $ d \geq 2 $일 때.
• RQ2 정규 분포 점들의 반경 농도는 최근접 이웃 거리의 극값 행동에 어떻게 영향을 미치나요?
• RQ3 기저 밀도가 비유계 지지(예: 정규 분포)를 가질 때, 가장 큰 최근접 이웃 거리에 대한 강한 법칙 결과를 확립할 수 있는가요?
• RQ4 포아송 과정 결합과 공간 링형 분해는 기하 그래프 매개변수에 대한 이러한 강한 법칙 유도에 어떤 역할을 하나요?
• RQ5 정규 밀도의 꼬리 행동의 渐近적 성질은 최근접 이웃 그래프에서 가장 긴 변의 척도에 어떻게 영향을 미치나요?

주요 결과

• 모든 $ 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 $ 점들이 결국 거의 확실히 $ B(0, R_n(c)) $ 안에 존재하고, $ c < 0 $일 때는 거의 확실히 무한번 $ B(0, R_n(c)) $ 외부에 적어도 한 점이 존재한다.
• 링형 영역 $ 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}} $를 도달한다.