[論文レビュー] Numerical Computations Concerning Landau-Siegel Zeros

Rick F. Lu, Asif Zaman+1 more|arXiv (Cornell University)|Feb 3, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

この論文は、実部 σ が 1−1/(5 log q) 以上の範囲で、二次的 Dirichlet L 関数 L(s, χ) の零が現れないことを、実際のオフセットを用いて計算的に検証し、modulus q ≤ 10^10 に対して以前のベンチマークを改善する。

ABSTRACT

We computationally verify that if $L(s,χ)$ is a quadratic Dirichlet $L$-function modulo $q \leq 10^{10}$ then $L(σ,χ) eq 0$ for real $σ\ge 1-1/(5\log q)$. The number of verified moduli exceeds benchmarks due to Watkins (2004), Platt (2016), and Languasco (2023) by a factor between 66 and 25,000. Our new algorithm draws from zero-free region arguments.

研究の動機と目的

• 二次的 Dirichlet L 関数の臨界帯の端近くで L(s, χ) が零でないことを動機づけ、検証する。
• 前例のベンチマークを超える Landau-Siegel 型の零自由領域の数値検証を拡張する。
• 零自由領域の議論を活用したアルゴリズムを開発し、多数のモジュラスに対して L(s, χ) を効率的に検証する。

提案手法

• 零自由領域の議論に着想を得た新たなアルゴリズムを用い、指定範囲の実部 σ に対して L(s, χ) ≠ 0 を証明する。
• モジュulus q が最大 10^10 の二次的 Dirichlet L 関数を扱う。
• 多数のモジュulus に対する計算検証を統合し、以前のベンチマークを66倍から25,000倍上回る。

実験結果

リサーチクエスチョン

• RQ1 q ≤ 10^10 のどのモジュulus に対して L(s, χ) は実部 σ ≥ 1−1/(5 log q) の区間で零を持つか？
• RQ2 零自由領域ベースのアルゴリズムは、従来の計算ベンチマークを超えて非零性の検証を拡張できるか？
• RQ3 検証範囲内での二次的 Dirichlet L 関数の非零領域の経験的な広がりはどれほどか？

主な発見

• L(s, χ) は実部 σ ≥ 1−1/(5 log q) に対して、すべての試験モジュulus q ≤ 10^10 に対して零でない。
• 本研究は Watkins 2004、Platt 2016、Languasco 2023 の前ベンチマークよりもモジュラスを66倍から25,000倍多く検証している。
• 零自由領域の議論に基づくアルゴリズムを用いて検証を実施。
• 論文は分析20ページ、図2、表1を報告している。
• 検証はモジュulus q ≤ 10^10 に対する二次的 Dirichlet L 関数を含む。