Almost primes in short intervals and averages of long Dirichlet polynomial approximations to $(\zeta'/\zeta)^{k}$

技術的要約：短区間における準素数、および $(\zeta'/\zeta)^k$ に対する長いディリクレ多項式近似の平均

問題設定
本論文は、クリティカルライン上における $(\zeta'/\zeta)^k$ の長い切断されたディリクレ級数の平均二乗の漸近挙動を調査している。著者らは、この解析的な問題と、整数上の畳み込みフォン・マンゴルト関数 $\Lambda^{*k}$（ここで $\Lambda^{*k} = \Lambda * \cdots * \Lambda$、すなわち $k$ 回の畳み込み）の短区間における分散との間の厳密な関係を確立することを目指している。具体的には、以下の項目の主要係数を決定することを目的としている：

1. $(\zeta'/\zeta)^k$ を近似する長いディリクレ多項式の平均二乗。
2. 短区間における $\Lambda^{*k}$ の和の分散（$H = X^{1-1/\alpha}$）。
3. 等差数列における和の分散。

これらの問題は、ランダム行列理論（RMT）を用いて解析された関数体（function-field）の類似例によって動機付けられている。そこでは、同様の分散問題がユニタリ行列の積分に対応している。

手法
著者らは、解析的数論の手法とRMTから導出された予想を組み合わせて用いている：

• シフトされたモーメントに関する予想： 解析は、予想1（リーマンゼータ関数に対して）および予想2（ディリクレ $L$ 関数に対して）に依拠している。これらの予想は、ユニタリ行列の特性多項式を用いた多重輪郭積分として表される、対数微分係数のシフトされたモーメントの精密な漸近公式を提供する。
• ペロンの公式と輪郭の移動： 著者らは、算術関数の和をディリクレ級数の積分に関連付けるために、切断されたペロンの公式を用いる。彼らは、リーマン仮説（RH）および一般化リーマン仮説（GRH）を仮定した上で、$\zeta(s)$ および $L(s, \chi)$ の零点から生じる誤差項を抑え、留数項（主要な寄与）を孤立させるために、慎重に輪郭を移動させる。
• ランダム行列理論の類似性： 本論文は、ユニタリ群 $U(N)$ 上の特性多項式の対数微分の平均に関する既知のRMTの結果を利用している。具体的には、トレース和の分散を、ユニタリ行列積分 $\delta_k(c)$（ここで $c$ は全トレース次数と行列サイズの比）に関連付けている。
• 輪 इंटीग्रの分解： 複雑な多重輪郭積分（モーメントの予想から生じる）を、特定の極の構成に対する和へと分解することに、技術的な作業の大部分が割かれている。補題 2.6、2.7、および 2.8 は、これらの積分を対称化、非対称化、および境界付けるために使用され、主要な項を孤立させている。

主要な貢献と結果

1. モーメントと分散の間の微分関係：
   中心的な結果は、$\Lambda^{*k}$ の短区間分散の主要係数が、対応する長いディリクレ多項式の平均二乗の主要係数の微分であることの証明である。

   • $M_k(\alpha)$ を、カットオフ $N = T^\alpha$ を持つ $(\zeta'/\zeta)^k$ の切断された級数の平均二乗の主要係数とする。
   • $D_k(\alpha)$ を、区間長 $H = X^{1-1/\alpha}$ を持つ $\Lambda^{*k}$ の短区間和の分散の主要係数とする。
   • 予想1およびRHの下で、著者らは $D_k(\alpha) = M_k'(\alpha)$ であることを証明している。これは、ベッティンとコンレイによって確立された、約数関数 $d_k(n)$ に関する既知の結果を反映している。

2. 多項式 $P_{r,k}(\alpha)$ による明示的な公式：
   著者らは、$M_k(\alpha)$ の明示的な区分的多項式形式を導出している（定理 2.2 および定理 2.5）：
   $$M_k(\alpha) = \frac{1}{k!^2} \sum_{0 \le r < \alpha} \binom{k}{r}^2 P_{r,k}(\alpha)$$
   ここで、$P_{r,k}(\alpha)$ は $2k$ 重輪郭積分を通じて定義される。したがって、分散係数は次のように与えられる：
   $$D_k(\alpha) = \delta_k(\alpha) = \frac{1}{k!^2} \sum_{0 \le r < \alpha} \binom{k}{r}^2 P'_{r,k}(\alpha)$$
   関数 $M_k(\alpha)$ は、整数値 $\alpha = r$ において $2r^2 - 1$ 回連続微分可能であることが示されている。

3. 等差数列：
   GRHおよび予想2の下で、本論文は、等差数列における $\Lambda^{*k}$ の分散の主要係数 $Q_k(\alpha)$ が、短区間分散係数と同一であることを確立している：
   $$Q_k(\alpha) = \delta_k(\alpha)$$
   この結果は、示された予想の下で $k \ge 4$ に対して成立し、より強い誤差減衰が仮定される場合には $k=1,2,3$ へも拡張できる可能性がある。

4. 関数体の対応：
   本論文は、整数の統計量に対する予測された主要係数を、関数体モデル（具体的には Kuperberg と Lalín の研究）から導かれたユニタリ・トレース和の平均 $\delta_k(c)$ と一致させることで、それらを回収している。これにより、「ユニタリ・トレース和の平均」が、$\mathbb{F}_q[T]$ 上の単項式に対する $\Lambda^{*k}$ の和の分散、および（予想の下での）整数上の分散を支配していることが確認される。

意義と主張
本論文は、$L$ 関数の対数微分のモーメントと、短区間および等差数列における準素数の統計の分散を結びつける統一的な枠組みを提供すると主張している。

• 著者らは、$(\zeta'/\zeta)^k$ の係数の和の分散が、平均二乗モーメントの微分によって支配されるというヘウリスティックを検証しており、これは約数和に関する先行研究を拡張するものである。
• 著者らは、主要係数をランダム行列理論の積分から導かれる区分的多項式として明示的に特定しており、これは $k \ge 2$ においてそのような明示的な記述が利用可能ではなかった文献の空白を埋めるものである。
• 本研究は、「スワップ（swap）」の寄与（有限 $N$ モーメントにおいて研究されている [2]）と、$L$ 関数のモーメントおよび算術的分散の漸近挙動との間の架け橋として機能する。

著者らは、自身の研究結果が、ランダム行列理論によって動機付けられているものの未だ証明されていない、リーマン仮説、一般化リーマン仮説、および特定のシフトされたモーメントに関する予想（予想1および2）に条件付けられていることを維持している。本論文はこれらの予想を証明することを主張しているのではなく、それらを仮定した場合の結果を示すものである。