arXiv++ Combinatorics

Given $E \subseteq \mathbb{F}_q^d \times \mathbb{F}_q^d$, with the finite field $\mathbb{F}_q$ of order $q$ and the integer $d \ge 2$, we define the two-parameter distance set as $Δ_{d, d}(E)=\left\{\left(\|x_1-y_1\|, \|x_2-y_2\|\right) : (x_1,x_2), (y_1,y_2) \in E \right\}$. Birklbauer and Iosevich (2017) proved that if $|E| \gg q^{\frac{3d+1}{2}}$, then $ |Δ_{d, d}(E)| = q^2$. For the case of $d=2$, they showed that if $|E| \gg q^{\frac{10}{3}}$, then $ |Δ_{2, 2}(E)| \gg q^2$. In this paper, we present extensions and improvements of these results.

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.