arXiv++ Combinatorics

The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum-product type applications of these incidence bounds, building on the recent work of Rudnev and Shkredov. We bound the energy of several systems of lines, in some cases obtaining a better energy bound than the corresponding bounds obtained by Rudnev and Shkredov by exploiting a connection with collinear quadruples. Our motivation for seeking to generalise and improve the incidence bound obtained by Rudnev and Shkredov comes from possible applications to sum-product problems. For example, we prove that, for any finite $A \subset \mathbb R$ the following superquadratic bound holds: \[ \left| \left \{ \frac{ab-cd}{a-c} : a,b,c,d \in A \right \} \right| \gg |A|^{2+\frac{1}{14}}. \] This improves the previously known bound with exponent $2$. We also give a threshold-beating asymmetric sum-product estimate for sets with small sum set by proving that there exists a positive constant $c$ such that for all finite $A,B \subset \mathbb R$, \[ |A+A| \ll K|A| \Rightarrow |AB| \gg_K |A||B|^{1/2+c}. \]

We adapt the approach of Rudnev, Shakan, and Shkredov to prove that in an arbitrary field $\mathbb{F}$, for all $A \subset \mathbb{F}$ finite with $|A| < p^{1/4}$ if $p:= Char(\mathbb{F})$ is positive, we have $$|A(A+1)| \gtrsim |A|^{11/9}, \qquad |AA| + |(A+1)(A+1)| \gtrsim |A|^{11/9}.$$ This improves upon the exponent of $6/5$ given by an incidence theorem of Stevens and de Zeeuw.

We give a construction of a non-degenerate polynomial $F\in \mathbb R[x,y,z]$ and a set $A$ of cardinality $n$ such that $\left|Z(F)\cap (A \times A \times A) \right| \gg n^{\frac{3}{2}}$, thus providing a new lower bound construction for the Elekes--Szabó problem. We also give a related construction for the Elekes--Rónyai problem restricted to a subgraph. This consists of a polynomial $f\in \mathbb R[x,y]$ that is not additive or multiplicative, a set $A$ of size $n$, and a subset $P\subset A\times A$ of size $|P|\gg n^{3/2}$ on which $f$ takes only $n$ distinct values.

We consider a question raised by Rudnev: given four pencils of $n$ concurrent lines in $\mathbb R^2$, with the four centres of the pencils non-collinear, what is the maximum possible size of the set of points where four lines meet? Our main result states that the number of such points is $O(n^{11/6})$, improving a result of Chang and Solymosi. We also consider constructions for this problem. Alon, Ruzsa and Solymosi constructed an arrangement of four non-collinear $n$-pencils which determine $Ω(n^{3/2})$ four-rich points. We give a construction to show that this is not tight, improving this lower bound by a logarithmic factor. We also give a construction of a set of $m$ $n$-pencils, whose centres are in general position, that determine $Ω_m(n^{3/2})$ $m$-rich points.