Nine-distance theorem and growth of best-approximation denominators

기술 요약: 9-거리 정리 및 최적 근사 분모의 성장

문제 정의
본 논문은 고전적인 3-거리 정리(슈타인하우스 추측)의 고차원적 유사성을 다룬다. 1차원에서 이 정리는 원 위의 크로네커 수열 $\{n\alpha \pmod 1\}_{n=1}^N$의 첫 $N$개 점들 사이의 간격이 최대 세 가지의 서로 다른 값을 가진다는 것을 기술한다. 저자는 평평한 $d$차원 토러스 $V/L$ 상의 크로네커 수열의 첫 $N$개 궤도 점들에 의해 생성되는 서로 다른 인접 이웃 거리의 수를 $g_N(\alpha, L)$로 표기하고, 이를 조사한다.

이 연구 이전에, Haynes와 Marklof은 평면 사례($d=2$)에 대해 5라는 상한을 설정하고 이것이 최적임을 증명했다. $d=3$ 차원에 대해서는 13이라는 상한을 제시하며 최적의 보편적 상한이 9일 것이라고 추측했다. Dettmann은 9개의 서로 다른 거리가 발생하는 입방 3-토러스의 사례를 이전에 보여줌으로써, $d=3$에 대한 최적의 상한이 9임을 시사했다. 핵심 과제는 $g_N(\alpha, L)$에 대한 차원-균등(dimension-uniform) 최적 상한을 결정하고, $d=3$에 대한 추측을 해결하는 것이다.

방법론
주요 도구로 개발된 것은 $d$차원 내적 공간에서의 최적 동시 근사(best simultaneous approximations) 분모들에 대한 새로운 성장 정리이다. $\rho(q) = \text{dist}(q\alpha, L)$가 새로운 엄격한 최솟값을 갖는 정수 수열을 $q_1 < q_2 < \dots$라고 하자.

저자는 이러한 분모들의 성장에 관한 구조적 정리(정리 1.4)를 증명한다. 구체적으로, $M=2d$일 때, $q_{n+M}$이 정의될 때마다 다음 두 조건 중 하나가 반드시 성립해야 한다:

1. 급격한 성장 (Rapid Growth): $q_{n+2d} \ge 2q_{n+1}$.
2. 가법적 구조 (Additive Structure): 인덱스 집합 $\{1, \dots, 2d\}$가 $j < k$를 만족하는 서로 소인 쌍 $\{j, k\}$들로 분할될 수 있으며, 이때 $q_{n+k} = q_n + q_{n+j}$이다.

이 결과는 다음을 결합하여 도출되었다:

• 합-자유 집합 이론 (Sum-free set theory): 최적 근사들의 좌표 벡터의 패리티 클래스(parity classes)에 $\mathbb{F}_2^{d+1}$에서의 고전적인 합-자유 부분집합 경계(보조정리 3.1)를 적용함.
• 기하학적 항등식: 가법적 구조가 실패할 경우 모순을 유도하기 위해 일반화된 평행사변형 법칙(보조정리 3.2)을 활용하여 급격한 성장 조건을 강제함.

또한, 본 논문은 Chevallier와 Haynes-Marklof의 프레임워크를 따라 인접 이웃 거리와 최적 근사 분모 사이의 관계를 재검토한다. 이는 서로 다른 거리의 수가 특정 구간 $N$에 대한 최적 근사 분모의 수에 의해 제한됨을 확립한다.

주요 결과

1. 9-거리 정리 (정리 1.2): 임의의 3차원 실수 내적 공간, 풀-랭크 격자, 그리고 회전 벡터에 대하여, 첫 $N$개 궤도 점들 사이의 서로 다른 인접 이웃 거리의 수는 최대 9개이다. 이는 Haynes와 Marklof의 추측을 확인해 준다.
2. 차원-균등 상한 (정리 1.1): 임의의 차원 $d \ge 1$에 대하여, 서로 다른 거리의 수 $g_N(\alpha, L) \le 2d + 1$을 만족한다.
3. 최적성 (Sharpness): 이 상한은 차원 $d=1, 2, 3$에서 최적임이 입증되었다. $d=3$의 경우, 정확히 9개의 거리를 생성하는 Dettmann의 사례에 의해 최적임이 확인되었다.
4. 성장률 코롤러리 (코롤러리 3.3): 저자는 최적 근사 분모의 지수적 성장률에 대한 하한을 도출한다. $d \ge 2$인 경우, $\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$이다. 이는 $d=2$에 대한 기존의 Ermakov의 하한($\approx 1.228$)을 개선한 결과($\approx 1.260$)이다.

기존 상한과의 비교
본 논문은 자신의 새로운 상한($2d+1$)을 키싱 수(kissing number 또는 contact number) $\sigma_d$로부터 도출된 상한($g_N \le \sigma_d + 1$)과 비교한다.

• $d=3$의 경우, 키싱 수 상한은 13이지만, 새로운 상한은 9이다.
• $d=8$의 경우, 새로운 상한은 17인 반면, 키싱 수 상한(엄격한 부등식 정의 $\sigma^>_d$ 사용 시)은 240이다.
  저자는 키싱 수 상한이 과거의 연구(Chevallier와 Romanov의 결과를 결합한 연구)에 내재되어 있던 역사적으로 중요한 수치임을 언급하면서도, 새로운 $2d+1$ 상한이 낮은 차원에서 더 우수하며, 키싱 수 상한이 지수적으로 증가하는 것과 달리 차원-균등한 선형 상한을 제공한다는 점을 강조한다.

의의
본 논문은 3차원에서의 9-거리 정리에 관한 구체적인 추측을 해결했다고 주장하며, 평평한 토러스 상의 서로 다른 인접 이웃 거리의 수에 대한 일반적인 차원-균등 상한을 제공한다. 이 연구의 의의는 모든 내적 노름(supremum 노름뿐만 아니라)에 적용 가능한 최적 근사 분모에 대한 새로운 성장 정리를 도입하고, 급격한 성장이 발생하지 않는 예외적인 경우에 대한 정밀한 묘사를 포함했다는 점에 있다. 이러한 구조적 통찰은 기하학적 격자 논증만을 사용하는 것보다 궤도 점의 분포를 더 정밀하게 제어할 수 있게 해준다. 결과는 명시된 문제에 대해 확정적인 것으로 제시되었으며, 상한은 처음 세 차원에서 최적임이 증명되었다.