Showing 1–27 of 27 results for author: Hamidoune, Y o

Large restricted sumsets in general abelian group

Authors: Yahya ould Hamidoune, Susana C. Lopez, Alain Plagne

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|>=… ▽ More 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). △ Less

Submitted 10 May, 2013; originally announced May 2013.

Comments: Paper submitted November 15, 2011. To appear European Journal of Combinatorics, special issue in memorian Yahya ould Hamidoune (2013)

MSC Class: 11B75

Subset sums in abelian groups

Authors: Eric Balandraud, Benjamin Girard, Simon Griffiths, Yahya Ould Hamidoune

Abstract: Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires… ▽ More Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires us to extend a theorem of Olson on the number of subset sums of anti-symmetric subsets S from the case of Z_p to the case of a general finite abelian group. To do so, we adapt Olson's method using a generalisation of Vosper's Theorem proved by Hamidoune and Plagne. △ Less

Submitted 8 December, 2011; originally announced December 2011.

Comments: 22 pages, submitted

Journal ref: European Journal of Combinatorics 34, 8 (2013) 1269-1286

k-Sums in abelian groups

Authors: Benjamin Girard, Simon Griffiths, Yahya Ould Hamidoune

Abstract: Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answ… ▽ More Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answers a question of Diderrich. Our proof relies on an elementary property of proper edge-colourings of the complete graph. △ Less

Submitted 26 June, 2012; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: 15 pages

Journal ref: Combinatorics, Probability and Computing 21, 4 (2012) 582-596

Hyper-atoms applied to the critical pair Theory

Authors: Y. O. Hamidoune

Abstract: We introduce the notion of a hyper-atom and prove a basic property of this object. This new method allows to improve several results in the classical critical pair theory including its cornerstone: the Kemperman Structure Theorem. We introduce the notion of a hyper-atom and prove a basic property of this object. This new method allows to improve several results in the classical critical pair theory including its cornerstone: the Kemperman Structure Theorem. △ Less

Submitted 10 February, 2011; originally announced February 2011.

MSC Class: 11P70

Topology of Cayley Graphs Applied to Inverse Additive Problems

Authors: Yahya Ould Hamidoune

Abstract: We present proofs of the basic isopermetric structure theory, obtaining some new simplified proofs. As an application, we obtain simple descriptions for subsets $S$ of an abelian group with $|kS|\le k|S|-k+1$ or $|kS-rS|- (k+r)|S|,$ where $1\le r \le k.$ These results may be applied to several questions in Combinatorics and Additive Combinatorics (Frobenius Problem, Waring's problem in finite fiel… ▽ More We present proofs of the basic isopermetric structure theory, obtaining some new simplified proofs. As an application, we obtain simple descriptions for subsets $S$ of an abelian group with $|kS|\le k|S|-k+1$ or $|kS-rS|- (k+r)|S|,$ where $1\le r \le k.$ These results may be applied to several questions in Combinatorics and Additive Combinatorics (Frobenius Problem, Waring's problem in finite fields and Cayley graphs with a big diameter, ....). △ Less

Submitted 8 November, 2010; originally announced November 2010.

MSC Class: 11B60; 11B34; 20D60

On vosperian and superconnected vertex-transitive digraphs

Authors: Y. O. Hamidoune, A. Lladó, S. C. López

Abstract: We investigate the structure of a digraph having a transitive automorphism group where every cutset of minimal cardinality consists of all successors or all predecessors of some vertex. We improve most of the existing results in this area. We investigate the structure of a digraph having a transitive automorphism group where every cutset of minimal cardinality consists of all successors or all predecessors of some vertex. We improve most of the existing results in this area. △ Less

Submitted 26 June, 2010; originally announced June 2010.

MSC Class: 05C25; 20D60; 11B75

Two Inverse results

Authors: Y. O. Hamidoune

