Primitive inhomogeneous approximation for fixed non-singular frequencies

기술 요약: 고정된 비특이 주파수에 대한 원시적 비동차 근사

문제 정의
본 논문은 고차원($d \ge 2$)에서의 원시적 비동차 디오판토스 근사(primitive inhomogeneous Diophantine approximation) 문제를 다룬다. 구체적으로, 고정된 주파수 벡터 $\alpha \in \mathbb{R}^d$와 타겟 벡터 $\gamma \in \mathbb{R}^d$에 대하여 근사 오차의 거동을 조사한다. 목표는 다음의 양이 르베그 거의 모든 $\gamma$에 대해 $0$이 되는지 여부를 결정하는 것이다:
$$\liminf_{n \to \infty} n^{1/d} \min_{\substack{m \in \mathbb{Z}^d \\ \gcd(n, m_1, \dots, m_d)=1}} \|\gamma - n\alpha + m\|_\infty$$
$\gcd(n, m_1, \dots, m_d) = 1$이라는 제약 조건은 정수 벡터 $(n, m_1, \dots, m_d)$에 "원시적(primitive)" 조건을 부과하며, 이는 표준적인 비동차 근사와 차별화된다. 1차원 사례($d=1$)는 모든 무리수 $\alpha$에 대해 Jitomirskaya와 Liu [JL19]에 의해 해결되었으나, 고차원 유사 사례는 $\alpha$에 대한 더 미묘한 가설을 필요로 한다. 단순한 유리수 독립성만으로는 갈라톨로(Galatolo)와 페테를롱고(Peterlongo) [GP10]가 제시한 특이 벡터(singular vectors)에 관한 반례로 인해 불충분하다.

방법론
증명은 두 가지 주요 구성 요소인 원시적 불균등성 추정(primitive discrepancy estimate)과 수축하는 타겟 구성(shrinking-target construction)을 중심으로 구조화되어 있다.

1. 원시적 불균등성 추정 (섹션 3):
   저자들은 궤도 점 $\{n\alpha\}$가 조르단 가측 집합 $A$에 속하고, 벡터 $(n, \lfloor n\alpha_1 \rfloor - b_1, \dots, \lfloor n\alpha_d \rfloor - b_d)$가 원시적인 정수 $n \le N$의 개수에 대한 점근적 계수를 도출한다.

   • 체 방법(Sieve Method): 비원시적 벡터를 걸러내기 위해 모비우스 함수 $\mu(r)$를 사용하는 기초적인 체(elementary sieve)가 사용된다.
   • 베유 균등 분포(Weyl Equidistribution): 고정된 제곱 자유(square-free) $r$에 대하여, 성분들이 $r$으로 나누어진다는 조건은 $\{n\alpha\}$의 합동 조건으로 변환된다. $1, \alpha_1, \dots, \alpha_d$의 유리수 상에서의 선형 독립성에 의해 보장되는 $\{n\alpha\}$의 균등 분포는 이러한 계수 추정을 가능하게 한다.
   • 오차 제어: 큰 소수 인자들의 기여는 "좋은 척도(good scale)" 조건 (1.1)으로부터 유도된 패킹 추정치를 사용하여 제어된다. 이 조건은 궤도 점 $\{n\alpha\}$들이 충분히 분리되어 있음을 보장하여, 불균등성 경계(discrepancy bounds)를 위반하는 클러스터링 현상을 방지한다.

2. 수축하는 타겟 구성 (섹션 4):
   거의 모든 $\gamma$에 대해 결과를 증명하기 위해, 저자들은 제2모멘트 볼차렐-칸텔리 르마(second-moment Borel–Cantelli lemma)를 사용하여 허용 가능한 타겟들의 전측도 집합(full-measure set)을 구성한다.

   • 타겟 집합: "좋은 척도" $N_j$(분리 조건이 성립하는 척도)의 수열에 대하여, 원시 궤도 점 $\{n\alpha\}$ 주변에 측변 길이가 $r_j \sim N_j^{-1/d}$인 작은 박스들을 배치한다.
   • 준독립성(Quasi-Independence): 핵심적인 기술적 단계는 서로 다른 척도에서의 타겟 집합 간의 교집합이 점근적으로 그들의 측도의 곱처럼 행동함을 증명하는 것이다. 이 준독립성은 박스의 경계 효과를 분석하고 궤도의 분리 성질을 활용함으로써 확립된다.
   • 측도 논증: 척도의 부분 수열을 선택하고 제2모멘트 르마를 적용함으로써, 저자들은 이러한 수축하는 타겟들의 합집합이 토러스 상의 거의 모든 점을 덮는다는 것을 보여준다.

주요 결과
주요 정리(정리 1.1)는 임의의 차원 $d \ge 2$와 명시적인 클래스 $\Lambda_d$(유리수 상의 선형 독립성 및 $\min_{1 \le n \le N} \|n\alpha\|$에 대한 하한을 포함하는 비특이성 조건을 만족하는 $\alpha$)에 속하는 임의의 주파수 $\alpha$에 대하여, 원시적 비동차 근사가 르베그 거의 모든 $\gamma \in \mathbb{R}^d$에 대해 성립함을 명시한다.

구체적으로 $\alpha \in \Lambda_d$인 경우:
$$\liminf_{n \to \infty} n^{1/d} \min_{\substack{m \in \mathbb{Z}^d \\ \gcd(n, m_1, \dots, m_d)=1}} \|\gamma - n\alpha + m\|_\infty = 0$$
클래스 $\Lambda_d$는 전측도(full Lebesgue measure)를 갖는 것으로 나타났다.

의의 및 주장
본 논문은 두 가지 주요한 독창성을 주장한다:

1. 고정 주파수 결과: 거의 모든 쌍 $(\alpha, \gamma)$에 대해 결과를 확립하는 기존의 메트릭 결과들(예: Dani, Laurent, Nogueira [DLN15])과 달리, 본 연구는 주어진 $\alpha$가 비특이적인 경우에 대해 고정된 $\alpha$에 대한 결과를 제공한다. 이는 Allen과 Ramírez [AR25]가 제기한 보완적인 문제를 다룬다.
2. 임계 척도의 보존: 이 결과는 원시적 제한(코프리미티 조건)이 임계 수축 타겟 척도인 $n^{-1/d}$를 파괴하지 않음을 보여준다. 이 척도는 차원 $d$에서의 동시 근사(simultaneous approximation)에 대해 최적이다.

저자들은 본 연구를 Jitomirskaya와 Liu [JL19]의 1차원 이론 및 Shapira [Sha13]의 비원시적 고차원 이론의 자연스러운 확장으로 위치시킨다. 비특이성 조건은 단순한 유리수 독립성을 대체하여 고차원 고정 주파수 정리에 적합한 가설임을 확인하였다.