Even-dimensional Erdős–Falconer distance conjecture

Let d2d\ge 2 be an even integer and let AFqdA\subseteq\mathbb F_q^d. For x,yFqdx,y\in\mathbb F_q^d, write

xy=i=1d(xiyi)2,\|x-y\|=\sum_{i=1}^d(x_i-y_i)^2,

and define the distance set Δ(A)={xy:x,yA}\Delta(A)=\{\|x-y\|:x,y\in A\}. Here XYX\sim Y means that XYX\gtrsim Y and YXY\gtrsim X, with constants independent of qq.

Even-dimensional Erdős–Falconer conjecture. If ACqd/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.

Sources & referencesView supporting material

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.