[论文解读] Linear Equations in Primes

Ben Green, Terence Tao|ArXiv.org|Jun 4, 2006

Analytic Number Theory Research参考文献 24被引用 10

一句话总结

该论文在反向 Gowers-范数猜想和 Möbius-尼尔序列猜想的假设下，为凸体中所有变量均为素数的线性方程组的整数解数量建立了条件性渐近公式。主要贡献在于，对非退化的仿射线性型系统，给出了广义 Hardy-Littlewood 猜想的一般性解法，且对复杂度 s ≤ 2 的情形得出了无条件结果，包括四元素数等差数列。

ABSTRACT

Consider a system Ψof non-constant affine-linear forms ψ_1,...,ψ_t: Z^d -> Z, no two of which are linearly dependent. Let N be a large integer, and let K be a convex subset of [-N,N]^d. A famous and difficult open conjecture of Hardy and Littlewood predicts an asymptotic, as N -> \infty, for the number of integer points n in K for which the integers ψ_1(n),...,ψ_t(n) are simultaneously prime. This implies many other well-known conjectures, such as the Hardy-Littlewood prime tuples conjecture, the twin prime conjecture, and the (weak) Goldbach conjecture. In this paper we (conditionally) verify this asymptotic under the assumption that no two of the affine-linear forms ψ_1,...,ψ_t are affinely related; this excludes the important ``binary'' cases such as the twin prime or Goldbach conjectures, but does allow one to count ``non-degenerate'' configurations such as arithmetic progressions. Our result assumes two families of conjectures, which we term the Inverse Gowers-norm conjecture GI(s) and the Mobius and Nilsequences Conjecture MN(s), where s \in {1,2,...} is the complexity of the system and measures the extent to which the forms ψ_i depend on each other. For s = 1 these are essentially classical, and the authors recently resolved the cases s = 2. Our results are therefore unconditional in the case s = 2, and in particular we can obtain the expected asymptotics for the number of 4-term progressions p_1 < p_2 < p_3 < p_4 <= N of primes, and more generally for any (non-degenerate) problem involving two linear equations in four prime unknowns.

研究动机与目标

• 为凸体中所有仿射线性型均取素数值的整数点数量建立渐近公式。
• 解决非退化情形下素数上线性方程组的广义 Hardy-Littlewood 猜想，排除孪生素数等退化情形。
• 证明 Gowers 范数与 Möbius 正交性猜想可推出非退化系统的期望渐近计数。
• 为复杂度 s ≤ 2 的系统提供无条件结果，包括四元素数等差数列。
• 建立一个将筛法理论、尼尔序列分析与 Gowers 一致性的框架，用于计数线性系统中的素数解。

提出的方法

• 使用 W-技巧消除小素数因子，并对 von Mangoldt 函数进行正则化。
• 应用包络筛法，将 von Mangoldt 函数主要化为一个伪随机测度。
• 通过广义 von Neumann 定理，将主要计数问题转化为 Gowers 范数估计。
• 建立转移原理，将一致范数与尼尔序列相关性联系起来。
• 利用 Gowers-范数的反向猜想，将具有大 Gowers 范数的函数表征为与尼尔序列相关。
• 证明 Möbius 函数与 s 步尼尔序列正交，以消除伪随机误差项。

实验结果

研究问题

• RQ1 当定义域大小增加时，仿射线性方程组在素数上的整数解数量在何种条件下渐近增长？
• RQ2 广义 Hardy-Littlewood 猜想如何可约化为 Gowers 范数与 Möbius 正交性猜想？
• RQ3 尼尔序列在控制素数在线性构型中分布方面起何作用？
• RQ4 反向 Gowers-范数猜想与 Möbius-尼尔序列猜想如何共同推出素数解的渐近公式？
• RQ5 复杂度 s ≤ 2 的系统有哪些无条件结果？

主要发现

• 该论文在反向 Gowers-范数与 Möbius-尼尔序列猜想的假设下，为素数上线性方程组的解数量建立了条件性渐近公式。
• 对于复杂度 s ≤ 2 的系统，结果为无条件的，包括四元素数等差数列的渐近计数。
• 渐近公式通过从 Gowers 一致性到尼尔序列相关性的转移推导得出，依赖于 Gowers 范数的反向猜想。
• 证明了 Möbius 函数与 s 步尼尔序列正交，这是消除伪随机误差项的关键步骤。
• 该框架适用于任意非退化的四元或更多素数未知数的线性方程组，所有变量被约束在凸体中。
• 结果推广了算术级数中的素数定理，并蕴含存在无穷多个非退化素数构型。