Finite-field Kakeya set

A subset of ${\mathbb{F}}_q^n$ is a finite-field Kakeya set when it contains an affine line in a vector space in every one-dimensional direction. The line position may depend on the direction. The polynomial method in combinatorics yields the finite-field Kakeya polynomial bound on its cardinality.

For a finite-field Kakeya set $A\subseteq {\mathbb{F}}_q^n$, a smaller cardinality would give a nonzero polynomial of total degree of a polynomial at most $q-1$ vanishing on $A$, by the dimension of a bounded-total-degree polynomial space. Its restriction to each complete affine line in a vector space has $q$ roots of a polynomial and degree less than $q$, hence vanishes identically. The top homogeneous polynomial part then vanishes in every direction. A polynomial of degree less than $q$ in each variable cannot vanish everywhere on ${\mathbb{F}}_q^n$ unless it is zero, giving a contradiction. For the prime field, this is the polynomial nonvanishing below the field size.