Abstract
We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T 1, T 2, …, T d : ℤ ↷ (X, ∑, µ) ([6]), and so, via the Furstenberg correspondence principle introduced in [5], a new proof of the multi-dimensional Szemerédi Theorem. We bypass the careful manipulation of certain towers of factors of a probability-preserving system that underlies the Furstenberg-Katznelson analysis, instead modifying an approach recently developed in [1] to pass to a large extension of our original system in which this analysis greatly simplifies. The proof is then completed using an adaptation of arguments developed by Tao in [13] for his study of an infinitary analog of the hypergraph removal lemma. In a sense, this addresses the difficulty, highlighted by Tao, of establishing a direct connection between his infinitary, probabilistic approach to the hypergraph removal lemma and the infinitary, ergodic-theoretic approach to Szemerédi’s Theorem set in motion by Furstenberg [5].
Similar content being viewed by others
References
T. Austin, On the norm convergence of nonconventional ergodic averages, Ergodic Theory Dynam. Systems, 30 (2009), 321–338.
J.-P. Conze and E. Lesigne, Sur un théorème ergodique pour des mesures diagonales, in Probabilités, Univ. Rennes I, Rennes, 1988, pp. 1–31.
J.-P. Conze and E. Lesigne, Sur un théorème ergodique pour des mesures diagonales, C. R. Acad. Sci. Paris, Sér. I Math. 306 (1988), 491–493.
N. Frantzikinakis and B. Kra, Convergence of multiple ergodic averages for some commuting transformations, Ergodic Theory Dynam. Systems 25 (2005), 799–809.
H. Furstenberg, Ergodic behaviour of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. Analyse Math. 31 (1977), 204–256.
H. Furstenberg and Y. Katznelson, An ergodic Szemerédi Theorem for commuting transformations, J. Analyse Math. 34 (1978), 275–291.
E. Glasner, Ergodic Theory via Joinings, Amer. Math. Soc., Providence, RI, 2003.
W. T. Gowers, Hypergraph regularity and the multidimensional Szemerédi Theorem, Ann. of Math. (2) 166 (2007), 897–946.
B. Host, Ergodic seminorms for commuting transformations and applications, Studia Math. 195 (2009), 31–49
B. Host and B. Kra, Convergence of Conze-Lesigne averages, Ergodic Theory Dynam. Systems 21 (2001), 493–509.
B. Host and B. Kra, Nonconventional ergodic averages and nilmanifolds, Ann. of Math. (2) 161 (2005), 397–488.
B. Nagle, V. Rödl and M. Schacht, The counting lemma for regular k-uniform hypergraphs, Random Structures Algorithms 28 (2006), 113–179.
T. Tao, A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma, J. Analyse Math. 103 (2007), 1–45.
T. Tao, Norm convergence of multiple ergodic averages for commuting transformations, Ergodic Theory Dynam. Systems 28 (2008), 657–688.
Q. Zhang, On convergence of the averages (1/N)∑ Nn=1 f 1(R n x)f 2(S n x)f 3(T n x), Monatsh. Math. 122 (1996), 275–300.
T. Ziegler, Universal characteristic factors and Furstenberg averages, J. Amer. Math. Soc. 20 (2007), 53–97 (electronic).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Austin, T. Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma. JAMA 111, 131–150 (2010). https://doi.org/10.1007/s11854-010-0014-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11854-010-0014-3