The finite-field Erdős distance conjecture

About 21 years old · traced to

Let Fq{\mathbb F}_q be a finite field with qq elements, let Fqd{\mathbb F}_q^d be its dd-dimensional vector space, and let E⊂FqdE\subset {\mathbb F}_q^d with d≥2d\geq 2. Define

Δ(E)={(x1−y1)2+⋯+(xd−yd)2:x,y∈E}⊂Fq.\Delta(E)=\{(x_1-y_1)^2+\dots+(x_d-y_d)^2:x,y\in E\}\subset {\mathbb F}_q.

Write X≲YX\lesssim Y when X≤CYX\leq CY for some constant C>0C>0, and X≳YX\gtrsim Y when Y≲XY\lesssim X.

Finite-field Erdős distance conjecture. If

#E≲qd/2,\#E\lesssim q^{d/2},

then

#Δ(E)≳(#E)2/d.\#\Delta(E)\gtrsim (\#E)^{2/d}.

The unrestricted Euclidean-type estimate fails for large subsets, such as E=FqdE={\mathbb F}_q^d, for which #E=qd\#E=q^d but #Δ(E)=q\#\Delta(E)=q. The conjecture is presented as open in the source and is the finite-field analogue of the Falconer distance problem.

References

Primary source

Alex Iosevich and Misha Rudnev, “Erdos distance problem in vector spaces over finite fields”, arXiv:math/0509005 (2005).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.