English

Interpolation of point configurations in the discrete plane

Combinatorics 2024-08-21 v2 Classical Analysis and ODEs

Abstract

Defining distances over finite fields formally by xy:=(x1y1)2++(xdyd)2||x-y||:=(x_1-y_1)^2+\cdots + (x_d-y_d)^2 for x,yFqdx,y\in \mathbb{F}_q^d, distance problems naturally arise in analogy to those studied by Erd\H{o}s and Falconer in Euclidean space. Given a graph GG and a set EFq2E\subseteq \mathbb{F}_q^2, let ΔG(E)\Delta_G(E) be the generalized distance set corresponding to GG. In the case when GG is the complete graph on k+1k+1 vertices, Bennett, Hart, Iosevich, Pakianathan, and Rudnev showed that when Eqdd1k+1|E|\geq q^{d-\frac{d-1}{k+1}}, it follows that ΔG(E)cq(k+12)|\Delta_G(E)|\geq cq^{\binom{k+1}{2}}. In the case when k=d=2k=d=2, the threshold can be improved to Eq85|E|\geq q^{\frac{8}{5}}. Moreover, Jardine, Iosevich, and McDonald showed that in the case when GG is a tree with k+1k+1 vertices, then whenever EFqdE\subseteq \mathbb{F}_q^d, d2d\geq 2 satisfies ECkqd+12|E|\geq C_kq^{\frac{d+1}{2}}, it follows that ΔG(E)=Fqk\Delta_G(E)=\mathbb{F}_q^k. In this paper, we present a technique which enables us to study certain graphs with both rigid and non-rigid components. In particular, we show that for EFq2E\subseteq \mathbb{F}_q^2, q=pnq=p^n, nn odd, p3 mod 4p\equiv 3 \ \text{mod} \ 4, and GG is the graph consisting of two triangles joined at a vertex, then whenever Eq127|E|\geq q^{\frac{12}{7}}, it follows that ΔG(E)cq6|\Delta_G(E)|\geq cq^6.

Keywords

Cite

@article{arxiv.2408.07010,
  title  = {Interpolation of point configurations in the discrete plane},
  author = {Esen Aksoy and Alex Iosevich and Brian McDonald},
  journal= {arXiv preprint arXiv:2408.07010},
  year   = {2024}
}

Comments

14 pages, 3 figures