arXiv++ Combinatorics

We prove that if $d \ge 2$ is an integer, $G$ is a finite abelian group, $Z_0$ is a subset of $G$ not contained in any strict coset in $G$, and $E_1,\dots,E_d$ are dense subsets of $G^n$ such that the sumset $E_1+\dots+E_d$ avoids $Z_0^n$ then $E_1, \dots, E_d$ essentially have bounded dimension. More precisely, they are almost entirely contained in sets $E_1' \times G^{I^c}, \dots, E_d' \times G^{I^c}$, where the size of $I \subset [n]$ is non-zero and independent of $n$, and $E_1',\dots,E_d'$ are subsets of $G^{I}$ such that the sumset $E_1'+\dots+E_d'$ avoids $Z_0^I$.

We prove that for every integer $d \ge 2$ there exists a dense collection of subsets of $[n]^d$ such that no two of them have a symmetric difference that may be written as the $d$th power of a union of at most $\lfloor d/2 \rfloor$ intervals. This provides a limitation on reasonable tightenings of a question of Alon from 2023 and of a conjecture of Gowers from 2009, and investigates a direction analogous to that of recent works of Conlon, Kamčev, Leader, Räty and Spiegel on intervals in the Hales-Jewett theorem.

We show that a conceptually simple covering technique has surprisingly rich applications to density theorems and conjectures on patterns in sets involving set differences. These applications fall into three categories: (i) analogues of these statements to distance $2$ versions of the pattern, (ii) reduction of these statements to relative versions, and (iii) reductions of these statements to a quasirandom case with respect to some quantities that affect the number of realisations of the pattern.

We recognise that an entropy inequality akin to the main intermediate goal of recent works (Gowers, Green, Manners, Tao [3],[2]) regarding a conjecture of Marton provides a black box from which we can also through a short deduction recover another description: if a finite subset $A$ of an abelian group $G$ is such that the distribution of the sums $a+b$ with $(a,b) \in A \times A$ is only slightly more spread out than the uniform distribution on $A$, then $A$ has small symmetric difference with some finite coset of $G$. The resulting bounds are necessarily sharp up to a logarithmic factor.

We identify an assumption on linear forms $φ_1, \dots, φ_k: \mathbb{F}_p^n \to \mathbb{F}_p$ that is much weaker than approximate joint equidistribution on the Boolean cube $\{0,1\}^n$ and is in a sense almost as weak as linear independence, but which guarantees that every subset of $\{0,1\}^n$ on which none of $φ_1, \dots, φ_k$ has full image has a density which tends to 0 with $k$. This density is at most quasipolynomially small in $k$, a bound that is necessarily close to sharp.

We provide simple proofs of analogues for coverings numbers of lattices of several recently studied basic statements on the ranks of tensors. We highlight the differences and analogies between the proofs in both settings.

Let $d \ge 2, h \ge 1$ be integers. Using a fragmentation technique, we characterise $(h+1)$-tuples $(R_1, \dots, R_h, R)$ of non-empty families of partitions of $\{1, \dots, d\}$ such that it suffices for an order-$d$ tensor to have bounded $R_i$-rank for each $i=1,\dots,h$ for it to have bounded $R$-rank. On the way, we prove power lower bounds on products of identity tensors that do not have rank $1$, providing a qualitative answer to a question of Naslund.

Let $(\mathcal{A}_i)_{i \in [s]}$ be a sequence of dense subsets of the Boolean cube $\{0,1\}^n$ and let $p$ be a prime. We show that if $s$ is assumed to be superpolynomial in $n$ then we can find distinct $i,j$ such that the two distributions of every mod-$p$ linear form on $\mathcal{A}_i$ and $\mathcal{A}_j$ are almost positively correlated. We also prove that if $s$ is merely assumed to be sufficiently large independently of $n$ then we may require the two distributions to have overlap bounded below by a positive quantity depending on $p$ only.

