[论文解读] A quantitative ergodic theory proof of Szemerédi's theorem

Terence Tao|ArXiv.org|May 13, 2004

Limits and Structures in Graph Theory参考文献 35被引用 23

一句话总结

本文使用遍历理论，以一种定量且初等的方法证明了Szemerédi定理，避免使用选择公理、无限测度和傅里叶分析。它为整数稠密集中长度为 $k$ 的等差数列的存在性建立了明确的（尽管效率极低的）定量界，提供了一种自包含的替代方案，取代Furstenberg原始的遍历论证明，通过一种新颖的多色扇形结构归纳法与色彩聚焦技术，实现了有效界。

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.

研究动机与目标

• 提供Furstenberg遍历理论证明Szemerédi定理的定量、自包含版本，避免依赖选择公理和无限测度空间。
• 消除原始遍历证明中对超限归纳法和紧致扩张的依赖，使论证完全初等化。
• 为保证存在长度为 $k$ 的等差数列的集合大小，推导出明确的（尽管非最优的）定量界。
• 证明遍历理论方法可通过一种新颖的多色扇形结构归纳法与色彩聚焦技术，实现有效性和有限性。

提出的方法

• 证明使用对有限集合中多色扇形结构——由多个具有不同颜色的等差数列组成的结构——的次数进行有限归纳。
• 应用色彩聚焦技术，将一组相同颜色的扇形转换为更高次数的扇形，利用代数运算构造新的单色或多彩配置。
• 论证构建了一个递归界 $N_{\text{FAN}}(k-1,m,d)$，用于保证在 $m$ 种颜色的集合中，存在一个单色 $k$-AP 或一个半径为 $k$、次数为 $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 Furstenberg的遍历理论证明Szemerédi定理能否在不依赖选择公理的前提下，实现定量化与有限化？
• RQ2 是否能仅通过初等组合技术，为保证存在 $k$-项等差数列的集合大小推导出明确的界？
• RQ3 多色扇形结构能否用于在有限着色中递归构造单色配置？
• RQ4 如何在有限设定中，用有限的、递归的构造替代遍历理论中的扩张塔？

主要发现

• 本文通过用有限的扇形次数归纳替代超限归纳，建立了一个显式可计算的Szemerédi定理定量界，尽管其增长速度为Ackermann型。
• 证明表明，对于任意 $m$ 种颜色的 $\{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$ 次扇形成为可能，从而在不使用无限构造的情况下成功完成归纳步骤。
• 该方法避免使用傅里叶变换、加法组合论中的逆定理和正则性引理，因此比Gowers的方法更加初等。
• 通过将问题约化为通过色彩聚焦技术实现的van der Waerden定理的有限版本，该证明为 $N_{\text{SZ}}(k,\delta)$ 提供了一个原始递归界，尽管该界并非最优。