[论文解读] 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定理的加强版本的初等证明，表明当字母表的Hausdorff维数 $\delta_{\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$。
• 仅使用初等方法（特别是Kloosterman和与指数和的估计）来建立结果，回应Moshchevitin对这类证明的呼吁。
• 证明条件 $\delta_{\mathcal{A}} > 1 - \frac{1}{9 + \sqrt{61}} \approx 0.9405$ 足以保证正密度，优于早期基于谱理论的阈值。

提出的方法

• 该证明使用Kloosterman和的初等估计，特别是 $K_q(l,m,n)$，以控制在计数具有有界部分商的连分数展开时出现的指数和。
• 用一个较弱但初等的估计替代了Bourgain-Kontorovich中谱理论的引理7.1，该估计基于指数和的界与大筛法。
• 作者使用生成函数 $\zeta(s, \mathcal{A}^2)$ 来表示连分数分母的数量，并通过Tauber定理将其增长与Hausdorff维数 $\delta_{\mathcal{A}}$ 联系起来。
• 关键步骤涉及利用 $\langle E \rangle \in (x/(4A^2), x]$ 的 $E$ 的和的下界，来控制 $F_{\mathcal{A}}(x) - F_{\mathcal{A}}(x/2)$ 的差值，利用 $\zeta(s, \mathcal{A}^2)$ 在 $s \to 2\delta_{\mathcal{A}}^+$ 时的发散性。
• 该证明依赖于恒等式 $\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 Hausdorff维数 $\delta_{\mathcal{A}}$ 的精确阈值是多少，能保证 $\mathfrak{D}_{\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$。
• 该结果仅通过初等方法（特别是Kloosterman和与指数和的估计）实现，无需依赖谱理论或自守形式。
• 界限 $A = 13$ 已足够保证正密度结果，优于原Bourgain-Kontorovich定理中的 $A = 50$。
• 证明表明 $\delta_{13} \approx 0.9445 > 0.9405$，因此字母表 $\{1,2,\dots,13\}$ 满足条件，其分母具有正密度。
• 该证明提供了 $F_{\mathcal{A}}(x)$（即 $\leq 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型估计。