[논문 리뷰] The primes contain arbitrarily long arithmetic progressions

Ben Green, Terence Tao|ArXiv.org|2004. 04. 08.

Limits and Structures in Graph Theory참고 문헌 24인용 수 35

한 줄 요약

이 논문은 소수의 집합이 임의로 긴 등차수열을 포함함을 증명하여 수론에서 오랫동안 남아있던 추측을 해결한다. 밀도가 높은 집합에 관한 Szemerédi의 정리와, 이러한 결과를 허위난수 측도로 확장하는 데 새로운 전환 원리(transfer principle)를 결합하고, Goldston-Yıldırım의 결과를 활용하여 소수를 거의 소수의 허위난수 측도 안에 매립함으로써, 소수의 양의 상대 밀도를 갖는 임의의 부분집합이 임의로 긴 등차수열을 포함함을 입증한다.

ABSTRACT

We prove that there are arbitrarily long arithmetic progressions of primes. There are three major ingredients. The first is Szemeredi's theorem, which asserts that any subset of the integers of positive density contains progressions of arbitrary length. The second, which is the main new ingredient of this paper, is a certain transference principle. This allows us to deduce from Szemeredi's theorem that any subset of a sufficiently pseudorandom set of positive relative density contains progressions of arbitrary length. The third ingredient is a recent result of Goldston and Yildirim. Using this, one may place the primes inside a pseudorandom set of ``almost primes'' with positive relative density.

연구 동기 및 목표

• 소수가 임의로 긴 등차수열을 포함한다는 고전적 추측을 해결하기 위해.
• 원래 정수 집합의 밀도가 높은 부분집합에 대해 성립하는 Szemerédi의 정리를, 소수의 양의 상대 밀도를 갖는 부분집합으로 확장하기 위해.
• 밀도가 높은 집합에서의 Szemerédi 유형 결과를 허위난수 측도에서 상대 밀도가 양수인 흩어진 집합에 적용할 수 있도록 해주는 전이 원리(transfer principle)를 개발하기 위해.
• Goldston과 Yıldırım의 결과를 활용하여 소수를 상대 밀도가 양수인 거의 소수의 허위난수 측도에 매립시키기 위해.
• 소수의 양의 상대 상한 밀도를 갖는 임의의 부분집합이 모든 k에 대해 임의로 긴 길이의 등차수열을 포함함을 입증하기 위해.

제안 방법

• 양의 상대 밀도를 갖는 허위난수 정수 집합에 Szemerédi의 정리를 적용하여 장기 등차수열의 존재를 보장하기 위해.
• 밀도가 높은 집합에서의 Szemerédi 유형 결과를 허위난수 측도에서 상대 밀도가 양수인 흩어진 집합으로 전이할 수 있도록 해주는 전이 원리를 도입하기 위해.
• Goldston-Yıldırım 정리를 사용하여 소수를 상대 밀도가 양수인 거의 소수에 집중된 허위난수 측도에 매립하기 위해.
• 정수 위에 정의된 허위난수 측도를 구성하여 소수의 상대 밀도가 양수임을 보장하고, 전이 원리의 적용을 가능하게 하기 위해.
• 메인 추정치의 오차 항에 포함된 리만 제타 함수와 관련된 핵심 적분을 추정하기 위해 복소해석학 및 경로적분 기법을 활용하기 위해.
• 다변수 복소 적분에서 변수의 수에 대한 귀납법을 사용하여 로그 항의 거듭제곱을 포함하는 점근 전개를 유도하기 위해.

실험 결과

연구 질문

• RQ1 밀도가 높은 집합에서의 Szemerédi의 정리—장기 등차수열에 관한 것—을 소수와 같은 흩어진 집합으로 확장할 수 있는가?
• RQ2 허위난수 측도에서 상대 밀도가 양수인 흩어진 집합으로 전이할 수 있는 일반적인 전이 원리가 존재하는가?
• RQ3 소수는 상대 밀도가 양수인 거의 소수의 허위난수 측도 안에 매립될 수 있는가?
• RQ4 소수의 양의 상대 상한 밀도를 갖는 모든 부분집합은 임의로 긴 길이의 등차수열을 포함하는가?
• RQ5 소수 내에서 k항 등차수열의 수에 대한 하한의 정량적 강도는 무엇인가?

주요 결과

• 소수는 임의로 긴 등차수열을 포함함을 확인하여 수론에서 고전적인 추측을 해결한다.
• 소수의 양의 상대 상한 밀도를 갖는 임의의 부분집합은 모든 k에 대해 무한히 많은 길이 k의 등차수열을 포함한다.
• 주요 결과는 Szemerédi의 정리를 허위난수 측도로 옮기는 데 사용된 전이 원리를 통해 확립된다.
• Goldston-Yıldırım 결과를 활용하여 소수를 거의 소수의 허위난수 측도에 매립함으로써 전이 원리의 적용이 가능해진다.
• 이 방법은 소수 내 k항 등차수열의 수에 대해 (γ(k) + o(1))N²/logᵏN 형태의 하한을 도출한다. 여기서 γ(k) > 0이다.
• 증명은 오차 항을 제어하기 위해 복소해석학과 경로적분을 활용하며, 오차 항의 경향은 exp(−δ√log R) 형태로 감소한다. 여기서 δ > 0이다.