[논문 리뷰] A reinforcement of the Bourgain-Kontorovich's theorem by elementary methods

Dmitriy Frolenkov, Игорь Давидович Кан|arXiv (Cornell University)|2012. 07. 19.

Analytic Number Theory Research참고 문헌 7인용 수 16

한 줄 요약

이 논문은 자레마바의 추측에 관한 보르가인-콘타로비치 정리의 강화된 버전에 대한 초등적 증명을 제공한다. Hausdorff 차원 $\delta_{\mathcal{A}} > 1 - \frac{유계 부분 몫을 가진 연속 분수의 분모 집합이 $\mathbb{N}$ 내에서 양의 밀도를 가진다. 증명은 스펙트럴 이론을 피하기 위해 클루스타르만 합과 지수 합의 초등적 추정을 사용하며, 원래의 $A = 50$ 대비 더 작은 bound $A = 13$을 얻는다. 주요 기여는 접근 가능한 해석적 수론 도구를 통해 정량적 개선을 이룬 것이다.

ABSTRACT

Recently (in 2011) several new theorems concerning this conjecture were proved by Bourgain and Kontorovich. The easiest of them states that the set of numbers satisfying Zaremba's conjecture with A=50 has positive proportion in $\N.$ The proof of this theorem is rather complicated and refers to the spectral theory. In this paper,using only elementary methods, the same theorem is proved with A=13 .

연구 동기 및 목표

• 스펙트럴 이론에 의존하지 않고 자레마바의 추측에 관한 보르가인-콘타로비치 정리의 강화된 버전에 대한 초등적 증명을 제공한다.
• 연속 분수의 부분 몫이 유계인 분모 집합이 $\mathbb{N}$ 내에서 양의 밀도를 가지기 위해 필요한 bound $A$를 원래의 $A=50$에서 $A=13$으로 감소시킨다.
• 모두가 접근 가능한 방법, 특히 클루스타르만 합과 지수 합의 추정을 사용하여 결과를 확립한다. 이는 모슈체비틴이 요청한 바에 응답한 것이다.
• 조건 $\delta_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ 가 충분하여 양의 밀도를 보임을 보이며, 이는 이전의 스펙트럴 이론 기반 임계값을 향상시킨다.

제안 방법

• 증명은 클루스타르만 합, 특히 $K_q(l,m,n)$의 초등적 추정을 사용하여, 부분 몫이 유계인 연속 분수 전개의 수를 세는 데 나타나는 지수 합을 제어한다.
• 보르가인-콘타로비치의 스펙트럴 이론 기반 레마 7.1을 대체하기 위해, 지수 합의 추정과 큰 걸러내기 방법에 기반한 더 약한 그러나 초등적인 추정을 사용한다.
• 연속 분수 분모의 수를 위한 생성함수 $\zeta(s, \mathcal{A}^2)$ 를 사용하고, 타우버형 정리들을 통해 그 성장률을 Hausdorff 차원 $\delta_{\mathcal{A}}$ 와 연결한다.
• 핵심 단계는 $F_{\mathcal{A}}(x) - F_{\mathcal{A}}(x/2)$ 의 차수를 $\langle E \rangle \in (x/(4A^2), x]$ 인 $E$ 에 대한 합의 하한을 이용하여 유계화하는 것으로, $s \to 2\delta_{\mathcal{A}}^+$ 일 때 $\zeta(s, \mathcal{A}^2)$ 가 발산함을 이용한다.
• 유사도 조건을 지수 합으로 표현하기 위해 항등식 $\delta_q(a) = \frac{1}{q} \sum_{x=1}^q e^{2\pi i a x / q}$ 를 활용한다.
• 이 방법은 [3]의 이전 작업을 바탕으로 하며, 지수 합 추정을 정교화하여 $\delta_{\mathcal{A}}$ 에 대한 더 나은 임계값을 도출한다.

실험 결과

연구 질문

• RQ1 보르가인-콘타로비치 정리에서 부분 몫이 유계인 연속 분수 분모의 양의 밀도는 스펙트럴 이론을 피한 초등적 방법으로 증명할 수 있는가?
• RQ2 연속 분수 분모 집합 $\mathfrak{D}_A$ 가 $\mathbb{N}$ 내에서 양의 밀도를 가지기 위한 최소 $A$ 는 얼마이며, 이는 초등적 방법으로 확립될 수 있는가?
• RQ3 조건 $\delta_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ 가 $\#\mathfrak{D}_{\mathcal{A}}(N) \gg N$ 를 암시하는가?
• RQ4 클루스타르만 합 추정을 사용하여 원래 증명에서 스펙트럴 이론적 장치를 대체할 수 있는가?
• RQ5 분모 집합 $\mathfrak{D}_{\mathcal{A}}$ 가 양의 밀도를 가지기 위한 Hausdorff 차원 $\delta_{\mathcal{A}}$ 의 정확한 임계값은 무엇인가?

주요 결과

• 이 논문은 Hausdorff 차원 $\delta_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ 인 임의의 알파벳 $\mathcal{A}$ 에 대해, 집합 $\mathfrak{D}_{\mathcal{A}}(N)$ 이 양의 밀도를 가짐을 입증한다: $\#\mathfrak{D}_{\mathcal{A}}(N) \gg N$.
• 결과는 스펙트럴 이론이나 자동형식을 필요로 하지 않는 초등적 방법, 특히 클루스타르만 합과 지수 합의 추정을 사용하여 도달된다.
• 결과적으로 $A = 13$ 이 충분하며, 보르가인-콘타로비치 정리에서 원래의 $A = 50$ 보다 개선된 것이다.
• 또한 $\delta_{13} \approx 0.9445 > 0.9405$ 이므로, 알파벳 $\{1,2,\dots,13\}$ 이 조건을 만족하고 따라서 분모의 양의 밀도를 가짐을 보였다.
• 증명은 $F_{\mathcal{A}}(x)$, 즉 $x$ 이하의 분모 수의 하한을 새롭게 초등적으로 유도하며, 주어진 차원 조건 하에서 $F_{\mathcal{A}}(x) \asymp x^{2\delta_{\mathcal{A}}}$ 를 보여준다.
• 이 방법은 $\zeta(s, \mathcal{A}^2)$ 가 $s \to 2\delta_{\mathcal{A}}^+$ 일 때 발산함을 $F_{\mathcal{A}}(x)$ 의 성장률과 연결함으로써 날카로운 타우버형 추정을 도출한다.