arXiv++ Combinatorics

Let $G$ be a finite abelian group and $S$ a sequence with elements of $G$. Let $|S|$ denote the length of $S$ and $\mathrm{supp}(S)$ the set of all the distinct terms in $S$. For an integer $k$ with $k\in [1, |S|]$, let $Σ_{k}(S) \subset G$ denote the set of group elements which can be expressed as a sum of a subsequence of $S$ with length $k$. Let $Σ(S)=\cup_{k=1}^{|S|}Σ_{k}(S)$ and $Σ_{\geq k}(S)=\cup_{t=k}^{|S|}Σ_{t}(S)$. It is known that if $0\not\in Σ(S)$, then $|Σ(S)|\geq |S|+|\mathrm{supp}(S)|-1$. In this paper, we determine the structure of a sequence $S$ satisfying $0\notin Σ(S)$ and $|Σ(S)|= |S|+|\mathrm{supp}(S)|-1$. As a consequence, we can give a counterexample of a conjecture of Gao, Grynkiewicz, and Xia. Moreover, we prove that if $|S|>k$ and $0\not\in Σ_{\geq k}(S)\cup \mathrm{supp}(S)$, then $|Σ_{\geq k}(S)|\geq |S|-k+|\mathrm{supp}(S)|$. Then we can give an alternative proof of a conjecture of Hamidoune, which was first proved by Gao, Grynkiewicz, and Xia.

Let $G$ be an additive abelian group and $S\subset G$ a subset. Let $Σ(S)$ denote the set of group elements which can be expressed as a sum of a nonempty subset of $S$. We say $S$ is zero-sum free if $0 \not\in Σ(S)$. It was conjectured by R.B.~Eggleton and P.~Erdös in 1972 and proved by W.~Gao et. al. in 2008 that $|Σ(S)|\geq 19$ provided that $S$ is a zero-sum free subset of an abelian group $G$ with $|S|=6$. In this paper, we determined the structure of zero-sum free set $S$ where $|S|=6$ and $|Σ(S)|=19$.

The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For $Ω\subset B(G$), let $d_Ω(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\geq t$ has a subsequence in $Ω$.We provide some first results and open problems on $d_Ω(G)$.

Let $p > 155$ be a prime and let $G$ be a cyclic group of order $p$. Let $S$ be a minimal zero-sum sequence with elements over $G$, i.e., the sum of elements in $S$ is zero, but no proper nontrivial subsequence of $S$ has sum zero. We call $S$ is unsplittable, if there do not exist $g$ in $S$ and $x,y \in G$ such that $g=x+y$ and $Sg^{-1}xy$ is also a minimal zero-sum sequence. In this paper we show that if $S$ is an unsplittable minimal zero-sum sequence of length $|S|= \frac{p-1}{2}$, then $S=g^{\frac{p-11}{2}}(\frac{p+3}{2}g)^4(\frac{p-1}{2}g)$ or $g^{\frac{p-7}{2}}(\frac{p+5}{2}g)^2(\frac{p-3}{2}g)$. Furthermore, if $S$ is a minimal zero-sum sequence with $|S| \ge \frac{p-1}{2}$, then $\ind(S) \leq 2$.

Let $G$ be a finite cyclic group. Every sequence $S$ of length $l$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of $(n_1+\cdots+n_l)/\ord(g)$ over all possible $g\in G$ such that $\langle g \rangle =G$. In this paper, we determine the index of any minimal zero-sum sequence $S$ of length 5 when $G=\langle g\rangle$ is a cyclic group of a prime order and $S$ has the form $S=g^2(n_2g)(n_3g)(n_4g)$. It is shown that if $G=\langle g\rangle$ is a cyclic group of prime order $p \geq 31$, then every minimal zero-sum sequence $S$ of the above mentioned form has index 1 except in the case that $S=g^2(\frac{p-1}{2}g)(\frac{p+3}{2}g)((p-3)g)$.

Let $G$ be a finite cyclic group. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of $(n_1+\cdots+n_l)/\ord(g)$ over all possible $g\in G$ such that $\langle g \rangle =G$. An open problem on the index of length four sequences asks whether or not every minimal zero-sum sequence of length 4 over a finite cyclic group $G$ with $\gcd(|G|, 6)=1$ has index 1. In this paper, we show that if $G=\langle g\rangle$ is a cyclic group with order of a product of two prime powers and $\gcd(|G|, 6)=1$, then every minimal zero-sum sequence $S$ of the form $S=(g)(n_2g)(n_3g)(n_4g)$ has index 1. In particular, our result confirms that the above problem has an affirmative answer when the order of $G$ is a product of two different prime numbers or a prime power, extending a recent result by the first author, Plyley, Yuan and Zeng.

Let $G$ be a finite cyclic group of order $n \ge 2$. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot ... \cdot (n_lg)$ where $g\in G$ and $n_1,..., n_l \in [1,\ord(g)]$, and the index $\ind (S)$ of $S$ is defined as the minimum of $(n_1+ ... + n_l)/\ord (g)$ over all $g \in G$ with $\ord (g) = n$. In this paper we prove that a sequence $S$ over $G$ of length $|S| = n$ having an element with multiplicity at least $\frac{n}{2}$ has a subsequence $T$ with $\ind (T) = 1$, and if the group order $n$ is a prime, then the assumption on the multiplicity can be relaxed to $\frac{n-2}{10}$. On the other hand, if $n=4k+2$ with $k \ge 5$, we provide an example of a sequence $S$ having length $|S| > n$ and an element with multiplicity $\frac{n}{2}-1$ which has no subsequence $T$ with $\ind (T) = 1$. This disproves a conjecture given twenty years ago by Lemke and Kleitman.