New applications of the polynomial method: The cap set conjecture and beyond

Abstract

The cap set problem asks how large can a subset of (Z/3Z) n be and contain no lines or, more generally, how can large a subset of (Z/pZ) n be and contain no arithmetic progressions. This problem was motivated by deep questions about structure in the prime numbers, the geometry of lattice points, and the design of statistical experiments. In 2016, Croot, Lev, and Pach solved the analogous problem in (Z/4Z) n , showing that the largest set without arithmetic progressions had size at most c n for some c < 4. Their proof was as elegant as it was unexpected, being a departure from the tried and true methods of Fourier analysis that had dominated the field for half a century. Shortly thereafter, Ellenberg and Gijswijt leveraged their method to resolve the original cap set problem. This expository article covers the history and motivation for the cap set problem and some of the many applications of the technique: from removing triangles from graphs, to rigidity of matrices, and to algorithms for matrix multiplication. The latter application turns out to give back to the original problem, sharpening our understanding of the techniques involved and of what is needed for showing that the current bounds are tight. Most of our exposition assumes only familiarity with basic linear algebra, polynomials, and the integers modulo N .

Finding solutions with distinct variables to systems of linear equations over $\mathbb{F}_p$

“…Note that Corollary 3.6 can be viewed as a generalization of Lemma 3.4 for diagonal tensors by considering the partition of [k] into a single set J 1 = [k]. The slice rank polynomial method has had many interesting applications in combinatorics (see for example Grochow's survey [13]), but all of them rely on using a diagonal tensor (meaning that they proceed via Lemma 3.4). This paper gives the first combinatorial application that uses the additional strength of Corollary 3.6 for non-diagonal tensors.…”

Saturation of Rota's basis conjecture

“…The slice rank was introduced by Tao in [Tao16] and studied in [ST16]. This notion found many applications especially in additive combinatorics, see [Gro19] for a related survey.…”

Exponentially larger affine and projective caps

“…An important breakthrough [5, 12, 18, 22] has recently lead to greatly improved upper bounds for the largest possible size of these sets in the affine geometry $${\rm AG}(n,p)$$.…”