반대점 그래프의 최적 스펙트럼 경계

초록

평면 내 지름이 1 이하인 n개의 점 집합에서 거리 ≤ ε인 쌍(이웃)과 거리 ≥ 1‑ε인 쌍(반대점)의 개수 비율이 ε^{1/2+o(1)} 이상임을 보였다. 이는 기존의 ε^{3/4+o(1)} 결과를 크게 개선하고, 다항 로그 정도의 오차만 남긴 최적에 가까운 상한을 제공한다. 핵심은 반대점 그래프의 스펙트럼 반경을 Collatz‑Wielandt 공식과 정밀한 공통 이웃 분석으로 제한하는 데 있다.

상세 분석

이 논문은 지름이 1 이하인 평면 점 집합 X={x₁,…,xₙ}에 대해 ε‑이웃과 ε‑반대점의 개수 비율을 조사한다. 기존 연구인 Steinerberger(2025)는 #이웃 ≥ c·ε^{3/4}(log ε)^{1/4}·#반대점이라는 하한을 얻었지만, 최적 비율이 ε^{1/2} 수준이라는 직관적 기대와는 차이가 있었다. 저자는 이 격차를 메우기 위해 두 단계에서 기존 증명을 정교화한다. 첫째, 모든 극단적 예에서 점들은 볼록 껍질의 경계에 ε 이내에 위치한다는 사실을 이용해 경계 부분을 길이 ε/2인 박스로 약 ε^{-1}개 분할한다. 이때 각 박스는 하나의 정점으로 보는 반대점 그래프 G=(V,E)를 만든다. 둘째, G의 인접 행렬 M의 최대 고유값 λ₁(M)을 전통적인 trace 기반 추정 대신 Collatz‑Wielandt 부등식 λ₁(M) ≤ max_i Σ_{j∈N(i)} d_j /√{d_i} 로 제한한다. 여기서 d_i는 정점 i의 차수이며, Cauchy‑Schwarz를 적용해 위 식을 얻는다. 따라서 λ₁(M)을 작게 만들려면 고차수 정점이 평균적으로 저차수 이웃을 가져야 함을 보인다. 이를 증명하기 위해 저자는 두 원환(annulus) 교차 영역의 면적을 정밀히 분석한다. Lemma 4.1은 중심 간 거리 d(≥4ε)인 두 원환의 교차가 가로 폭 ≲ε/d, 세로 높이 ≲ε인 두 개의 곡사각으로 구성된다는 사실을 보여준다. 이 결과를 이용해 거리 d인 박스 쌍 사이의 공통 이웃 수를 O(1/d) 박스로 덮을 수 있음을 보인다. 결과적으로 차수가 큰 정점 i에 대해, 차수가 작은 정점 j와의 공통 이웃 수는 O(k/s) (k≈ε^{-1}) 로 제한된다. 이를 합산하면 Σ_{j∈N(i)} d_j = O(k log k) 가 되고, λ₁(M)=O(ε^{-1/2}·(log (1/ε))^{1/2}) 를 얻는다. 마지막으로 λ₁(M)와 #이웃, #반대점 사이의 관계 λ₁(M)=O(ε^{-α}) ⇒ #이웃 / #반대점 ≳ ε^{α} 를 적용해 α=1/2를 얻음으로써 #이웃 ≥ c·ε^{1/2}(log (1/ε))^{1/2}·#반대점이라는 최적에 가까운 하한을 확립한다. 이 과정에서 기존의 전역적인 trace 추정이 과도하게 큰 값을 주는 문제를 지역적인 Collatz‑Wielandt 접근으로 해결했으며, 공통 이웃 분석을 ε까지 확장함으로써 다항 로그 오차만 남겼다.