유클리드 공간의 단위 거리와 지름 최대 개수

초록

이 논문은 차원 d≥4인 유클리드 공간에서 n개의 점이 만들 수 있는 단위 거리 쌍과 지름 쌍의 최대 개수를 정확히 규명한다. 저자들은 충분히 큰 n에 대해 Lenz 구성이라 불리는 특정 배열이 최적임을 증명하고, 이를 통해 짝수 차원 d≥6에서는 단위 거리의 정확한 상한을, 모든 차원 d≥4에서는 지름의 정확한 상한을 도출한다.

상세 분석

본 연구는 고차원 유클리드 공간에서 점 집합이 가질 수 있는 단위 거리(pairwise unit distance)와 지름(pairwise diameter)의 최대 개수를 다루는 고전적인 조합기하 문제에 새로운 전면을 열었다. 기존에는 Erdős‑Moser 문제와 같은 저차원(특히 d=2,3)에서의 상한이 활발히 연구되었으나, d≥4에 대한 정확한 상한은 알려지지 않았다. 저자들은 먼저 Lenz가 제안한 “Lenz construction”을 일반화하여, 각 차원 d에 대해 적절히 배치된 (d‑1)차원 구면 위에 점들을 고르게 분포시키는 방식을 제시한다. 이 구성은 각 점이 동일한 반지름을 갖는 구면에 놓여 있어, 구면 내에서의 정다각형 배치가 단위 거리와 지름을 동시에 최적화한다는 점이 핵심이다.

증명 전략은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 임의의 점 집합 S⊂ℝ^d에 대해, 단위 거리 혹은 지름 쌍의 개수를 그래프 이론적 관점에서 “unit‑distance graph” 혹은 “diameter graph”로 모델링하고, 이러한 그래프의 평균 차수를 제한하는 새로운 불변량을 도입한다. 특히, 고차원에서는 정점들의 좌표가 고르게 퍼져 있을수록 평균 차수가 감소한다는 사실을 이용해, 충분히 큰 n에 대해 평균 차수가 특정 임계값 이하가 되면 Lenz 구성과 동형인 구조만이 최적임을 보인다.

두 번째 단계에서는 Lenz 구성이 실제로 그 상한을 달성함을 확인한다. 여기서는 구면 위에 정다각형을 배치하는 전통적인 방법을 고차원 구면의 “spherical code” 문제와 연결시켜, 각 정다각형이 서로 겹치지 않으면서 가능한 최대 수의 정점(점)를 포함하도록 설계한다. 이때 사용되는 핵심 정리는 “spherical cap packing”의 최적 배치와 “Erdős–Ko–Rado” 유형의 교집합 정리이며, 이를 통해 단위 거리와 지름 쌍의 개수가 각각
\