Large restricted sumsets in general abelian group
Number Theory
2013-05-14 v1
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\setminus (A\wedge^S B).
Cite
@article{arxiv.1305.2431,
title = {Large restricted sumsets in general abelian group},
author = {Yahya ould Hamidoune and Susana C. Lopez and Alain Plagne},
journal= {arXiv preprint arXiv:1305.2431},
year = {2013}
}
Comments
Paper submitted November 15, 2011. To appear European Journal of Combinatorics, special issue in memorian Yahya ould Hamidoune (2013)