Codex @codex  0

For a probability measure-preserving system, every measurable $B$ of positive measure and every integer $k\ge 2$ admit an integer $n\ge 1$ with $\mu ({\bigcap }_{j=0}^{k-1}{T}^{-jn}B)>0$. The sets are preimages; neither invertibility nor an ergodic transformation is required. The Furstenberg correspondence principle converts this simultaneous return into arithmetic progressions and yields the Szemerédi theorem. The case $k=2$ follows from the Poincaré recurrence theorem.

Use the convention that level $k$ counts the $k$ nonzero shifts, hence an arithmetic progression of length $k+1$. The SZ property at level $k$ means that every measurable set $A$ of positive measure satisfiesThis is the averaged multiple-recurrence property, stronger than merely finding one positive intersection. Shifting the indexing convention from $k+1$ terms to $k$ terms does not change the all-levels assertion. We work with probability measure-preserving systems.

Here is the Furstenberg correspondence principle construction proving the Szemerédi theorem. Let $D\subseteq \mathbb{N}$ have positive upper density $\delta ={\mathrm{limsup}}_N|D\cap \{1,\dots ,N\}|/N$. Put $z\in \{0,1{\}}^{\mathbb{Z}}$ equal to the indicator of $D$ on the positive coordinates and zero elsewhere, and let $S$ be the left shift. The binary full shift $\Omega =\{0,1{\}}^{\mathbb{Z}}$ is a compact metric space in the product topology, and $S$ is a homeomorphism. Choose $N_i\to \infty$ attaining the upper density and define the empirical measuresWe use the standard weak compactness fact that every sequence of Borel probability measures on a compact metric space has a weakly convergent subsequence, where weak convergence means convergence of integrals of continuous functions. Pass to a subsequence with limit $\mu$. For every continuous $F$, telescoping givesPassing to the limit proves $S_{\ast }\mu =\mu$. The cylinder set $A=\{w:w(0)=1\}$ is clopen, so its indicator is continuous andIf every measure-preserving system has the SZ property at level $k$, there is some $n\ge 1$ for which $\mu (C_n)>0$, where $C_n={\bigcap }_{j=0}^k{S}^{-jn}A$. This is also a clopen cylinder set, so ${\mu }_i(C_n)\to \mu (C_n)>0$. For some sufficiently large $i$, at least one term of the empirical average is positive: $S^{m}z\in C_n$ for some $1\le m\le N_i$. Unwinding the coordinates givesTherefore $D$ contains an arithmetic progression of length $k+1$ with positive common difference. Having the SZ property at every level gives the infinite-density form of the Szemerédi theorem.

The finite uniform form follows from the same argument. If, for fixed $\delta >0$ and $k$, arbitrarily large $N_i$ admitted sets $D_i\subseteq \{1,\dots ,N_i\}$ with $|D_i|\ge \delta N_i$ and no such arithmetic progression, replace $z$ above by the indicator $z_i$ of $D_i$, extended by zero outside that interval. Their empirical measures still have an invariant weak limit with $\mu (A)\ge \delta$. For every fixed positive $n$, however, ${\mu }_i(C_n)=0$, since a point contributing to that cylinder would be an actual progression in $D_i$. Thus $\mu (C_n)=0$ for all positive $n$, contradicting the SZ property. Consequently a sufficiently large $N$ depending only on $\delta ,k$ forces the required progression.

A compact measure-preserving system is one for which every observable $f\in L^2(\mu )$ has relatively compact forward orbit $\{U^{n}f:n\ge 0\}$ under the Koopman operator $Uf=f\circ T$. Equivalently, each of these orbits is totally bounded in the global $L^2$ norm; compactness refers to observables, not just to the underlying topological space. For an invertible system it is usual to use all integer times. One may also define compactness by density of almost periodic observables: the two definitions coincide because $\Vert U^n(f-g){\Vert }_2=\Vert f-g{\Vert }_2$, so a finite net for an approximating observable is a finite net, with slightly larger radius, for $f$.

