On the Hardy--Littlewood--Chowla conjecture

技术摘要：论 Hardy–Littlewood–Chowla 猜想

问题陈述
本文探讨了 Hardy–Littlewood–Chowla 猜想，这是一个结合了素数的加法结构与 Möbius 函数 $\mu(n)$ 乘法结构的混合问题。作者证明了当 Möbius 函数在平移素数处求值时的情形。该猜想断言，对于不同的整数 $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$，这对应于平移素数上 Möbius 函数的抵消问题：
$$\sum_{p \le x} \mu(p+2) = o(\pi(x)).$$
该问题被指出是一个“民间猜想”（folklore conjecture），也是筛法中奇偶性问题（parity problem）的一个著名的模型案例。Tao 与 Teräväinen (2022) 在假设存在 Siegel 零点的情况下建立了渐近关系，而 Lichtman 与 Teräväinen 则提供了平均结果。本文为特定的平移量 $h_1=2$ 提供了无条件证明。

方法论
证明采用了复杂的解析数论技术组合，主要围绕用于分解冯·芒戈尔特函数 $\Lambda(n)$ 的 Vaughan 恒等式以及用于处理奇偶性问题的辅助权重。

1. Vaughan 分解： 作者将涉及 $\Lambda(n)$ 的和分解为 I 型（Type I）和 II 型（Type II）和（命题 2.1）。

   • I 型和： 这些涉及其中一个变量较小的和。作者证明了这些和在由辅助函数 $W(n)$ 加权后是微不足道的（命题 3.1）。这依赖于关于 Möbius 函数的 Bombieri–Vinogradov 型定理以及对除数和的仔细截断。
   • II 型和： 这些是涉及两个大变量的双线性形式。这是核心难点。作者展开辅助权重 $W(n)$（通过特定二进区间内的素数乘积定义），并应用 Cauchy 不等式。

2. 辅助权重与状态空间： 为了克服奇偶性障碍，作者引入了由位于区间 $(\exp(L^{a_i}), \exp(2L^{a_i}))$ 内的不相交素集 $P_i$ 构造的辅助权重 $W(n)$。这些权重旨在具有特定的模素数分布性质。

3. 算子理论方法（II 型估计）：

   • II 型和被简化为估计一个涉及行列式条件 $bmn - ars = 2(a-b)$ 的二次型。
   • 作者将这一算术条件编码到整数向量和素数列表的状态空间中。他们定义了作用在该空间上的算子（$G_j, E_j$），代表状态之间的转换（添加/移除素因子）。
   • 奇偶共轭性（Parity Conjugacy）： 一个关键步骤（命题 4.3）涉及一个线性映射 $T$，它将问题从一个涉及 $-2(b-a)$ 的“脏”条件转化为一个涉及 $b-a$ 的“净”条件。这使得可以在变换后的定义域上使用大弧分析（major arc analysis）。
   • 根平均（Root Averaging）： 作者对“根”（定义状态空间的参数）进行平均，并将算术条件替换为有限域上的积分（命题 4.4）。这把问题简化为估计辅助算子的矩（moments）。
   • 矩界限： 通过构造一系列算子并证明“脏”边（即素数列表以特定方式重叠的边）具有较小的范数，他们表明总矩被限制在 $L^{-2R E_0}$ 以内（命题 4.5）。这依赖于素数选择的互异性以及算子范数的快速衰减。

4. 大弧分析： 大弧贡献使用特征函数–梅林估计（character–Mellin estimates）（命题 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+2$ 是无平方因子数）的素数 $p$ 中，值 $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 的平移素数的 Hardy–Littlewood–Chowla 猜想。其意义在于：

1. 无条件证明： 不同于以往依赖于 Siegel 零点存在的局部结果，本证明是无条件的。
2. 奇偶性问题： 该结果被描述为筛法中奇偶性问题的一个著名模型案例。辅助权重法与算子理论框架相结合的应用，展示了一种处理加法设定下乘法相关性的强大新方法。
3. 符号分布： 本文首次证明了在平移素数集合（其中 $\mu$ 非零）上，Möbius 函数正负号出现的频率相等，这回应了与 Sarnak 问题 5.2（最初针对 Liouville 函数提出）相关的问题。

作者出于简化处理及其与孪生素数猜想的联系，将主要定理限制在平移量 $h_1=2$ 的情形。作者指出，该方法是为这一特定情况量身定制的，并未声称在无需进一步发展的情况下将其推广到任意平移量或更高的 $k, \ell$。