[논문 리뷰] A quantitative ergodic theory proof of Szemerédi's theorem

Terence Tao|ArXiv.org|2004. 05. 13.

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

한 줄 요약

이 논문은 초전제적 선택 공리, 무한 측도, 푸리에 분석을 피하면서 에르고딕 이론을 사용하여 쿠메르디의 정리를 정량적이고 초등적으로 증명한다. 정수 집합의 조밀한 부분집합에서 길이 $k$의 등차수열의 존재에 대해 명시적인(비록 매우 열악한) 정량적 경계를 확립하며, 푸르스텐베르크의 원래 에르고딕 증명의 자립적인 대체 증명을 제공한다. 이는 다색 팬에 대한 새로운 귀납법과 색상 집중 기법을 통해 효과적인 경계를 도출한다.

ABSTRACT

A famous theorem of Szemerédi asserts that given any density $0 < δ\leq 1$ and any integer $k \geq 3$, any set of integers with density $δ$ will contain infinitely many proper arithmetic progressions of length $k$. For general $k$ there are essentially four known proofs of this fact; Szemerédi's original combinatorial proof using the Szemerédi regularity lemma and van der Waerden's theorem, Furstenberg's proof using ergodic theory, Gowers' proof using Fourier analysis and the inverse theory of additive combinatorics, and Gowers' more recent proof using a hypergraph regularity lemma. Of these four, the ergodic theory proof is arguably the shortest, but also the least elementary, requiring in particular the use of transfinite induction (and thus the axiom of choice), decomposing a general ergodic system as the weakly mixing extension of a transfinite tower of compact extensions. Here we present a quantitative, self-contained version of this ergodic theory proof, and which is ``elementary'' in the sense that it does not require the axiom of choice, the use of infinite sets or measures, or the use of the Fourier transform or inverse theorems from additive combinatorics. It also gives explicit (but extremely poor) quantitative bounds.

연구 동기 및 목표

• 푸르스텐베르크의 에르고딕 이론적 증명이 초전제적 선택 공리와 무한 측도 공간에 의존하지 않고도 정량적이고 자립적인 형태로 재구성될 수 있도록 하는 것.
• 원래의 에르고딕 증명에서 필요로 하는 초한귀납법과 컴팩트 확장의 필요성을 제거하여 증명을 완전히 초등적으로 만드는 것.
• 길이 $k$의 등차수열을 보장하는 집합의 크기에 대해 명시적인(비록 최적은 아님) 정량적 경계를 도출하는 것.
• 에르고딕 이론적 접근이 다색 팬에 대한 새로운 귀납법과 색상 집중 기법을 통해 효과적이고 유한적으로 재구성될 수 있음을 보여주는 것.

제안 방법

• 유한 집합 내에서 다색 팬의 차수에 대한 유한 귀납법을 사용한다. 다색 팬은 서로 다른 색상으로 칠해진 여러 개의 등차수열로 이루어진 구조이다.
• 색상 집중 기법을 적용하여 동일한 팬의 집합을 고차수 팬으로 전환하며, 대수적 변환을 통해 새로운 단색 또는 다색 구성 요소를 구성한다.
• 단색 $k$-AP 또는 $m$-색상 집합에서 반지름 $k$와 차수 $d$를 가진 다색 팬의 존재를 위한 재귀적 경계 $N_{\text{FAN}}(k-1,m,d)$를 구성한다.
• $N = 4k N_1 N_2$로 정의하며, 여기서 $N_1 = N_{\text{FAN}}(k-1,m,d-1)$ 이고 $N_2 = N_{\text{vdW}}(k-1,m^d N_1^d)$ 이다. 이는 $m$-색상에 대해 $k$-AP 또는 차수 $d$의 팬이 존재함을 보장한다.
• 블록들 사이의 $k-1$-길이 단색 등차수열을 대각선화 유사 기법으로 결합하여 반지름 $k$와 차수 $d$를 가진 새로운 팬을 구성하며, 기저 점과 반사선은 등차수열의 매개변수에서 유도된다.
• 푸리에 변환, 가우스의 역정리, 정규화 렘마를 피하고 오직 조합적 귀납법과 유한 색상화 논증에 의존한다.

실험 결과

연구 질문

• RQ1 푸르스텐베르크의 에르고딕 이론적 증명이 초전제적 선택 공리에 의존하지 않고 정량적이고 무한 구조 없이 유한적으로 재구성될 수 있는가?
• RQ2 오직 초등 조합적 기법만을 사용하여 $k$-항 등차수열을 보장하는 집합의 크기에 대해 명시적인 경계를 도출할 수 있는가?
• RQ3 다색 팬의 구조를 사용하여 유한 색칠에서 단색 구성 요소를 귀납적으로 구성할 수 있는가?
• RQ4 에르고딕 이론의 확장 타워는 어떻게 끝없는 구조 없이, 끝내기적인 재귀적 구성으로 대체될 수 있는가?

주요 결과

• 초한귀납법을 다색 팬의 차수에 대한 유한 귀납법으로 대체함으로써, 쿠메르디의 정리에 대해 명시적으로 계산 가능한 정량적 경계를 확립하였다. 이 경계는 애커만 함수 수준의 성장률을 가진다.
• 모든 $m$-색상 칠하기가 $ olimits\{1,\ldots,N\}$ 에 대해 $N = 4k N_1 N_2$ 이고, $N_1 = N_{\text{FAN}}(k-1,m,d-1)$, $N_2 = N_{\text{vdW}}(k-1,m^d N_1^d)$ 를 만족할 경우, 단색 $k$-항 등차수열 또는 반지름 $k$와 차수 $d$를 가진 다색 팬이 반드시 존재한다.
• 대각선화 기법을 통한 팬의 구성은 $d-1$에서 $d$로의 차수 전이를 가능하게 하여, 유한한 구성 없이도 귀납 단계가 성공할 수 있도록 한다.
• 푸리에 변환, 덧셈조합론의 역정리, 정규화 렘마를 모두 피함으로써, 가우스의 접근보다 더 초등적인 증명을 가능하게 한다.
• 색상 집중 기법을 통해 바르드 바르드의 정리의 유한판으로 문제를 환원함으로써, $N_{\text{SZ}}(k,\delta)$ 에 대해 원시 재귀적 경계를 도출하였다. 이 경계는 최적은 아니지만, 계산 가능하다.