A new proof of Szemerédi's theorem
The main result of the paper is the following improvement of \textit{E. Szemerédi}'s theorem [Acta Arith. 27, 199-245 (1975; Zbl 0303.10056)]: For every positive integer \(k\), every subset of \(\{0,1,\dots,N\}\) of size at least \(N(\log\log N)^{-c}\) with \(c=2^{-2^{k+9}}\) contains an arithmetic progression of length \(k\). This has an immediate consequence also for an estimate for the least integer \(M=M(k,r)\) in van der Waerden's theorem on \(k\) term arithmetic progressions in partitions of the set \(\{1,2,\dots,M\}\) into \(r\) subsets. The main ingredients of the machinery used to prove this result (together with many very clever modifications of ideas previously used in the solution of this problem) is a generalizations of Roth's analytic argument for three term progressions and a variation of Freiman's inverse problem theorem. The author spares no effort to explain in detail the background and motivation for all important steps of the proof. So for instance, since the difficulties for progressions of length greater than four are considerably greater, the author devotes special attention to the case of arithmetic progressions of length four. As a corollary he obtains: There is an absolute constant \(c>0\) such that if the set \(\{1,2,\dots,N\}\) is colored with at most \((\log\log N)^c\) colors, then there is a \(4\)-term monochromatic arithmetic progression. From other results of the paper which could be of independent interest, let us mention the confirmation of Ron Graham's conjecture that \(M(K,2)\) is bounded above by a tower of twos of height \(k\). The author proves this for \(k\geq 9\). (A bit confusing for the orientation is that the page numbers for the sections of this long paper given at the beginning do not agree with the actual ones).
- New proof of a theorem of Szekeres
- Yet another proof of Szemerédi's theorem
- A NEW PROOF OF SCHUTZENBERGER'S THEOREM
- Szemerédi's proof of Szemerédi's theorem
- scientific article; zbMATH DE number 223257
- A new proof of the Szeged-Wiener theorem
- The ergodic theoretical proof of Szemerédi’s theorem
- A new proof of Kuzmin's theorem
- A new proof of Sárközy's theorem
- A new proof of Halász's theorem, and its consequences
- The metamathematics of ergodic theory
- Uniformity seminorms on \(\ell^{\infty}\) and applications
- New proofs of a theorem of Komlós
- A new proof of M. Herman's theorem
- A new proof of Szemerédi's theorem for arithmetic progressions of length four
- Arithmetic progressions in sequences with bounded gaps
- A new proof of Suzuki's formula
- A new proof of a theorem of Magidor
- Three-term polynomial progressions in subsets of finite fields
- Additive combinatorics and graph theory
- The deluge of spurious correlations in big data
- Some results on a class of mixed van der Waerden numbers
- A continuous model for systems of complexity 2 on simple abelian groups
- A new lower bound for van der Waerden numbers
- Random strategies are nearly optimal for generalized van der Waerden games
- Finite forms of Gowers' theorem on the oscillation stability of \(C_0^*\)
- Threshold functions and Poisson convergence for systems of equations in random sets
- Distinct distances and arithmetic progressions
- Polynomial functions as splines
- Gowers \(U_3\) norm of some classes of bent Boolean functions
- Boundedness of the twisted paraproduct
- FVIP systems and multiple recurrence
- A structure theorem for multiplicative functions over the Gaussian integers and applications
- Rigidity theorems for multiplicative functions
- Extension of Wiener-Wintner double recurrence theorem to polynomials
- On ranks of polynomials
- Quasirandom permutations
- A polynomial bound in Freiman's theorem.
- On arithmetic structures in dense sets of integers
- On the Gowers norms of certain functions
- Hilbert cubes in progression-free sets and in the set of squares
- Higher moments of convolutions
- Noise correlation bounds for uniform low degree functions
- The polynomial multidimensional Szemerédi theorem along shifted primes
- Caps and progression-free sets in \(\mathbb{Z}_m^n\)
- An approximate logic for measures
- A subexponential upper bound for van der Waerden numbers \(W(3,k)\)
- Properties of multicorrelation sequences and large returns under some ergodicity assumptions
- On pseudorandom subsets in finite fields. I: Measure of pseudorandomness and support of Boolean functions
- Approximate arithmetic structure in large sets of integers
- Further cryptographic properties of the multiplicative inverse function
- Locally random groups
- Progress on local properties problems of difference sets
- 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
- The number of k-dimensional corner-free subsets of grids
- Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds
- On the energy variant of the sum-product conjecture
- Efficient removal lemmas for matrices
- On a Frankl-Wilson theorem
- The polynomial Carleson operator
- On arithmetic progressions in symmetric sets in finite field model
- Gowers norms control diophantine inequalities
- Properties of high rank subvarieties of affine spaces
- Partial associativity and rough approximate groups
- Szemerédi's proof of Szemerédi's theorem
- A uniform set with fewer than expected arithmetic progressions of length 4
- A lower bound for off-diagonal van der Waerden numbers
- Sparse subsets of the natural numbers and Euler's totient function
- Functions of nearly maximal Gowers-Host-Kra norms on Euclidean spaces
- On the orbits of multiplicative pairs
- Gowers norms for the Thue-Morse and Rudin-Shapiro sequences
- A Hörmander type theorem in finite fields
- 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}\)
- A relative Szemerédi theorem
- Finite reflection groups and graph norms
- Anti-van der Waerden numbers of 3-term arithmetic progression
- Distribution of residues and primitive roots
- Diophantine properties of iets and general systems: quantitative proximality and connectivity
- Product set estimates for non-commutative groups
- An inverse theorem for the uniformity seminorms associated with the action of \(\mathbb F_p^\infty\)
- Density theorems and extremal hypergraph problems
- On sums of units
- Remarks on a Ramsey theory for trees
- New bounds in Balog-Szemerédi-Gowers theorem
- On multi-dimensional pseudorandom subsets
- Approximate cohomology
- Monochromatic Hilbert cubes and arithmetic progressions
- The Gaussian primes contain arbitrarily shaped constellations
- Finite field models in arithmetic combinatorics -- ten years on
- Polynomial Szemerédi theorems for countable modules over integral domains and finite fields
- On a question of Erdős and Moser
- The Hasse principle for systems of diagonal cubic forms
- Hilbert cubes in arithmetic sets
- Improved bounds on the dimensions of sets that avoid approximate arithmetic progressions
- A refinement of Cauchy-Schwarz complexity
- 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
- Cancellation for the multilinear Hilbert transform
- A prime analogue of Roth's theorem in function fields
- Pointwise characteristic factors for Wiener-Wintner double recurrence theorem
- Concatenation theorems for anti-Gowers-uniform functions and Host-Kra characteristic factors
- Higher-order Fourier analysis of multiplicative functions and applications
This page was built for publication: A new proof of Szemerédi's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5945509)
