2025-11-10T03:15:04.183261

Explicit extreme values of the argument of the Riemann zeta-function

Inoue, Kobayashi, Toma

We investigate explicit extreme values of the argument of the Riemann zeta-function in short intervals. As an application, we improve the result of Conrey and Turnage-Butterbaugh concerning $r$-gaps between zeros of the Riemann zeta-function.

academic

リーマンゼータ関数の偏角の明示的極値

基本情報

論文ID: 2510.14309
タイトル: Explicit extreme values of the argument of the Riemann zeta-function
著者: 井上翔太、小林寛隆、友間雄一郎
分類: math.NT（数論）
発表日: 2025年10月16日
論文リンク: https://arxiv.org/abs/2510.14309

要旨

本論文は、短区間におけるリーマンゼータ関数の偏角の明示的極値を研究している。応用として、ConreyとTurnage-Butterbaughによるリーマンゼータ関数の零点間のr-gapsに関する結果を改善した。

研究背景と動機

問題の背景

リーマンゼータ関数の偏角関数S(t)は $S(t) := \frac{1}{\pi} \arg \zeta(\frac{1}{2} + it)$ と定義され、数論における最も重要な関数の一つである。この関数はRiemann-von Mangoldt公式を通じて零点分布と密接に関連している：

$N(T) = \frac{T}{2\pi} \log \left(\frac{T}{2\pi e}\right) + \frac{7}{8} + S(T) + O\left(\frac{1}{T}\right)$

研究の動機

零点分布の重要性: ζ関数の零点に関する詳細な情報は素数分布に重要な応用があるため、S(t+h)-S(t)の極値を研究することは重要である
既存結果の限界: SelbergとTsangの古典的結果は明示的定数の改善の余地がある
方法論の改善: Montgomery-Odlyzkoの共鳴法を用いてSelberg/Tsang法の明示的界を改善する

既存方法の限界

Selberg-Tsang法により得られた明示的定数c < 1/√(2eπ)
鋭い明示的界の欠如
r-gaps問題に対して、既存の明示的定数にはまだ改善の余地がある

核心的貢献

S(t+h)-S(t)の明示的極値界の改善: 共鳴法を用いてより鋭い界を得た。主項係数は√(h/π)log Tに達する
r-gapsの明示的定数の向上: Conrey-Turnage-Butterbaugh結果の定数をA₀ ≈ 0.906から√2 ≈ 1.414に改善した
Montgomery-Odlyzko法の限界の確立: この方法が零点gapsの問題に対して有する理論的上界を証明した
共鳴法の完全な分析の提供: S(t)の短区間極値に関する体系的研究を与えた

方法の詳細

主要定理

定理1（S(t)の極値）: RH仮説の下で、十分大きなTとh ∈ C/log T, c/log log Tに対して、 $\sup_{T≤t≤2T} \{±(S(t+h) - S(t))\} ≥ (1-E)\sqrt{\frac{h}{\pi}} \log T$ が成り立つ。ここで誤差項Eは特定の界を満たす。

定理2（r-gapsの改善）: RH仮説の下で、十分大きなrに対して、 $\lambda_r ≥ 1 + \frac{\sqrt{2}}{\sqrt{r}} - C_1 \frac{(\log r)^{3/2}}{r}$ $\mu_r ≤ 1 - \frac{\sqrt{2}}{\sqrt{r}} + C_2 \frac{(\log r)^{3/2}}{r}$ が成り立つ。

技術的方法

共鳴法の枠組み

Dirichlet多項式を共鳴器として使用する： $R(t) = \sum_{n≤L} f(n)n^{-it}$

ここで算術関数fは目的関数に応じて特別に選択される。

主要命題

命題2: 恒等的にゼロでない任意の算術関数fに対して、 $\sup_{T≤t≤2T} \{±(S(t+h) - S(t))\} ≥ ∓\left(1 + O\left(\frac{1}{T}\right)\right) \frac{2}{\pi} \text{Re} \frac{\sum_{km≤L} \frac{\Λ(k)}{\sqrt{k \log k}} \sin\left(\frac{h}{2} \log k\right) f(m)f(km)}{\sum_{n≤L} |f(n)|^2}$

最適共鳴器の構成

乗法関数f±を選択し、素数pに対して以下のように定義する： $f_±(p) := ±\sqrt{Q} \cdot \frac{\sin(\frac{h}{2} \log p)}{p^{1/2+κh} h \log p}$ ここで $M < p ≤ L$ であり、 $M = \exp(\sqrt{\log \log L}/\sqrt{h})$ である。

パラメータの選択：

$κ = \frac{\log(h \log L)}{yh \log L}$
$y = \sqrt{\log(h \log L)}/(h \log L)$
Qは積分公式により決定される

技術的革新点

精密な共鳴器の設計: パラメータκとQを慎重に選択することにより、主項を最適に達成する
誤差項の精密な制御: Rankin技巧と部分和公式を用いて鋭い誤差評価を得る
方法の限界性の理論的分析: Montgomery-Odlyzko法の理論的上界を証明する

実験設定

理論的検証

本論文は主に理論的研究であり、厳密な数学的証明により結果を検証している。

数値計算

Montgomery-Odlyzko法の限界性を数値計算により検証
λ₁ ≥ 3.022、μ₁ ≤ 0.508がこの方法の理論的界限であることを計算により確認

パラメータの選択

L ≤ T/(log T)²
h ∈ C/log T, c/log log T（Cは大きく、cは小さい）
W = 22.6（λ₁の計算用）、W = 4.9（μ₁の計算用）

実験結果

主要結果

S(t)極値の改善

Selberg-Tsang法の定数c < 1/√(2eπ) ≈ 0.225と比較して、本論文は主項係数√(1/π) ≈ 0.564に達し、大幅な改善を実現した。

r-gaps定数の向上

先行結果: Conrey-Turnage-Butterbaughによる Θ = A₀ ≈ 0.906
本論文の結果: Θ = √2 ≈ 1.414に改善
改善幅: 約56%の改善

方法の限界性

Montgomery-Odlyzko法の理論的限界を証明した：

λ₁ ≥ 3.022（先行結果の3.74から若干改善）
μ₁ ≤ 0.508
一般的な場合：λᵣ ≥ 1 + √2/√r - O(1/r)

技術的検証

誤差項の分析

定理1の誤差項Eは以下の界を持つ： $E \ll \sqrt{h \log \log T} + \min\left\{\sqrt{\frac{\log^3(h \log T)}{h \log T}}, \frac{(\log \log T)^{3/2}}{h^{3/2} \log T}\right\}$