KYY's multiplicative decomposition conjecture for shifted subgroups

Let d2d\geq 2 be fixed, let qq be a sufficiently large prime power with q1(modd)q\equiv 1\pmod d, and let GFqG\subseteq {\mathbb F}_q^* be the multiplicative subgroup of index dd. For subsets A,BFqA,B\subseteq {\mathbb F}_q, write AB={ab:aA, bB}AB=\{ab:a\in A,\ b\in B\}. KYY's conjecture. For every λFq\lambda\in {\mathbb F}_q^*, the set (Gλ){0}(G-\lambda)\setminus\{0\} has no nontrivial multiplicative decomposition; equivalently, there are no subsets A,BA,B with A,B2|A|,|B|\geq 2 such that

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

This is the proposed generalization of Sárközy's shifted-squares conjecture from fixed-index subgroups in finite fields; the supplied material gives no resolution, and the current paper's abstract instead presents the corresponding result as proved for every proper multiplicative subgroup.

Sources & referencesView supporting material

Primary source

Seoyoung Kim, Chi Hoi Yip and Semin Yoo, “Multiplicative irreducibility of shifted multiplicative subgroups”, arXiv:2602.20919 (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.