[论文解读] A dichotomy between uniform distributions of the Stern-Brocot and the Farey sequence

Marc Keßeböhmer, Bernd O. Stratmann|arXiv (Cornell University)|Sep 9, 2010

Mathematical Dynamics and Fractals参考文献 13被引用 5

一句话总结

本文利用无限遍历理论，对Stern-Brocot序列与Farey序列在模1下的均匀分布性质建立了二分性。研究证明，在特定的规范权重下——Stern-Brocot序列的偶数项为 $ q^{-2} $，Farey序列为 $ \frac{\zeta(2)}{\log n} \cdot q^{-2} $——加权经验测度弱收敛于 $[0,1]$ 上的勒贝格测度，从而解决了丢番图逼近中这两个基本序列之间长期存在的分布二分性问题。

ABSTRACT

We employ infinite ergodic theory to show that the even Stern-Brocot sequence and the Farey sequence are uniformly distributed mod 1 with respect to certain canonical weightings. As a corollary we derive the precise asymptotic for the Lebesgue measure of continued fraction sum-level sets as well as connections to asymptotic behaviours of geometrically and arithmetically restricted Poincaré series. Moreover, we give relations of our main results to elementary observations for the Stern-Brocot tree.

研究动机与目标

• 为解决Stern-Brocot序列与Farey序列在模1均匀分布背景下的长期分布二分性问题。
• 在特定规范权重下，建立两个序列的加权经验测度弱收敛于 $[0,1]$ 上勒贝格测度的结论。
• 推导连分数和集的勒贝格测度的渐近结果，以及其与模群Poincaré级数的联系。
• 利用无限遍历理论，为Fiala-Kleban关于连分数和集渐近密度的猜想提供新证明。

提出的方法

• 利用无限遍历理论及Farey映射 $ T $ 的动力系统，分析迭代作用下 $ T^{-n}(v/w) $ 的原像分布。
• 通过加权测度的弱极限 $ \ast\text{-lim}_{n\to\infty} \log(n^{vw}) \sum_{p/q \in T^{-n}\{v/w\}} q^{-2} \delta_{p/q} = \lambda $，作者推导出主要收敛结果。
• 应用Toeplitz引理及Landau与Mikolás关于欧拉函数的经典结果，作者建立了Farey序列在 $ \frac{\zeta(2)}{\log n} $ 归一化下的收敛性。
• 利用Stern-Brocot树的结构及其与Farey映射的关系，作者证明偶数Stern-Brocot序列是广义原像测度收敛的一个特例。
• 证明依赖于通过直径控制和导数比值估计测度的变差，使用有理点的 $ \varepsilon $-邻域及上半平面中的双曲度量。
• 作者将结果与模群 $ \Gamma = \mathrm{PSL}_2(\mathbb{Z}) $ 的几何与代数Poincaré级数联系起来，证明了按字长与双曲距离求和的渐近等价性 $ \asymp $。

实验结果

研究问题

• RQ1 在规范权重下，偶数Stern-Brocot序列与Farey序列的加权经验测度在模1下的行为如何？
• RQ2 连分数和集 $ \{[x_1,\dots,x_k] : \sum_{i=1}^k x_i = n\} $ 的勒贝格测度的精确渐近行为是什么？
• RQ3 能否利用无限遍历理论重新证明Fiala-Kleban关于和集密度的猜想？
• RQ4 模群 $ \Gamma $ 的Poincaré级数的几何与代数增长速率之间存在何种关系？
• RQ5 Farey映射的动力系统如何控制 $[0,1]$ 中有理点在加权原像测度下的分布？

主要发现

• 偶数Stern-Brocot序列满足 $ \ast\text{-lim}_{n\to\infty} \log(n^2) \sum_{p/q \in \mathcal{S}_n} q^{-2} \delta_{p/q} = \lambda $，证明了在 $ q^{-2} $ 权重下的均匀分布。
• Farey序列满足 $ \ast\text{-lim}_{n\to\infty} \frac{\zeta(2)}{\log n} \sum_{p/q \in \mathcal{F}_n} q^{-2} \delta_{p/q} = \lambda $，确立了在 $ \frac{\zeta(2)}{\log n} \cdot q^{-2} $ 归一化下的均匀分布。
• 集合 $ \{[x_1,\dots,x_k] : \sum_{i=1}^k x_i = n\} $ 的勒贝格测度渐近为 $ \sim \frac{1}{\log_2 n} $，证实了Fiala-Kleban猜想。
• 几何Poincaré级数 $ \sum_{\gamma \in \Gamma, \, d(0,\gamma(0)) \leq n} e^{-d(0,\gamma(0))} \asymp n $，而代数级数 $ \sum_{\gamma \in \Gamma, \, |\gamma| \leq n} e^{-d(0,\gamma(0))} \asymp \frac{n}{\log n} $，揭示了根本性的二分性。
• 广义原像测度结果 $ \ast\text{-lim}_{n\to\infty} \log(n^{vw}) \sum_{p/q \in T^{-n}\{v/w\}} q^{-2} \delta_{p/q} = \lambda $ 对所有 $ v/w \in (0,1] $ 成立，统一了两种情形。
• 结果通过无限遍历理论推导得出，关键估计依赖于有理点 $ \varepsilon $-邻域中的导数比值与直径控制。