English

Additive structures imply more distances in $\mathbb{F}_q^d$

Combinatorics 2026-05-28 v3 Classical Analysis and ODEs Number Theory

Abstract

For a set EFqdE \subseteq \mathbb{F}_q^d, the distance set is defined as Δ(E):={xy:x,yE}\Delta(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}, where \|\cdot\| denotes the standard quadratic form. We investigate the Erd\H{o}s--Falconer distance problem within the flexible class of (u,s)(u, s)--Salem sets introduced by Jonathan M. Fraser, with emphasis on the even case u=4u = 4. By exploiting the exact identity between E^4\|\widehat{E}\|_4 and the fourth additive energy Λ4(E)\Lambda_4(E), we prove that quantitative gains in Λ4(E)\Lambda_4(E) force the existence of many distances. In particular, for a (4,s)(4, s)--Salem set EFqdE\subset \mathbb{F}_q^d with d2d \geq 2, if Eqmin{d+24s+1,d+48s}, |E|\gg q^{\min\left\{\frac{d+2}{4s+1}, \frac{d+4}{8s}\right\}}, then EE determines a positive proportion of all distances. This strictly improves Fraser's threshold of d4s\frac{d}{4s} and the Iosevich-Rudnev bound of qd+12q^{\frac{d+1}{2}} in certain parameter ranges. As applications, we obtain improved thresholds for multiplicative subgroups and sets on arbitrary varieties, and establish a sharp incidence bound for Salem sets that is of independent interest in incidence geometry. Moreover, our methods give sharp lower bounds for the number of distinct distances determined by two different sets. We also propose a unified conjecture for (4,s)(4, s)--Salem sets that reconciles known bounds and pinpoints the odd-dimensional sphere regime: in odd dimensions d3d \geq 3, the often-cited d12\frac{d-1}{2} threshold does not follow without additional structures. This provides a clear picture of the spherical distance conjecture.

Keywords

Cite

@article{arxiv.2510.26364,
  title  = {Additive structures imply more distances in $\mathbb{F}_q^d$},
  author = {Daewoong Cheong and Gennian Ge and Doowon Koh and Thang Pham and Dung The Tran and Tao Zhang},
  journal= {arXiv preprint arXiv:2510.26364},
  year   = {2026}
}

Comments

31 pages

R2 v1 2026-07-01T07:13:36.855Z