arXiv++ Combinatorics

We study the problem of embedding bipartite graphs in Ahlfors-David regular sets of large dimension using results from extremal graph theory. Our main theorem states that any graph satisfying a power-improving bound on the extremal number can be found in the distance graph of a sufficiently high-dimensional AD-regular set. In particular, we show that AD-regular sets of dimension greater than $\frac{d+1}{2}$ must contain even cycles of all lengths if $d\geq 3$, and must contain even cycles of length at least 6 if $d=2$. This improves the best known threshold for the problem in $d\geq 4$, and yields entirely new results in $d=2,3$, under the extra assumption of AD-regularity. We also prove analogous results for large subsets of vector spaces over finite fields, which improve the best known exponent for even cycles in all dimensions.

Let $S$ be a set of points in $\mathbb{R}^2$ contained in a circle and $P$ an unrestricted point set in $\mathbb{R}^2$. We prove the number of distinct distances between points in $S$ and points in $P$ is at least $\min(|S||P|^{1/4-\varepsilon},|S|^{2/3}|P|^{2/3},|S|^2,|P|^2)$. This builds on work of Pach and De Zeeuw, Bruner and Sharir, McLaughlin and Omar and Mathialagan on distances between pairs of sets.

In Euclidean space, one can use the dot product to give a formula for the area of a triangle in terms of the coordinates of each vertex. Since this formula involves only addition, subtraction, and multiplication, it can be used as a definition of area in $R^2$, where $R$ is an arbitrary ring. The result is a quantity associated with triples of points which is still invariant under the action of $\text{SL}_2(R)$. One can then look at a configuration of points in $R^2$ in terms of the triangles determined by pairs of points and the origin, considering two such configurations to be of the same type if corresponding pairs of points determine the same areas. In this paper we consider the cases $R=\mathbb{F}_q$ and $R=\mathbb{Z}/p^\ell \mathbb{Z}$, and prove that sufficiently large subsets of $R^2$ must produce a positive proportion of all such types of configurations.

Bennett, Hart, Iosevich, Pakianathan, and Rudnev found an exponent $s<d$ such that any set $E\subset \mathbb{F}_q^d$ with $|E|\gtrsim q^s$ determines $\gtrsim q^{\binom{k+1}{2}}$ congruence classes of $(k+1)$-point configurations for $k\leq d$. Because congruence classes can be identified with tuples of distances between distinct points when $k\leq d$, and because there are $\binom{k+1}{2}$ such pairs, this means any such $E$ determines a positive proportion of all congruence classes. In the $k>d$ case, fixing all pairs of distnaces leads to an overdetermined system, so $q^{\binom{k+1}{2}}$ is no longer the correct number of congruence classes. We determine the correct number, and prove that $|E|\gtrsim q^s$ still determines a positive proportion of all congruence classes, for the same $s$ as in the $k\leq d$ case.