On a conjecture on Romanoff type sumsets

关于 Romanoff 型和集的猜想之技术摘要

问题陈述
本文探讨了关于 Romanoff 型和集结构的 Y.-G. Chen 猜想。设 $R$ 为可表示为素数与 2 的幂之和（$p + 2^m$）的奇整数集合。Romanoff 定理（1934年）确立了 $R$ 具有正下密度。相反，van der Corput 和 Erdős 表明补集 $N = \mathbb{N}_{odd} \setminus R$ 是无限的，且包含算术级数。

具体问题涉及集合 $R_A$，其定义为素数与由具有一般指数的 2 的幂生成的集合 $A$ 的和集：
$$A = \left\{ 2^{\lfloor m_1 r_1 \rfloor} + \dots + 2^{\lfloor m_t r_t \rfloor} : m_i \in \mathbb{N} \right\}$$
$$R_A = P + A = \{ p + a : p \in P, a \in A \}$$
其中 $r_1, \dots, r_t \ge 1$ 是满足 $\sum_{i=1}^t r_i^{-1} \ge 1$ 的正数。

Chen 猜想 1.1 指出，如果指数为满足该和条件的正整数，则交集 $R_A \cap (R_A + 2)$（即使得 $n$ 和 $n+2$ 均在 $R_A$ 中的奇数 $n$ 的集合）具有正下渐近密度。虽然已知 $R_A$ 是“大”的，但证明其包含无穷多对差值为 2 的整数（特别是此类对具有正密度）仍然非常困难。作者指出，即使是无条件地证明该集合包含无穷多个此类对，目前也是难以实现的。

方法论
作者采用了条件证明法，假设了一个“弱一致 Hardy-Littlewood 猜想”（猜想 1.2）。该猜想断言了素数对 $(p, p+h)$ 在 $h \le x^\delta$ 时的统一下界。

本文的核心技术贡献是推广了 Erdős 关于 Romanoff 型表示函数 $k$ 阶矩的一个 1950 年的结果。

1. 矩的推广： 作者定义了 $f_A(n)$ 为奇整数 $n$ 表示为 $p + a$（其中 $a \in A$）的次数。他们证明了定理 2.2，建立了 $k$ 阶矩的上界：
   $$\sum_{n \le x} f_A(n)^k \ll x (\log x)^{k(\sum r_i^{-1} - 1)}$$
   这通过将 Erdős 的结果（涵盖 $A = \{2^m\}$ 且 $k$ 为固定值的情况）推广到了 $A$ 为广义 2 的幂之和且指数 $r_i$ 可能为实数的情况。
2. 解析工具： 矩上界的证明利用了：
   • 归纳法（针对 $k$）。
   • 筛法（特别是引理 3.2），用于估计满足线性约束的素数元组的数量。
   • 利用指数对（exponent pairs）和 2 模 $d$ 的阶（记作 $e_2(d)$）的性质，来估计 $2^{\lfloor m r \rfloor}$ 模 $d$ 的分布。
   • 扩展 Erdős、Turán 和 Chen 结果的引理，以处理非整数指数和特定的同余分布。
3. Cauchy-Schwarz 参数： 为了证明主定理，作者对和 $\sum f_A(n)f_A(n+2)$ 两次应用了 Cauchy-Schwarz 不等式。这建立了 $R_A \cap (R_A + 2)$ 的大小与表示函数的四阶矩以及 $n$ 与 $n+2$ 的表示之间的相关性。

主要结果

• 定理 1.1： 在弱一致 Hardy-Littlewood 猜想的假设下，集合 $R_A \cap (R_A + 2)$ 具有正下渐近密度。这对于满足 $\sum r_i^{-1} \ge 1$ 的正实数 $r_i \ge 1$ 均成立，这比 Chen 最初要求指数为整数的条件更为广泛。
• 定理 2.2： 给出了表示函数 $f_A(n)$ 的 $k$ 阶矩的广义上界，这是证明的主要技术引擎。
• 引理 2.1： 给出了允许实数指数的计数函数 $A(x)$ 的下界，显示 $A(x) \gg (\log x)^{\sum r_i^{-1}}$。

意义与主张
本文声称提供了 Chen 猜想的“条件证明”。作者强调，他们的结果通过允许指数 $r_i$ 为实数而非仅限于整数，覆盖了比原猜想更广泛的参数范围。

作者对该问题的无条件状态持谨慎态度。他们明确表示，目前还不知道如何无条件地证明 $R_A \cap (R_A + 2)$ 包含无穷多个奇数。他们将这项工作定位为解决该猜想的一步，即通过展示在标准猜想（Hardy-Littlewood）下，该集合不仅是无穷的，而且具有正密度。

论文最后强调了无条件情况的难度，提出了问题 1：即如何无条件地证明此类对的数量增长速度快于 $x / \log x$。作者认为，他们的条件性结果是一个必要的步骤，它将难点从和集的加法结构中分离出来，并将其聚焦于素数对的分布问题上。