arXiv++ Combinatorics

Let $\mathbb{F}_p$ be a prime field of order $p>2$, and $A$ be a set in $\mathbb{F}_p$ with very small size in terms of $p$. In this note, we show that the number of distinct cubic distances determined by points in $A\times A$ satisfies \[|(A-A)^3+(A-A)^3|\gg |A|^{8/7},\] which improves a result due to Yazici, Murphy, Rudnev, and Shkredov. In addition, we investigate some new families of expanders in four and five variables. We also give an explicit exponent of a problem of Bukh and Tsimerman, namely, we prove that \[\max \left\lbrace |A+A|, |f(A, A)|\right\rbrace\gg |A|^{6/5},\] where $f(x, y)$ is a quadratic polynomial in $\mathbb{F}_p[x, y]$ that is not of the form $g(αx+βy)$ for some univariate polynomial $g$.

Suppose that $nk$ points in general position in the plane are colored red and blue, with at least $n$ points of each color. We show that then there exist $n$ pairwise disjoint convex sets, each of them containing $k$ of the points, and each of them containing points of both colors. We also show that if $P$ is a set of $n(d+1)$ points in general position in $\mathbb{R}^d$ colored by $d$ colors with at least $n$ points of each color, then there exist $n$ pairwise disjoint $d$-dimensional simplices with vertices in $P$, each of them containing a point of every color. These results can be viewed as a step towards a common generalization of several previously known geometric partitioning results regarding colored point sets.

In this paper we introduce a unified approach to deal with incidence problems between points and varieties over finite fields. More precisely, we prove that the number of incidences $I(\mathcal{P}, \mathcal{V})$ between a set $\mathcal{P}$ of points and a set $\mathcal{V}$ of varieties of a certain form satisfies $$\left\vert I(\mathcal{P},\mathcal{V})-\frac{|\mathcal{P}||\mathcal{V}|}{q^k}\right\vert\le q^{dk/2}\sqrt{|\mathcal{P}||\mathcal{V}|}.$$ This result is a generalization of the results of Vinh (2011), Bennett et al. (2014), and Cilleruelo et al. (2015). As applications of our incidence bounds, we obtain results on the pinned value problem and the Beck type theorem for points and spheres. Using the approach introduced, we also obtain a result on the number of distinct distances between points and lines in $\mathbb{F}_q^2$, which is the finite field analogous of a recent result of Sharir et al. (2015).

We show that for $m$ points and $n$ lines in the real plane, the number of distinct distances between the points and the lines is $Ω(m^{1/5}n^{3/5})$, as long as $m^{1/2}\le n\le m^2$. We also prove that for any $m$ points in the plane, not all on a line, the number of distances between these points and the lines that they span is $Ω(m^{4/3})$. The problem of bounding the number of distinct point-line distances can be reduced to the problem of bounding the number of tangent pairs among a finite set of lines and a finite set of circles in the plane, and we believe that this latter question is of independent interest. In the same vein, we show that $n$ circles in the plane determine at most $O(n^{3/2})$ points where two or more circles are tangent, improving the previously best known bound of $O(n^{3/2}\log n)$. Finally, we study three-dimensional versions of the distinct point-line distances problem, namely, distinct point-line distances and distinct point-plane distances. The problems studied in this paper are all new, and the bounds that we derive for them, albeit most likely not tight, are non-trivial to prove. We hope that our work will motivate further studies of these and related problems.

We prove a lower bound on the number of ordinary conics determined by a finite point set in $\mathbb{R}^2$. An ordinary conic for a subset $S$ of $\mathbb{R}^2$ is a conic that is determined by five points of $S$, and contains no other points of $S$. Wiseman and Wilson proved the Sylvester-Gallai-type statement that if a finite point set is not contained in a conic, then it determines at least one ordinary conic. We give a simpler proof of their result and then combine it with a result of Green and Tao to prove our main result: If $S$ is not contained in a conic and has at most $c|S|$ points on a line, then $S$ determines $Ω_c(|S|^4)$ ordinary conics. We also give a construction, based on the group structure of elliptic curves, that shows that the exponent in our bound is best possible.

We prove bounds on intersections of algebraic varieties in $\mathbb{C}^4$ with Cartesian products of finite sets from $\mathbb{C}^2$, and we point out connections with several classic theorems from combinatorial geometry. Consider an algebraic variety $X$ in $\mathbb{C}^4$ of degree $d$, such that the polynomials defining $X$ are not all of the form $F(x,y,s,t) = G(x,y)H(x,y,s,t) + K(s,t)L(x,y,s,t)$. Let $P$ and $Q$ be finite subsets of $\mathbb{C}^2$ of size $n$. If $X$ has dimension one or two, then we prove $|X\cap (P\times Q)| = O_d(n)$, while if $X$ has dimension three, then $|X\cap (P\times Q)| =O_{d,\varepsilon}(n^{4/3+\varepsilon})$ for any $\varepsilon>0$. Both bounds are best possible in this generality (except for the $\varepsilon$). These bounds can be viewed as different generalizations of the Schwartz-Zippel lemma, where we replace a product of "one-dimensional" finite subsets of $\mathbb{C}$ by a product of "two-dimensional" finite subsets of $\mathbb{C}^2$. The bound for three-dimensional varieties generalizes the Szemerédi-Trotter theorem. A key ingredient in our proofs is a two-dimensional version of a special case of Alon's combinatorial Nullstellensatz. As corollaries of our two bounds, we obtain bounds on the number of repeated and distinct values of polynomials and polynomial maps of pairs of points in $\mathbb{C}^2$, with a characterization of those maps for which no good bounds hold. These results generalize known bounds on repeated and distinct Euclidean distances.

Let $B$ be a bilinear form on pairs of points in the complex plane, of the form $B(p,q) = p^TMq$, for an invertible $2\times2$ complex matrix $M$. We prove that any finite set $S$ contained in an irreducible algebraic curve $C$ of degree $d$ in $\mathbb{C}^2$ determines at least $c_d|S|^{4/3}$ distinct values of $B$, unless the curve $C$ has an exceptional form. This strengthens a result of Charalambides in several ways. The proof is based on that of Pach and De Zeeuw, who proved a similar statement for the Euclidean distance function in the real plane. Our main motivation for this paper is that for bilinear forms, this approach becomes more natural, and should better lend itself to understanding and generalization.