Negative discrete second moments of Dirichlet $L$-functions

技術要約：ディリクレ $L$ 関数の負の離散二次のモーメント

問題設定
本論文は、非自明な零点 $\rho = \frac{1}{2} + i\gamma$ にわたる、ディリクレ $L$ 関数 $L(s, \chi)$ の特定の2つの離散二次モーメントに対する下界を調査するものである。本研究は、零点の高さ $T$ に対して導体 $q$ が増大する領域における、これらのモーメントの導体 $q$ に対する一様性に焦点を当てている。解析対象となる2つのモーメントは以下の通りである：

1. 逆数モーメント: $\sum_{0<\gamma \le T} |L'(\rho, \chi)|^{-2}$
2. 比率モーメント: $\sum_{0<\gamma \le T} \left| \frac{L(2\rho, \chi^2)}{L'(\rho, \chi)} \right|^2$

これらの量は、Gonek、Milinovich、Ng、およびSinhaによって既知とされているリーマンゼータ関数（$q=1$）の予想および定理を一般化したものである。中心となる課題は、導体 $q$ が $T$ に対して大きい場合に生じる「導体欠損（conductor deficit）」を特定しながら、これらの和が導体 $q$ の影響をどのように受けるかを決定することである。

手法
著者は、モリファイア（mollification）の手法を用い、MilinovichとNgの戦略（これはRudnickとSoundararajanの成果に基づいている）を適応させている。核心となるアプローチは以下の通りである：

• モリファイア（Mollifiers）: 項の逆数を近似するために、2つの異なるディリクレ多項式が構成される。
  • 逆数モーメントに対しては、$1/L(s, \chi)$ のディリクレ級数に対応する、メビウス関数で捻られた多項式 $L_\psi(s) = \sum_{n \le \xi} \mu(n)\psi(n)P_n n^{-s}$ が使用される。
  • 比率モーメントに対しては、リouville関数で捻られた多項式 $\tilde{L}_\psi(s) = \sum_{n \le \xi} \lambda(n)\psi(n)P_n n^{-s}$ が使用され、これは $L(2s, \chi^2)/L(s, \chi)$ の級数に対応する。
  • ここで、$\xi = T^\vartheta$ はモリファイアの長さであり、$P(x)$ は $P(0)=0, P(1)=1$ を満たす多項式である。
• コーシー・シュワルツの不等式: モーメントは、$\sum \frac{1}{L'(\rho, \chi)} L_\chi(\rho)$ （および比率の類似）という形の和に対してコーシー・シュワルツの不等式を適用することで下から抑えられる。これにより、問題はモリファイ化された関数の一次のモーメント（$M_1$）と二次のモーメント（$M_2$）を零点上で推定することへと還元される。
• 輪郭積分: $M_1$ および $M_2$ の和は、長方形の輪郭に沿って留数定理を用いて評価される。垂直方向の辺に沿った積分は主項を与え、水平方向の辺は $L$ 関数のサイズ推定を用いて抑えられる。
• 一様性: 導体 $q$ に関する一様性を維持することは、極めて重要な技術的要素である。これには、算術的因子（$\phi(q)$ や $A_q$ を含む）およびディリクレ多項式の平均値定理における誤差項の慎重な取り扱いが必要となる。全般化リーマン仮説（GRH）および零点の単純性は、終始仮定されている。

主要な結果
本論文は、$\beta = \frac{\log T}{\log qT}$ に依存する両方のモーメントの下界を確立している。

• 定理 5 (逆数モーメント): GRHおよび単純な零点を仮定すると、$3 \le q \le T^A$ において、この和は以下によって下から抑えられる：
  $$(1-\varepsilon) \frac{A_q}{2\pi} \frac{\beta}{1+\beta} T$$
  ここで $A_q = \frac{6}{\pi^2} \prod_{p|q} \frac{p}{p+1}$ である。

• 定理 6 (比率モーメント): $L(s, \chi)$ に関する GRH（および単純な零点）を仮定すると、$3 \le q \le T^{1-\delta}$ において、この和は以下によって下から抑えられる：
  $$(1-\varepsilon) \frac{\phi(q)}{q} \frac{1}{2\pi} \frac{\beta}{1+\beta} T$$
  制限事項 $q \le T^{1-\delta}$ は、証明において分子に現れる $\chi^2$ に関する GRH を仮定していないことに起因する。もし $\chi^2$ に関する GRH を仮定すれば、範囲は $q \le T^A$ まで拡張される。

• 漸近的挙動:

  • 小さな導体: $\log q = o(\log T)$ （例えば固定された $q$）の場合、$\beta \to 1$ となる。これらの下界は、予想される漸近的な大きさの半分を回収する（Milinovich-NgおよびSinhaによる $q=1$ の結果と一致する）。
  • べき乗導体: $q = T^A$ の場合、$\beta = \frac{1}{1+A}$ となり、捉えられた割合は $\frac{1}{2+A}$ となる。例えば $A=1$ のとき、下界は予想される大きさの $1/3$ である。

• 高次モーメント: ヘルダーの不等式を適用することで、著者は系 11 および 12 において高次モーメント（$2k$）の下界を導出している。これらの下限は $T/(\log qT)^{k-1}$ のオーダーであり、$k>1$ の場合には予想される大きさよりも大幅に小さいが、本論文は鋭さよりも $q$ に対する一様性を強調している。

予想と意義
本論文は、導出された下界が真の漸近値のちょうど $\frac{\beta}{1+\beta}$ の割合を捉えていると断じている。

• 予想 7 および 8: 著者は、真の漸近値は $q \le T^A$ に対して一様に $\frac{A_q}{2\pi}T$ および $\frac{\phi(q)}{q}\frac{T}{2\pi}$ であると予想している。
• 欠損の源泉: 著者は、係数 $\frac{\beta}{1+\beta}$ は数値的な偶然ではなく、対角的なコーシー・シュワルツ構成における構造的な特徴であると論じている。ディリクレ多項式の平均値定理は、モリファイアの長さ $\xi$ を $q$ に依存せず $T^{1-\varepsilon}$ に制限する。しかし、零点密度は $\log qT$ と共に増大する。「欠損」とは、値 $u/(1+u)$ の $u = \beta$ における値と、その極限 $u \to \infty$ との比である。
• 族の平均: 原始的な指標の族（予想 9 および 10）にわたって平均を取ることで、より長いモリファイア（$(qT)^{1-\varepsilon}$ まで）の使用が可能になり、パワー導体領域における捕捉された割合を $\frac{1}{2+A}$ から $\frac{1}{2}$ へと改善できる可能性があることを著者は示唆している。ただし、これは本論文では証明されておらず、新しい一様な明示的公式が必要であると述べている。

結論
本論文は、広範な導体にわたるディリクレ $L$ 関数の負の離散モーメントに関する、初の一様な下界を提供している。既知の $q=1$ の結果を成功裏に一般化し、導体が増大するにつれてこれらの下界がどのように劣化するかを定量化している。本研究は、現在のモリファイエーション手法における導体側面に関する特定の構造的な限界を特定し、真の漸近的挙動に関する正確な予想を定式化しており、「導体欠損」を克服するための族平均の手法へのさらなる研究を促している。