Abstract: Let $ A$ be a subset of group $G_0$ with $|{A^{-1}A}|\le 2|A|-2.$ We show that there are an element $a\in A$ and a non-null proper subgroup $H$ of $G$ such that one of the following holds: \begin{itemize} \item $x^{-1}Hy \subset A^{-1}A,$ for all $(x,y)\in A^2\setminus (Ha)^2,$ \item $xHy^{-1} \subset AA^{-1},$ for all $(x,y)\in A^2\setminus (aH)^2.$ \end{itemize} where $G$ is the subgroup g… ▽ More Let $ A$ be a subset of group $G_0$ with $|{A^{-1}A}|\le 2|A|-2.$ We show that there are an element $a\in A$ and a non-null proper subgroup $H$ of $G$ such that one of the following holds: \begin{itemize} \item $x^{-1}Hy \subset A^{-1}A,$ for all $(x,y)\in A^2\setminus (Ha)^2,$ \item $xHy^{-1} \subset AA^{-1},$ for all $(x,y)\in A^2\setminus (aH)^2.$ \end{itemize} where $G$ is the subgroup generated by ${A^{-1}A}.$ Assuming that $A^{-1}A\neq G$ and that $ |A^{-1}A|< \frac{5|A|}3,$ we show that there are a normal subgroup $K$ of $G$ and a subgroup $H$ with $K\subset H\subset A^{-1}A $ and $2|K|\ge |H|$ such that $$A^{-1}AK=KA^{-1}A=A^{-1}A\ \text{and}\ 6|K|\ge |A^{-1}A|=3|H|.$$ △ Less

Submitted 25 June, 2010; originally announced June 2010.

MSC Class: 11B60; 11B34; 20D60

On dilates sums

Authors: Yahya Ould Hamidoune, Juanjo Rué

Abstract: Let $A$ be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained by Bukh. The unique known exact bound concerns the sum $|A+k\cdot A|,$ where $k$ is a prime and $|A|$ is large. In its full generality, this bound is due to Cilleruelo, Serra and the first author. Let $k$ be an odd prime and assume that $|A|>8k^{k}.$ A corollary to our main result states… ▽ More Let $A$ be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained by Bukh. The unique known exact bound concerns the sum $|A+k\cdot A|,$ where $k$ is a prime and $|A|$ is large. In its full generality, this bound is due to Cilleruelo, Serra and the first author. Let $k$ be an odd prime and assume that $|A|>8k^{k}.$ A corollary to our main result states that $|2\cdot A+k\cdot A|\ge (k+2)|A|-k^2-k+2.$ Notice that $|2\cdot P+k\cdot P|=(k+2)|P|-2k,$ if $P$ is an arithmetic progression. △ Less

Submitted 23 May, 2010; originally announced May 2010.

Comments: 8 pages

On Minkowski product size: The Vosper's property

Authors: Yahya Ould Hamidoune

Abstract: A subset $S$ of a group $G$ is said to be a Vosper's subset if $|A\cup AS|\ge \min (|G|-1,|A|+|S|),$ for any subset $A$ of $G$ with $|A|\ge 2.$ In the present work, we describe Vosper's subsets. Assuming that $S$ is not a progression and that $|S^{-1} S|, |S S^{-1}| <2 |S|,|G'|-1,$ we show that there exist an element $a\in S,$ and a non-null subgroup $H$ of $G'$ such that either… ▽ More A subset $S$ of a group $G$ is said to be a Vosper's subset if $|A\cup AS|\ge \min (|G|-1,|A|+|S|),$ for any subset $A$ of $G$ with $|A|\ge 2.$ In the present work, we describe Vosper's subsets. Assuming that $S$ is not a progression and that $|S^{-1} S|, |S S^{-1}| <2 |S|,|G'|-1,$ we show that there exist an element $a\in S,$ and a non-null subgroup $H$ of $G'$ such that either $S^{-1}HS =S^{-1}S \cup a^{-1}Ha$ or $SHS^{-1} =SS^{-1}\cup aHa^{-1},$ where $G'$ is the subgroup generated by $S^{-1}S.$ △ Less

Submitted 18 April, 2010; originally announced April 2010.

MSC Class: 11P70; 20D60

Extensions of the Scherck-Kemperman Theorem

Authors: Y. O. Hamidoune

