TY - JOUR
T1 - Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma
AU - Austin, Tim
PY - 2010
Y1 - 2010
N2 - We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T1, T2,..., Td: ℤ {right curved arrow} (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].
AB - We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T1, T2,..., Td: ℤ {right curved arrow} (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].
UR - http://www.scopus.com/inward/record.url?scp=78650429590&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78650429590&partnerID=8YFLogxK
U2 - 10.1007/s11854-010-0014-3
DO - 10.1007/s11854-010-0014-3
M3 - Article
AN - SCOPUS:78650429590
SN - 0021-7670
VL - 111
SP - 131
EP - 150
JO - Journal d'Analyse Mathematique
JF - Journal d'Analyse Mathematique
IS - 1
ER -