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$.

Hegyvári and Hennecart showed that if $B$ is a sufficiently large brick of a Heisenberg group, then the product set $B\cdot B$ contains many cosets of the center of the group. We give a new, robust proof of this theorem that extends to all extra special groups as well as to a large family of quasigroups.

In this short note, we use Rudnev's point-plane incidence bound to improve some results on conditional expanding bounds for two-variable functions over arbitrary fields due to Hegyvári and Hennecart.

We determine which quadratic polynomials in three variables are expanders over an arbitrary field $\mathbb{F}$. More precisely, we prove that for a quadratic polynomial $f\in \mathbb{F}[x,y,z]$, which is not of the form $g(h(x)+k(y)+l(z))$, we have $|f(A\times B\times C)|\gg N^{3/2}$ for any sets $A,B,C\subset \mathbb{F}$ with $|A|=|B|=|C|=N$, with $N$ not too large compared to the characteristic of $\mathbb{F}$. We give several applications. We use this result for $f=(x-y)^2+z$ to obtain new lower bounds on $|A+A^2|$ and $\max\{|A+A|,|A^2+A^2|\}$, and to prove that a Cartesian product $A\times\cdots \times A\subset \mathbb{F}^d$ determines almost $|A|^2$ distinct distances if $|A|$ is not too large.

In this short note, we study the distribution of spreads in a point set $\mathcal{P} \subseteq \mathbb{F}_q^d$, which are analogous to angles in Euclidean space. More precisely, we prove that, for any $\varepsilon > 0$, if $|\mathcal{P}| \geq (1+\varepsilon) q^{\lceil d/2 \rceil}$, then $\mathcal{P}$ generates a positive proportion of all spreads. We show that these results are tight, in the sense that there exist sets $\mathcal{P} \subset \mathbb{F}_q^d$ of size $|\mathcal{P}| = q^{\lceil d/2 \rceil}$ that determine at most one spread.

Let $\mathcal{E}$ be a set of points in $\mathbb{F}_q^d$. Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2016) proved that if $|\mathcal{E}|\gg q^{d-\frac{d-1}{k+1}}$ then $\mathcal{E}$ determines a positive proportion of all $k$-simplices. In this paper, we give an improvement of this result in the case when $\mathcal{E}$ is the Cartesian product of sets. More precisely, we show that if $\mathcal{E}$ is the Cartesian product of sets and $q^{\frac{kd}{k+1-1/d}}=o(|\mathcal{E}|)$, the number of congruence classes of $k$-simplices determined by $\mathcal{E}$ is at least $(1-o(1))q^{\binom{k+1}{2}}$, and in some cases our result is sharp.

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 use methods from spectral graph theory to obtain bounds on the number of incidences between $k$-planes and $h$-planes in $\mathbb{F}_q^d$ which generalize a recent result given by Bennett, Iosevich, and Pakianathan (2014). More precisely, we prove that the number of incidences between a set $\mathcal{P}$ of $k$-planes and a set $\mathcal{H}$ of $h$-planes with $h\ge 2k+1$, which is denoted by $I(\mathcal{P},\mathcal{H})$, satisfies \[\left\vert I(\mathcal{P},\mathcal{H})-\frac{|\mathcal{P}||\mathcal{H}|}{q^{(d-h)(k+1)}}\right\vert \lesssim q^{\frac{(d-h)h+k(2h-d-k+1)}{2}}\sqrt{|\mathcal{P}||\mathcal{H}|}. \]

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.

We prove a Szemerédi-Trotter type theorem and a sum-product estimate in the setting of finite quasifields. These estimates generalize results of the fourth author, of Garaev, and of Vu. We generalize results of Gyarmati and Sárközy on the solvability of the equations $a + b = cd$ and $ab + 1 = cd$ over a finite field. Other analogous results that are known to hold in finite fields are generalized to finite quasifields.