Large restricted sumsets in general abelian group

2013/05/10 by Hamidoune, Yahya ould, Lopez, Susana C., Plagne, Alain
#11B75 #FOS: Mathematics #Number Theory (math.NT)

paper · doi:10.48550/arxiv.1305.2431

Abstract

Let A, B and S be three subsets of a finite Abelian group G. The restricted sumset of A and B with respect to S is defined as A\wedge^S B= a+b: a in A, b in B and a-b not in S. Let L_S=max_{z in G}| (x,y): x,y in G, x+y=z and x-y in S|. A simple application of the pigeonhole principle shows that |A|+|B|>|G|+L_S implies A\wedge^S B=G. We then prove that if |A|+|B|=|G|+L_S then |A\wedge^S B|>= |G|-2|S|. We also characterize the triples of sets (A,B,S) such that |A|+|B|=|G|+L_S and |A\wedge^S B|= |G|-2|S|. Moreover, in this case, we also provide the structure of the set G∖ (A\wedge^S B).

Related

• On the generalized restricted sumsets in abelian groups
• The restricted sumsets in finite abelian groups
• On two new kinds of restricted sumsets
• Small subsets with large sumset: Beyond the Cauchy--Davenport bound
• Direct and Inverse Problems for Restricted Signed Sumsets -- II