Joint distribution of primes in multiple short intervals

技術要約：複数の短区間における素数の結合分布

問題設定
本論文は、複数の短区間における重み付き素数計数 $\psi(x)$ の統計的挙動を調査している。素数定理は素数の平均密度を確立しているが、短区間における $\psi(x+H) - \psi(x)$ の変動は精力的な研究対象となってきた。MontgomeryとSoundararajanによる先行研究では、$H \to \infty$ かつ $\log H / \log N \to 0$ となる区間の長さ $H$ において、その分布は漸近的に正規分布に従うことが示されている。しかし、複数の 離れた短区間における素数の結合分布、特に「乗法的」な区間（すなわち、区間の長さが位置 $x$ に比例する $h = \delta x$ の場合）における相関関係については、これまであまり探索されてこなかった。

取り組まれている中心的な問いは以下の通りである：

1. $X \to \infty$ としたとき、$r$ 個の互いに素な短区間における重み付き素数計数の結合極限分布はどうなるか？
2. これらの計数はどのように相関しているか？
3. これらの相関は、シャンクス–レニ（Shanks–Rényi）の算術級数における素数レースと同様に、「素数レース」（複数の区間間での素数計数の比較）においてバイアスを誘発するか？

手法
著者は、フーリエ解析的手法を採用し、RubinsteinとSarnakによって開発された手法（元々は算術級数における素数のためのもの）を短区間の設定へと適応させている。核となる仮定は、リーマン仮説（RH）および、リーマンゼータ関数の非自明な零点の正の虚部に関する線形独立性（LI）予想である。

主要な手法ステップは以下の通りである：

• 明示公式（Explicit Formula）： 明示公式を利用して、素数計数関数 $\psi(x)$ をゼータ関数の零点 $\rho = 1/2 + i\gamma$ に関連付ける。
• ランダムモデルの構築： RHおよびLIの下で、正規化された素数計数の偏差は、特定の関数 $w(\rho)$ によって重み付けされ、単位円上に一様に分布する独立な乱数 $U_\gamma$ によって乗じられた、零点の和を含むランダムベクトル $X_{\delta, t}$ としてモデル化される。
• 対数密度（Logarithmic Density）： 分布は、乗法的区間に自然な対数密度（$\frac{1}{\log X} \int_2^X \dots \frac{dx}{x}$）に関して分析される。
• 特性関数（Characteristic Functions）： 証名は、極限測度のフーリエ変換を分析することに大きく依存している。著者は、この変換を表すベッセル関数 ($J_0$) の無限積を導出する。
• 漸近解析： 共分散行列を推定し、フーリエ反転公式の誤差項を制御することにより、多変量ガウス分布への収束を証明する。この解析には、リーマン・フォン・マンゴルトの公式や、区間間の反発を記述する関数 $\Delta(t)$ の性質を利用した、零点に関する和の精緻な推定が含まれる。

主要な貢献と結果

1. 多変量ガウス分布：
   本論文は、RHおよびLIの下で、長さ $\delta x$（$\delta$ は $X$ に対して小さいが固定されている）を持つ $r$ 個の互いに素な短区間における重み付き素数計数が、多変量ガuss分布に従うことを証明している。平均はゼロ（正規化後）であり、共分散構造は明示的に決定される。

2. 弱い負の相関：
   主要な発見は、互いに素な短区間における計数は独立ではなく、弱い負の相関を示すことである。パラメータ距離 $|t_j - t_k|$ だけ離れた二つの区間の共分散は、近似的に $-\frac{\Delta(|t_j - t_k|)}{\log(1/\delta)}$ に比例する。関数 $\Delta(t)$ は、大きな $t$ に対して $1/(2t)$ のように振る舞う。これは「クーロン的な」反発を意味しており、ある区間の素数の存在が、隣接する区間の素数の出現可能性をわずかに抑制することを意味している。

3. 素数レースにおける相転移：
   これらの分布結果を「素数レース」（複数の区間における素数計数の順序付け）に適用することで、本論文は鋭い相転移を特定している：

   • 無偏（Unbiased）領域： 区間の数 $r$ が $\log(1/\delta)$ に対して小さい場合（具体的には $r = o\left(\frac{\log(1/\delta)}{\log \log(1/\delta)}\right)$）、レースは漸近的に無偏であり、すべての順序がほぼ等しい確率（$1/r!$）で発生する。
   • 偏り（Biased）領域： $r$ が臨界閾値（おおよそ $\frac{\log(1/\delta)}{\log \log(1/\delta)}$ に比例する）を超えると、バイアスが現れる。本論文は、十分大きな $r$ に対して、他の順序よりも有意に低い確率で発生する順序が存在することを示している。これは、蓄積された負の相関の直接的な帰結である。

4. 定量的線形独立性（QLI）への拡張：
   動的な単一区間において、長さパラメータ $\delta$ が $X \to \infty$ とともにゼロに収束する場合（具体的には $\delta > (\log X)^{-\varepsilon}$）、著者は定量的線形独立性（QLI）予想の定量的定式化を仮定して、中心極限定理を証明している。これにより、定性的LIのみの場合よりも以前に確立されていたものよりも短い区間へと、ガウス分布の妥当性を拡張している。

意義と主張
本論文は、Rubinstein–Sarnakの枠組みを用いて、剰余類ではなく区間の長さに焦点を当てて短区間における素数の分布を扱った最初の研究であると主張している。

• 新規性： 定量的LI定式化の下での動的な単一区間においても、この結果は新しいものである。
• バイアスのメカニズム： 本研究は、短区間における素数レースにおけるバイアスの出現に対して透明な説明を提供しており、それを（共分散行列の特定の構造、すなわち弱い負の相関と、それらが増加するにつれて蓄積される相関によるものとして）帰属させている。
• 鋭さ： 著者は、共分散行列の行列式に対する精密な推定と詳細な相関構造により、導出された相転移の臨界閾値が、シャンクス–レニのレースにおける従来の結果よりも鋭いものであると述べている。
• 限界： 著者は、使用したBerry–Esseen型の議論が、区間の数 $r$ に対する制限を課していること（$r$ が $\delta^{-1}$ の完全な累乗に達することを防いでいる）を認めている。著者は、スタインの方法（Stein's method）やリンデベルグ型の方法を用いれば、この範囲を拡張できる可能性があると示唆しているが、現在のフーリエ解析的手法は、全変動距離に関するタイトな境界を確立するために選択されたものである。

要約すると、本論文は複数の短区間における素数のための厳密な確率論的枠組みを確立し、区間間の微細な反発力が、無偏な挙動から偏った挙動への相転移を引き起こすことを明らかにしている。