Tao, Terence A quantitative ergodic theory proof of Szemerédi’s theorem. (English) Zbl 1127.11011 Electron. J. Comb. 13, No. 1, Research paper R99, 49 p. (2006). The paper starts with a short discussion of some main ideas on which the known proofs of Szemerédi’s theorem on arithmetic progressions of length \(k\) are based (the combinatorial ones, proofs using ergodic theory, Gowers’ proof using Fourier theory and the proof based on the hypergraph regularity lemma). This can be not only useful for an interested beginner in the subject, but also explains the author’s motivation for a new ergodic proof of Szemerédi’s \(k\)-term arithmetic subprogressions theorem given in the paper. The proof does not depend on the axiom of choice, nor on an infinite set of measures, the use of Fourier transform or inverse theorems of additive combinatorics. The author characterizes the proof as a “finitary” and “quantitative” version of the ergodic Furstenberg proof. The reading of the paper does not require familiarity with other proofs, but the author discusses on many places their relationship to the presented one. The proof also implies explicit quantitative bounds, though very poor. Reviewer: Štefan Porubský (Praha) Cited in 15 Documents MSC: 11B25 Arithmetic progressions 05C75 Structural characterization of families of graphs 37A45 Relations of ergodic theory with number theory and harmonic analysis (MSC2010) 37B20 Notions of recurrence and recurrent behavior in topological dynamical systems Keywords:van der Waerden theorem; Szemerédi theorem; Furstenberg ergodic proof; Gowers proof; Fourier analysis; ergodig theory; inverse theory; hypergraph regularity lemma; van der Corput lemma; generalized von Neumann theorem; Gowers norms; Gowers uniform functions; uniformity norms; almost periodic functions PDFBibTeX XMLCite \textit{T. Tao}, Electron. J. Comb. 13, No. 1, Research paper R99, 49 p. (2006; Zbl 1127.11011) Full Text: arXiv EuDML EMIS