Abstract: Let $Γ=(V,E)$ be a reflexive relation with a transitive automorphisms group. Let $v\in V$ and let $F$ be a finite subset of $V$ with $v\in F.$ We prove that the size of $Γ(F)$ (the image of $F$) is at least $$ |F|+ |Γ(v)|-|Γ^- (v)\cap F|.$$ Let $A,B$ be finite subsets of a group $G.$ Applied to Cayley graphs, our result reduces to following extension of the Scherk-Kemperman Theorem, proved b… ▽ More Let $Γ=(V,E)$ be a reflexive relation with a transitive automorphisms group. Let $v\in V$ and let $F$ be a finite subset of $V$ with $v\in F.$ We prove that the size of $Γ(F)$ (the image of $F$) is at least $$ |F|+ |Γ(v)|-|Γ^- (v)\cap F|.$$ Let $A,B$ be finite subsets of a group $G.$ Applied to Cayley graphs, our result reduces to following extension of the Scherk-Kemperman Theorem, proved by Kemperman: $$|AB|\ge |A|+|B|-|A\cap (cB^{-1})|,$$ for every $c\in AB.$ △ Less

Submitted 30 September, 2009; originally announced September 2009.

MSC Class: 05E15;11B13; 11B60; 11B34; 20K01; 20D60.

Distinct Matroid Base Weights and Additive Theory

Authors: Y. O. Hamidoune, I. P. da Silva

Abstract: Let $M$ be a matroid on a set $E$ and let $w:E\longrightarrow G$ be a weight function, where $G$ is a cyclic group. Assuming that $w(E)$ satisfies the Pollard's Condition (i.e. Every non-zero element of $w(E)-w(E)$ generates $G$), we obtain a formulae for the number of distinct base weights. If $|G|$ is a prime, our result coincides with a result Schrijver and Seymour. We also describe Equalit… ▽ More Let $M$ be a matroid on a set $E$ and let $w:E\longrightarrow G$ be a weight function, where $G$ is a cyclic group. Assuming that $w(E)$ satisfies the Pollard's Condition (i.e. Every non-zero element of $w(E)-w(E)$ generates $G$), we obtain a formulae for the number of distinct base weights. If $|G|$ is a prime, our result coincides with a result Schrijver and Seymour. We also describe Equality cases in this formulae. In the prime case, our result generalizes Vosper's Theorem. △ Less

Submitted 3 March, 2009; originally announced March 2009.

MSC Class: 05C05 ;05B35; 11P32)

Distinct Lengths Modular Zero-sum Subsequences: A Proof of Graham's Conjecture

Authors: Weidong Gao, Y. O. Hamidoune, Guoqing Wang

Abstract: Let $n$ be a positive integer and let $S$ be a sequence of $n$ integers in the interval $[0,n-1]$. If there is an $r$ such that any nonempty subsequence with sum $\equiv 0$ $\pmod n$ has length $=r,$ then $S$ has at most two distinct values. This proves a conjecture of R. L. Graham. A previous result of P. Erdős and E. Szemerédi shows the validity of this conjecture if $n$ is a large prime numbe… ▽ More Let $n$ be a positive integer and let $S$ be a sequence of $n$ integers in the interval $[0,n-1]$. If there is an $r$ such that any nonempty subsequence with sum $\equiv 0$ $\pmod n$ has length $=r,$ then $S$ has at most two distinct values. This proves a conjecture of R. L. Graham. A previous result of P. Erdős and E. Szemerédi shows the validity of this conjecture if $n$ is a large prime number. △ Less

Submitted 27 February, 2009; originally announced February 2009.

MSC Class: 11B60; 11B34; 20D60; 05E15

Extensions of the Moser-Scherck-Kemperman-Wehn Theorem

Authors: Yahya Ould Hamidoune

Abstract: Let $Γ=(V,E)$ be a reflexive relation having a transitive group of automorphisms and let $v\in V.$ Let $F$ be a subset of $V$ with $F\cap Γ^-(v)=\{v\}$. (i) If $F$ is finite, then $| Γ(F)\setminus F|\ge |Γ(v)|-1.$ (ii) If $F$ is cofinite, then $| Γ(F)\setminus F|\ge |Γ^- (v)|-1.$ In particular, let $G$ be group, $B$ be a finite subset of $G$ and let $F$ be a finite or a cofinite subset of… ▽ More Let $Γ=(V,E)$ be a reflexive relation having a transitive group of automorphisms and let $v\in V.$ Let $F$ be a subset of $V$ with $F\cap Γ^-(v)=\{v\}$. (i) If $F$ is finite, then $| Γ(F)\setminus F|\ge |Γ(v)|-1.$ (ii) If $F$ is cofinite, then $| Γ(F)\setminus F|\ge |Γ^- (v)|-1.$ In particular, let $G$ be group, $B$ be a finite subset of $G$ and let $F$ be a finite or a cofinite subset of $G$ such that $F\cap B^{-1}=\{1\}$. Then $| (FB)\setminus F|\ge |B|-1.$ The last result (for $F$ finite), is famous Moser-Scherck-Kemperman-Wehn Theorem. Its extension to cofinite subsets seems new. We give also few applications. △ Less

