[論文レビュー] A reinforcement of the Bourgain-Kontorovich's theorem by elementary methods

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

Analytic Number Theory Research参考文献 7被引用数 16

ひとこと要約

この論文は、Zarembaの予想に関するBourgain-Kontorovich定理の強化版について、スペクトル理論に依存せずに初等的な証明を提供する。具体的には、ハウスドルフ次元 $δ_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ を満たすアルファベットに対して、有界部分商を持つ連分数の分母の集合が $\mathbb{N}$ において正の密度を持つことを示す。証明ではKloosterman和と指数和の初等的評価を用い、元々の $A = 50$ に対応するものより小さい $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 .

研究の動機と目的

• Zarembaの予想に関するBourgain-Kontorovich定理の強化版を、スペクトル理論に依存せずに初等的証明すること。
• 連分数の有界部分商を持つ分母の集合が $\mathbb{N}$ で正の密度を示すために必要な $A$ の下限を、元々の $A=50$ から $A=13$ に低減すること。
• Moshchevitinによる要請に応じ、Kloosterman和と指数和の評価に限定した初等的手段によって結果を確立すること。
• 条件 $\delta_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ が正の密度を保証することを示し、以前のスペクトル理論的閾値を改善すること。

提案手法

• 有界部分商を持つ連分数展開の数え上げに現れる指数和を制御するために、特に $K_q(l,m,n)$ を用いたKloosterman和の初等的評価を用いる。
• Bourgain-Kontorovichのスクリプトにおけるスペクトル理論的補題7.1の代わりに、指数和の評価と大篩法に基づくより弱いが初等的な推定を導入する。
• 連分数分母の数を表す生成関数 $\zeta(s, \mathcal{A}^2)$ を用い、Tauber定理を介してその成長とハウスドルフ次元 $\delta_{\mathcal{A}}$ を関連付ける。
• 重要なステップとして、$\zeta(s, \mathcal{A}^2)$ が $s \to 2\delta_{\mathcal{A}}^+$ で発散することを用い、$F_{\mathcal{A}}(x) - F_{\mathcal{A}}(x/2)$ の差を、$\langle E \rangle \in (x/(4A^2), x]$ を満たす $E$ の和の下界から評価する。
• 整除条件を指数和の形に表現するために、恒等式 $\delta_q(a) = \frac{1}{q} \sum_{x=1}^q e^{2\pi i a x / q}$ を用いる。
• 先行研究[3]を基盤とし、指数和の評価を精緻化することで、$\delta_{\mathcal{A}}$ のより良い閾値を得る。

実験結果

リサーチクエスチョン

• RQ1 スペクトル理論に依存せずに、有界連分数分母の正の密度に関するBourgain-Kontorovich定理を初等的手段で証明できるか？
• 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 Kloosterman和の評価を用いて、元々の証明におけるスペクトル理論的道具を置き換えられるか？
• RQ5 分母 $\mathfrak{D}_{\mathcal{A}}$ の正の密度を保証するハウスドルフ次元 $\delta_{\mathcal{A}}$ の鋭い閾値は何か？

主な発見

• 任意のアルファベット $\mathcal{A}$ について、ハウスドルフ次元 $\delta_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ を満たす場合、集合 $\mathfrak{D}_{\mathcal{A}}(N)$ は正の密度を持つ：$\#\mathfrak{D}_{\mathcal{A}}(N) \gg N$。
• 結果は、スペクトル理論や自動形式に依存せず、Kloosterman和と指数和の評価に限定した初等的手段によって達成された。
• $A = 13$ が正の密度結果に十分であることが示され、元々のBourgain-Kontorovich定理における $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)$ の成長を関連付けることで、鋭いTauber型推定を得た。