Let $d \ge 3$ be an integer. We show that whenever an order-$d$ tensor admits $d+1$ decompositions according to Tao's slice rank, if the linear subspaces spanned by their one-variable functions constitute a sunflower for each choice of special coordinate, then the tensor admits a decomposition where these linear subspaces are contained in the centers of these respective sunflowers. As an application, we deduce that for every nonnegative integer $k$ and every finite field $\mathbb{F}$ there exists an integer $C(d,k,|\mathbb{F}|)$ such that every order-$d$ tensor with slice rank $k$ over $\mathbb{F}$ admits at most $C(d,k,|\mathbb{F}|)$ decompositions with length $k$, up to a class of transformations that can be easily described.

Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<ε\leq 1$. We show that there exists a constant $C=C(p, ε)$ such that for every positive integer $k$, whenever $φ_1, \dots, φ_k: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ are linear forms and $E_1, \dots, E_k$ are subsets of $\mathbb{F}_p$, there exist linear forms $ψ_1, \dots, ψ_C: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ and subsets $F_1, \dots, F_C$ of $\mathbb{F}_p$ such that the set $U=\{x \in S^n: ψ_1(x) \in F_1, \dots, ψ_C(x) \in F_C\}$ is contained inside the set $V=\{x \in S^n: φ_1(x) \in E_1, \dots, φ_k(x) \in E_k\}$, and the difference $V \setminus U$ has density at most $ε$ inside $S^n$. We then generalize this result to one where $φ_1, \dots, φ_k$ are replaced by homomorphisms $G^n \to H$ for some pair of finite Abelian groups $G$ and $H$, and to another where they are replaced by polynomial maps $\mathbb{F}_p^n \to \mathbb{F}_p$ of small degree.

Let $p$ be a prime, let $1 \le t < d < p$ be integers, and let $S$ be a non-empty subset of $\mathbb{F}_p$. We establish that if a polynomial $P:\mathbb{F}_p^n \to \mathbb{F}_p$ with degree $d$ is such that the image $P(S^n)$ does not contain the full image $A(\mathbb{F}_p)$ of any non-constant polynomial $A: \mathbb{F}_p \to \mathbb{F}_p$ with degree at most $t$, then $P$ coincides on $S^n$ with a polynomial that in particular has bounded degree-$\lfloor d/(t+1) \rfloor$-rank in the sense of Green and Tao. Similarly, we prove that if the assumption holds even for $t=d$, then $P$ coincides on $S^n$ with a polynomial determined by a bounded number of coordinates.

We prove that for every positive integer $d \ge 2$ there exist polynomial functions $F_d, G_d: \mathbb{N} \to \mathbb{N}$ such that for each positive integer $r$, every order-$d$ tensor $T$ over an arbitrary field and with partition rank at least $G_d(r)$ contains a $F_d(r) \times \cdots \times F_d(r)$ subtensor with partition rank at least $r$. We then deduce analogous results on the Schmidt rank of polynomials in zero or high characteristic.

Let $p$ be a prime and let $S$ be a non-empty subset of $\mathbb{F}_p$. Generalizing a result of Green and Tao on the equidistribution of high-rank polynomials over finite fields, we show that if $P: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ is a polynomial and its restriction to $S^n$ does not take each value with approximately the same frequency, then there exists a polynomial $P_0: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ that vanishes on $S^n$, such that the polynomial $P-P_0$ has bounded rank. Our argument uses two black boxes: that a tensor with high partition rank has high analytic rank and that a tensor with high essential partition rank has high disjoint partition rank.

Let $d \ge 2$ be a positive integer. We show that for a class of notions $R$ of rank for order-$d$ tensors, which includes in particular the tensor rank, the slice rank and the partition rank, there exist functions $F_{d,R}$ and $G_{d,R}$ such that if an order-$d$ tensor has $R$-rank at least $G_{d,R}(l)$ then we can restrict its entries to a product of sets $X_1 \times \dots \times X_d$ such that the restriction has $R$-rank at least $l$ and the sets $X_1, \dots, X_d$ each have size at most $F_{d,R}(l)$. Furthermore, our proof methods allow us to show that under a very natural condition we can require the sets $X_1, \dots, X_d$ to be pairwise disjoint.