[論文レビュー] Divisor problem in arithmetic progressions modulo a prime power

Kui Liu, Igor E. Shparlinski+1 more|arXiv (Cornell University)|Feb 11, 2016

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

ひとこと要約

本稿は、素数のべき $ q = p^k $ を法とする算術級数における約数関数の平均について、古典的な $ q \leq x^{2/3} $ の障壁を打ち破る漸近公式を確立する。Kloosterman和の短区間における平均的推定値を改善することで、$ q \leq X^{2/3+\sigma} $ に対して一様に $ E(X;q,a) \ll X / q^{1+\sigma} $ を示し、$ \sigma > 0 $ であり、十分大きな $ k $ および奇素数 $ p $ に対して成立する。これは、$ k $ に関して一様に一般化された先行結果である。

ABSTRACT

We obtain an asymptotic formula for the average value of the divisor function over the integers $n \le x$ in an arithmetic progression $n \equiv a \pmod q$, where $q=p^k$ for a prime $p\ge 3$ and a sufficiently large integer $k$. In particular, we break the classical barrier $q \le x^{2/3}$ for such formulas, and generalise a recent result of R.~Khan (2015), making it uniform in $k$.

研究の動機と目的

• 算術級数を法とする約数関数の平均の漸近公式の有効範囲を、古典的な $ q \leq x^{2/3} $ の閾値を超えて拡張すること。
• Khan（2015）の素数のべきを法とする結果を、固定された $ k $ ではなく、すべての十分大きな $ k $ に対して有効な一様な境界に一般化すること。
• 素数のべきを法とする短区間におけるKloosterman和の平均のオーダーを改善し、Weilの境界を上回る非自明な改善を得ること。
• 素数のべき $ q = p^k $ に対して、誤差項 $ E(X;q,a) $ の一様な推定値を確立し、$ k $ および $ p $ に明示的な依存関係をもたせること。

提案手法

• 短区間 $ 1 \leq n \leq N $ に対して、$ N \geq q^\lambda $、$ \lambda > 0 $ を満たす $ q = p^k $ に対して、Kloosterman和 $ S(n,a;q) = \sum_{b^* \mod q} e\left(\frac{nb + a\bar{b}}{q}\right) $ の新しい平均推定値を導出する。
• 生成多項式の導関数の $ p $-進付値を制御するため、$ p $-進解析と二項係数 $ \binom{1/2}{i} $ の性質を用いた、指数和の新規な分解を適用する。
• 関数方程式 $ S(mn,a;q) = S(a,mn;q) = S(n,am;q) $ を用いて、和を乗法的シフトの平均に適した形に再定式化する。
• 多項式 $ f(t) $ の係数の $ p $-進付値を制御する再帰的 $ p $-進リフト法を用い、和の推定値における非自明な改善を達成する。
• 改善されたKloosterman和推定値（定理1.2）と古典的な約数和の恒等式を組み合わせ、主要な誤差項の境界を導出する。
• Weilの境界を基準とし、$ q = p^k $ で $ k $ が十分大きい場合、短区間における平均が古典的境界を上回るより強い改善をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 算術級数を法とする約数問題における古典的 $ q \leq x^{2/3} $ の障壁は、素数のべきを法として打ち破れるか？
• RQ2 $ n \leq X $、$ n \equiv a \pmod{q} $ における約数和の誤差項 $ E(X;q,a) $ は、$ q = p^k $ に対して $ k $ が大きい場合、これまでの結果の範囲を超えて一様に有界化可能か？
• RQ3 素数のべきを法とする短区間におけるKloosterman和の平均は、Weilの境界を上回る非自明な改善を示せるか？
• RQ4 Khan（2015）の固定された $ k $ に対する結果を、すべての十分大きな $ k $ に対して有効な一様な境界に一般化できるか？
• RQ5 すべての $ p \geq 3 $、$ k \geq k_0 $ に対して、$ E(X;q,a) \ll X / q^{1+\sigma} $ が一様に成り立つような最適な指数 $ \sigma > 0 $ は何か？

主な発見

• 本稿は、$ p \geq 3 $、$ k \geq k_0 $、$ q \leq X^{2/3+\sigma} $ に対して、$ E(X;q,a) \ll X / q^{1+\sigma} $ が一様に成り立つことを確立した。ここで $ \sigma > 0 $ は絶対定数である。
• この境界は、古典的な $ q \leq x^{2/3} $ の障壁を打ち破り、算術級数における約数問題の漸近公式の有効範囲を拡張する。
• この改善は、新しいKloosterman和の平均推定値に依拠している：$ \sum_{1 \leq n \leq N} S(n,a;q) \ll_{\lambda} N q^{1/2 - \tau} $（$ N \geq q^\lambda $、$ \lambda > 0 $）。ここで $ \tau > 0 $ は $ \lambda $ のみに依存する。
• 結果は $ k $ に関して一様であり、$ k $ を固定し $ p $ を大きくする必要があったKhan（2015）の結果を、すべての十分大きな $ k $ に対して一般化する。
• 主な革新点は、$ p $-進二項係数解析を用いて生成多項式の導関数の $ p $-進付値を制御し、和の推定値における非自明な改善を達成したことにある。
• 境界 $ \mathfrak{F}_3 \ll N q^{1/2 - \lambda k / (80B)} $ は、$ k $ が $ \lambda $ に対して十分に大きい場合、誤差が $ q $ に関して多項式的に減少することを示しており、$ k $ に関する一様性を裏付ける。