On the $\beta=2$ Partition function for Dirichlet $L$-functions in the $q$-aspect

技術的要約：$q$ 側面におけるディリクレ $L$ 関数の $\beta = 2$ 分配関数について

問題設定
本論文は、大きな素数 $q$ を法とする典型的なディリクレ指標 $\chi$ に対するディリクレ $L$ 関数 $L(s, \chi)$ の大きさ、特に中心点 $s=1/2$ 付近における挙動を調査するものである。主要な研究対象は、メゾスコピックな区間における $\beta = 2$ 分配関数である：
$$Z_2(q, \chi, \theta) = \int_{|h| \le \log^\theta(q)/2} |L(1/2 + ih, \chi)|^2 dh$$
ここで $\theta \in (-1/2, 0]$ である。本研究は、これらの $L$ 関数の最大値およびモーメントに対して特定の正規化と極限分布を予測する、Saksman–Webb および Fyodorov–Hiary–Keating (FHK) 予想の $q$ アナログ（$q$-analogues）によって動機付けられている。対処すべき中心的な課題は、正しい正規化因子（$\sqrt{\log \log q}$ を含むもの）を決定すること、および $|L(1/2+ih, \chi)|$ の典型的な最大値に対する鋭い上界を確立することである。

手法
証明は、リーマン・ゼータ関数のために開発された Harper、Arguin らによる手法を $q$ 側面へと適応させた、解析的数論と確率論的手法の組み合わせに基づいている。

1. ランダム化の議論: 核となる手法は、決定論的なディリクレ和を、Steinhaus 型のランダム乗法的関数 $f(n)$ を含む和へと転送することである。ディリクレ指標の直交性と特定のモーメント評価（補題 2 および補題 3）を用いることで、著者はディリクレ指標にわたる平均を、ランダム乗法的関数の期待値によって近似する。これにより、決定論的な $L$ 関数には直接適用が困難な確率論的ツールを使用することが可能になる。
2. 近似関数方程式と分解: $L$ 関数は近似関数方程式を用いて近似され、その結果得られるディリクレ多項式を、整数に含まれる素因数に基づいて以下の成分に分割する：
   • 滑らかな部分 (Smooth part): すべての素因数が $P_\theta = \exp(\log^{|\theta|} q)$ 以下である整数。
   • 粗い部分 (Rough part): すべての素因数が $P_\theta$ より大きい整数。
   • 中間部分 (Intermediate part): 特定の範囲に素因数を持つ整数。
     この分解により、「対数正規」的な寄与（滑らかな数によるもの）と「対数相関」的な寄与（粗い数によるもの）を分離できる。
3. 明示的な条件付け: 本研究の斬新な側面は、メゾスコピックな区間（$\theta < 0$）の扱いである。著者は、滑らかな数に関するディリクレ多項式の値 $Y_{P_\theta}(0)$ に対する明示的な条件付けを導入する。これは、滑らかな部分が当該区間において実質的に「凍結」されており、その値が積分の大きさを決定するためである。本論文は、先行研究（例：Harper [Har23]）で使用されている暗黙的な条件付けを、連鎖（chaining）の議論を用いた明示的な一点条件付けの言明へと再定式化している。
4. 連鎖と障壁イベント: 対数相関部分の最大値を制御するために、本論文では連鎖の議論（命題 3.1）を用い、部分オイラー積の成長を制限する障壁イベント（例：$G_\chi$）を定義する。これらのイベントは、ガウス型マルチプリカティブ・カオス（Gaussian multiplicative chaos）の振る舞いを模倣している。
5. コーシーの積分公式: 最大値の上界の証明（定理 3）において、著者は小さな長方形に沿ったコーシー積分を用いて、典型的な最大値における $L$ の値を近似する。これにより、問題は特定の範囲における 4 次モーメントまたは $\beta=2$ 分配関数の推定へと帰着される。

主な貢献と結果

• 定理 1 (分配関数のモーメント): $\theta = 0$ の場合、本論文は分配関数 $Z_2(q, \chi, 0)$ のモーメントの上界を確立する。$r \in [0, 1]$ に対して、$r$ 次モーメントの平均が以下を満たすことを証明する：
  $$\frac{1}{q-1} \sum_{\chi \pmod q} (Z_2(q, \chi, 0))^r \ll \left( \frac{\log q}{1 + (1-r)\sqrt{\log \log q}} \right)^r$$
  これは、Saksman–Webb 予想における正規化因子 $\sqrt{\log \log q}$ が正しいことを示す証拠となる。

• 定理 2 (条件付きメゾスコピック分配関数): $\theta \in (-1/2, 0]$ の場合、本論文は滑らかな部分 $Y_{P_\theta}(0)$ の値で条件付けられた $Z_2(q, \chi, \theta)$ のモーメント上界を導出する。これらの上界は、条件付けパラメータ $W$ と区間のサイズ $\theta$ に明示的に依存する：
  $$\frac{1}{q-1} \sum_{\chi \pmod q} \left[ (Z_2(q, \chi, \theta))^r \mid Y_{P_\theta}(0) \in [W, W+1] \right] \ll \left( \frac{e^{2W} \log^{1+2\theta} q}{1 + (1-r)\sqrt{\log \log q}} \right)^r$$
  この結果は、リーマン・ゼータ関数に関する従来の境界を $q$ 側面へと一般化し、縮小する区間に必要な明示的な条件付けを扱っている。

• 系 1 (裾の境界): モーメントの上界は、分配関数の裾（tail bounds）の境界を意味し、予想 1 のオーダーを裏付けるものである。

• 定理 3 (典型的な最大値の上界): 本論文は、典型的な指標に対する $|h| \le 1/2$ における $|L(1/2+ih, \chi)|$ の最大値の上界を証明する。具体的には、$0 \le U \le \log \log q$ に対して：
  $$\frac{1}{q-1} \# \left\{ \chi \pmod q : \max_{|h| \le 1/2} |L(1/2+ih, \chi)| \ge \frac{e^U \log q}{(\log \log q)^{3/4}} \right\} \ll e^{-2U} (\log \log \log q)^2 (\log \log \log q + U)$$
  これは、追加の対数因子を除けば、第 2 次補正項まで一致する $q$ 版 FHK 予想の予測値を与える上界を確立している。

意義と主張
本論文は、第 2 次補正項（追加の対数因子を含む）まで一致する、典型的なディリクレ $L$ 関数の最大値の上界を $q$ 側面において提供すると主張している。これは、$\beta=2$ 分配関数がこれらの最大値を理解するための極めて重要な道具であることを示しており、より小さい $\beta$ では利用できない「バロット定理（ballot theorem）」による節約が可能になるためである。

著者は、上界は第 2 次項まで鋭いものの、一致する下界については追求していないことを述べている。完全な予想（下界を含む）を証明するには、粗い数上のディリクレ多項式のより精緻な扱い、あるいは、大きな代数的課題（ねじれた 4 次モーメントの計算など）を伴う予想 1 の完全な証明が必要となる。また、本研究は、$\log |L|$ のレベルセットに依存していた従来の手法とは異なり、メゾスコピックな区間を扱う際には滑らかな数に対する明示的な条件付けが必要であることを強調している。

結論として、本論文は、クリティカルなガウス型マルチプリカティブ・カオスの理論と一致して、クリティカルな分配関数の正規化因子が $\sqrt{\log \log q}$ のオーダーとして正しいことを示している。