[论文解读] Sums of reciprocals and the three distance theorem

Victor Beresnevich, Nicol En Ci Leong|arXiv (Cornell University)|Dec 11, 2017

Analytic Number Theory Research参考文献 32被引用 4

一句话总结

本文提出了一种新颖的技术，用于有界倒数之和 {nα − γ} 及其推广形式，利用三距离定理与连分数渐近逼近。该方法建立了 T_N(α,γ) 及其变体（涉及 b > 0 的幂）的精确、显式上界，通过系统分析 {nα − γ} 模 1 的分布，显著改进了先前结果。

ABSTRACT

In this paper we investigate the sums of reciprocals to an arithmetic progression taken modulo one, that is sums of $\{nα-γ\}^{-1}$, where $α$ and $γ$ are real parameters and $\{\,\cdot\,\}$ is the fractional part of a real number. Bounds for these sums have been studied for a long while in connection with various applications. In this paper we develop an alternative technique for obtaining upper bounds for the sums and obtain new efficient and fully explicit results. The technique uses the so-called three distance theorem.

研究动机与目标

• 开发一种新方法，用于有界倒数之和 {nα − γ} 的上界，其中 α 为无理数，γ 为实数。
• 为 T_N(α,γ) 提供完全显式且高效的上界，避免使用渐近或隐式估计。
• 将界推广至涉及 {nα − γ}^{-b} 和 ‖nα − γ‖^{-b}（b > 0）的广义和。
• 通过基于三距离定理的几何方法，恢复并改进度量丢番图逼近与均匀分布理论中的已知结果。

提出的方法

• 应用三距离定理，该定理指出：对 n = 0, ..., N，分数部分 {nα} 将单位区间划分为至多三个不同的距离。
• 利用 α 的连分数渐近逼近 p_k/q_k 确定关键尺度 q_K，其中 K 是满足 q_K ≤ N 的最大索引。
• 基于由渐近逼近 q_K 所诱导的三距离划分结构，将和 T_N(α,γ) 划分为若干区间。
• 利用分数部分中等差数列上的调和型和的界，结合最小距离 δ_A = ‖q_K α‖。
• 对 b > 1 使用黎曼 zeta 函数的界，对 b < 1 使用积分比较法，仔细处理主导项。
• 通过恒等式 1/{x} + 1/{-x} − 1/‖x‖ ∈ (1,2) 将 {nα − γ} 上的和转化为围绕最近点的对称区间上的和。

实验结果

研究问题

• RQ1 三距离定理能否用于推导 {nα − γ} 倒数和的新显式上界？
• RQ2 T_N(α,γ) 的界如何依赖于 α 的连分数结构，特别是分母 q_k？
• RQ3 对于 b > 0 的广义和 ∑ {nα − γ}^{-b}，其精确定量界是什么？
• RQ4 该方法能否被调整以有界涉及到最近整数距离的和，即 ‖nα − γ‖^{-1}？
• RQ5 与文献中已知结果相比，新界在紧致性和显式性方面表现如何？

主要发现

• 本文建立了不等式 T_N(α,γ) < 4N(log q_K + 1) + 2q_{K+1}(log(N/q_K) + 1)，其中 q_K 是满足 ≤ N 的最大渐近逼近分母。
• 导出了更紧的界：∑_{n ≠ n' mod q_K} 1/{nα − γ} < 4N(log q_K + 1)，表明该和受 q_K 对数增长的控制。
• 对于基于距离的和，推论 1 给出 ∑_{n ≠ n*} 1/‖nα − γ‖ ≤ 8N(log q_K + 1) + 4q_{K+1}(log(N/q_K) + 2)，优于先前估计。
• 对于广义和 T^b_N(α,γ) = ∑_{n ≠ n'} {nα − γ}^{-b}，本文证明了显式界：当 b > 1 时，T^b_N ≤ 2^{1+b}ζ(b)N^b + 2^b ζ(b)q_{K+1}^b；当 b < 1 时，T^b_N ≤ (2^{1+b}/(1−b))N + (2^b/(1−b))q_{K+1}^b (N/q_K)^{1−b}。
• 这些界完全显式，仅依赖于 N、α 的连分数渐近逼近以及参数 b。
• 该方法具有鲁棒性，可通过分部求和推广至包含 n^{-a} {nα − γ}^{-b} 的和，如文末注记所述。