[論文レビュー] On binary and quadratic divisor problems

Farzad Aryan|arXiv (Cornell University)|Feb 21, 2015

Analytic Number Theory Research参考文献 36被引用数 6

ひとこと要約

本稿は、$δ$-法にVoronoi和公式とKuznetsovトレース公式を組み合わせた洗練された応用を用いて、除数関数$d(n)$、尖型形式のフーリエ係数、および二乗和関数$r(n)$を含むずらし畳み込み和を研究する。二項除数問題に関して、$O(X^{1/2+\theta+\epsilon}h^{\theta})$の形の改善された誤差項を確立し、従来の境界を上回り、$L$-関数に応用可能な二次除数問題へと拡張する。

ABSTRACT

We study the shifted convolution sum of the divisor function and some other arithmetic functions.

研究の動機と目的

• 既存の結果を上回る、ずらし畳み込み和$\sum_{n-m=h} d(n)d(m)f(n,m)$における誤差項の改善。
• 標準的な円法技術では扱いにくいが、主項を持つ他の算術関数（例：$r(n)$ や $\tau_\chi(n)$）に対しても、この方法を拡張すること。
• 洗練された手法を二次除数問題に適用し、$L$-関数のモーメントに関連する境界を導出すること。
• Kuznetsovトレース公式によるスペクトル理論およびKloosterman和の推定と$δ$-法を統合するフレームワークを確立すること。
• Meurmanの$O(X^{1/2+\epsilon}h^{1/8+\theta/2})$の境界を上回る、$h$に関する一様な誤差項を達成すること。

提案手法

• Duke, Friedlander, Iwaniecの$δ$-法を、主項を持つ算術関数を含むずらし畳み込み和に対応させるように適応する。
• Voronoi型の和公式を適用し、Kloosterman和を含む和に変換する。
• Kuznetsovトレース公式を用いて、Weilの境界を上回るKloosterman和の推定を、特に$h$の側面で効果的に実行する。
• 滑らかな分割関数とdyadic分解を用いて、和の台を局所化し、誤差項を制御する。
• Lemma 5.2およびLemma 7.3を適用し、Kloosterman和の平均化により$X/\mathcal{Q}^{2-\epsilon}$の節約を達成し、最終的な誤差境界を改善する。
• スペクトル法とベッセル関数および積分変換の理論を組み合わせ、二次除数問題における主項と誤差項を分析する。

実験結果

リサーチクエスチョン

• RQ1 $h \ll X^{1-\epsilon}$の下で、二項除数和$\sum_{n-m=h} d(n)d(m)f(n,m)$の誤差項が$O(X^{1/2+\epsilon}h^{1/8+\theta/2})$を上回る改良が可能か？
• RQ2 $δ$-法を、Jutilaの円法では直接適用できない非自明な主項を持つ算術関数（例：$d(n)$ や $r(n)$）に対しても拡張可能か？
• RQ3 原始的ディリクレ指標$\chi$に対して、ずらし畳み込み和$\sum_{n-m=h} \tau_\chi(n)\tau_{\overline{\chi}}(m)f(n,m)$の最適な誤差項は何か？
• RQ4 この手法を、除数関数と尖型形式のフーリエ係数を含む和、例：$\sum_{n-m=h} a(n)d(m)f(n,m)$の推定に適応可能か？
• RQ5 二次除数問題において、誤差項が$h$およびRamanujan-Peterssonパラメータ$\theta$にどのように依存するか？

主な発見

• 本稿は、$h \ll X^{1-\epsilon}$に対して、$\sum_{n-m=h} d(n)d(m)f(n,m) = \text{主項} + O(X^{1/2+\theta+\epsilon}h^{\theta})$の境界を確立し、Meurmanの$O(X^{1/2+\epsilon}h^{1/8+\theta/2})$を上回る。
• 二乗和の和に関して、$4 \mid h$のとき、$\sum_{n-m=h} r(n)r(m)f(n,m) = \text{主項} + O(X^{1/2+\theta+\epsilon})$が成り立ち、主項は一般式の$q=4$の場合に対応する。
• $p \mid h$のとき、Heapの$O(X^{3/4+\epsilon})$誤差項を上回り、$O(X^{1/2+\theta+\epsilon})$を達成する。
• 二次除数問題の誤差項は$O(X^{1/2+\theta+\epsilon}d/a)$で抑えられ、主項はベッセル関数の積分とKloosterman和の和を含む。
• 解析により、Kuznetsovトレース公式が誤差項において$X/\mathcal{Q}^{2-\epsilon}$の節約を可能にし、改善された境界を達成する上で不可欠であることが示された。
• フレームワークは、$\sum_{n-m=h} a(n)d(m)f(n,m)$のような和へも拡張可能と予想され、予測される誤差項は$O(X^{1/2+\epsilon}h^{\theta})$である。