Conjecture for the Mattila-Sjölin problem for k-distance sets

From papers

Let Fq\mathbb{F}_q be a finite field, let EFqdE\subset \mathbb{F}_q^d with d2d\geq 2, and for x=(x1,,xd)Fqdx=(x_1,\ldots,x_d)\in\mathbb{F}_q^d let Z(x)\mathcal{Z}(x) be the number of zero coordinates of xx. For a fixed integer k{1,2,,d}k\in\{1,2,\ldots,d\}, define

xk={xif 0Z(x)k1,0otherwise,\lVert x\rVert_k= \begin{cases} \lVert x\rVert & \text{if }0\leq\mathcal{Z}(x)\leq k-1,\\ 0 & \text{otherwise,} \end{cases}

and define the kk-distance set by

Dk(E)={xyk:x,yE}.D_k(E)=\{\lVert x-y\rVert_k:x,y\in E\}.

The conjecture for the Mattila-Sjölin problem for kk-distance sets. Assume that CC is a sufficiently large constant independent of qq. Then, for every integer k=1,2,,dk=1,2,\ldots,d, if dd is odd and

ECqmax{(d+1)/2,dk},|E|\geq Cq^{\max\{(d+1)/2,\,d-k\}},

then Dk(E)=FqD_k(E)=\mathbb{F}_q, while if dd is even and

ECqmax{d/2,dk},|E|\geq Cq^{\max\{d/2,\,d-k\}},

then Dk(E)=FqD_k(E)=\mathbb{F}_q.

The claim strengthens the finite-field Mattila-Sjölin problem because Dk(E)Δ(E)D_k(E)\subset\Delta(E), and the example E=Fqdk×{0}E=\mathbb{F}_q^{d-k}\times\{\mathbf{0}\} shows that the threshold cannot be below dkd-k. The source presents this as a proposed conjecture; its resolution is not established 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

Daewoong Cheong, Hunseok Kang and Jinbeom Kim, “The Mattila-Sjölin problem for the k-distance over a finite field”, arXiv:2601.00529 (2026).

Solutions 0

No solutions have been posted yet.