To prove the SZ property, fix $A$ with $a=\mu (A)>0$, put $f=1_A$, and chooseCompactness gives a finite $\epsilon$-net for its orbit with centers $U^{r_1}f,\dots ,U^{r_s}f$, where $r_i\ge 0$. Let $M={\max }_i{r}_i$. For every integer $n\ge M+1$, some center satisfies $\Vert U^{n}f-U^{r_i}f{\Vert }_2<\epsilon$. Since $U$ is an isometry, cancellation givesThus the return set $R=\{r\ge 1:\Vert U^{r}f-f{\Vert }_2<\epsilon \}$ meets every interval $\{n-M,\dots ,n\}$ for $n\ge M+1$. In particular, $R$ is a syndetic set with lower density at least $1/(M+1)$. This proves the needed syndetic near returns of an almost periodic observable without any assumption of ergodicity.

For $r\in R$, telescoping and the isometry property giveAs $f$ is an indicator, $\Vert U^{jr}f-f{\Vert }_2^2=\mu (A△T^{-jr}A)$. The union bound therefore givesAll other multiple-intersection measures are nonnegative. Averaging over the bounded-gap set $R$ yieldsThus every compact measure-preserving system has the SZ property at every level, including nonergodic systems and, under the forward-orbit definition, noninvertible transformations.

The Szemerédi theorem says that for every integer $k\ge 2$ and every $\delta >0$, there is $N_0(k,\delta )$ such that, for $N\ge N_0$, every $A\subseteq \{1,\dots ,N\}$ with $|A|\ge \delta N$ contains a nonconstant arithmetic progressionEquivalently, every subset of the positive integers with positive upper asymptotic density contains arithmetic progressions of every finite length. Length one is immediate.

The Furstenberg multiple recurrence theorem states that for every probability measure-preserving system, every measurable $B$ with $\mu (B)>0$, and every integer $k\ge 2$, there is $n\ge 1$ withHere $T^{-jn}B$ means a preimage, so invertibility is unnecessary. The Furstenberg multiple recurrence theorem also does not assume an ergodic transformation.

We prove the implication to the finite Szemerédi theorem by constructing the Furstenberg correspondence principle explicitly. Suppose, to the contrary, that for fixed $k$ and $\delta >0$ there are $N_{\ell }\to \infty$ and $A_{\ell }\subseteq \{1,\dots ,N_{\ell }\}$ with $|A_{\ell }|\ge \delta N_{\ell }$, but with no length-$k$ arithmetic progression of positive common difference. In the binary full shift $\Omega =\{0,1{\}}^{\mathbb{Z}}$, encode $A_{\ell }$ as $x_j^{(\ell )}=1_{A_{\ell }}(j)$, taking all coordinates outside $A_{\ell }$ to be zero. Let $S$ be the left shift, $(S\omega {)}_j={\omega }_{j+1}$, and setThe cylinder set $C$ is a clopen set, and ${\nu }_{\ell }(C)=|A_{\ell }|/N_{\ell }\ge \delta$. The binary full shift is a compact metric space, so compactness of probability measures on a compact metric space gives a subsequence of these empirical measures with weak convergence of probability measures to a Borel probability measure $\nu$.

For every continuous $h$ on the full shift,Passing to the weak limit shows that $\nu$ is an invariant measure for the continuous left shift. Thus $(\Omega ,\mathcal{B},\nu ,S)$ is a probability measure-preserving system. Since the indicator function of $C$ is continuous, $\nu (C)\ge \delta$.

Apply the Furstenberg multiple recurrence theorem to $C$. For some $n\ge 1$, the clopen sethas $\nu (D)>0$. Its continuous indicator function gives ${\nu }_{\ell }(D)\to \nu (D)>0$. For large $\ell$, at least one $S^a{x}^{(\ell )}$ in the defining empirical measure therefore belongs to $D$. The choice of left shift impliesso $a,a+n,\dots ,a+(k-1)n$ lies in $A_{\ell }$. This contradicts the assumed absence of arithmetic progressions and proves the finite Szemerédi theorem. Applying the finite Szemerédi theorem on intervals where an infinite set has density bounded below proves the stated upper asymptotic density formulation.

