k‑최근접 이웃 그래프의 작은 컴포넌트와 연결 임계값 개선

논문은 먼저 k‑nearest‑neighbour 그래프 Gₙ,ₖ의 정의와 기존 연구 동향을 소개한다. 포아송 점 과정 P(밀도 1)으로 정의된 √n × √n 정사각형 Sₙ에 n개의 점을 배치하고, 각 점을 k개의 가장 가까운 이웃과 연결한다. 이전 연구에 따르면, k가 Θ(log n) 범위에서 연결성 임계값이 존재한다. Balister, Bollobás, Sarkar, Walters는 k < 0.3043 log n이면 연결 확률이 0에, k > 0.5139 log n이면 1에 수렴한다는 상하한을 제시했지만, 경계 근처에서 발생할 수 있는 작은 컴포넌트가 연결성을 방해할 가능성을 완전히 배제하지 못했다. 본 논문의 첫 번째 주요 정리는 “경계 근처에 작은 컴포넌트가 존재할 확률”을 O(n^{‑ε}) 수준으로 제한한다. 구체적으로, k > 0.272 log n이면 Sₙ의 경계로부터 거리 ≤ log n인 영역에 속한 모든 점이 거대 컴포넌트에 포함된다는 것을 보인다. 이를 위해 정사각형을 한 변 길이 s = √(log n)/M인 작은 타일들로 나누고, 타일 간 인접성을 정의한 그래프 bG를 만든다. “bad configuration”이라 명명된 다섯 가지 경우(예: 두 점이 서로 연결되었으나 타일이 연결되지 않음, 20000 s 이상 떨어진 두 점이 연결되지 않음, 반원 내부에 점이 전혀 없음 등)를 모두 Lemma 5와 Lemma 3을 이용해 확률적으로 억제한다. 특히, Lemma 6은 세 개의 영역 A, B, C에 대해 #A ≥ k, #B ≥ k, A∩B = ∅, #C = 0인 사건의 확률을 (4|A||B|/(|A|+|B|+|C|)²)^k 로 상한한다. 이를 통해 경계 근처에 작은 컴포넌트가 존재할 확률을 O(n^{‑ε})로 제한한다. 두 번째 주요 결과는 연결 임계값의 상한을 0.4125 log n으로 개선한 것이다. 저자들은 반지름 r인 원 D를 잡고, D 안에 k + 1개의 점이 존재하고, 3D\D(반지름 3r인 원의 차집합) 안에 점이 없을 경우, D 안의 모든 점의 k‑nearest‑neighbor가 D 안에 머무른다. r을 9πr² ≈ k + 1이 되도록 선택하면 이러한 “고립 디스크”가 발생할 확률은 약 9^{-(k+1)}이다. Sₙ에 Θ(n/ log n)개의 서로 겹치지 않는 위치에 이러한 디스크를 배치할 수 있으므로, 전체 그래프에 고립 디스크가 존재할 확률은 (1/ log 9 − ε)^k 로 감소한다. 1/ log 9 ≈ 0.455가 0.4125보다 크므로, k > 0.4125 log n이면 고립 디스크가 거의 발생하지 않아 그래프가 연결된다. 증명 과정에서 저자들은 hexagonal hull를 이용해 작은 컴포넌트의 외곽을 6개의 영역 H₁…H₆으로 나누고, 각 영역에 대한 k‑nearest‑neighbor 디스크 D_i를 정의한다. 이때 A_i = D_i∩H_i는 빈 영역이어야 하고, A₀ = D_i∩H 중 면적이 가장 작은 영역은 최소 k + 1개의 점을 포함한다. 또한, 컴포넌트와 외부 사이의 최소 거리를 r₀라 두고, r = r₀ − √2 s 로 정의해 B = D(Q, r₀)\D(P, r₀) 영역을 만든다. 최종적으로 14개의 점이 정의하는 A′, B, A₁…A₆, A(r)\A 영역에 대해 Lemma 6을 적용해 확률을 (α)^‑k 형태로 억제한다. 결과적으로, 경계 효과를 무시하고도 Gₙ,ₖ의 연결성을 분석할 수 있음을 보이며, 이후 연구에서 복잡한 경계 처리를 생략할 수 있는 이론적 기반을 제공한다. 또한, 연결 임계값 상한을 0.4125 log n으로 크게 낮춤으로써 k‑NN 그래프의 연결성에 대한 이해를 한 단계 끌어올렸다.