[논문 리뷰] Linear Equations in Primes

Ben Green, Terence Tao|ArXiv.org|2006. 06. 04.

Analytic Number Theory Research참고 문헌 24인용 수 10

한 줄 요약

이 논문은 역 Gowers-norm 및 Möbius-Nilsequence 추측을 가정할 때, 모든 변수가 소수인 선형방정식계에 대한 볼록체 내 정수해의 수에 대한 조건부 游근 공식을 수립한다. 주요 기여는 비퇴화된 애핀-선형 형식계에 대한 일반화된 Hardy-Littlewood 추측의 일반적 해결이며, 복잡도 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.

연구 동기 및 목표

• 볼록체 내 정수점의 수에 대한 游근 공식을 수립하여, 애핀-선형 형식계가 모두 소수 값을 갖는 경우를 다루는 것.
• 퇴화되지 않은 경우(예: 쌍둥이 소수 제외) 소수에 대한 선형방정식계에 대한 일반화된 Hardy-Littlewood 추측을 해결하는 것.
• Gowers 노름 및 Möbius 수직성 추측이 비퇴화된 시스템에 대해 원하는 游근 계수를 유도함을 증명하는 것.
• 복잡도 s ≤ 2인 시스템에 대해 무조건적인 결과를 제공하는 것, 이는 4항 소수 등차수열 포함.
• 선형 시스템에서 소수 해를 세기 위해 소수체계 이론, 니lse퀀스 분석, Gowers 균일성 간의 연결 프레임워크를 개발하는 것.

제안 방법

• 작은 소수 인수를 제거하고 von Mangoldt 함수를 정규화하기 위해 W-트릭을 사용하는 것.
• von Mangoldt 함수를 허위 랜덤 측도로 상위화하기 위해 봉합 선형체를 적용하는 것.
• 일반화된 von Neumann 정리에 의해 주요 수세기 문제를 Gowers 노름 추정으로 환원하는 것.
• 균일성 노름과 니lse퀀스 상관관계를 연결하기 위한 전이 원리 수립.
• 역 Gowers-노름 추측을 사용하여, 큰 Gowers 노름을 갖는 함수가 니lse퀀스와 상관관계가 있음을 특성화하는 것.
• 허위 랜덤 오차 항을 제거하기 위해 Möbius 함수와 니lse퀀스의 수직성을 증명하는 것.

실험 결과

연구 질문

• RQ1 영역 크기가 증가함에 따라, 소수에 대한 애핀-선형 방정식계의 정수해 수가 游근적으로 증가하는 조건은 무엇인가?
• RQ2 일반화된 Hardy-Littlewood 추측을 Gowers 노름 및 Möbius 수직성 추측으로 환원하는 방법은 무엇인가?
• RQ3 니lse퀀스는 선형 구성에서 소수의 분포를 통제하는 데 어떤 역할을 하는가?
• RQ4 역 Gowers-노름 및 Möbius-Nilsequence 추측이 소수 해에 대한 游근 공식을 어떻게 유도하는가?
• RQ5 복잡도 s ≤ 2인 시스템에 대한 무조건적 결과는 무엇인가?

주요 결과

• 논문은 역 Gowers-노름 및 Möbius-Nilsequence 추측을 가정할 때, 소수에 대한 선형방정식계의 해 수에 대한 조건부 游근 공식을 수립한다.
• 복잡도 s ≤ 2인 시스템에 대해서는 결과가 무조건적이며, 이는 4항 소수 등차수열의 游근 계수 포함.
• 遊근 공식은 Gowers 균일성에서 니lse퀀스 상관관계로의 전이에 기반하며, Gowers 노름의 역 추측에 의존한다.
• Möbius 함수가 s단계 니lse퀀스와 수직임이 입증되었으며, 이는 허위 랜덤 오차 항 제거의 핵심 단계이다.
• 이 프레임워크는 네 개 이상의 소수 미지수를 포함하는 비퇴화된 선형방정식계에 적용 가능하며, 모든 변수는 볼록체에 제약을 받는다.
• 결과는 산술 등차수열에서의 소수 정리의 일반화이며, 비퇴화된 소수 구성이 무한히 존재함을 암시한다.