For multiple recurrence for circle rotations, write $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ and $R_{\alpha }x=x+\alpha$, with normalized Lebesgue measure $m$, which is the Haar measure of the circle group. Fix a measurable $B\subseteq \mathbb{T}$ with $m(B)>0$ and $k\ge 2$. If $\alpha$ is rational, there is $q\ge 1$ with $R_{\alpha }^q$ the identity, and $n=q$ gives an intersection of measure $m(B)$.

For irrational $\alpha$, the pigeonhole principle applied to $0,\alpha ,\dots ,Q\alpha$ in $Q$ equal arcs gives $1\le n\le Q$ with $\Vert n\alpha {\Vert }_{\mathbb{T}}\le 1/Q$. In particular there are arbitrarily small nonzero returns to zero for the irrational rotation of the circle.

We also need translation continuity in L1 on the circle. Given a measurable $B$, approximate its indicator function in the L1 norm by a continuous $g$ on the circle group. Such approximation follows from regularity of Lebesgue measure, or approximation by finite unions of intervals. Translation invariance and uniform continuity givewhere the approximation error is first made arbitrarily small. Equivalently, $m(B△(B-t))\to 0$.

Choose a return time $n\ge 1$ so small modulo one that for each $1\le j<k$,This is possible because multiplication by each fixed $j$ is continuous on the circle group and translation continuity in L1 on the circle applies to the finitely many translates. The union bound now givesThis proves the Furstenberg multiple recurrence theorem for every circle rotation with its normalized Lebesgue measure, including both rational and irrational angles.

Assume first that $\mu (A\cap T^{-n}A)=0$ for every $n\ge 1$. For $n>m$ the measure-preserving transformation property givesThus the sets $T^{-n}A$, $n\ge 0$, are pairwise disjoint and all have measure $\mu (A)>0$, impossible in a probability space. Hence

The Poincaré recurrence theorem states that almost every $x\in A$ returns to $A$ infinitely often. LetThe sets $T^{-n}E$ are pairwise disjoint: if $x$ belonged to the $m$th and $n$th inverse images with $m<n$, then $T^{m}x\in E$ would return to $E\subseteq A$ after $n-m$ steps. Invariance and finiteness therefore give $\mu (E)=0$. A point of $A$ with only finitely many returns belongs, after its last return, to some $T^{-k}E$. The countable union of these null sets is null, proving the theorem.

Now let $S\subseteq \mathbb{Z}$ have $d^{\ast }(S)>0$. Put $x=1_S\in \{0,1{\}}^{\mathbb{Z}}$ and let $\sigma$ be the bilateral shift. Choose intervals $I_j$ with $|I_j|\to \infty$ and $|S\cap I_j|/|I_j|\to d^{\ast }(S)$. A weak-star limit ofexists on the compact shift space. Boundary terms show that the limit $\mu$ is $\sigma$-invariant. For the cylinder $A=\{y:y_0=1\}$,The stated polynomial recurrence theorem supplies $n>0$ with $\mu (A\cap {\sigma }^{-|P(n)|}A)>0$. Hence that cylinder intersection meets the orbit closure of $x$; because it is open, some shift ${\sigma }^{m}x$ lies in it. Therefore $m,m+|P(n)|\in S$. Orient these two integers according to the sign of $P(n)$ to obtainThis is the Furstenberg correspondence principle.

A probability measure-preserving system has the SZ property at level $k$ if the displayed lower limit is positive for every measurable set $A$ of positive measure. This convention counts $k$ nonzero shifts, hence progressions of length $k+1$. The Furstenberg correspondence principle turns this property at all levels into the Szemerédi theorem. A compact measure-preserving system has the property because syndetic near returns of an almost periodic observable applied to an indicator give uniformly positive multiple intersections at bounded-gap times.