Cap Set

In affine geometry, a cap set is a subset of $\mathbb_3^n$ (an $n$-dimensional affine space over a three-element field) with no three elements in a line.
The cap set problem is the problem of finding the size of the largest possible cap set, as a function of $n$.. The first few cap set sizes are 1, 2, 4, 9, 20, 45, 112, ... .

Cap sets may be defined more generally as subsets of finite affine or projective spaces with no three in line, where these objects are simply called caps. The "cap set" terminology should be distinguished from other unrelated mathematical objects with the same name, and in particular from sets with the compact absorption property in function spaces as well as from compact convex co-convex subsets of a convex set.

Example

An example of cap sets comes from the card game Set, a card game in which each card has four features (its number, symbol, shading, and color), each of which can take one of three values. The cards of this game can be interpreted as representing points of the four-dimensional affine space $\mathbb_3^4$, where each coordinate of a point specifies the value of one of the features. A line, in this space, is a triple of cards that, in each feature, are either all the same as each other or all different from each other. The game play consists of finding and collecting lines among the cards that are currently face up, and a cap set describes an array of face-up cards in which no lines may be collected.

One way to construct a large cap set in the game Set would be to choose two out of the three values for each feature, and place face up each of the cards that uses only one of those two values in each of its features. The result would be a cap set of 16 cards. More generally, the same strategy would lead to cap sets in $\mathbb_3^n$ of size $2^n$. However, in 1971, Giuseppe Pellegrino proved that four-dimensional cap sets have maximum size 20. In terms of Set, this result means that some layouts of 20 cards have no line to be collected, but that every layout of 21 cards has at least one line.

Maximum size

Since the work of Pellegrino in 1971, and of Tom Brown and Joe Buhler, who in 1984 proved that cap-sets cannot constitute any constant proportion of the whole space, there has been a significant line of research on how large they may be.

Lower bounds

Pellegrino's solution for the four-dimensional cap-set problem also leads to larger lower bounds than $2^n$ for any higher dimension, which were further improved by .
and then . Tyrrell's lower bound shows that, for large $n$, there is a cap set in $\mathbb_3^n$ of size at least $2.218^n$..

Upper bounds

In 1984, Tom Brown and Joe Buhler proved that the largest possible size of a cap set in $\mathbb_3^n$ is $o(3^n)$ as $n$ grows; loosely speaking, this means that cap sets have zero density. Péter Frankl, Ronald Graham, and Vojtěch Rödl have shown in 1987 that the result of Brown and Buhler follows easily from the Ruzsa - Szemerédi triangle removal lemma, and asked whether there exists a constant $c<3$ such that, indeed, for all sufficiently large values of $n$, any cap set in $\mathbb_3^n$ has size at most $c^n$; that is, whether any set in $\mathbb_3^n$ of size exceeding $c^n$ contains an affine line. This question also appeared in a paper published by Noga Alon and Moshe Dubiner in 1995. In the same year, Roy Meshulam proved that the size of a cap set does not exceed $2\cdot3^n/n$.

Determining whether Meshulam's bound can be improved to $c^n$ with $c<3$ was considered one of the most intriguing open problems in additive combinatorics and Ramsey theory for over 20 years, highlighted, for instance, by blog posts on this problem from Fields medalists Timothy Gowers and Terence Tao. In his blog post, Tao refers to it as "perhaps, my favorite open problem" and gives a simplified proof of the exponential bound on cap sets, namely that for any prime power $p$, a subset $S \subset F_p^n$ that contains no arithmetic progression of length $3$ has size at most $c_p^n$ for some c_p.

In 2011, Michael Bateman and Nets Katz improved the bound to $O(3^n/n^)$ with a positive constant $\varepsilon$. The cap set conjecture was solved in 2016, when Ernie Croot, Vsevolod Lev, and Péter Pál Pach posted a preprint on a tightly related problem (same problem but on $\mathbb_4^n$), that was quickly used by Jordan Ellenberg and Dion Gijswijt to prove an upper bound of $2.756^n$ on the cap set problem. In 2019, Sander Dahmen, Johannes Hölzl and Rob Lewis formalised the proof of this upper bound in the Lean theorem prover.

In March 2021, Zhi Jiang in a preprint showed that Ellenberg and Gijswijt's result as stated can be improved by a factor of $$. Jiang's result is a consequence of precisely examining the multinomial coefficients that come out of Ellenberg and Gijswijt's proof to gain a factor of $$. As of September 2022, there is no exponential improvement to Ellenberg and Gijswijt's upper bound.

Mutually disjoint capsets

In 2013, five researchers together published an analysis of all the ways in which spaces of up to size AG(4,3) can be partitioned into disjoint capsets. They reported that it is possible to use four different capsets of size 20 in AG(4,3) that between them cover 80 different cells; the single cell left uncovered is called the anchor of each of the four capsets, the single point that when added to the 20 points of a capset makes the entire sum go to 0 (mod 3). All capsets in such a disjoint collection share the same anchor. Results for larger sizes are still open as of 2021.

Applications

Sunflower conjecture

The solution to the cap set problem can also be used to prove a partial form of the sunflower conjecture, namely that if a family of subsets of an $n$-element set has no three subsets whose pairwise intersections are all equal, then the number of subsets in the family is at most $c^n$ for a constant $c<2$.

Matrix multiplication algorithms

The upper bounds on cap sets imply lower bounds on certain types of algorithms for matrix multiplication.

Strongly regular graphs

The Games graph is a strongly regular graph with 729 vertices. Every edge belongs to a unique triangle, so it is a locally linear graph, the largest known locally linear strongly regular graph. Its construction is based on the unique 56-point cap set in the five-dimensional ternary projective space (rather than the affine space that cap-sets are commonly defined in)..

See also

*No-three-in-line problem, a problem of avoiding three elements in a line in a two-dimensional grid

References

{{reflist, 30em

Ramsey theory