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

Less than 1 year old · traced to

Let Fq\mathbb{F}_q be a finite field, let E⊂FqdE\subset \mathbb{F}_q^d with d≥2d\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

∥x∥k={∥x∥if 0≤Z(x)≤k−1,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)={∥x−y∥k:x,y∈E}.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

∣E∣≥Cqmax⁡{(d+1)/2, d−k},|E|\geq Cq^{\max\{(d+1)/2,\,d-k\}},

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

∣E∣≥Cqmax⁡{d/2, d−k},|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=Fqd−k×{0}E=\mathbb{F}_q^{d-k}\times\{\mathbf{0}\} shows that the threshold cannot be below d−kd-k. The source presents this as a proposed conjecture; its resolution is not established in the supplied text.

References

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).

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.