arXiv++ Combinatorics

Sets with many additive quadruples are guaranteed to have many additive octuples, by Hölder's inequality. Sets with not many more than this are said to be additively nonsmoothing. We give a new proof of a structural theorem for nonsmoothing sets that originally appeared in work of the authors (\cite{BK}) on the size of cap sets in $F_3 ^N$.

We provide an improvement over Meshulam's bound on cap sets in $F_3^N$. We show that there exist universal $ε>0$ and $C>0$ so that any cap set in $F_3^N$ has size at most $C {3^N \over N^{1+ε}}$. We do this by obtaining quite strong information about the additive combinatorial properties of the large spectrum.

We completely characterize the boundedness of planar directional maximal operators on L^p. More precisely, if Omega is a set of directions, we show that M_Omega, the maximal operator associated to line segments in the directions Omega, is unbounded on L^p, for all p < infinity, precisely when Omega admits Kakeya-type sets. In fact, we show that if Omega does not admit Kakeya sets, then Omega is a generalized lacunary set, and hence M_Omega is bounded on L^p, for p>1.