Submitted 19 February, 2009; v1 submitted 10 February, 2009; originally announced February 2009.

MSC Class: 05E15; 11B13; 11B60; 11B34; 20K01; 20D60

On Group bijections $φ$ with $φ(B)=A$ and $\forall a\in B, aφ(a) \notin A$

Authors: Yahya Ould Hamidoune

Abstract: A {\em Wakeford pairing} from $S$ onto $T$ is a bijection $φ: S \to T$ such that $xφ(x)\notin T,$ for every $x\in S.$ The number of such pairings will be denoted by $μ(S,T)$. Let $A$ and $ B$ be finite subsets of a group $G$ with $1\notin B$ and $|A|=|B|.$ Also assume that the order of every element of $B$ is $\ge |B|$. Extending results due to Losonczy and Eliahou-Lecouvey, we show that… ▽ More A {\em Wakeford pairing} from $S$ onto $T$ is a bijection $φ: S \to T$ such that $xφ(x)\notin T,$ for every $x\in S.$ The number of such pairings will be denoted by $μ(S,T)$. Let $A$ and $ B$ be finite subsets of a group $G$ with $1\notin B$ and $|A|=|B|.$ Also assume that the order of every element of $B$ is $\ge |B|$. Extending results due to Losonczy and Eliahou-Lecouvey, we show that $μ(B,A)\neq 0.$ Moreover we show that $μ(B,A)\ge \min \{\frac{||B|+1}{3},\frac{|B|(q-|B|-1)}{2q-|B|-4}\},$ unless there is $a\in A$ such that $|Aa^{-1}\cap B|=|B|-1$ or $Aa^{-1}$ is a progression. In particular, either $μ(B,B) \ge \min \{\frac{||B|+1}{3},\frac{|B|(q-|B|-1)}{2q-|B|-4}\},$ or for some $a\in B,$ $Ba^{-1}$ is a progression. △ Less

Submitted 13 December, 2008; originally announced December 2008.

MSC Class: 20D60; 11B60; 11B34

A Structure Theory for Small Sum Subsets

Authors: Yahya Ould Hamidoune

Abstract: We develop a new method leading the structure of finite subsets S and T of an abelian group with $|S+T|\le |S|+|T|$. We show also how to recover the known results in this area in a relatively short space. We develop a new method leading the structure of finite subsets S and T of an abelian group with $|S+T|\le |S|+|T|$. We show also how to recover the known results in this area in a relatively short space. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: 29 pages

MSC Class: 11B60; 11B34; 20D60

Hyper-atoms and the critical pair Theory

Authors: Yahya Ould Hamidoune

Abstract: We introduce the notion of a hyper-atom. One of the main results of this paper is the $\frac{2|G|}3$--Theorem: Let $S$ be a finite generating subset of an abelian group $G$ of order $\ge 2$. Let $T$ be a finite subset of $G$ such that $2\le |S|\le |T|$, $S+T$ is aperiodic, $0\in S\cap T$ and $$ \frac{2|G|+2}3\ge |S+T|= |S|+|T|-1.$$ Let $H$ be a hyper-atom of $S$. Then $S$ and $T$ are $H$--quas… ▽ More We introduce the notion of a hyper-atom. One of the main results of this paper is the $\frac{2|G|}3$--Theorem: Let $S$ be a finite generating subset of an abelian group $G$ of order $\ge 2$. Let $T$ be a finite subset of $G$ such that $2\le |S|\le |T|$, $S+T$ is aperiodic, $0\in S\cap T$ and $$ \frac{2|G|+2}3\ge |S+T|= |S|+|T|-1.$$ Let $H$ be a hyper-atom of $S$. Then $S$ and $T$ are $H$--quasi-periodic. Moreover $φ(S)$ and $φ(T)$ are arithmetic progressions with the same difference, where $φ:G\mapsto G/H$ denotes the canonical morphism. This result implies easily the traditional critical pair Theory and its basic stone: Kemperman's Structure Theorem. △ Less

