On the Hardy--Littlewood--Chowla conjecture

技術的要約：ハーディ・リトルウッド・チョーラ予想について

問題設定
本論文は、素数の加法的構造とメビウス関数 $\mu(n)$ の乗法的構造を組み合わせたハイブリッド問題である、ハーディ・リトルウッド・チョーラ予想を取り扱う。著者らは、メビウス関数がシフトされた素数において評価されるケースを証明している。この予想は、相異なる整数 $h_1, \dots, h_k$ および $a_1, \dots, a_\ell$ に対して、以下の和が成り立つことを主張している：
$$\sum_{n \le x} \mu(n+h_1)\cdots\mu(n+h_k)\Lambda(n+a_1)\cdots\Lambda(n+a_\ell) = (S_{k,\ell} + o(1))x$$
ここで、$k > 0$ のとき $S_{k,\ell} = 0$ である。本論文は、特に $k=1, \ell=1, a_1=0, h_1=2$ の場合、すなわちシフトされた素数におけるメビウス関数の打ち消し、
$$\sum_{p \le x} \mu(p+2) = o(\pi(x))$$
に焦点を当てている。この問題は「フォークロア予想」として知られており、篩法（ふるい法）におけるパリティ問題の典型的なモデルケースである。TaoとTeräväinen (2022) による先行研究では、シーゲル零点の仮定の下で漸近的な挙動が確立されているが、LichtmanとTeräväinenは平均化された結果を提供している。本論文は、特定のシフト $h_1=2$ に対して無条件の証明を与えるものである。

手法
証明には、フォン・マンゴルト関数 $\Lambda(n)$ のヴォーン分解（Vaughan identity decomposition）と、パリティ問題を処理するための補助的な重みの使用を中心とした、解析的数論における高度な手法の組み合わせが用いられている。

1. ヴォーン分解 (Vaughan Decomposition): 著者らは $\Lambda(n)$ を含む和を、Type I 和と Type II 和に分解する（命題 2.1）。

   • Type I Sums: 一方の変数が小さい和である。著者らは、これらの和が補助関数 $W(n)$ によって重み付けされたとき、無視できるほど小さいことを証明する（命題 3.1）。これは、メビウス関数に関するボンベリ・ヴィノグラードス型の定理と、約数和の慎重な切り捨てに基づいている。
   • Type II Sums: 二つの大きな変数を含む双線形形式である。これが核心的な困難である。著者らは補助的重み $W(n)$（特定のダイアディック区間における素数の積によって定義される）を展開し、コーシー＝シュワルツの不等式を適用する。

2. 補助的重みと状態空間 (Auxiliary Weights and State Space): パリティの障害を克服するために、著者らは素数の互いに素な集合 $P_i$ （区間 $(\exp(L^{a_i}), \exp(2L^{a_i}))$ 内）から構成される補助的重み $W(n)$ を導入する。これらの重みは、素数に対する特定の分布特性を持つように設計されている。

3. 作用素論的アプローチ (Type II 推定):

   • Type II 和は、行列式条件 $bmn - ars = 2(a-b)$ を伴う二次形式の推定へと帰着される。
   • 著者らは、この算術的条件を整数ベクトルと素数リストの状態で構成される状態空間へと符号化する。状態間の遷移（素因数の追加/削除）を表す作用素 ($G_j, E_j$) を定義する。
   • パリティ共役性 (Parity Conjugacy): 決定的なステップ（命題 4.3）として、$-2(b-a)$ を含む「汚れた（dirty）」条件から $b-a$ を含む「きれいな（clean）」条件へと問題を変換する線形写像 $T$ がある。これにより、変換された領域上での主要弧（major arc）解析の使用が可能になる。
   • 根の平均化 (Root Averaging): 著者らは「根」（状態空間を定義するパラメータ）について平均化を行い、算術的条件を有限体上の積分に置き換える（命題 4.4）。これにより、問題は補助的作用素のモーメントを抑えることに還元される。
   • モーメント境界 (Moment Bounds): 作用素の列を構成し、「汚れた」エッジ（素数リストが特定の形で重なる箇所）のノルムが小さいことを証明することで、全モーメントが $L^{-2R E_0}$ によって抑えられることを示す（命題 4.5）。これは、素数選択の非重複性と、作用素ノルムの急速な減衰に基づいている。

4. 主要弧解析 (Major Arc Analysis): 主要弧の寄与は、文字・メルテン（character–Mellin）評価（命題 2.2）と、素数上の多項式の大きな値の評価（補題 5.2）を用いて抑えられる。著者らは、主要弧の寄与もまた無視できることを示す（命題 5.3）。

主な貢献と結果

• 定理 1: 著者らは、
  $$\sum_{p \le x} \mu(p+2) = o(\pi(x))$$
  が成立することを無条件に証明した。これは、シフト $h_1=2$ に関する予想を裏付けるものである。

• 定理 2 (符号の分布): 直接的な応用として、本論文は $\mu(p+2)$ の符号の漸近密度を確立する。$A_2 = \prod_{p>2} (1 - \frac{1}{p(p-1)})$ とすると、$\kappa \in \{-1, 1\}$ に対して：
  $$\#\{p \le x : \mu(p+2) = \kappa\} = \left(\frac{A_2}{2} + o(1)\right)\pi(x)$$
  したがって、$\mu(p+2) \neq 0$ である素数 $p$（すなわち $p+2$ が平方フリーである場合）の間で、値 $1$と$-1$は漸近的にそれぞれ$1/2$ の密度で現れる：
  $$\lim_{x \to \infty} \frac{\#\{p \le x : \mu(p+2) = \kappa\}}{\#\{p \le x : \mu^2(p+2) = 1\}} = \frac{1}{2}$$

意義
本論文は、解析的数理論における長年の未解決問題、特にシフト 2 の場合のハーディ・リトルウッド・チョーラ予想を解決したと主張している。その意義は以下の点にある：

1. 無条件の証明: シーゲル零点の存在に依存していた従来の部分的結果とは異なり、本証明は無条件である。
2. パリティ問題: この結果は、篩法のパリティ問題の優れたモデルケースとして記述されている。補助的重み法と作用素論的枠組みの組み合わせによる成功は、加法的設定における乗法的相関を扱うための強力な新しいアプローチを示している。
3. 符号の分布: 本論文は、$\mu(p+2)$ が（非ゼロである範囲で）正負の値を等しい頻度で取ることを初めて証明しており、これは（元々リウヴィル関数に対して提起された）Sarnak の問題 5.2 に関連する問いに答えるものである。

著者らは、簡潔さと双子素数予想との関連性から、主定理をシフト $h_1=2$ に限定している。この手法はこの特定のケースに合わせて調整されたものである。本論文は、さらなる発展なしに、任意のシフトや高次の $k, \ell$ へ結果を一般化することを主張していない。