English

Near optimal thresholds for existence of dilated configurations in $\mathbb{F}_q^d$

Combinatorics 2023-05-23 v2 Number Theory

Abstract

Let EFqdE\subset\mathbb{F}_q^d and :FqdFq\lVert \cdot \rVert:\mathbb{F}_q^d\to \mathbb{F}_q defined as α:=α12++αd2\lVert \alpha\rVert:= \alpha_1^2+\dots+\alpha_d^2 if α=(α1,,αd)Fqd\alpha=(\alpha_1,\dots,\alpha_d)\in \mathbb{F}_q^d, where Fqd\mathbb{F}_q^d is the dd-dimensional vector space over the finite field Fq\mathbb{F}_q with qq elements. Let k1k\geq 1 and AA is a nonempty subset of {(i,j):1i<jk+1}\{(i,j):1\leq i<j\leq k+1\}. In this paper, we prove that for any nonzero square element rFqr\in \mathbb{F}_q and Ekqd/2\lvert E\rvert\gg_kq^{d/2} one can find two (k+1)(k+1)-tuples in EE such that one of them is dilated by rr with respect to the other only on A|A| edges. More precisely, there exist (x1,,xk+1)Ek+1(x_1,\dots,x_{k+1})\in E^{k+1} and (y1,,yk+1)Ek+1(y_1,\dots,y_{k+1})\in E^{k+1} such that yiyj=rxixj\lVert y_i-y_j\rVert=r\lVert x_i-x_j\rVert if (i,j)A(i,j)\in A and xixj,yiyjx_i\neq x_j, y_i\neq y_j if 1i<jk+11\leq i<j\leq k+1. In particular, we present two proofs first of which utilizes the machinery of group actions which is typically used to handle problems of this nature, whereas the second one is more combinatorial in nature and is based on the averaging argument. Moreover, we show that in two dimensions the threshold d/2d/2 is sharp when q3(mod4)q\equiv 3 \pmod 4. As a corollary of this result, varying the underlying set AA we obtain thresholds for existence of dilated kk-paths, kk-cycles, and kk-stars (k3)(k\geq 3). These results partly generalize some results of the second author.

Keywords

Cite

@article{arxiv.2305.10685,
  title  = {Near optimal thresholds for existence of dilated configurations in $\mathbb{F}_q^d$},
  author = {Pablo Bhowmik and Firdavs Rakhmonov},
  journal= {arXiv preprint arXiv:2305.10685},
  year   = {2023}
}

Comments

11 pages, 4 figures