A Note on Diophantine Approximation with Restricted Denominators

문제 정의
본 노트는 근사하는 유리수의 분모가 자연수 $\mathbb{N}$의 특정 부분집합 $A$로 제한되는 디오판토스 근사(Diophantine approximation) 문제를 다룬다. 디리클레의 근사 정리(Dirichlet's approximation theorem)는 임의의 무리수 $\xi$에 대하여 $|\xi - p/q| < 1/q^2$를 만족하는 서로소인 쌍 $(p, q)$가 무수히 많이 존재함을 보장하지만, 본 논문은 저자가 $q$가 부분집합 $A \subseteq \mathbb{N}$에 속하도록 제한될 때 유사한 유계(bound)를 달성할 수 있는지 조사한다. 이 분야의 기존 연구, 예를 들어 분모가 소수로 제한된 경우에 대한 마토메키(Matomäki)의 연구는 해석적 정수론에 크게 의존해 왔다. 본 논문은 특정한 밀도의 개념을 도입함으로써 조합론적인 관점에서 이 문제에 접근하고자 한다.

방법론
저자는 $\mathbb{N}$의 부분집합에 대한 조합론적 "디오판토스 밀도(Diophantine density)"를 정의하고, 기초 정수론과 연분수(continued fractions)의 성질을 활용하여 결과를 도출한다.

1. 디오판토스 밀도의 정의: 집합 $A \subseteq \mathbb{N}$이 디오판토스 밀도 $\delta \in [0, 1]$를 갖는다는 것은, 충분히 큰 모든 서로소 쌍 $(p, q)$에 대하여, $v \le q$인 $v \in A$에 대해 $vp/q$와 가장 가까운 정수 사이의 최소 거리가$C/q^\delta$로 유계되는 상수$C > 0$가 존재함을 의미한다.

   • 주석: 저자는 양의 디오판토스 밀도를 갖는 모든 집합은 무한 집합임을 증명한다.

2. 조합론적 구성 (정리 4): 본 논문은 제어된 성장률을 가진 집합의 여집합을 분석함으로써 특정 디오판토스 밀도를 갖는 집합을 구성하는 방법을 확립한다. 구체적으로, 만약 집합 $A$의 계수 함수(counting function)가 $A(n) \ll n^\delta$를 만족하면, 그 여집합 $\mathbb{N} \setminus A$는 $1 - \delta$의 디오판토스 밀도를 갖는다. 이는 다중집합 $\{ \|kp/q\| : 1 \le k \le q \}$의 분포를 분석하고, $A$에 해당하는 원소들을 제거했을 때 남은 원소의 최솟값이 제거된 집합의 밀도에 의해 유계됨을 보임으로써 증명된다.

3. 근사에 대한 적용 (정리 3): 밀도의 정의를 사용하여, 저자는 제한된 형태의 디리클레 정리를 유도한다. $A$가 디오판토스 밀도 $\delta > 0$를 가지면, 임의의 무리수 $\xi$와 $\epsilon > 0$에 대하여, $|\xi - u/v| < 1/v^{1+\delta-\epsilon}$를 만족하는 서로소인 쌍 $(u, v) \in \mathbb{Z} \times A$가 무수히 많이 존재한다. 이 증명은 $\xi$의 근사 분수(convergents)와 삼각 부등식에 의존하며, 밀도 조건이 무수히 많은 서로 다른 서로소 쌍의 존재를 보장함을 보여준다.

주요 결과

• 정리 3 (제한된 디리클레 정리): 부분집합 $A \subseteq \mathbb{N}$가 디오판토스 밀도 $\delta > 0$를 가지면, 임의의 무리수 $\xi$에 대하여 $|\xi - u/v| < v^{-(1+\delta-\epsilon)}$를 만족하는 분모가 $A$에 속하는 근사가 무수히 많이 존재한다.
• 정리 4 (여집합의 밀도): 집합 $A$가 $A(n) \ll n^\delta$를 만족하면, 여집합 $\mathbb{N} \setminus A$는 $1 - \delta$의 디오판토스 밀도를 갖는다.
• 정리 5 (피아테츠키-샤피로 수열): 이전 정리들을 피아테츠키-샤피로 수열 $PSc = \{\lfloor n^c \rfloor\}_{n \ge 1}$ (여기서 $c > 1$)에 적용하여, 저자는 이러한 수열들을 피하는(avoiding) 정수들의 집합이 $|\xi - p/q| < q^{-(2 - 1/c - \epsilon)}$의 오차 범위를 허용함을 보여준다.
  • 예시: $c=2$인 경우 (완전제곱수를 피하는 경우), 유계는 $q^{-(3/2 - \epsilon)}$이다.

의의 및 한계
본 논문은 기존의 연구(예: 비노그라도프, 마토메키)에서 사용된 "해석적 정수론" 방법과 대조되는 "조합론적 접근법"을 제공한다는 점에서 의의가 있다고 주장한다. 본 논문은 집합의 계수 함수의 성장률과 그 여집합을 이용해 가능한 디오판토스 근사의 품질 사이의 직접적인 연결 고리를 확립한다.

그러나 저자는 이러한 결과의 범위에 대해 겸허한 태도를 보인다. 본 논문은 명시적으로, 본 방법론이 소수(prime numbers)와 같이 매우 희소한 특정 집합들에 대해 알려진 더 강력한 결과들을 회복하기에는 "너무 거칠다(too coarse)"고 밝히고 있다. 정리 4를 적용하면, 소수의 디오판토스 밀도는 0이 되므로(합성수의 밀도가 1이기 때문), 소수에 대해서는 정리 3을 적용할 수 없다. 따라서 본 연구는 가장 까다로운 희소 집합의 사례에 대한 해결책이라기보다, "충분히 밀도가 높은" 부분집합들을 위한 일반적인 틀로 제시된다.