[論文レビュー] On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals, III

Giovanni Coppola, Maurizio Laporta|arXiv (Cornell University)|Mar 1, 2010

Analytic Number Theory Research参考文献 3被引用数 13

ひとこと要約

この論文は、Duke, Friedlander, Iwaniec の一般化された双線形形式定理を用いて、短い区間における篩関数のセルバーグ積分および対称積分について、新たな非自明な漸近公式を確立する。篩関数のレベルが $ \lambda \in (1/2,1) $ の場合、$ J_f(N,h) $ および $ I_f(N,h) $ の境界が向上し、$ \theta < 1/95 $ の場合、$ O(N^{1-\varepsilon}h^2) $ が得られ、極めて短い区間において既存の結果を上回る。

ABSTRACT

An arithmetic function $f$ is called a sieve function of range $Q$, if it is the convolution product of the constantly $1$ function and $g$ such that $g(q)\ll_{\varepsilon} q^{\varepsilon}$, $\forall\varepsilon&gt;0$, for $q\leq Q$, and $g(q)=0$ for $q&gt;Q$. Here we establish a new result on the autocorrelation of $f$ by using a famous theorem on bilinear forms of Kloosterman fractions by Duke, Friedlander and Iwaniec. In particular, for such correlations we obtain non-trivial asymptotic formulæ that are actually unreachable by the standard approach of the distribution of $f$ in the arithmetic progressions. Moreover, we apply our asymptotic formulæ to obtain new bounds for the so-called Selberg integral and symmetry integral of $f$, which are basic tools for the study of the distribution of $f$ in short intervals.

研究の動機と目的

• 短い区間における篩関数のセルバーグ積分および対称積分について、非自明な漸近公式を導出すること。
• 短い区間の挙動を解析する際、標準的な算術級数分布法の限界を克服すること。
• Duke, Friedlander, Iwaniec の一般化された双線形形式定理を用いて、混合自己相関を統合し、以前の結果を拡張すること。
• 特に極めて短い区間において、$ \lambda > 1/2 $ の領域で $ J_f(N,h) $ および $ I_f(N,h) $ の改善された境界を確立すること。

提案手法

• 著者らは、Duke, Friedlander, Iwaniec の Kloosterman 分数に関する双線形形式定理の一般化版を用い、篩関数 $ f_1 $ および $ f_2 $ の混合自己相関を分析する。
• 混合セルバーグ積分 $ J_{f_1,f_2}(N,h) $ および混合対称積分 $ I_{f_1,f_2}(N,h) $ を定義し、古典的積分を二つの関数へと拡張する。
• 算術関数 $ f(n) = \sum_{d|n, d \leq Q} g(d) $ に依存し、ここで $ g(q) \ll_\varepsilon q^\varepsilon $ であり、$ Q = [N^\lambda] $ の範囲を持つ篩関数を定義する。
• 主要な技術的ステップは、Kloosterman 和の双線形形式による指数和の評価であり、漸近展開における誤差項の改善に繋がる。
• 著者らは、$ \phi_1(n) \lesssim_\varepsilon \phi_2(n) $ を $ \phi_1(n) \ll_\varepsilon n^\varepsilon \phi_2(n) $ を表す記号として導入し、誤差の精密な制御を可能にする。
• 付録では、主結果の導出に用いられる、有理数上の第一種ベルヌーイ関数の公式のフーリエ解析的証明が提供される。

実験結果

リサーチクエスチョン

• RQ1 標準的な算術級数分布法の範囲を超えて、篩関数のセルバーグ積分および対称積分について非自明な漸近公式を導出できるか？
• RQ2 篩関数のレベルが $ \lambda > 1/2 $ の場合、$ J_f(N,h) $ および $ I_f(N,h) $ の誤差境界にどのような改善が達成できるか？
• RQ3 Kloosterman 和の双線形形式を用いることで、古典的手法と比較して短い区間の自己相関解析がどのように向上するか？
• RQ4 特に $ \theta < 1/95 $ の場合、$ J_f(N,h) $ および $ I_f(N,h) $ の境界をどの程度改善できるか？
• RQ5 混合自己相関積分 $ J_{f_1,f_2}(N,h) $ および $ I_{f_1,f_2}(N,h) $ は、単一関数の場合と比較して、より鋭い推定値をもたらすか？

主な発見

• レベル $ \lambda \in (1/2,1) $ の篩関数に対して、セルバーグ積分は $ J_f(N,h) \lesssim_\varepsilon Nh + N^\delta Q^{2-\Delta}h^2 + N^{1-2\delta/3}h^2 + Qh^2 $ を満たし、$ \Delta = 1/48 $ である。これは $ \Delta = 0 $ の既存の結果を改善する。
• 対称積分は $ I_f(N,h) \lesssim_\varepsilon Nh + N^\delta Q^{2-\Delta}h^2 + N^{1-2\delta/3}h^2 $ を満たし、誤差制御において同様の強さを示す。
• $ \theta < 1/95 $ の場合、両積分 $ J_f(N,h) $ および $ I_f(N,h) $ の境界は $ O_{\varepsilon_0}(N^{1-\varepsilon_0}h^2) $ に改善され、極めて短い区間で非自明な節約が達成される。
• 混合積分 $ J_{f_1,f_2}(N,h) \lesssim_\varepsilon Nh + N^\delta Q_1^{53/48}Q_2^{7/8}h^2 + N^{1-2\delta/3}h^2 + Q_1h^2 $（$ \lambda_1 \geq \lambda_2 $）は、非対称な場合の手法の頑健性を示す。
• 結果は、双線形形式による自己相関法が、特に $ \theta \in (0,1/95) $ の場合、古典的手法を上回ることを示している。
• 付録では、主導出の指数和処理に不可欠な、有理数上の第一種ベルヌーイ関数のフーリエ解析的恒等式が確立される。