Submitted 22 May, 2008; originally announced May 2008.

Comments: 16 pages

MSC Class: 11B60; 11B34; 20D60

A note on Pollard's Theorem

Authors: Y. O. Hamidoune, O. Serra

Abstract: Let $A,B$ be nonempty subsets of a an abelian group $G$. Let $N_i(A,B)$ denote the set of elements of $G$ having $i$ distinct decompositions as a product of an element of $A$ and an element of $B$. We prove that $$ \sum _{1\le i \le t} |N_i (A,B)|\ge t(|A|+|B|- t-α+1+w)-w, $$ where $α$ is the largest size of a coset contained in $AB$ and $w=\min (α-1,1)$, with a strict inequality if $α\ge 3$ and… ▽ More Let $A,B$ be nonempty subsets of a an abelian group $G$. Let $N_i(A,B)$ denote the set of elements of $G$ having $i$ distinct decompositions as a product of an element of $A$ and an element of $B$. We prove that $$ \sum _{1\le i \le t} |N_i (A,B)|\ge t(|A|+|B|- t-α+1+w)-w, $$ where $α$ is the largest size of a coset contained in $AB$ and $w=\min (α-1,1)$, with a strict inequality if $α\ge 3$ and $t\ge 2$, or if $α\ge 2$ and $t= 2$. This result is a local extension of results by Pollard and Green--Ruzsa and extends also for $t>2$ a recent result of Grynkiewicz, conjectured by Dicks--Ivanov (for non necessarily abelian groups) in connection to the famous Hanna Neumann problem in Group Theory. △ Less

Submitted 16 April, 2008; originally announced April 2008.

MSC Class: 11B60; 11B34; 20D60

A weighted generalization of Gao's n+D-1 Theorem

Authors: Yahya O. Hamidoune

Abstract: Let $G$ denotes a finite abelian group of order $n$ and Davenport constant $D$, and put $m= n+D-1$. Let $x=(x_1, ..., x_m)\in G^m$ be a sequence with a maximal repetition $\ell$ attained by $x_m$ and put $r=\min(D,\ell)$. Let $w=(w_1, ..., w_{m-r})\in \Z^{m-r}.$ Then there are an $n$-subset $I\subset [1,m-r]$ and an injection $f: I\mapsto [1,m]$, such that $m\in f(I)$ and… ▽ More Let $G$ denotes a finite abelian group of order $n$ and Davenport constant $D$, and put $m= n+D-1$. Let $x=(x_1, ..., x_m)\in G^m$ be a sequence with a maximal repetition $\ell$ attained by $x_m$ and put $r=\min(D,\ell)$. Let $w=(w_1, ..., w_{m-r})\in \Z^{m-r}.$ Then there are an $n$-subset $I\subset [1,m-r]$ and an injection $f: I\mapsto [1,m]$, such that $m\in f(I)$ and $$\sum_{i\in I}w_{i}x_{f({i})}=(\sum_{i\in I}w_{i})x_{m}.$$ △ Less

Submitted 26 November, 2007; originally announced November 2007.

Comments: 5 pages

MSC Class: 11B50; 20D60

Hyper-atoms and the Kemperman's critical pair Theory

Authors: Yahya O. Hamidoune

Abstract: In the present work, we introduce the notion of a hyper-atom and prove their main structure theorem. We then apply the global isoperimetric methodology to give a new proof for Kemperman's structure Theory and a slight improvement. In the present work, we introduce the notion of a hyper-atom and prove their main structure theorem. We then apply the global isoperimetric methodology to give a new proof for Kemperman's structure Theory and a slight improvement. △ Less

Submitted 27 August, 2007; originally announced August 2007.

Comments: 16 pages

MSC Class: 11P70; 11B25; 11B13

The global isoperimetric methodology applied to Kneser's Theorem

Authors: Yahya O. Hamidoune

Abstract: We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's Theorem. We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's Theorem. △ Less

Submitted 16 August, 2007; originally announced August 2007.

