Finite fields distance conjecture

About 2 years old · traced to

Let qq be odd, let dd be even, and let E⊆FqdE\subseteq\mathbb{F}_q^d. Define the distance set

D(E)={∑i=1d(xi−yi)2:(x1,…,xd),(y1,…,yd)∈E}.D(E)=\left\{\sum_{i=1}^d(x_i-y_i)^2:(x_1,\dots,x_d),(y_1,\dots,y_d)\in E\right\}.

Finite fields distance conjecture. If #E⩾Cqd/2\#E\geqslant Cq^{d/2} with CC sufficiently large, then

#D(E)≳q.\#D(E)\gtrsim q.

This is the finite-fields analogue of the Erdős distinct-distances problem and the Falconer distance problem. The statement concerns whether a sufficiently large set in even-dimensional finite-field space determines a positive proportion of all possible distances; its resolution status is not specified in the supplied text.

References

Primary source

Jonathan M. Fraser, “L^p averages of the Fourier transform in finite fields”, arXiv:2407.08589 (2026).

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.