arXiv++ Combinatorics

We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an \emph{ultra quasirandom group}, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as $(x,gx,xg)$) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups.

In this short note we establish new refinements of multidimensional Szemeredi and polynomial van der Waerden theorems along the shifted primes.

Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.

Let $P=\{p_{1},\ld,p_{r}\}\subset\Q[n_{1},\ld,n_{m}]$ be a family of polynomials such that $p_{i}(\Z^{m})\sle\Z$, $i=1,\ld,r$. We say that the family $P$ has {\it PSZ property} if for any set $E\sle\Z$ with $d^{*}(E)=\limsup_{N-M\ras\infty}\frac{|E\cap[M,N-1]|}{N-M}>0$ there exist infinitely many $n\in\Z^{m}$ such that $E$ contains a polynomial progression of the form \hbox{$\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}$}. We prove that a polynomial family $P=\{p_{1},\ld,p_{r}\}$ has PSZ property if and only if the polynomials $p_{1},\ld,p_{r}$ are {\it jointly intersective}, meaning that for any $k\in\N$ there exists $n\in\Z^{m}$ such that the integers $p_{1}(n),\ld,p_{r}(n)$ are all divisible by $k$. To obtain this result we give a new ergodic proof of the polynomial Szemerédi theorem, based on the fact that the key to the phenomenon of polynomial multiple recurrence lies with the dynamical systems defined by translations on nilmanifolds. We also obtain, as a corollary, the following generalization of the polynomial van der Waerden theorem: If $p_{1},\ld,p_{r}\in\Q[n]$ are jointly intersective integral polynomials, then for any finite partition of $\Z$, $\Z=\bigcup_{i=1}^{k}E_{i}$, there exist $i\in\{1,\ld,k\}$ and $a,n\in E_{i}$ such that $\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}\sln E_{i}$.

An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established: Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of V={1,...,N}^{d} x {1,...,q} there exist a set a \subset V and a nonempty set γ\subseteq {1,...,N} such that a \cap (γ^{d} x {1,...,q}) = \emptyset, and the subsets a, a \cup (γ^{d} x {1}), a \cup (γ^{d} x {2}), ..., a \cup (γ^{d} x {q}) are all of the same color. This ``polynomial'' Hales-Jewett theorem contains refinements of many combinatorial facts as special cases. The proof is achieved by introducing and developing the apparatus of set-polynomials (polynomials whose coefficients are finite sets) and applying the methods of topological dynamics.