Comments: 13 pages

MSC Class: 11P70 (Primary); 11B75; 05D99 (Secondary)

Some additive applications of the isopermetric approach

Authors: Yahya Ould Hamidoune

Abstract: Let $G$ be a group and let $X$ be a finite subset. The isoperimetric method investigates the objective function $|(XB)\setminus X|$, defined on the subsets $X$ with $|X|\ge k$ and $|G\setminus (XB)|\ge k$. A subset with minimal where this objective function attains its minimal value is called a $k$--fragment. In this paper we present all the basic facts about the isoperimetric method. We improve… ▽ More Let $G$ be a group and let $X$ be a finite subset. The isoperimetric method investigates the objective function $|(XB)\setminus X|$, defined on the subsets $X$ with $|X|\ge k$ and $|G\setminus (XB)|\ge k$. A subset with minimal where this objective function attains its minimal value is called a $k$--fragment. In this paper we present all the basic facts about the isoperimetric method. We improve some of our previous results and obtaingeneralizations and short proofs for several known results. We also give some new applications. Some of the results obtained here will be used in coming papers to improve Kempermann structure Theory. △ Less

Submitted 18 February, 2008; v1 submitted 5 June, 2007; originally announced June 2007.

Comments: 28 pages

MSC Class: 11B75; 20D60 (Primary); 11P70; 05C25 (Secondary)

On complete subsets of the cyclic group

Authors: Y. O. Hamidoune, A. S. Lladó, O. Serra

Abstract: A subset $X$ of an abelian $G$ is said to be {\em complete} if every element of the subgroup generated by $X$ can be expressed as a nonempty sum of distinct elements from $X$. Let $A\subset \Z_n$ be such that all the elements of $A$ are coprime with $n$. Solving a conjecture of Erdős and Heilbronn, Olson proved that $A$ is complete if $n$ is a prime and if $|A|>2\sqrt{n}.$ Recently Vu prov… ▽ More A subset $X$ of an abelian $G$ is said to be {\em complete} if every element of the subgroup generated by $X$ can be expressed as a nonempty sum of distinct elements from $X$. Let $A\subset \Z_n$ be such that all the elements of $A$ are coprime with $n$. Solving a conjecture of Erdős and Heilbronn, Olson proved that $A$ is complete if $n$ is a prime and if $|A|>2\sqrt{n}.$ Recently Vu proved that there is an absolute constant $c$, such that for an arbitrary large $n$, $A$ is complete if $|A|\ge c\sqrt{n},$ and conjectured that 2 is essentially the right value of $c$. We show that $A$ is complete if $|A|> 1+2\sqrt{n-4}$, thus proving the last conjecture. △ Less

Submitted 4 April, 2007; originally announced April 2007.

MSC Class: 11B75; 20D60

On iterated image size for point-symmetric relations

Authors: Yahya Ould Hamidoune

Abstract: Let $Γ=(V,E)$ be a point-symmetric reflexive relation and let $v\in V$ such that $|Γ(v)|$ is finite (and hence $|Γ(x)|$ is finite for all $x$, by the transitive action of the group of automorphisms). Let $j\in \N$ be an integer such that $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Our main result states that $$ |Γ^{j} (v)|\ge | Γ^{j-1} (v)| + |Γ(v)|-1.$$ As an application we have… ▽ More Let $Γ=(V,E)$ be a point-symmetric reflexive relation and let $v\in V$ such that $|Γ(v)|$ is finite (and hence $|Γ(x)|$ is finite for all $x$, by the transitive action of the group of automorphisms). Let $j\in \N$ be an integer such that $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Our main result states that $$ |Γ^{j} (v)|\ge | Γ^{j-1} (v)| + |Γ(v)|-1.$$ As an application we have $ |Γ^{j} (v)| \ge 1+(|Γ(v)|-1)j.$ The last result confirms a recent conjecture of Seymour in the case of vertex-symmetric graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvist conjecture for vertex-symmetric graphs and generalizes an additive result of Shepherdson. △ Less

Submitted 3 April, 2007; originally announced April 2007.

MSC Class: 20D60

On Some Subgroup Chains Related to Kneser's Theorem

Authors: Yahya Ould Hamidoune, Oriol Serra, Gilles Zemor

