arXiv++ Combinatorics

We say a pair of integers $(a, b)$ is findable if the following is true. For any $δ> 0$ there exists a $p_0$ such that for any prime $p \ge p_0$ and any red-blue colouring of $\mathbb{Z} /p\mathbb{Z}$ in which each colour has density at least $δ$, we can find an arithmetic progression of length $a+b$ inside $\mathbb{Z}/p\mathbb{Z}$ whose first $a$ elements are red and whose last $b$ elements are blue. Szemerédi's Theorem on arithmetic progressions implies that $(0,k)$ and $(1,k)$ are findable for any $k$. We prove that $(2, k)$ is also findable for any $k$. However, the same is not true of $(3, k)$. Indeed, we give a construction showing that $(3, 30000)$ is not findable. We also show that $(14, 14)$ is not findable.

The Corners Theorem states that for any $α> 0$ there exists an $N_0$ such that for any abelian group $G$ with $|G| = N \geq N_0$ and any subset $A \subset G \times G$ with $|A| \ge αN^2$ we can find a corner in $A$ , i.e. there exist $x, y, d \in G$ with $d \neq 0$ such that $(x, y), (x+d, y), (x, y+d) \in A$. Here, we consider a stronger version: given such a group $G$ and subset $A$, for each $d \in G$ we define $S_d = \{(x, y) \in G \times G : (x, y), (x+d, y), (x, y+d) \in A \}$ . So $|S_d|$ is the number of corners of size $d$. Is it true that, provided $N$ is sufficiently large, there must exist some $d \in G \setminus \{0\}$ such that $|S_d|> (α^3 - ε) N^2$ ? We answer this question in the negative. We do this by relating the problem to a much simpler-looking problem about random variables. Then, using this link, we show that there are sets $A$ with $|S_d| < Cα^{3.13} N^2$ for all $d \neq 0$, where $C$ is an absolute constant. We also show that in the special case where $G = \mathbb{F}_2^n$, one can always find a $d$ with $|S_d|> (α^4 - ε) N^2$.