On cap sets and the group-theoretic approach to matrix multiplication

On cap sets and the group-theoretic approach to matrix multiplication, Discrete Analysis 2017:3, 27pp. A famous problem in computational complexity is to obtain a good estimate for the number of operations needed to compute the product of two $n\times n$ matrices. The obvious method uses $n^3$ operations, and it is initially tempting to think that one could not do substantially better. However, Strassen made a simple but very surprising observation that by cleverly grouping terms one can compute the product of two $2\times 2$ matrices using not eight but seven multiplications, and one can then iterate this idea to obtain an improved bound of $O(n^{\log 7/\log 2})$. This was the start of intensive research. The bound was improved to about 2.375 by Coppersmith and Winograd in 1990 and this was a natural barrier for various methods, but then it started to move again with improvements by Davie and Stothers and by Williams, with the current record of approximately 2.3728639 established by Le Gall in 2014 (to be compared with Williams's bound of 2.3728642). In the other direction, it is easy to show that at least $n^2$ operations are needed, since the product depends on all the matrix entries. The big problem is to determine whether the exponent 2 is the right one. Meanwhile, in 2003, Cohn and Umans had developed a new framework for thinking about the problem via group theory. A couple of years later, with Kleinberg and Szegedy, they used this approach to rederive the bound of Coppersmith and Winograd, and formulated some conjectures that would imply that the correct exponent was indeed 2 -- that is, that matrix multiplication can be performed using only $n^{2+o(1)}$ operations. Thanks to this work and later work by Umans with Alon and Shpilka, the matrix multiplication problem was found to be related to another famous open problem -- the Erdős-Szemerédi sunflower conjecture -- which in turn was related to yet another famous problem -- the cap set problem. As reported on the blog of this journal (and in many other places), the cap set problem was solved in a spectacular way by Ellenberg and Gijswijt, using a remarkable idea of Croot, Lev and Pach that had been used to prove a closely related result. This has had a knock-on effect on the other problems: it straight away proved a version of the sunflower conjecture, thereby ruling out a method proposed by Coppersmith and Winograd that would have shown that the exponent was 2. However, there were several other appr