arXiv++ Combinatorics

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.

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

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.

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.