Abstract: A recent result of Balandraud shows that for every subset S of an abelian group G, there exists a non trivial subgroup H such that |TS| <= |T|+|S|-2 holds only if the stabilizer of TS contains H. Notice that Kneser's Theorem says only that the stabilizer of TS must be a non-zero subgroup. This strong form of Kneser's theorem follows from some nice properties of a certain poset investigated by… ▽ More A recent result of Balandraud shows that for every subset S of an abelian group G, there exists a non trivial subgroup H such that |TS| <= |T|+|S|-2 holds only if the stabilizer of TS contains H. Notice that Kneser's Theorem says only that the stabilizer of TS must be a non-zero subgroup. This strong form of Kneser's theorem follows from some nice properties of a certain poset investigated by Balandraud. We consider an analogous poset for nonabelian groups and, by using classical tools from Additive Number Theory, extend some of the above results. In particular we obtain short proofs of Balandraud's results in the abelian case. △ Less

Submitted 3 April, 2007; originally announced April 2007.

MSC Class: 11P70

Journal ref: J. de Theorie des Nombres de Bordeaux, 20 (2008) 125--130

On the size of spheres of relations with a transitive group of automorphisms

Authors: Yahya Ould Hamidoune

Abstract: Let $Γ=(V,E)$ be a point-transitive reflexive relation. Let $v\in V$ and put $r=|Γ(v)|.$ Also assume $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Then $$ |Γ^{j} (v)\setminus Γ^{j-1} (v)| \ge r-1.$$ In particular we have $ |Γ^{j} (v)| \ge 1+(r-1)j.$ The last result confirms a recent conjecture of Seymour in the case vertex-transitive graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvis… ▽ More Let $Γ=(V,E)$ be a point-transitive reflexive relation. Let $v\in V$ and put $r=|Γ(v)|.$ Also assume $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Then $$ |Γ^{j} (v)\setminus Γ^{j-1} (v)| \ge r-1.$$ In particular we have $ |Γ^{j} (v)| \ge 1+(r-1)j.$ The last result confirms a recent conjecture of Seymour in the case vertex-transitive graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvist conjecture for vertex-transitive graphs and generalizes an additive result of Shepherdson. △ Less

Submitted 21 March, 2006; originally announced March 2006.

MSC Class: 20D60

On the critical pair theory in abelian groups : Beyond Chowla's Theorem

Authors: Yahya Ould Hamidoune, Oriol Serra, Gilles Zemor

Abstract: We obtain critical pair theorems for subsets S and T of an abelian group such that |S+T| < |S|+|T|+1. We generalize some results of Chowla, Vosper, Kemperman and a more recent result due to Rodseth and one of the authors. We obtain critical pair theorems for subsets S and T of an abelian group such that |S+T| < |S|+|T|+1. We generalize some results of Chowla, Vosper, Kemperman and a more recent result due to Rodseth and one of the authors. △ Less

Submitted 22 October, 2007; v1 submitted 20 March, 2006; originally announced March 2006.

Comments: Submitted to Combinatorica, 23 pages, revised version

MSC Class: 11P70

Journal ref: Combinatorica, vol. 28 No 4 (2008) pp. 441-467.

On the critical pair theory in Z/pZ

Authors: Yahya Ould Hamidoune, Oriol Serra, Gilles Zemor

Abstract: Let A and B be subsets of Z/pZ such that |A+B| < |A|+|B|+2. We prove that, if |A|>3, |B|>4, |A+B|<p-4 and p > 52, then A and B are included in arithmetic progressions with the same difference and of size |A|+2 and |B|+2 respectively. This extends the well-known theorem of Vosper and a recent result of Rodseth and one of the present authors. Let A and B be subsets of Z/pZ such that |A+B| < |A|+|B|+2. We prove that, if |A|>3, |B|>4, |A+B|<p-4 and p > 52, then A and B are included in arithmetic progressions with the same difference and of size |A|+2 and |B|+2 respectively. This extends the well-known theorem of Vosper and a recent result of Rodseth and one of the present authors. △ Less

Submitted 27 July, 2005; originally announced July 2005.

Comments: 21 pages, submitted to Acta Arithmetica

MSC Class: 11P70

Journal ref: Acta Arithmetica, 121.2 (2006) pp. 99--115.