KYY's multiplicative decomposition conjecture for shifted subgroups

Let d≥2d\geq 2 be fixed, let qq be a sufficiently large prime power with q≡1(modd)q\equiv 1\pmod d, and let G⊆Fq∗G\subseteq {\mathbb F}_q^* be the multiplicative subgroup of index dd. For subsets A,B⊆FqA,B\subseteq {\mathbb F}_q, write AB={ab:a∈A, b∈B}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∣,∣B∣≥2|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.

References

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.