PreprintCC BY 4.0arXiv
Critical Pairs for Mixed Restricted Sumsets in Prime Fields
Abstract
Let p be an odd prime and let A,Bβπ½p be nonempty and distinct, with |A|β₯ |B|. We give a complete classification of the pairs for which the mixed restricted sumset Amathbin+Μ B={x+y:xβ A, yβ B, xβ y} has size min{p,|A|+|B|β2}. The main new contribution concerns the interior range |A|+|B|β€ pβ1. For |B|β₯3 and |A|β|B|β₯3, criticality forces A and B to be common-endpoint arithmetic progressions, apart from a single common affine orbit with (p,|A|,|B|)=(13,7,4). For |A|β|B|β{1,2}, criticality itself forces Bsubsetneq A, after which the restricted self-sum determines the deletion patterns. Together with the remaining cases, this yields the complete classification.
Related
- Critical Restricted Sumsets at the Boundary lvert Arvert+lvert Brvert=p
- Multiplicative subgroups are not restricted sumsets
- A sharp lower bound for h-fold restricted sumsets of integers
- Infinite Families of Counterexamples to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in β€p
- When Do Restricted Sumsets Cover a Finite Abelian Group?
BibTeX
@misc{zhang2026critical,
title = {{Critical Pairs for Mixed Restricted Sumsets in Prime Fields}},
author = {Weilin Zhang and Hongjian Li},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.23343},
eprint = {2609.23343},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.23343},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Critical Pairs for Mixed Restricted Sumsets in Prime Fields
AU - Weilin Zhang
AU - Hongjian Li
PY - 2026
DA - 2026/09/20
PB - arXiv
DO - 10.48550/arxiv.2609.23343
UR - https://arxiv.org/abs/2609.23343
AB - Let p be an odd prime and let A,Bβπ½_p be nonempty and distinct, with |A|β₯ |B|. We give a complete classification of the pairs for which the mixed restricted sumset Amathbin+Μ B={x+y:xβ A, yβ B, xβ y} has size min{p,|A|+|B|β2}. The main new contribution concerns the interior range |A|+|B|β€ pβ1. For |B|β₯3 and |A|β|B|β₯3, criticality forces A and B to be common-endpoint arithmetic progressions, apart from a single common affine orbit with (p,|A|,|B|)=(13,7,4). For |A|β|B|β{1,2}, criticality itself forces Bsubsetneq A, after which the restricted self-sum determines the deletion patterns. Together with the remaining cases, this yields the complete classification.
ER -