Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma

Tim Austin

Research output: Contribution to journalArticle

Abstract

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].

Original languageEnglish (US)
Pages (from-to)131-150
Number of pages20
JournalJournal d'Analyse Mathematique
Volume111
Issue number1
DOIs
StatePublished - 2010

Fingerprint

Lemma
Hypergraph
Theorem
Correspondence Principle
Probabilistic Approach
Recurrence
Manipulation
Simplify
Analogue
Motion

ASJC Scopus subject areas

  • Mathematics(all)
  • Analysis

Cite this

Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma. / Austin, Tim.

In: Journal d'Analyse Mathematique, Vol. 111, No. 1, 2010, p. 131-150.

Research output: Contribution to journalArticle

@article{b9a49db339bb4274ae2ffda902ded147,
title = "Deducing the multidimensional Szemer{\'e}di theorem from an infinitary removal lemma",
abstract = "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{\'e}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{\'e}di's Theorem set in motion by Furstenberg [5].",
author = "Tim Austin",
year = "2010",
doi = "10.1007/s11854-010-0014-3",
language = "English (US)",
volume = "111",
pages = "131--150",
journal = "Journal d'Analyse Mathematique",
issn = "0021-7670",
publisher = "Springer New York",
number = "1",

}

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

VL - 111

SP - 131

EP - 150

JO - Journal d'Analyse Mathematique

JF - Journal d'Analyse Mathematique

SN - 0021-7670

IS - 1

ER -