Infinite Families of Counterexamples to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in ℤp
Abstract
Let p be a prime and let A,B be nonempty subsets of the cyclic group ℤp with |A|≠ |B|. The Alon--Nathanson--Ruzsa theorem gives the lower bound |Arplus B|≥ min{p, |A|+|B|−2}, where Arplus B={a+b:a∈ A, b∈ B, a≠ 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 general case. The main purpose of this paper is to show that this conjecture fails in the boundary case |A|+|B|=p. More precisely, we construct infinite families of non-arithmetic critical pairs (A,B) with |A|+|B|=p and |Arplus B|=p−2 for every prime p≥ 11. These families show that the boundary case is fundamentally different from the non-boundary case. Motivated by this, we formulate and prove a refined inverse theorem under the natural hypothesis |A|+|B|≤ p−1, which excludes the boundary.
Related
- Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions
- An infinite family of counterexamples to the Polycirculant Conjecture
- Lean-Certified Infinite Counterexamples to Written on the Wall II Conjecture 194
- An infinite family of counterexamples to Goss's conjecture on L-functions of cyclotomic function fields
- Disproving the Petersen Coloring Conjecture: Theoretical Analysis and an Infinite Family of Counterexamples
BibTeX
@misc{li2026infinite,
title = {{Infinite Families of Counterexamples to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in $\mathbbZ_p$}},
author = {Jiantao Li and Xinyi Liang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.10148},
eprint = {2609.10148},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.10148},
}
RIS
TY - UNPB
TI - Infinite Families of Counterexamples to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in ℤ_p
AU - Jiantao Li
AU - Xinyi Liang
PY - 2026
DA - 2026/09/11
PB - arXiv
DO - 10.48550/arxiv.2609.10148
UR - https://arxiv.org/abs/2609.10148
AB - Let p be a prime and let A,B be nonempty subsets of the cyclic group ℤ_p with |A|≠ |B|. The Alon--Nathanson--Ruzsa theorem gives the lower bound |Arplus B|≥ min{p, |A|+|B|−2}, where Arplus B={a+b:a∈ A, b∈ B, a≠ 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 general case. The main purpose of this paper is to show that this conjecture fails in the boundary case |A|+|B|=p. More precisely, we construct infinite families of non-arithmetic critical pairs (A,B) with |A|+|B|=p and |Arplus B|=p−2 for every prime p≥ 11. These families show that the boundary case is fundamentally different from the non-boundary case. Motivated by this, we formulate and prove a refined inverse theorem under the natural hypothesis |A|+|B|≤ p−1, which excludes the boundary.
ER -