[論文レビュー] Linear Equations in Primes

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

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

ひとこと要約

本稿は、逆Gowersノルムおよびモービウス-ニル数列予想を仮定することで、すべての変数が素数であるような線形方程式系における凸体内の整数解の数について、条件付き漸近公式を確立する。主な貢献は、非退化なアフィン線形形式の系に対する一般化されたハーディー＝リトルウッド予想の一般解であり、複雑度 s ≤ 2 の場合、非条件的結果が得られ、4項素数等差数列が含まれる。

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.

研究の動機と目的

• 凸体内の整数点の数について、アフィン線形形式の系がすべて素数をとる場合の漸近公式を確立すること。
• 双子素数のような退化ケースを除く、素数における線形方程式系の一般化されたハリー＝リトルウッド予想を解明すること。
• Gowersノルムおよびモービウス直交性に関する予想が、非退化系における望ましい漸近的数え上げを示すことの根拠を提供すること。
• 複雑度 s ≤ 2 の系について非条件的結果を提供すること。4項素数等差数列が含まれる。
• 篩法、ニル数列解析、Gowers一様性を結びつける枠組みを構築し、線形系における素数解の数え上げに応用すること。

提案手法

• 小さな素数因子を除去し、von Mangoldt関数を正規化するために W-トリックを用いる。
• von Mangoldt関数を擬似ランダム測度で上から押さえ込むために包摂篩を適用する。
• 一般化されたvon Neumann定理を用いて、主な数え上げ問題をGowersノルム推定に還元する。
• 一様性ノルムとニル数列相関を結びつける転送原理を確立する。
• 逆Gowersノルム予想を用いて、Gowersノルムが大きい関数がニル数列と相関していることを特徴付ける。
• 擬似ランダム誤差項を除去するために、モービウス関数とニル数列の直交性を証明する。

実験結果

リサーチクエスチョン

• RQ1 アフィン線形方程式系の素数における整数解の数が、定義域のサイズが大きくなるにつれて、どのような条件下で漸近的に増加するか？
• RQ2 一般化されたハリー＝リトルウッド予想を、Gowersノルムおよびモービウス直交性に関する予想に還元する方法は何か？
• RQ3 ニル数列は、線形配置における素数の分布を制御するために果たす役割は何か？
• RQ4 逆Gowersノルム予想およびモービウス-ニル数列予想が、素数解の漸近公式をどのように導くか？
• RQ5 複雑度 s ≤ 2 の系について、非条件的結果は何か？

主な発見

• 本稿は、逆Gowersノルムおよびモービウス-ニル数列予想を仮定することで、素数における線形方程式系の解の数について条件付き漸近公式を確立した。
• 複雑度 s ≤ 2 の系については、結果が非条件的であり、4項素数等差数列の漸近的数え上げが含まれる。
• 漸近公式は、Gowers一様性からニル数列相関への転送に依拠しており、Gowersノルムの逆予想に依存する。
• モービウス関数が s 段階のニル数列と直交することを示した。これは、擬似ランダム誤差項を除去するための重要なステップである。
• 本フレームワークは、4つ以上の素数変数を持つ非退化な線形方程式系に適用可能であり、すべての変数が凸体に制限される。
• 結果は、算術進数における素数定理を一般化し、非退化な素数構成が無限に存在することを示唆する。