Sárközy's conjecture for shifted multiplicative subgroups

Let d2d\geq2, let qq be a prime power with q1(modd)q\equiv1\pmod d, and let Sd={xd:xFq}S_d=\{x^d:x\in\mathbb{F}_q^*\} be the subgroup of dd-th powers. For subsets A,BFqA,B\subset\mathbb{F}_q^*, write AB={ab:aA, bB}AB=\{ab:a\in A,\ b\in B\}; the decomposition is nontrivial when A,B2|A|,|B|\geq2.

Sárközy's conjecture. If qq is sufficiently large, then for every λFq\lambda\in\mathbb{F}_q^*, the shifted subgroup (Sdλ){0}(S_d-\lambda)\setminus\{0\} has no nontrivial multiplicative decomposition: there do not exist A,BFqA,B\subset\mathbb{F}_q^* with A,B2|A|,|B|\geq2 such that

(Sdλ){0}=AB.(S_d-\lambda)\setminus\{0\}=AB.

This generalizes the quadratic-residue case and concerns multiplicative structure in shifted finite-field subgroups. The paper reports progress toward the conjecture, while the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Seoyoung Kim, Chi Hoi Yip and Semin Yoo, “Multiplicative structure of shifted multiplicative subgroups and its applications to Diophantine tuples”, arXiv:2309.09124 (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.