arXiv++ Combinatorics

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.

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.

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, ....).

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.$

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.

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.

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.

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.

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.