Finite fields distance conjecture

From papers

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

D(E)={i=1d(xiyi)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 #ECqd/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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.