Simultaneous non-vanishing of Dirichlet $L$--functions, II: Weighted central limit theorem

技術要約：ディリクレ $L$ 関数の同時非消滅、II：重み付き中心極限定理

問題設定
本論文は、ディリクレ $L$ 関数の中心値の同時非消滅、具体的には、大きな素数 $q$ を法とする原始的な指標 $\chi$ と、互いに素な整数 $D_j$ を法とする固定された原始的な指標 $\chi_j$ に対する $L(1/2, \chi\chi_j)$ （$j=1, \dots, 4$）を扱っている。先行研究では、一つの、あるいは二つ、三つのツイストに対して正の割合で非消滅の中心値が得られること（例：[20]）や、正の割合で値が $1/\log q$ で下から抑えられることが確立されているが、本研究ではより強い同時成長の結果を確立することを目的としている。具体的には、著者は、一般化リーマン仮説（GRH）の下で、すべての $j$ に対して $|L(1/2, \chi\chi_j)| \gg \exp(c\sqrt{\log \log q})$ を満たす文字が正の割合で存在することを証明しようとしている。

手法
著者らは、4つの $L$ 値の結合分布に関する**重み付き中心極限定理（CLT）**を中心とした確率論的アプローチを採用している。この手法は、[3]（Bui, Evans, Lester, and Pratt）および [4]（Bui, Florea, and Milinovich）で導入された手法に基づいている。

1. 重み付き測度： 中心値がゼロになることで $\log |L(1/2, \chi)|$ が定義できなくなるという障害を回避するため、著者らは重み付き測度 $\mu_F$ を定義する。重み関数 $F(\chi)$ は、モリファイア（mollifier） $M(1/2, \chi)$ を用いて構成され、これは $L$ 関数の極端な値を抑制する役割を果たす。具体的には、$F(\chi)$ は4つの中心値のいずれかがゼロになる場合にゼロとなり、「典型的な」文字に対しては1に近似するように選ばれる。
   $$F(\chi) = \prod_{j=1}^4 L(1/2, \chi\chi_j) M(1/2, \chi\chi_j)$$
   ここで、モリファイアは $L$ 関数の逆関数を近似するために設計された短いディリクレ多項式である。

2. ランダムモデルへの還元： 本研究の核心となる技術的ステップは、重み付き $L$ 値のモーメントの計算をランダムモデルへと還元することである。$X(p)$ を単位円上の様に一様分布する独立な確率変数とする。著者らは、$L$ 関数を模倣したランダム変数 $L(s, X)$ と、対応するランダムなモリファイア $M(X)$ を定義する。そして、文字の族における重み付き和の特性関数が、対応するランダムモデルの期待値と漸近的に等価であることを証明する（系 3.4）。

3. ツイストされた一次モーメント： 重要な入力となるのは、[4] で確立された、4つの $L$ 関数の4重積のツイストされた一次モーメントの漸近的評価である。これにより、モリファイ化された $L$ 関数のモーメントを計算することが可能となる。証明は、4つのツイスト間の相互相関を処理するために、ランダムモデルにおける「スワップ（swap）」構造を利用している。モジュラスが $q$ と共に増大する設定での二次元の結果では、デコリレーション（脱相関）は固定されたランク・セレベルグ $L$ 関数によって支配されていたが、四次元の場合は、$\sum \chi_j(p)\chi_k(p)/p$ のような形式の相互相関を制御する必要がある。

4. 解析接続と輪郭移動： 著者らは、生成関数 $E[L(1/2+s, X)M(X) \exp(i \sum u_j P_{\chi_j}(X))]$ を分析する。積分輪郭を移動させ、高次のモリファイ化されたモーメントに関する境界（Soundararajan, Harper, および Lester–Radziwiłł のアイデアから導出）を利用することで、$s=0$ における極の寄与を孤立させ、誤差項を抑え込む。

主要な貢献と結果

• 定理 1.1（重み付き中心極限定理）： GRH を仮定し、$D^{272} \ll q^{11/16 - 1/2000}$ という条件の下で、正規化された4つの中心値の対数の結合分布は、4つの独立な標準ガウス分布の積に収束する。具体的には、区間 $U_j \subset \mathbb{R}$ に対して：
  $$\mu_F \left\{ \chi : \frac{\log |L(1/2, \chi\chi_j)|}{\sqrt{\frac{1}{2}\log \log q}} \in U_j, \forall j \right\} = \frac{1}{4\pi^2} \int_{U_1 \times \dots \times U_4} e^{-\sum x_j^2/2} d\mathbf{x} + O_\epsilon((\log \log q)^{-1/2+\epsilon})$$
  これは、重み付き測度の下で、4つの正規化された値が漸近的に独立な標準ガウス分布であることを示している。

• 系 1.2（同時成長と非消滅）： 定理 1.1 の直接的な応用として、著者らは任意の固定された $c > 0$ に対して以下を証明する：

  1. 正の割合の文字 $\chi \pmod q$ が、すべての $j=1, \dots, 4$ に対して $|L(1/2, \chi\chi_j)| > \exp(c\sqrt{\log \log q})$ を同時に満たす。
  2. 正の割合の文字が、すべての $j=1, \dots, 4$ に対して $0 < |L(1/2, \chi\chi_j)| < \exp(-c\sqrt{\log \log q})$ を同時に満たす。

意義と主張
本論文は、同時成長のオーダー $\exp(c\sqrt{\log \log q})$ を確立することにより、従来の低次境界（[20] の $1/\log q$ 境界など）を大幅に超えることを主張している。著者らは、この結果が重み付き中心極限定理によって提供される両側からの制御のおかげで初めて可能になったことを強調している。従来の片側中心極限定理（例：Hough [8]）は、分布の上界または下界のみを提供しており、複数のツイストに対して同時的な大きな値を保証するには不十分であった。

本研究は、以下の2つの具体的な技術的進展を浮き彫りにしている：

1. デコリレーションのメカニズム： 4つのツイストのデコリレーションは、増大する導手（conductor）を持つディリクレ文字によって支配されており、固定された形式の設定で見られる $O(1)$ の減衰ではなく、$\log \log \log q$ として減衰する一様な相互相関の制御を必要とする。
2. 次元性： 本証明は、真の四次元的な結合ガウス性を確立している。これは単なるペアワイズの独立性よりも強い構造的事実であり、単にペアワイズの相関が消えるだけでなく、ランダムモデルにおける完全な6項の「スワップ」構造が正しくキャンセルすることを要求する。

著者らは、この結果が $L$ 関数の必要な境界を確保し、解析接続の議論を容易にするために GRH に依存していることを述べている。本論文は GRH の仮定を取り除くことを主張しているのではなく、漸近分布とそれに基づく非消滅の割合を確立するために GRH を利用している。