{"id":"arxiv/2607.25711","url":"https://arxiv.org/abs/2607.25711","tags":["math.NT","math.CO"],"score":0,"title":"Multiplicative subgroups are not restricted sumsets","domain":"math.NT","source":"arxiv","authors":["Chi Hoi Yip","Semin Yoo"],"reviews":0,"subject":"math.NT","summary":"We determine exactly which proper multiplicative subgroups of a prime field can be represented as a restricted sumset of the form $A\\mathbin{\\widehat{+}} A=\\{a+a':a,a'\\in A,\\ a\\ne a'\\}$. We prove that a proper multiplicative subgroup $H\\le\\mathbb F_p^*$ cannot satisfy $H=A\\mathbin{\\widehat{+}} A$ whenever $|H|\\ge7$, and that this threshold is sharp. In fact, such a decomposition exists precisely when $|H|\\in\\{1,3,6\\}$, and we classify all decompositions in these exceptional cases. This gives a sharp, complete resolution of the restricted-sumset analogue of the generalized Sárközy conjecture…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}