arXiv++ Combinatorics

Let $p$ be an odd prime and let $S\subseteq\mathbb{F}_p^2$ have cardinality divisible by $p$. We prove that, for all sufficiently large primes $p$, no such set has exactly four special directions, and obtain a conditional extension to larger numbers of special directions under an affine-independence assumption on the corresponding projection functions. A separate second-moment argument shows more generally that, for every fixed $k\ge4$, no subset of $\mathbb{F}_p^2$ has exactly $k$ special directions once $p$ is sufficiently large. In fact, the result holds uniformly for $k$ up to a positive constant times $\sqrt p/\log p$. In contrast, for multisets every prescribed collection of at most $p$ directions can occur as the set of special directions of a $\{0,1,2\}$-valued multiset on $\mathbb{F}_p^2$.

We generalize to sets with cardinality more than $p$ a theorem of Rédei and Szőnyi on the number of directions determined by a subset $U$ of the finite plane $\mathbb F_p^2$. A $U$-rich line is a line that meets $U$ in at least $\#U/p+1$ points, while a $U$-poor line is one that meets $U$ in at most $\#U/p-1$ points. The slopes of the $U$-rich and $U$-poor lines are called $U$-special directions. We show that either $U$ is contained in the union of $n=\lceil\#U/p\rceil$ lines, or it determines `many' $U$-special directions. The core of our proof is a version of the polynomial method in which we study iterated partial derivatives of the Rédei polynomial to take into account the `multiplicity' of the directions determined by $U$.

A planar PCC graph is a simple connected planar graph with everywhere positive combinatorial curvature which is not a prism or an antiprism and with all vertices of degree at least 3. We prove that every planar PCC graph has at most 208 vertices, thus answering completely a question raised by DeVos and Mohar. The proof is based on a refined discharging technique and on an accurate low-scale combinatorical description of such graphs. We also prove that all faces in a planar PCC graph have at most 41 sides, and this result is sharp as well.