A new proof of Szemerédi's theorem
From MaRDI portal
Publication:5945509
DOI10.1007/s00039-001-0332-9zbMath1028.11005OpenAlexW2335400162WikidataQ55879051 ScholiaQ55879051MaRDI QIDQ5945509
Publication date: 26 January 2004
Published in: Geometric and Functional Analysis. GAFA (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00039-001-0332-9
Freiman homomorphismFreiman inverse problem theorempseudo-randomnessRoth theoremSzemerédi theoremuniform setsvan der Waerden theorem
Estimates on exponential sums (11L07) Ramsey theory (05D10) Arithmetic progressions (11B25) Irregularities of distribution, discrepancy (11K38) Inverse problems of additive number theory, including sumsets (11P70)
Related Items
Finite reflection groups and graph norms ⋮ Anti-van der Waerden numbers of 3-term arithmetic progression ⋮ Finite sums of arithmetic progressions ⋮ GOWERS UNIFORMITY NORM AND PSEUDORANDOM MEASURES OF THE PSEUDORANDOM BINARY SEQUENCES ⋮ Khintchine-type recurrence for 3-point configurations ⋮ Reciprocal Sums and Counting Functions ⋮ Distribution of residues and primitive roots ⋮ Diophantine properties of iets and general systems: quantitative proximality and connectivity ⋮ Product set estimates for non-commutative groups ⋮ Some open problems on multiple ergodic averages ⋮ Hilbert cubes in arithmetic sets ⋮ An inverse theorem for the uniformity seminorms associated with the action of \(\mathbb F_p^\infty\) ⋮ Generalizations of Fourier analysis, and how to apply them ⋮ Pointwise convergence for cubic and polynomial multiple ergodic averages of non-commuting transformations ⋮ Density theorems and extremal hypergraph problems ⋮ On sums of units ⋮ Multipass greedy coloring of simple uniform hypergraphs ⋮ ON A DIAGONAL QUADRIC IN DENSE VARIABLES ⋮ Remarks on a Ramsey theory for trees ⋮ Multiple recurrence and convergence for certain averages along shifted primes ⋮ New applications of the polynomial method: The cap set conjecture and beyond ⋮ New bounds in Balog-Szemerédi-Gowers theorem ⋮ Some new results on higher energies ⋮ Improved bounds on the dimensions of sets that avoid approximate arithmetic progressions ⋮ On multi-dimensional pseudorandom subsets ⋮ Hereditary quasirandomness without regularity ⋮ Squares in Arithmetic Progressions and Infinitely Many Primes ⋮ Efficient Removal Lemmas for Matrices ⋮ Patterns without a popular difference ⋮ A decomposition of multicorrelation sequences for commuting transformations along primes ⋮ Equivalence of the Logarithmically Averaged Chowla and Sarnak Conjectures ⋮ Approximate cohomology ⋮ Monochromatic Hilbert cubes and arithmetic progressions ⋮ Limits of functions on groups ⋮ A refinement of Cauchy-Schwarz complexity ⋮ σ-algebras for quasirandom hypergraphs ⋮ Explicit RIP matrices: an update ⋮ A quantum algorithm to estimate the Gowers \(U_2\) norm and linearity testing of Boolean functions ⋮ Sarnak's conjecture for nilsequences on arbitrary number fields and applications ⋮ Higher uniformity of bounded multiplicative functions in short intervals on average ⋮ A view on multiple recurrence ⋮ Algebraic Attacks against Random Local Functions and Their Countermeasures ⋮ NEW BOUNDS FOR SZEMERÉDI'S THEOREM, III: A POLYLOGARITHMIC BOUND FOR ⋮ Some remarks on sets with small quotient set ⋮ On Systems of Complexity One in the Primes ⋮ Arithmetic Progressions and Tic-Tac-Toe Games ⋮ Unnamed Item ⋮ A good universal weight for nonconventional ergodic averages in norm ⋮ Arithmetic Progressions in the Graphs of Slightly Curved Sequences ⋮ Quasirandom Groups ⋮ Szemerédi's Theorem in the Primes ⋮ Differences of subgroups in subgroups ⋮ Structure Along Arithmetic Patterns in Sequences of Vectors ⋮ Closest integer polynomial multiple recurrence along shifted primes ⋮ Colourings of Uniform Hypergraphs with Large Girth and Applications ⋮ Quantitative bounds in the polynomial Szemerédi theorem: the homogeneous case ⋮ Notes on compact nilspaces ⋮ Ergodicity of the Liouville system implies the Chowla conjecture ⋮ An analytic approach to sparse hypergraphs: hypergraph removal ⋮ The Gaussian primes contain arbitrarily shaped constellations ⋮ The structure theory of set addition revisited ⋮ ARITHMETIC PROGRESSIONS IN SUMSETS AND DIFFERENCE SETS ⋮ An equivalence between inverse sumset theorems and inverse conjectures for theU3norm ⋮ Optimal Testing of Reed-Muller Codes ⋮ Query-Efficient Dictatorship Testing with Perfect Completeness ⋮ On Ramsey-type positional games ⋮ Finite field models in arithmetic combinatorics -- ten years on ⋮ Parallelepipeds, nilpotent groups and Gowers norms ⋮ AN INVERSE THEOREM FOR THE GOWERSU4-NORM ⋮ The Green-Tao Theorem on arithmetic progressions in the primes: an ergodic point of view ⋮ Nil–Bohr sets of integers ⋮ A Prime Analogue of Roth’s Theorem in Function Fields ⋮ Near arithmetic progressions in sparse sets ⋮ Divergence of combinatorial averages and the unboundedness of the trilinear Hilbert transform ⋮ ON THE GOWERS NORM OF PSEUDORANDOM BINARY SEQUENCES ⋮ A NOTE ON THE FREIMAN AND BALOG–SZEMERÉDI–GOWERS THEOREMS IN FINITE FIELDS ⋮ Fermat’s Last Theorem Implies Euclid’s Infinitude of Primes ⋮ Pointwise characteristic factors for Wiener–Wintner double recurrence theorem ⋮ On uniformity of q‐multiplicative sequences ⋮ Bootstrapping partition regularity of linear systems ⋮ Concatenation theorems for anti-Gowers-uniform functions and Host-Kra characteristic factors ⋮ Higher order Fourier analysis of multiplicative functions and applications ⋮ A unified framework for testing linear‐invariant properties ⋮ Additive Combinatorics: With a View Towards Computer Science and Cryptography—An Exposition ⋮ Gowers norms for the Thue-Morse and Rudin-Shapiro sequences ⋮ A Hörmander type theorem in finite fields ⋮ On a generalisation of Roth's theorem for arithmetic progressions and applications to sum-free subsets ⋮ Products of Differences over Arbitrary Finite Fields ⋮ Good Bounds in Certain Systems of True Complexity One ⋮ Polynomial Szemerédi theorems for countable modules over integral domains and finite fields ⋮ On a question of Erdős and Moser ⋮ Universal characteristic factors and Furstenberg averages ⋮ MIXING FOR PROGRESSIONS IN NONABELIAN GROUPS ⋮ A spectral refinement of the Bergelson–Host–Kra decomposition and new multiple ergodic theorems ⋮ OPERATOR ALGEBRAIC APPROACH TO INVERSE AND STABILITY THEOREMS FOR AMENABLE GROUPS ⋮ Polynomial bound for partition rank in terms of analytic rank ⋮ A tight bound for hypergraph regularity ⋮ Linear forms and quadratic uniformity for functions on \(\mathbb{Z}_{N}\) ⋮ Pseudorandom Functions: Three Decades Later ⋮ A relative Szemerédi theorem ⋮ On multiplicative energy of subsets of varieties ⋮ Semicontinuity of structure for small sumsets in compact abelian groups ⋮ Approximately symmetric forms far from being exactly symmetric ⋮ A blurred view of Van der Waerden type theorems ⋮ Perfect Hash Families: Constructions and Existence ⋮ The l ∞ direct sum of L p (1 < p < ∞) is primary ⋮ Interview with Larry Guth ⋮ Interview with Yufei Zhao ⋮ Uniformity norms, their weaker versions, and applications ⋮ Testing Linear-Invariant Properties ⋮ Fourier duality in the Brascamp–Lieb inequality ⋮ Multiple ergodic theorems for arithmetic sets ⋮ Sets without k‐term progressions can have many shorter progressions ⋮ SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT ⋮ Tower-type bounds for Roth's theorem with popular differences ⋮ Computational results on Gowers \(U_2\) and \(U_3\) norms of known S-boxes ⋮ On higher-order Fourier analysis in characteristic p ⋮ On the Gowers \(U_2\) and \(U_3\) norms of Boolean functions and their restriction to hyperplanes ⋮ Inverse theorem for certain directional Gowers uniformity norms ⋮ An uncountable Furstenberg–Zimmer structure theory ⋮ Nilspace Factors for General Uniformity Seminorms, Cubic Exchangeability and Limits ⋮ Bracket words: A generalisation of Sturmian words arising from generalised polynomials ⋮ Bohr sets in sumsets II: countable abelian groups ⋮ On classification of sequences containing arbitrarily long arithmetic progressions ⋮ On graph norms for complex‐valued functions ⋮ Arithmetic progressions in certain subsets of finite fields ⋮ Pointwise multiple averages for sublinear functions ⋮ Interview with Volker Strehl ⋮ Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL ⋮ Extremal problems in hypergraph colourings ⋮ On the Ramsey number of the Brauer configuration ⋮ Host–Kra theory for -systems and multiple recurrence ⋮ Möbius orthogonality of the Thue–Morse sequence along Piatetski-Shapiro numbers ⋮ Subsets of without L-shaped configurations ⋮ Monochromatic arithmetic progressions in automatic sequences with group structure ⋮ Restricted problems in extremal combinatorics ⋮ Local-vs-global combinatorics ⋮ Monomial Boolean functions with large high-order nonlinearities ⋮ Combinatorial Structures on van der Waerden sets ⋮ Nil Bohr-sets and almost automorphy of higher order ⋮ A bilinear version of Bogolyubov’s theorem ⋮ Unnamed Item ⋮ An inverse theorem for the Gowers \(U^{s+1}[N\)-norm] ⋮ The hypergraph regularity method and its applications ⋮ Regularity, uniformity, and quasirandomness ⋮ Partition regularity and multiplicatively syndetic sets ⋮ Bounds for sets with no polynomial progressions ⋮ The level of distribution of the Thue–Morse sequence ⋮ A general nonlinear version of Roth's theorem on the real line ⋮ True complexity of polynomial progressions in finite fields ⋮ An arithmetic transference proof of a relative Szemerédi theorem ⋮ Monochromatic combinatorial lines of length three ⋮ Multiple recurrence and convergence for sequences related to the prime numbers ⋮ MATRIX PROGRESSIONS IN MULTIDIMENSIONAL SETS OF INTEGERS ⋮ Asymptotics for multilinear averages of multiplicative functions ⋮ Some new results in multiplicative and additive Ramsey theory ⋮ On the local leakage resilience of linear secret sharing schemes ⋮ Linear quasi-randomness of subsets of abelian groups and hypergraphs ⋮ Graph norms and Sidorenko's conjecture ⋮ What is good mathematics? ⋮ General systems of linear forms: equidistribution and true complexity ⋮ Quasi-random words and limits of word sequences ⋮ Automatic Sequences and Generalised Polynomials ⋮ POLYNOMIAL PATTERNS IN THE PRIMES ⋮ Additive energy of regular measures in one and higher dimensions, and the fractal uncertainty principle ⋮ From harmonic analysis to arithmetic combinatorics ⋮ A multidimensional Szemerédi theorem for Hardy sequences of different growth ⋮ Further bounds in the polynomial Szemer ⋮ Dimensions of Sets Which Uniformly Avoid Arithmetic Progressions ⋮ On a conjecture of Gowers and Long ⋮ Growth in groups: ideas and perspectives ⋮ Multiple ergodic averages in abelian groups and Khintchine type recurrence ⋮ Special cases of power decay in multilinear oscillatory integrals ⋮ The Green-Tao Theorem and the Infinitude of Primes in Domains ⋮ Three-term polynomial progressions in subsets of finite fields ⋮ Cancellation for the multilinear Hilbert transform ⋮ Additive combinatorics and graph theory ⋮ A Szemerédi-type theorem for subsets of the unit cube ⋮ Gowers norms and pseudorandom measures of subsets ⋮ On the power of random greedy algorithms ⋮ The equidistant dimension of graphs ⋮ Persistence based convergence rate analysis of consensus protocols for dynamic graph networks ⋮ The number of \(k\)-dimensional corner-free subsets of grids ⋮ On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs ⋮ A variant of the hypergraph removal lemma ⋮ The van der Waerden complex ⋮ The deluge of spurious correlations in big data ⋮ Some results on a class of mixed van der Waerden numbers ⋮ Combinatorial theorems in sparse random sets ⋮ Large values of the Gowers-Host-Kra seminorms ⋮ Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds ⋮ A continuous model for systems of complexity 2 on simple abelian groups ⋮ On the lower bound for the van der Waerden function ⋮ Dynamical parallelepipeds in minimal systems ⋮ Strings of special primes in arithmetic progressions ⋮ On the energy variant of the sum-product conjecture ⋮ Van der Waerden function and colorings of hypergraphs with large girth ⋮ Efficient removal lemmas for matrices ⋮ On the Gowers norms of certain functions ⋮ A generalization of Meshulam's theorem on subsets of finite abelian groups with no 3-term arithmetic progression. II ⋮ A probabilistic threshold for monochromatic arithmetic progressions ⋮ Hilbert cubes in progression-free sets and in the set of squares ⋮ A new lower bound for van der Waerden numbers ⋮ Multiple recurrence and convergence results associated to \(\mathbb F_P^\omega\)-actions ⋮ Random strategies are nearly optimal for generalized van der Waerden games ⋮ On a Frankl-Wilson theorem ⋮ Higher moments of convolutions ⋮ Monochromatic progressions in random colorings ⋮ The polynomial Carleson operator ⋮ On sets without \(k\)-term arithmetic progression ⋮ Noise correlation bounds for uniform low degree functions ⋮ On arithmetic progressions in symmetric sets in finite field model ⋮ Linear forms and higher-degree uniformity for functions on \(\mathbb F^n_p\) ⋮ Gowers norms control diophantine inequalities ⋮ Random low-degree polynomials are hard to approximate ⋮ A new proof of the density Hales-Jewett theorem ⋮ On sets with small doubling property ⋮ The inverse conjecture for the Gowers norm over finite fields in low characteristic ⋮ Finite forms of Gowers' theorem on the oscillation stability of \(C_0^*\) ⋮ Threshold functions and Poisson convergence for systems of equations in random sets ⋮ A new proof of the graph removal lemma ⋮ The polynomial multidimensional Szemerédi theorem along shifted primes ⋮ Properties of high rank subvarieties of affine spaces ⋮ Partial associativity and rough approximate groups ⋮ On monochromatic solutions of some nonlinear equations in \(\mathbb Z/p\mathbb Z\) ⋮ Szemerédi's proof of Szemerédi's theorem ⋮ A uniform set with fewer than expected arithmetic progressions of length 4 ⋮ Finding large 3-free sets. I. The small \(n\) case ⋮ Higher-order Fourier analysis of \(\mathbb F_p^n\) and the complexity of systems of linear forms ⋮ Distinct distances and arithmetic progressions ⋮ Polynomial functions as splines ⋮ A compendium of results in additive number theory ⋮ Gowers \(U_3\) norm of some classes of bent Boolean functions ⋮ Difference sets and shifted primes ⋮ Maximal subsets free of arithmetic progressions in arbitrary sets ⋮ Quadratic uniformity of the Möbius function ⋮ The critical window for the classical Ramsey-Turán problem ⋮ Bounds on some van der Waerden numbers ⋮ On the largest prime factor of the partition function of \(n\) ⋮ Boundedness of the twisted paraproduct ⋮ Caps and progression-free sets in \(\mathbb{Z}_m^n\) ⋮ Near optimal bounds in Freiman's theorem ⋮ Maximal operators and differentiation theorems for sparse sets ⋮ Linear equations in primes ⋮ Pointwise convergence of ergodic averages along cubes ⋮ A lower bound for off-diagonal van der Waerden numbers ⋮ An approximate logic for measures ⋮ Sparse subsets of the natural numbers and Euler's totient function ⋮ FVIP systems and multiple recurrence ⋮ A structure theorem for multiplicative functions over the Gaussian integers and applications ⋮ Rigidity theorems for multiplicative functions ⋮ A subexponential upper bound for van der Waerden numbers \(W(3,k)\) ⋮ Properties of multicorrelation sequences and large returns under some ergodicity assumptions ⋮ Extension of Wiener-Wintner double recurrence theorem to polynomials ⋮ On ranks of polynomials ⋮ Polynomial configurations in difference sets ⋮ The primes contain arbitrarily long polynomial progressions ⋮ The metamathematics of ergodic theory ⋮ A generalization of sets without long arithmetic progressions based on Szekeres algorithm ⋮ Energies and structure of additive sets ⋮ Arithmetic progressions, different regularity lemmas and removal lemmas ⋮ On pseudorandom subsets in finite fields. I: Measure of pseudorandomness and support of Boolean functions ⋮ Functions of nearly maximal Gowers-Host-Kra norms on Euclidean spaces ⋮ Approximate arithmetic structure in large sets of integers ⋮ On the orbits of multiplicative pairs ⋮ Further cryptographic properties of the multiplicative inverse function ⋮ Uniformity seminorms on \(\ell^{\infty}\) and applications ⋮ Quasirandom permutations ⋮ Locally random groups ⋮ A polynomial bound in Freiman's theorem. ⋮ On arithmetic structures in dense sets of integers ⋮ Progress on local properties problems of difference sets ⋮ The Hasse principle for systems of diagonal cubic forms ⋮ Long arithmetic progressions in critical sets