Siegel zeros and small gaps between zeros of the Riemann zeta function

技術的要約：リーマンゼータ関数のゼータ零点におけるシエゲル零点と小さな間隔

問題設定
本論文は、リーマンゼータ関数 $\zeta(s)$ の非自明な零点の垂直分布を取り扱う。具体的には、隣接する零点の虚部 $\gamma_n$ と $\gamma_{n+1}$ の間の「小さな間隔」の存在について調査している。この間隔は、平均間隔 $2\pi/\log \gamma_n$ によって正規化される。著者らは、$\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$ という量を定義している。

長年の予想では $\mu = 0$ であるとされる。リーマン仮説（RH）は仮定されているが、$\mu$ に関する既知の無条件の下限が問題なのではなく、本論文はむしろその上限に焦点を当てている。本研究以前の、RHに関する最良の結果は $\mu < 0.50895$（Inoue）であった。これまで、シエゲル零点（ディリクレ $L$ 関数の例外的な実零点）の存在により、$\mu$ の値が $1/2$ という自然な障壁に直面するという見解が支配的であった。Heath-BrownやConrey–Iwaniecによる先行研究は、もしシエゲル零点が存在するならば、それらがゼータ零点の剛性を強制し、間隔が $1/2$ より小さくなることを防ぐ可能性があること（「代替仮説」）を示唆していた。

手法
著者らは、小さな間隔を検出するために、2つの重み付き積分を比較するモンゴメリー–オドリスコ（Montgomery–Odlyzko）法を採用している。核心となる革新は、「レゾネーター（共鳴器）」関数 $R(t)$ の選択と、それに伴うディリクレ多項式の長さである。

1. 長いディリクレ多項式： 従来のモンゴメリー–オドリスコ法の適用は、係数の加法的相関に関わる扱いにくい非対角項を避けるため、「短い」ディリクレ多項式（長さ $L \ll T$）に限定されていた。本論文は、長さ $L \approx T^{17/14}$ の長いディリクレ多項式を利用することで、この障壁を打破している。
2. レゾネーターの構成： レゾネーターは、$R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$ として選ばれる。ここで $\chi$ はシエゲル零点に関連する原始的な二次ディリクレ文字であり、係数は滑らかな重み $G(n)$ と文字 $\chi$ を含む。
3. 非対角項の処理： 主要な技術的課題は、相関和 $\sum \chi(m)\chi(km+r)$ および $\sum \Lambda(k)\chi(km+r)$ の推定である。著者らは、素数変数 $k$ の大きさに基づいて解析を3つの領域に分割することにより、これらの相関を冪減少の誤差項を用いて処理する新しいスキームを開発した。
   • 小さい $k$： 相関和に関する評価（Lemma 4、Heath-Brownの拡張）を用いて処理される。
   • 中間的な $k$： シフトされた文字和の二次のモーメント評価（コーシー・シュワルツ法と加法的除数問題の技術の組み合わせ）を用いて対処される。
   • 大きい $k$： フーリエ反転（一般化されたヤコビ和）を介して $\chi(km+r)$ の変数を分離し、ディリクレ $L$ 関数の零点密度評価（特にChen–Gupta–Liの評価）を適用して、文字に関する和を抑えることで解決される。

主要な結果
本論文は、リーマン仮説の下で以下の主要定理を確立している。

定理 1： リーマン仮説（RH）を仮定し、十分大きな品質 $E = \inf_j E_j$ を持つ例外的なシエゲル零点の列が存在すると仮定する。このとき：
$$\mu < 0.4733$$
具体的には、$\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0.4733$ であることを示している。

系 2： 同様の仮定の下で、正規化された間隔が集合 $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ に制限されるような漸近分布は存在し得ない。これは、シエゲル零点がすべての間隔を半整数に強制するという「代替仮説」の強い形態を否定するものである。

意義および主張
著者らは、自身の結果が驚くべきものである理由として、シエゲル零点が $\mu < 1/2$ を証明するための障壁になるのではなく、むしろ、そのような間隔が存在することを証明するためにシエゲル零点を利用できることを示した点にあると主張している。

• 強い代替仮説の論破： この結果は、シエゲル零点がほとんどの間隔を $1/2$ 以上にするような剛性のある分布をもたらすという考えを否定している。むしろ、もしシエゲル零点が存在するならば、正規化された間隔が厳密に $0.4733$ 未満となる零点のクラスタリングが存在しなければならないことを示している。
• 手法的な突破口： モンゴメリー–オドリスコ法が $\mu < 0.508$ に限定されていた理由は、短い多項式への制限によるものであった。シエゲル零点を用いて係数を構造化することで、長い多項式（長さ $T^{17/14}$）の非対角項をうまく制御し、この計算上の障壁を回避することに成功した。
• 技術的なニュアンス： 著者らは、本結果がHeath-BrownやConrey–Iwaniecと矛盾しないことを明確にしている。それらの研究は、シエゲル零点が $1/2$ より小さい間隔を「わずかな割合」で生じさせることを示したものである。これに対し、本論文は、少なくとも一つの間隔が $0.4733$ より小さいこと（liminfの結果）を確立しており、正の割合の存在を主張しているわけではない。

本論文は、シエゲル零点は（より高次のモーメントが必要となり、多項式の長さがさらに制限されるため）「正の割合」の小さな間隔を確立するための障壁にはなり得るものの、$1/2$ を下回る間隔の「存在」を確立するための障壁にはならないと結論付けている。著者らは、係数の選択や零点密度評価（例えば密度仮説）のさらなる洗練によって、境界をさらに下げられる可能性（おそらく $\mu < 0.467$）があるが、現在の研究は $1/2$ の壁を破るためのメカニズムに焦点を当てていると述べている。