-
Sets of Cross Numbers of Sequences over Finite Abelian Groups
Authors:
Aqsa Bashir,
Wolfgang A. Schmid
Abstract:
Let $G$ be a finite abelian group with $\exp(G)$ the exponent of $G$. Then $\mathsf W(G)$ denotes the set of cross numbers of minimal zero-sum sequences over $G$ and $\mathsf w(G)$ denotes the set of all cross numbers of non-trivial zero-sum free sequences over $G$. It is clear that $\mathsf W(G)$ and $\mathsf w(G)$ are bounded subsets of $\frac{1}{\exp(G)}\mathbb{N}$ with maximum $ \mathsf K(G)$…
▽ More
Let $G$ be a finite abelian group with $\exp(G)$ the exponent of $G$. Then $\mathsf W(G)$ denotes the set of cross numbers of minimal zero-sum sequences over $G$ and $\mathsf w(G)$ denotes the set of all cross numbers of non-trivial zero-sum free sequences over $G$. It is clear that $\mathsf W(G)$ and $\mathsf w(G)$ are bounded subsets of $\frac{1}{\exp(G)}\mathbb{N}$ with maximum $ \mathsf K(G)$ and $\mathsf k(G)$, respectively (here $\mathsf{K}(G)$ and $\mathsf{k}(G)$ denote the large and the small cross number of $G$, respectively). We give results on the structure of $\mathsf W(G)$ and $\mathsf w(G)$. We first show that both sets contain long arithmetic progressions and that only close to the maximum there might be some gaps. Then, we provide groups for which $\mathsf W(G)$ and $\mathsf w(G)$ actually are arithmetic progressions, and argue that this is rather a rare phenomenon. Finally, we provide some results in case there are gaps.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Some remarks on barycentric-sum problems over cyclic groups
Authors:
Oscar Ordaz,
Alain Plagne,
Wolfgang A. Schmid
Abstract:
We derive some new results on the k-th barycentric Olson constants of abelian groups (mainly cyclic). This quantity, for a finite abelian (additive) group (G,+), is defined as the smallest integer l such that each subset A of G with at least l elements contains a subset with k elements {g_1, ..., g_k} satisfying g_1 + ... + g_k = k g_j for some 1 <= j <= k.
We derive some new results on the k-th barycentric Olson constants of abelian groups (mainly cyclic). This quantity, for a finite abelian (additive) group (G,+), is defined as the smallest integer l such that each subset A of G with at least l elements contains a subset with k elements {g_1, ..., g_k} satisfying g_1 + ... + g_k = k g_j for some 1 <= j <= k.
△ Less
Submitted 19 June, 2013; v1 submitted 20 April, 2012;
originally announced April 2012.
-
On the Olson and the Strong Davenport constants
Authors:
Oscar Ordaz,
Andreas Philipp,
Irene Santos,
Wolfgang A. Schmid
Abstract:
A subset $S$ of a finite abelian group, written additively, is called zero-sumfree if the sum of the elements of each non-empty subset of $S$ is non-zero. We investigate the maximal cardinality of zero-sumfree sets, i.e., the (small) Olson constant. We determine the maximal cardinality of such sets for several new types of groups; in particular, $p$-groups with large rank relative to the exponent,…
▽ More
A subset $S$ of a finite abelian group, written additively, is called zero-sumfree if the sum of the elements of each non-empty subset of $S$ is non-zero. We investigate the maximal cardinality of zero-sumfree sets, i.e., the (small) Olson constant. We determine the maximal cardinality of such sets for several new types of groups; in particular, $p$-groups with large rank relative to the exponent, including all groups with exponent at most five. These results are derived as consequences of more general results, establishing new lower bounds for the cardinality of zero-sumfree sets for various types of groups. The quality of these bounds is explored via the treatment, which is computer-aided, of selected explicit examples. Moreover, we investigate a closely related notion, namely the maximal cardinality of minimal zero-sum sets, i.e., the Strong Davenport constant. In particular, we determine its value for elementary $p$-groups of rank at most $2$, paralleling and building on recent results on this problem for the Olson constant.
△ Less
Submitted 4 August, 2010;
originally announced August 2010.
-
An application of coding theory to estimating Davenport constants
Authors:
Alain Plagne,
Wolfgang A. Schmid
Abstract:
We investigate a certain well-established generalization of the Davenport constant. For $j$ a positive integer (the case $j=1$, is the classical one) and a finite Abelian group $(G,+,0)$, the invariant $\Dav_j(G)$ is defined as the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $j$ disjoint non-empty zero-sum subsequences. We investigate these quantities for element…
▽ More
We investigate a certain well-established generalization of the Davenport constant. For $j$ a positive integer (the case $j=1$, is the classical one) and a finite Abelian group $(G,+,0)$, the invariant $\Dav_j(G)$ is defined as the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $j$ disjoint non-empty zero-sum subsequences. We investigate these quantities for elementary $2$-groups of large rank (relative to $j$). Using tools from coding theory, we give fairly precise estimates for these quantities. We use our results to give improved bounds for the classical Davenport constant of certain groups.
△ Less
Submitted 1 July, 2010;
originally announced July 2010.
-
Restricted inverse zero-sum problems in groups of rank two
Authors:
Wolfgang A. Schmid
Abstract:
Let $(G,+)$ be a finite abelian group. Then, $\so(G)$ and $η(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has a subsequence whose terms sum to $0$ and whose length is equal to and at most, resp., the exponent of the group. For groups of rank two, we study the inverse problems associated to these constants, i.e., we investigate the structure of s…
▽ More
Let $(G,+)$ be a finite abelian group. Then, $\so(G)$ and $η(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has a subsequence whose terms sum to $0$ and whose length is equal to and at most, resp., the exponent of the group. For groups of rank two, we study the inverse problems associated to these constants, i.e., we investigate the structure of sequences of length $\so(G)-1$ and $η(G)-1$ that do not have such a subsequence. On the one hand, we show that the structure of these sequences is in general richer than expected. On the other hand, assuming a well-supported conjecture on this problem for groups of the form $C_m \oplus C_m$, we give a complete characterization of all these sequences for general finite abelian groups of rank two. In combination with partial results towards this conjecture, we get unconditional characterizations in special cases.
△ Less
Submitted 1 July, 2010;
originally announced July 2010.
-
Zero-sum problems with congruence conditions
Authors:
Alfred Geroldinger,
David J. Grynkiewicz,
Wolfgang A. Schmid
Abstract:
For a finite abelian group $G$ and a positive integer $d$, let $\mathsf s_{d \mathbb N} (G)$ denote the smallest integer $\ell \in \mathbb N_0$ such that every sequence $S$ over $G$ of length $|S| \ge \ell$ has a nonempty zero-sum subsequence $T$ of length $|T| \equiv 0 \mod d$. We determine $\mathsf s_{d \mathbb N} (G)$ for all $d\geq 1$ when $G$ has rank at most two and, under mild conditions on…
▽ More
For a finite abelian group $G$ and a positive integer $d$, let $\mathsf s_{d \mathbb N} (G)$ denote the smallest integer $\ell \in \mathbb N_0$ such that every sequence $S$ over $G$ of length $|S| \ge \ell$ has a nonempty zero-sum subsequence $T$ of length $|T| \equiv 0 \mod d$. We determine $\mathsf s_{d \mathbb N} (G)$ for all $d\geq 1$ when $G$ has rank at most two and, under mild conditions on $d$, also obtain precise values in the case of $p$-groups. In the same spirit, we obtain new upper bounds for the Erd{\H o}s--Ginzburg--Ziv constant provided that, for the $p$-subgroups $G_p$ of $G$, the Davenport constant $\mathsf D (G_p)$ is bounded above by $2 \exp (G_p)-1$. This generalizes former results for groups of rank two.
△ Less
Submitted 1 July, 2010;
originally announced July 2010.
-
On the arithmetic of Krull monoids with infinite cyclic class group
Authors:
A. Geroldinger,
D. J. Grynkiewicz,
G. J. Schaeffer,
W. A. Schmid
Abstract:
Let $H$ be a Krull monoid with infinite cyclic class group $G$ and let $G_P \subset G$ denote the set of classes containing prime divisors. We study under which conditions on $G_P$ some of the main finiteness properties of factorization theory--such as local tameness, the finiteness and rationality of the elasticity, the structure theorem for sets of lengths, the finiteness of the catenary degre…
▽ More
Let $H$ be a Krull monoid with infinite cyclic class group $G$ and let $G_P \subset G$ denote the set of classes containing prime divisors. We study under which conditions on $G_P$ some of the main finiteness properties of factorization theory--such as local tameness, the finiteness and rationality of the elasticity, the structure theorem for sets of lengths, the finiteness of the catenary degree, and the existence of monotone and of near monotone chains of factorizations--hold in $H$. In many cases, we derive explicit characterizations.
△ Less
Submitted 28 August, 2009;
originally announced August 2009.
-
Remarks on a generalization of the Davenport constant
Authors:
Michael Freeze,
Wolfgang A. Schmid
Abstract:
A generalization of the Davenport constant is investigated. For a finite abelian group $G$ and a positive integer $k$, let $D_k(G)$ denote the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $k$ disjoint non-empty zero-sum subsequences. For general $G$, expanding on known results, upper and lower bounds on these invariants are investigated and it is proved that the s…
▽ More
A generalization of the Davenport constant is investigated. For a finite abelian group $G$ and a positive integer $k$, let $D_k(G)$ denote the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $k$ disjoint non-empty zero-sum subsequences. For general $G$, expanding on known results, upper and lower bounds on these invariants are investigated and it is proved that the sequence $(D_k(G))_{k\in\mathbb{N}}$ is eventually an arithmetic progression with difference $\exp(G)$, and several questions arising from this fact are investigated. For elementary 2-groups, $D_k(G)$ is investigated in detail; in particular, the exact values are determined for groups of rank four and five (for rank at most three they were already known).
△ Less
Submitted 4 August, 2010; v1 submitted 26 May, 2009;
originally announced May 2009.
-
Inverse zero-sum problems II
Authors:
Wolfgang A. Schmid
Abstract:
Let $G$ be an additive finite abelian group. A sequence over $G$ is called a minimal zero-sum sequence if the sum of its terms is zero and no proper subsequence has this property. Davenport's constant of $G$ is the maximum of the lengths of the minimal zero-sum sequences over $G$. Its value is well-known for groups of rank two. We investigate the structure of minimal zero-sum sequences of maxima…
▽ More
Let $G$ be an additive finite abelian group. A sequence over $G$ is called a minimal zero-sum sequence if the sum of its terms is zero and no proper subsequence has this property. Davenport's constant of $G$ is the maximum of the lengths of the minimal zero-sum sequences over $G$. Its value is well-known for groups of rank two. We investigate the structure of minimal zero-sum sequences of maximal length for groups of rank two. Assuming a well-supported conjecture on this problem for groups of the form $C_m \oplus C_m$, we determine the structure of these sequences for groups of rank two. Combining our result and partial results on this conjecture, yields unconditional results for certain groups of rank two.
△ Less
Submitted 14 January, 2010; v1 submitted 24 January, 2008;
originally announced January 2008.
