Even-dimensional Erdős–Falconer distance conjecture

About 1 year old · traced to

Let d≥2d\ge 2 be an even integer and let A⊆FqdA\subseteq\mathbb F_q^d. For x,y∈Fqdx,y\in\mathbb F_q^d, write

∥x−y∥=∑i=1d(xi−yi)2,\|x-y\|=\sum_{i=1}^d(x_i-y_i)^2,

and define the distance set Δ(A)={∥x−y∥:x,y∈A}\Delta(A)=\{\|x-y\|:x,y\in A\}. Here X∼YX\sim Y means that X≳YX\gtrsim Y and Y≳XY\gtrsim X, with constants independent of qq.

Even-dimensional Erdős–Falconer conjecture. If ∣A∣≥Cqd/2|A|\ge Cq^{d/2} for a sufficiently large constant CC independent of qq, then

∣Δ(A)∣∼q.|\Delta(A)|\sim q.

This is presented as an open problem in every even dimension. Partial improvements are known in dimension 22, including bounds 4/34/3 and, over prime fields, 5/45/4, but the conjectured exponent d/2d/2 is not known in all even dimensions.

References

Primary source

Hunseok Kang, Doowon Koh and Firdavs Rakhmonov, “The Erdős-Falconer distance problem between arbitrary sets and k-coordinatable sets in finite fields”, arXiv:2506.07251 (2025).

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.