pith. sign in

arxiv: 1802.08297 · v1 · pith:BQCQXY3Vnew · submitted 2018-02-22 · 🧮 math.CA · math.CO· math.NT

On the quotient set of the distance set

classification 🧮 math.CA math.COmath.NT
keywords deltafracmathbbsubsetnonzeroquadraticresiduesthen
0
0 comments X
read the original abstract

Let ${\Bbb F}_q$ be a finite field of order $q.$ We prove that if $d\ge 2$ is even and $E \subset {\Bbb F}_q^d$ with $|E| \ge 9q^{\frac{d}{2}}$ then $$ {\Bbb F}_q=\frac{\Delta(E)}{\Delta(E)}=\left\{ \frac{a}{b}: a \in \Delta(E), b \in \Delta(E) \backslash \{0\} \right\},$$ where $$ \Delta(E)=\{||x-y||: x,y \in E\}, \ ||x||=x_1^2+x_2^2+\cdots+x_d^2.$$ If the dimension $d$ is odd and $E\subset \mathbb F_q^d$ with $|E|\ge 6q^{\frac{d}{2}},$ then $$ \{0\}\cup\mathbb F_q^+ \subset \frac{\Delta(E)}{\Delta(E)},$$ where $\mathbb F_q^+$ denotes the set of nonzero quadratic residues in $\mathbb F_q.$ Both results are, in general, best possible, including the conclusion about the nonzero quadratic residues in odd dimensions.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.