[论文解读] Expanding maps and continued fractions

Michael Magee, Hee Oh+1 more|arXiv (Cornell University)|Dec 13, 2014

Analytic Number Theory Research参考文献 15被引用 15

一句话总结

本文通过在同余方面使用转移算子的均匀界，建立了与连分数相关的半群同余问题中格点计数的节能误差项。通过改编Oh与Winter的近期工作，并基于Naud及Bourgain-Gamburd-Sarnak的研究，作者获得了改进的估计结果；在SL₂(ℤ)乘法组合数学的一个猜想下，将Bourgain与Kontorovich对Zaremba猜想的细化中异常集合的大小进一步缩小。

ABSTRACT

We obtain a power saving in the error term for a semigroup congruence lattice point count related to continued fractions. This is done by adapting arguments from recent work of Oh and Winter (2014) that give uniform bounds for certain transfer operators in the congruence aspect. Our arguments also build crucially on work of Naud (2005) and Bourgain, Gamburd and Sarnak (2011). The result we obtain, together with a certain conjecture about the multiplicative combinatorics of $\mathrm{SL}_2(\mathbf{Z})$ that we highlight in the sequel, can be used to obtain an improvement on the size of the exceptional set in Bourgain and Kontorovich's work (2014) on Zaremba's conjecture.

研究动机与目标

• 在与连分数相关的同余方面，改进格点计数中的误差项。
• 通过Cantor集上的动力系统，将转移算子的均匀谱界推广至同余设置。
• 将这些界应用于减少Zaremba猜想中异常集合的大小，条件是SL₂(ℤ)乘法组合数学的一个猜想。
• 为具有大与小虚部的转移算子建立统一的Dolgopyat型算子框架。
• 将连分数的动力学与模群及其同余商的几何联系起来。

提出的方法

• 将Oh与Winter的均匀转移算子界适应至同余方面，利用Banach空间上C¹函数的谱理论。
• 通过非局部可积性（NLI）和一种新的子空间结构，构造统一的Dolgopyat算子以控制谱半径。
• 利用SL₂(ℤ)中半群的混合估计与(MIX)性质，控制实轴附近的转移算子。
• 应用Ruelle-Perron-Frobenius定理与最大特征函数提升，将Cantor集上的动力系统与全群Γ联系起来。
• 通过有限型子移位的符号动力学框架，以及映射T与Σ⁺_A上移位σ之间的共轭关系，实现分析。
• 在边界上使用更新方程，并通过最大特征函数h_{-δτ}与函数C_*(γ,g)之间的配对，提取主项。

实验结果

研究问题

• RQ1 能否在与连分数相关的同余设置中，为格点计数建立一个节能误差项？
• RQ2 在同余方面，转移算子的均匀界在连分数理论中如何改进现有估计？
• RQ3 在SL₂(ℤ)乘法组合数学的猜想下，利用转移算子的谱界，Zaremba猜想中的异常集合能在多大程度上被缩小？
• RQ4 (MIX)性质在控制同余商转移算子谱半径方面起到什么作用？
• RQ5 如何利用群Γ上的最大特征函数h_*来逼近Cantor集K上的特征函数？

主要发现

• 在同余格点计数中获得了节能误差项，将误差从O(e^{(δ−ε)a})改进为O(e^{(δ−ε')a})，其中ε' > 0。
• 格点计数的主项被证明渐近等价于e^{δa}/|Γ_q|乘以权重函数C_*(γ₀,g)，其显式依赖于谱数据。
• 误差项被控制在O((‖φ‖(‖g‖_{C¹} + ‖G‖_∞) q^C e^{(δ−ε')a})范围内，其中C > 0且ε' > 0为依赖于谱参数的常数。
• 该结果依赖于SL₂(ℤ)乘法组合数学的一个猜想，若该猜想成立，将显著缩小Bourgain与Kontorovich在Zaremba猜想研究中异常集合的大小。
• 统一的Dolgopyat算子构造通过引入新的子空间结构并利用(MIX)性质，实现了对所有q的谱控制，即使在s的虚部较小时也有效。
• 本文通过转移算子形式化，精确建立了连分数动力学与模群及其同余商Γ_q几何之间的联系。