[論文レビュー] An explicit zero-free region for the Dirichlet L-functions

Habiba Kadiri|arXiv (Cornell University)|Oct 26, 2005

Analytic Number Theory Research参考文献 18被引用数 10

ひとこと要約

本稿は、$ 3 \leq q \leq 400,000 $ の範囲で、非主な原始的特徴群をもつディリクレL関数 $ L(s,\chi) $ に対して明示的な零点なし領域を確立する。滑らか化された明示公式を精緻化し、ギーナンド＝ヴァイル枠組みにおけるパラメータを最適化することで、$ L(s,\chi) $ が $ \operatorname{Re} s \geq 1 - \frac{1}{5.60 \log(q \max(1,|\operatorname{Im} s|))} $ において零点を持たないことを証明する。これは、$ R = 9.65 $ である以前の境界を改善するものである。

ABSTRACT

Let $L(s,χ)$ be the Dirichlet $L$-function associated to a non-principal primitive character $χ$ modulo $q$ with $3\le q \le 400\,000$. We prove a new explicit zero-free region for $L(s,χ)$: $L(s,χ)$ does not vanish in the region $\Re s \ge 1-\frac1{R \log \left(q\max(1,| \Im s|) ight) }$ with $R=5.60$. This improves a result of McCurley where $9.65$ was shown to be an admissible value for $R$.

研究の動機と目的

• 非主な原始的特徴群をもつ $ 3 \leq q \leq 400,000 $ のディリクレL関数 $ L(s,\chi) $ に対して、より鋭い明示的零点なし領域を確立すること。
• 滑らか化された明示公式および三角不等式の手法を精緻化し、零点なし領域における定数 $ R $ を小さくすることにより、先行研究を改善すること。
• マッキューリーの $ R = 9.646 $ およびそれ以前の境界を定量的に上回ることで、解析的数論における明示的推定値の強化を図ること。
• 零点なし領域をタイトにすることで、$ \psi(x;q,a) $ における明示的境界など、素数論への応用を支援すること。

提案手法

• コンパクトな台を持つ非負の滑らかな関数 $ f $ とパラメータ $ \kappa, \delta $ を含む、対数微分 $ -\operatorname{Re} \frac{L'}{L}(s,\chi) $ の滑らか化されたバージョンを用いる。
• ゼロ点の和と、$ f $ のラプラス変換 $ F $、誤差項 $ E_q(s) $ を関係付けるギーナンド＝ヴァイル型の明示公式を適用する。
• 非負の係数 $ a_k $ をもつ三角多項式 $ P(t) = \sum_{k=0}^{n_0} a_k \cos(kt) $ を用いて、$ \chi(n)/n^{i\gamma_0} $ を含む和の非負性条件を導出する。
• ゼロ点の和が $ \operatorname{Re} \varrho \leq \operatorname{Re} s $ を満たすように、$ f, \kappa, \delta $ に条件を課す。これにより、差 $ F(s - \varrho) - \kappa F(s + \delta - \varrho) $ を活用する。
• 臨界線外のゼロ点からの寄与を制御し、$ F $ の有界性と $ c_p(\sigma, \kappa, \delta) $ の構造を用いて、その寄与が無視可能であることを示す。
• 非主な特徴群の条件により $ s=1 $ の極を回避し、非原始的特徴群については因数分解と $ q/q_k $ の評価に基づく境界を扱う。

実験結果

リサーチクエスチョン

• RQ1 ディリクレL関数 $ L(s,\chi) $ が領域 $ \operatorname{Re} s \geq 1 - \frac{1}{R \log(q \max(1,|\operatorname{Im} s|))} $ に零点を持たないような、$ R $ の最良の明示的値は何か？
• RQ2 滑らか化された明示公式および三角不等式の手法を、$ q \leq 400,000 $ の有界な法において、より小さい $ R $ を得るために適応可能か？
• RQ3 $ \kappa, \delta $ および $ f $ の選択が、ゼロ点の和の下界および結果として得られる零点なし領域にどのように影響するか？
• RQ4 誤差項および非自明なゼロ点からの寄与をどの程度制御できるか。これにより定数 $ R $ をどのように改善できるか？

主な発見

• 本稿は、$ 3 \leq q \leq 400,000 $ のディリクレL関数に対して、新たな明示的零点なし領域を確立し、$ \operatorname{Re} s \geq 1 - \frac{1}{5.60 \log(q \max(1,|\operatorname{Im} s|))} $ において零点が存在しないことを証明する。
• マッキューリーの結果（$ R = 9.646 $）を改善し、$ R = 6.436 $ といった以前の境界を上回り、誤差項の定数を顕著に低減する。
• 研究では、滑らか化されたギーナンド＝ヴァイル明示公式と三角不等式を精緻化した手法を用い、境界に $ \frac{1 - \kappa}{2} \approx 0.28 $ の要因を有効に活用できる。
• 滑らかな関数を用い、$ \kappa, \delta $ を最適化することで、ヘイズ＝ブラウンの手法（大規模な法を必要とし、結果として $ 0.25 $ のみを達成）を上回るよりタイトな境界を達成する。
• 臨界線外のゼロ点の和についても、適切なパラメータ選択のもとで寄与が無視可能であることを精密に制御している。
• リーゼンブルグ大学のユドクソス・マシンを用いた数値的検証により、境界に含まれる明示的定数の妥当性が裏付けられている。