Four Special Directions over Prime Fields: Structure and Complete Classification
Abstract
A direction of the affine plane $\mathbb{F}_p^2$ is special for a set if the lines in that direction do not all meet the set in the same number of points. We classify, for every prime $p\ge5$, the subsets of $\mathbb{F}_p^2$ with exactly four special directions. There are $54$ affine-equivalence classes, occurring only for $p=5,7,11,13,17$, and we give explicit representatives. In particular, $17$ is the largest prime admitting such a set, which answers a question of Ghidelli, Kiss and Somlai, and over $\mathbb{F}_{13}$ the minimum size is $65$, attained by exactly two classes. The key structural fact is that the projection polynomials of such a set share a vertex: the set is either centrally symmetric about this point or differs from its reflection by exchanging one full line with one empty line. We also show that, over an odd prime field, a Boolean function on $\mathbb{F}_p^d$ with exactly four active projective Fourier lines is pulled back from a plane, so the classification extends to every dimension. The classification and the exclusion of the primes $19\le p<2048$ are computer-assisted; the structural results and the exclusion of larger primes are proved directly.
BibTeX
Loading...