[論文レビュー] 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 ≤ N を満たす最大の添え字 K を用いて、重要なスケール q_K を定義する。
• 収束近似 q_K が誘導する三距離分割の構造に基づいて、和 T_N(α,γ) を区間ごとに分割する。
• 分数部分における等差数列上の調和的類似和に対して上界を適用し、最小距離 δ_A = ‖q_K α‖ を活用する。
• b > 1 の場合にゼータ関数の上界を、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 本稿の新しい上界は、既存の文献における結果と比べて鋭さと明示性の点で優れているか？

主な発見

• q_K が N 未満または等しい最大の収束分母であるとき、T_N(α,γ) < 4N(log q_K + 1) + 2q_{K+1}(log(N/q_K) + 1) であると確立する。
• より鋭い上界が得られる：∑_{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、α の連分数収束近似、およびパrameter b のみに依存する。
• 本手法は、最終的注意事項で示されるように、部分和法を用いて n^{-a} {nα − γ}^{-b} を含む和へも拡張可能で、頑健である。