Note on the positivity of the real part of the log-derivative of the Riemann $ξ$-function near the critical line

技術的要約：リーマン $\xi$ 関数の対数微分における実部の正値性

問題提起
本論文は、クリティカル・ストリップ（臨界帯）$0 < \sigma < 1$ におけるリーマン $\xi$ 関数の対数微分の実部、すなわち $\Re \frac{\xi'}{\xi}(s)$ の挙動を調査するものである。特に、著者らはクリティカル・ライン（臨界線）の直右側の領域、すなわち十分大きな $t$ に対して $1/2 + 1/\sqrt{\log t} < \sigma < 1$ で定義される領域に焦点を当てている。

$\sigma > 1$ において $\Re \frac{\xi'}{\xi}(s) > 0$ であることは既知であり、またリーマン仮説（RH）は、この正値性がすべての $\sigma > 1/2$ で成立することと等価であるが、ストリップ $1/2 < \sigma < 1$ における挙動は依然として研究対象となっている。GoldsteinおよびA.G. [5] による先行研究では、クリティカル・ライン上の零点に関する和の下限が示されたが、この下限は $\sigma \to 1/2$ となるにつれてゼロへと収束する傾向があった。本研究の主な目的は、この下限を $\sigma \to 1/2$ において無限大に発散するものへと改善し、クリティカル・ライン近傍における正値性のためのより強い条件を提供することである。

手法
著者らは、主に $\xi$ 関数の無限積表現と部分和法（partial summation methods）に依拠した、解析的数論の手法を用いている。

1. 対数微分の展開: 本研究では、$\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$ という展開を利用する。ここで、和はリーマンゼータ関数の非自明な零点 $\rho$ にわたって取られる。この和の実部は、クリティカル・ライン上の零点（$\rho = 1/2 + i\gamma$）からの寄与と、クリティカル・ライン外にある仮定上の零点（$\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$）からの寄与に分解される。
2. 部分和法と積分近似: クリティカル・ライン上の零点に関する和を推定するために、著者らは部分和法（補題2）と、零点計数関数 $N(T)$ の明示的な評価（補題3）を併用している。
3. 積分推定: 技術的な作業の大部分は、$\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$ という形式の積分の明示的な下限を導出することである。補題5は、これらの積分に対する厳密な下限を提供しており、これらは離散的な零点の和を近似するために用いられる。
4. 仮定上の零点の取り扱い: RHが成立しないシナリオを分析するため、クリティカル・ライン外の零点の寄与を考慮する。補題9は、仮定上の零点への距離の逆二乗の和に対する上界を提供し、それらの寄与が指定された領域においてクリティカル・ライン上の零点による正の寄与を圧倒しないことを保証している。

主要な貢献および結果

• 改善された下限 (定理6): 中心的な結果は定理6であり、これはクリティカル・ライン上の零点に関する和の実部に対する新しい明示的な下限を確立するものである。$1/2 + 1/\sqrt{\log t} < \sigma < 1$ かつ $t > 3.11 \times 10^{10}$ のとき、著者らは以下を証明している：
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  ここで、$c$ はクリティカル・ライン上の零点の低密度（$c = \liminf N_{1/2}(T)/N(T)$）を表し、$\epsilon(t)$ は $\frac{\log \log t}{\log t}$ として消滅する関数である。従来の境界とは異なり、この式は $\sigma \to 1/2$ に伴って発散し、より強い制約を与える。

• RH失敗シナリオの分析: セクション4では、RHが偽であると仮定した場合の $\Re \frac{\xi'}{\xi}(s)$ の正値性を調査している。著者らは以下の3つのケースを検討している：

  1. クリティカル・ライン外に単一の零点が存在する場合。
  2. 有限個のクリティカル・ライン外の零点が存在する場合。
  3. 無限個のクリティカル・ライン外の零点が存在する場合。
     いずれの場合においても、著者らは、仮定上の非自明な零点の周囲の小さな近傍を除いて、$\Re \frac{\xi'}{\xi}(s)$ が $1/2 + 1/\sqrt{\log t} < \sigma < 1$ の領域で正であり続けることを示している。クリティカル・ライン上の零点からの正の寄与（$c$ によってスケールされたもの）が、指定された領域におけるオフラインの零点からの負の寄与を支配する。

• 数値的検証: 著者らは、理論的な境界が特定の大きな $t$（例：$t \approx 2.68 \times 10^{11}$）に対して成立することを確認するために、Odlyzkoデータベース [12] を用いて、不等式が成立する領域を可視化している。

意義および主張
本論文は、クリティカル・ライン付近における $\xi$ 関数の対数微分の理解を精緻化することを目的としている。$\sigma \to 1/2$ に伴って増大する下限を得ることで、本研究は、リーマン仮説が真であると仮定することなく、クリティカル・ストリップ内における $\Re \frac{\xi'}{\xi}(s)$ の正値性の証拠を強化している。

著者らは、自らの貢献を Goldstein および A.G. [5] の結果に対する改善として控えめに位置づけている。彼らはリーマン仮説を証明しようとしているのではなく、仮にRHが偽であったとしても、「正値領域」は頑健であり、仮定上の反例のすぐ近くを除いて、クリティカル・ラインの近くまで存続することを示している。本研究は、クリティカル・ライン上の零点の密度（$c$）および $t$ の大きさに依存する、明示的かつ計算可能な境界を提供している。