Averages of diagonal Elliott-Halberstam problem twisted by Möbius function with Sobolev and Hölder-Zygmund weights

技術的要約：ソボレフおよびヘルダー・ジグムント重みを用いたメビウス関数による対角的エリオット・ハルベルスタム問題の平均

問題設定
本論文は、メビウス関数によって捩られた、重み付きの対角的エリオット・ハルベルスタム（EH）予想の平均変種、すなわち $EH_\mu(N^\theta)$ について調査している。古典的な $EH_\mu$ 予想は、メビウス関数によって重み付けされた素数の分布が、算術級数において強い打ち消し合いを示すことを断定しており、これは篩法における「パリティ問題」を克服するために極めて重要である。具体的には、この予想は、$0 < \theta < 1$ に対して、$\Lambda(n)\mu(N-n)$ の実際の分布と、その期待される平均との間の不一致の和が $N/\log(N)^A$ で抑えられることを主張している。

著者は、$EH_\mu(N^\theta)$ を $\theta > 1/2$ で証明することが、古典的なエリオット・ハルベルスタム予想と併せて、十分大きな偶整数に対する二元ゴールドバッハ予想を導くことを指摘している。しかし、元の定式化は範囲 $y \le N$ における最大値を含んでおり、これが解析を複雑にしている。本論文では、この問題の「対角的」なバージョン、すなわち $n \equiv N \pmod q$ （実質的に $y=N$ と設定し、最大値の操作を除去したもの）として定義される $dEH_{\mu, \log}(N^\theta)$ に焦点を当てる。主な目的は、重み $f$ が特定の関数空間に属する場合の、この対角的捩れ和の重み付き平均に対する上界を確立することであり、それによって予想される境界との整合性を示すことである。

手法
核心となる手法的な革新は、重み付き平均に含まれる算術関数を「デカップリング（分離）」するための、二次元アベル総和公式の適用である。著者は、重み関数の正則性に応じて、以下の2つの異なるアプローチを用いている。

1. 連続的なケース（ソボレフ空間）： 重みがソボレフ空間 $W^{2,1}$ に属する $f$ である場合、著者は連続的な二次元アベル総和公式（定理8）を用いる。この恒等式は、2つの算術関数の畳み込みの重み付き平均を、それらの非重み付きの陽的な公式のラプラス畳み込みに関連付けるものである。これにより、フォン・マンゴルト関数 $\Lambda(n)$ とメルテンス関数 $M(n)$ の陽的な公式（リーマンゼータ関数の非自明な零点に関する和を含む）を、積分表示の中に直接代入することが可能となる。

2. 離散的なケース（ヘルダー・ジグムント空間）： より低い正則性を持つ重み、具体的にはヘルダー・ジグムンド空間 $C_\delta$ ($1 \le \delta < 2$) に属する重みの場合は、離散版のアベル総和公式（定理9）を用いる。このアプローチでは、重みの二階微分を二階前方差分 $\Delta^2_{1/N} f$ に置き換える。この転換により、解析はヘルダー・ジグムンド空間の性質、すなわちこれらの有限差分の増大を制御する性質に依拠することが可能となる。

主要な仮定
結果は、解析的数論におけるいくつかの標準的または予想的な仮説に基づいている。

• 一般化リーマン予想 (GRH): 関連する $L$ 関数に対するもの。
• ゴネック・ヘジャル予想（弱バージョン）: 具体的には、$\sum_{0<\gamma \le T} |\zeta'(\rho)|^{-2} \ll T$ を主張する予想19である。これは、リーマンゼータ関数およびディリクレ $L$ 関数の非自明な零点に関する二重級数の絶対収束を保証するために用いられる。
• 零点の単純性: 解析は、$\zeta(s)$ の非自明な零点が単純であることを仮定している。

主要な貢献と結果

1. 対角的予想への還元: 本論文はまず（第2節）、対角的予想 $dEH_{\mu, \log}$ が二元ゴールドバッハ予想を証明するのに十分であることを示し、この特定の変種の研究を正当化している。

2. 重み付き平均の陽的な公式:

   • ソボレフ重み ($W^{2,1}$): 定理21は、$f \in W^{2,1}$ である重みを含む重み付き平均の、打ち切られた陽的な公式を与える。主項は、ガンマ関数と $f''$ の積分によって重み付けされた、$\zeta(s)$ と $L(s, \chi)$ の非自明な零点に関する二重和として表現される。
   • ヘルダー・ジグムント重み ($C_\delta$): 定理23は、$C_\delta$ に属する重みに対して同様の陽的な公式を提供する。ここでの $f''$ を含む積分は、$f$ の二階前方差分を含む和に置き換えられる。

3. 重み付き平均の上界:

   • ソボレフの場合: GRH および弱ゴネック・ヘジャル予想の下で、定理22は、$W^{2,1}$ に属する重みに対し、対角的捩れ EH 問題の重み付き平均が $\ll_\varepsilon N^{2-\varepsilon} E(f'')$ という境界を満たすことを確立する（具体的には $\theta = 1-2\varepsilon$）。
   • ヘルダー・ジグムントの場合: 定理24は、これらの結果を $C_\delta$ の重みに拡張する。達成可能な $\theta$ の範囲は、正則性パラメータ $\delta$ に依存する：
     • $\delta \in [3/2, 2)$ の場合、境界は $\theta < \delta - 1 - 2\varepsilon$ で成立する。
     • $\delta \in [1, 3/2)$ の場合、境界は $\theta < 1/2 - 2\varepsilon$ で成立する。
   • 対数重み: 第5節では、メビウス関数が $\log(n)$ によって重み付けされたケース、すなわち $\mu(n)\log(n)$ のケースへこれらの結果を拡張し、同様の境界（定理26および28）を示す。

4. 例: 第6節では、これらの一般的な定理を、古典的なチェザロ・リエス重み（$k>1$ でソボレフクラスに属する）や、特定のジグムンド型重み $f_{Zyg}(x) = (1-x)\sin(\log(1-x))$ などの具体的な重み関数に適用し、ヘルダー・ジグムント・フレームワークの適用可能性を示している。

意義と主張
本論文は、対角的捩れエリオット・ハルベルスタム問題の重み付き平均に対して、一貫した上界を提供することを主張している。主要な意義は、GRH および弱形式のゴネック・ヘジャル予想を仮定した場合に、これらの境界が「対角的バージョン」（$y=N$ の場合）の予想と整合していることを示すことにある。

著者は、本手法が様々な正則性を持つ重みをうまく扱うことができることを強調している。離散アベル総和公式を利用することで、本論文は滑らかなソボレフ重みを越えて、より広いヘルダー・ジグムンド関数のクラスへと解析を拡張している。結果は、「対角的」な定式化は、最大値 $y$ に関する操作という点では弱くなるものの、重みが十分に正則である（あるいは正則性の閾値 $\theta$ が適切に調整されている）限り、予想される打ち消し合いを得るために必要な強さを保持していることを示唆している。本研究は、完全なエリオット・ハルベルスタム予想やゴールドバッチ予想を無条件に証明することを目的とするものではなく、標準的な解析的仮説の下での、重み付き平均の変種の妥当性を確立するものである。