{"id":"arxiv/2609.10148","url":"https://arxiv.org/abs/2609.10148","tags":["math.NT","math.RA"],"score":0,"title":"Infinite Families of Counterexamples to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in $\\mathbb{Z}_p$","domain":"math.NT","source":"arxiv","authors":["Jiantao Li","Xinyi Liang"],"reviews":0,"subject":"math.NT","summary":"Let $p$ be a prime and let $A,B$ be nonempty subsets of the cyclic group $\\mathbb{Z}_p$ with $|A|\\neq |B|$. The Alon--Nathanson--Ruzsa theorem gives the lower bound $|A\\rplus B|\\ge \\min\\{p,\\,|A|+|B|-2\\},$ where $A\\rplus B=\\{a+b:a\\in A,\\ b\\in B,\\ a\\neq b\\}$ is the restricted sumset. The inverse problem of characterizing all critical pairs $(A,B)$ attaining equality was posed by Alon, Nathanson, and Ruzsa in 1996 and remains open. Recently, Liu and Qian solved the inverse problem under the assumption that at least one of the sets is an arithmetic progression, and proposed a conjecture for the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}