Conjectured distance threshold for (4,s)(4,s)-Salem sets

Let Fq\mathbb{F}_q be a finite field, let d2d\geq 2, and let EFqdE\subseteq\mathbb{F}_q^d be a (4,s)(4,s)-Salem set. Let α(d,4,s)\alpha(d,4,s) be the smallest exponent such that every (4,s)(4,s)-Salem set EE with Eqα(d,4,s)|E|\gg q^{\alpha(d,4,s)} satisfies Δ(E)q|\Delta(E)|\gg q. Distance-threshold conjecture for (4,s)(4,s)-Salem sets. One has

α(d,4,s)={1,d=2, s[14,12],d2,d4 even, s[14,d+24d],d+28s,d4 even, s[d+24d,12],d+18s,d3 odd, s[14,12].\alpha(d,4,s)= \begin{cases} 1,& d=2,\ s\in[\tfrac14,\tfrac12],\\[3pt] \frac{d}{2},& d\ge4\ \text{even},\ s\in[\tfrac14,\tfrac{d+2}{4d}],\\[3pt] \frac{d+2}{8s},& d\ge4\ \text{even},\ s\in[\tfrac{d+2}{4d},\tfrac12],\\[3pt] \frac{d+1}{8s},& d\ge3\ \text{odd},\ s\in[\tfrac14,\tfrac12]. \end{cases}

The proposed values are supported by constructions of (4,s)(4,s)-Salem sets with few distances and by known distance results, including the Erdős–Falconer threshold in dimension two and sharp results for sets on spheres or arbitrary sets in other dimensions. The stated thresholds remain conjectural in the general (4,s)(4,s)-Salem setting.

Sources & referencesView supporting material

Primary source

Daewoong Cheong, Gennian Ge, Doowon Koh, Thang Pham, Dung The Tran and Tao Zhang, “Additive structures imply more distances in F_q^d”, arXiv:2510.26364 (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.