A note on a conjecture of Ng

「Ngの予想に関する注釈」の技術的要約

問題提起
本稿は、Nathan Ngによって提案された「比較素数分布理論問題リスト」のQuestion 5, Problem 1に対処するものである。中心となる問題は、リーマン・ゼータ関数 $\zeta(s)$ の非自明な零点にわたる、特定のゼータ関数の比の二次のモーメントの漸近挙動に関するものである。

Ngの予想1は、リーマン仮説（RH）および非自明な零点 $\rho = 1/2 + i\gamma$ の単純性を仮定した場合、 $T \to \infty$ において以下の漸近関係が成立すると仮定している：
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \sim \frac{T}{2\pi}.$$
著者は、Ngの元の記述はRHを暗黙のうちに仮定していたが、Ng自身は、単純性のみを仮定してもこの予想はおそらく成立することを示唆していると述べている。本研究は、項が適切に定義され、かつ証明における特定の対称性を利用するために、両方の仮定の下で進行する。

手法
証明の戦略は、MilinovichとNgのアプローチに従うものであり、それはさらにRudnickとSoundararajanの研究に基づいている。核心となる技法は、和の下限を抑えるためのモリファイア（mollifier）の使用である。

1. モリファイアの構成: 著者は、関数 $\zeta(2s)/\zeta(s)$ を近似する平滑化されたディリクレ多項式 $L^\dagger_\xi(s)$ を定義する。この近似は、$\sum \lambda(n)n^{-s} = \zeta(2s)/\zeta(s)$ を満たすリウヴィル関数 $\lambda(n)$ によって生成される。多項式は以下のように定義される：
   $$L^\dagger_\xi(s) = \sum_{n \le \xi} \frac{\lambda(n)}{n^s} P\left(\frac{\log(\xi/n)}{\log \xi}\right),$$
   ここで $\xi = T^\vartheta$ （固定された $0 < \vartheta < 1$）であり、$P(x)$ は $P(0)=0$ かつ $P(1)=1$ を満たす多項式である。

2. コーシー・シュワルツの不等式: RHの仮定の下では、対称性 $L^\dagger_\xi(\rho) = L^\dagger_\xi(1-\rho)$ が非自明な零点に対して成立する。これにより、下限を確立するためにコーシーの不等式を適用することが可能となる：
   $$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \frac{|M_1|^2}{M_2},$$
   ここで $M_1 = \sum_{0<\gamma \le T} \frac{\zeta(2\rho)}{\zeta'(\rho)} L^\dagger_\xi(1-\rho)$ および $M_2 = \sum_{0<\gamma \le T} |L^\dagger_\xi(\rho)|^2$ である。

3. 留数定理による積分: $M_1$ および $M_2$ の漸近挙動を評価するために、著者はコーシーの留数定理を用いる。これらの和は、$\zeta(2s)/\zeta(s)$ および $\zeta'(s)/\zeta(s)$ を含む輪積分へと変換される。積分路は、臨界線へとシフトされた長方形の経路であり、垂直成分と水平成分の積分に分割される。

   • 平均値定理: 主項の評価には、振動積分を扱うために、ディリクレ多項式に関するMontgomery-Vaughanの平均値定理が用いられる。
   • 関数等式: 左側の垂直な積分路については、ゼータ関数の関数等式が利用される。前述のMilinovich-Ngの研究との重要な技術的相違点は、分子にある $\zeta(2s)$ 因子の扱いである。これは $1/\zeta(s)$ の減衰を相殺するため、比 $\chi(2s)/\chi(s)$ の振動に関する解析（van der Corputの二階微分テスト）を必要とする。

主要な貢献と結果
本論文は、モーメント $M_1$ と $M_2$ に関する以下の漸近評価を確立している（命題5および6）：

• $M_1 \sim \frac{T}{2\pi} (\log T) \vartheta \int_0^1 P(x) dx$.
• $M_2 \sim \frac{T}{2\pi} (\log T)^2 \left[ \vartheta \int_0^1 P(x)^2 dx + \vartheta^2 \left(\int_0^1 P(x) dx\right)^2 \right]$.

これらの評価を下限の不等式に代入し、多項式 $P(x)$ の選択を最適化することで、著者は主要な定理を導き出す：

定理 2: リーマン仮説およびゼータ関数の非自明な零点が単純であることを仮定すると、任意の固定された $\epsilon > 0$ に対して、十分に大きな $T$ について次が成立する：
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \left( \frac{1}{4\pi} - \epsilon \right) T.$$
最適化は、定数多項式 $P(x) = 1$ を選択し、$\vartheta \to 1^-$ の極限を取ることによって達成される。

意義と主張
本論文は、検討されている和に対する厳密な下限を確立している。結果の意義は、Ngの予想との定量的な関係にある：

• 証明された下限は $\frac{1}{4\pi}T$ である。
• 予想されている漸近挙動は $\frac{1}{2\pi}T$ である。
• したがって、この結果は、予想される値のちょうど半分の大きさの下限を確立している。

著者は、Gonekの予想（$\sum |\zeta'(\rho)|^{-2}$ に関するもの）に関するMilinovichとNgの研究との類似性を指摘している。そこでも、証明された下限と予想される漸近挙動との間に同様の「2分の1」の乖離が存在する。本論文は、完全な予想を証明することを主張するものではなく、正しいオーダー（$O(T)$）を裏付ける非自明な下限を提供しつつ、予想される定数との差を埋めることの困難さを浮き彫りにしている。