arXiv++ Combinatorics

A sequence $S=(x_1,\ldots, x_k)$ in $\mathbb Z_p$ is called a $(Q_p,\mathbf 1)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in Q_p$ such that $a_1x_1+\cdots+a_kx_k=0$ and $a_1+\cdots+a_k=0$. The constant $E_{Q_p,\mathbf 1}$ is defined to be the smallest positive integer $k$ such that every sequence of length $k$ in $\mathbb Z_p$ has a $(Q_p,\mathbf 1)$-weighted zero-sum subsequence of length $p$. We determine the constant $E_{Q_p,\mathbf 1}$ and the related constants $C_{Q_p,\mathbf 1}$ and $D_{Q_p,\mathbf 1}$. We also study some $(Q_p,B)$-weighted zero-sum constants where $B$ is a subset of $Q_p$.

For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the Gao constant. Such a sequence which has $n-1$ zeroes is said to be of the standard type. When $A=U(n)$ (units in $\mathbb Z_n$) where $n$ is odd, we characterize all such sequences and show that they are of the standard type. When $n$ is even, we give examples of such sequences which are not of the standard type. We also characterize the $U(n)$-extremal sequences for the Gao constant, when $n=2^rp$, where $p$ is an odd prime.

For a weight-set $A\subseteq \mathbb Z_n$, the $A$-weighted zero-sum constant $C_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence of consecutive terms. A sequence of length $C_A(n)-1$ in $\mathbb Z_n$ which does not have any $A$-weighted zero-sum subsequence of consecutive terms will be called a $C$-extremal sequence for $A$. Let $\big(\frac{x}{n}\big)$ denote the Jacobi symbol of $x\in\mathbb Z_n$. We characterize the $C$-extremal sequences for the weight-set $S(n)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=1\,\big\}$ and for the weight-set $L(n;p)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=\big(\frac{x}{p}\big)\,\big\}$ where $p$ is a prime divisor of $n$. We can define $D$-extremal sequences for these weight-sets in a way analogous to the definition of $C$-extremal sequences. We also characterize these sequences.

For $A\subseteq\mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$ whose $A$-weighted sum is zero. When $A$ is the set of all units in $\mathbb Z_n$, we determine the value of $E_A(n)$ and values of two related constants $C_A(n)$ and $D_A(n)$. We also characterize all sequences of length $E_A(n)-1$ in $\mathbb Z_n$ which do not have any $A$-weighted zero-sum subsequence of length $n$ when $n$ is a power of 2.