[논문 리뷰] The dichotomy between structure and randomness, arithmetic progressions, and the primes

Terence Tao|ArXiv.org|2005. 12. 06.

Analytic Number Theory Research참고 문헌 47인용 수 34

한 줄 요약

이 논문은 조합론과 수론에서의 구조성과 난수성의 기본적 이분법을 탐구하며, 이 원리가 숙제디의 정리와 그 소수로의 확장인 그린-타오 정리의 기초가 되는 방식을 보여준다. 고우어스의 균일성 노름과 환류체적 걸러내기와 같은 도구를 사용해 집합을 구조적 성분과 가짜난수 성분으로 분해함으로써, 저자들은 소수가 0 밀도임에도 불구하고 임의의 길이의 등차수열을 포함하고 있음을 입증한다.

ABSTRACT

A famous theorem of Szemerédi asserts that all subsets of the integers with positive upper density will contain arbitrarily long arithmetic progressions. There are many different proofs of this deep theorem, but they are all based on a fundamental dichotomy between structure and randomness, which in turn leads (roughly speaking) to a decomposition of any object into a structured (low-complexity) component and a random (discorrelated) component. Important examples of these types of decompositions include the Furstenberg structure theorem and the Szemerédi regularity lemma. One recent application of this dichotomy is the result of Green and Tao establishing that the prime numbers contain arbitrarily long arithmetic progressions (despite having density zero in the integers). The power of this dichotomy is evidenced by the fact that the Green-Tao theorem requires surprisingly little technology from analytic number theory, relying instead almost exclusively on manifestations of this dichotomy such as Szemerédi's theorem. In this paper we survey various manifestations of this dichotomy in combinatorics, harmonic analysis, ergodic theory, and number theory. As we hope to emphasize here, the underlying themes in these arguments are remarkably similar even though the contexts are radically different.

연구 동기 및 목표

• 산술급수에 관한 깊이 있는 정리들에서의 구조성-난수성 이분법의 역할을 명확히 하기 위해.
• 서로 다른 숙제디의 정리와 그린-타오 정리의 증명들을 통합하는 공통의 개념적 프레임워크를 제공하기 위해.
• 가소성 이론에서의 구조적 성분과 가짜난수 성분을 엄밀하게 분리하고 분석할 수 있는 방법을 보여주기 위해.
• 소수가 희박함에도 불구하고 임의의 길이의 산술급수를 포함하고 있음을 이 이분법을 활용해 보여주기 위해.
• 에르고딕 이론, 푸리에 분석, 초그래프 이론의 방법들을 산술급수의 수를 세는 맥락에서 개념적으로 통합하기 위해.

제안 방법

• 쌍대성과 조건부 기댓값을 이용해 집합을 구조적 성분(저복잡도, 상관관계 있음)과 가짜난수 성분(상관관계 없음, 균일함)으로 분해한다.
• 가짜난수성을 측정하고 산술급수에서의 고차 상관관계를 제어하기 위해 고우어스의 균일성 노름을 적용한다.
• 바르트만 함수를 지배하고 그 $k$-점 상관관계를 제어하기 위해 특별히 골드스턴-이르두르름 유형의 걸러내기를 사용한다.
• 가짜난수 성분이 산술급수의 수에 거의 기여하지 않음을 보여주기 위해 일반화된 바르트만 정리를 적용한다.
• 이중 함수와 $σ$-대수를 통한 연속적인 구조 정리에 의해 구조적 성분이 유한하고 숙제디 유형 정리에 적합하게 유지됨을 보장한다.
• 이 도구들을 조합하여 소수에서의 $k$-항 산술급수의 수가 渐진적으로 양수임을 증명한다. 이는 걸러진 바르트만 함수의 가짜난수성에 기반한다.

실험 결과

연구 질문

• RQ1 구조성과 난수성의 이분법이 숙제디의 정리에 대한 다양한 증명들을 어떻게 통합하는가?
• RQ2 희박한 집합, 예를 들어 소수와 같이 0 밀도임에도 불구하고 임의의 길이의 산술급수를 포함할 수 있는 조건은 무엇인가?
• RQ3 가소성 이론에서 가짜난수성은 어떻게 측정하고 구조적 성분과 분리될 수 있는가?
• RQ4 원주법과 일반화된 바르트만 정리는 소수와 같은 희박한 집합에 대해 어느 정도로 적응될 수 있는가?
• RQ5 고차 균일성 노름과 닐시퀀스는 바르트만 함수의 상관관계 구조를 제어하는 데 어떤 역할을 하는가?

주요 결과

• 소수는 임의의 길이의 산술급수를 포함하고 있으며, 이는 깊은 해석적 수론을 통해 얻어진 것이 아니라, 구조성-난수성 이분법을 활용함으로써 입증된 결과이다.
• 조건부 기댓값을 통한 사영을 통해 바르트만 함수의 구조적 성분은 유한하고, 따라서 숙제디의 정리에 적합하다.
• 일반화된 바르트만 정리에 의해, 가짜난수 성분은 유한한 함수와의 상관관계가 없기 때문에 산술급수의 수에 거의 기여하지 않음을 보였다.
• 골드스턴-이르두르름 걸러내기와 같이 $k$-점 상관관계 제어가 양호한 걸러내기를 사용함으로써 일반화된 바르트만 정리는 희박한 설정에 적응될 수 있다.
• 특히 $k=4$인 경우, 네 소수에서의 선형방정식의 해의 점근적 수를 계산하였으며, 이에 따라 $Λ_{W,b} - 1$ 이 이차적으로 가짜난수성을 띤다.
• 바르트만 함수의 상관관계 추정에서 $Λ_{W,b} - 1$ 을 모방하는 데 모스 부호 함수를 사용함으로써 비노그라드프 타입의 방법을 통해 분석을 단순화시켰다.