7,689 research outputs found
Iterated Sumsets and Subsequence Sums
Let
be a finite abelian group with . The Kemperman
Structure Theorem characterizes all subsets satisfying
and has been extended to cover the case when . Utilizing these results, we provide a precise structural description
of all finite subsets with when
(also when is infinite), in which case many of the pathological
possibilities from the case vanish, particularly for large . The structural description is combined with other arguments to
generalize a subsequence sum result of Olson asserting that a sequence of
terms from having length must either have every element of
representable as a sum of -terms from or else have all but
of its terms lying in a common -coset for some . We show
that the much weaker hypothesis suffices to obtain a
nearly identical conclusion, where for the case is trivial we must allow
all but terms of to be from the same -coset. The bound on
is improved for several classes of groups , yielding optimal lower
bounds for . We also generalize Olson's result for -term subsums to
an analogous one for -term subsums when , with the bound
likewise improved for several special classes of groups. This improves previous
generalizations of Olson's result, with the bounds for optimal.Comment: Revised version, with results reworded to appear less technica
On a Conjecture of Hamidoune for Subsequence Sums
Let G be an abelian group of order m, let S be a sequence of terms from G with k distinct terms, let m ∧ S denote the set of all elements that are a sum of some m-term subsequence of S, and let |S| be the length of S. We show that if |S| ≥ m + 1, and if the multiplicity of each term of S is at most m − k + 2, then either |m ∧ S| ≥ min{m, |S| − m + k − 1}, or there exists a proper, nontrivial subgroup Ha of index a, such that m ∧ S is a union of Ha-cosets, Ha ⊆ m ∧ S, and all but e terms of S are from the same Ha-coset, where e ≤ min{|S|−m+k−2 |Ha| − 1, a − 2} and |m ∧ S| ≥ (e + 1)|Ha|. This confirms a conjecture of Y. O. Hamidoune
Monochromatic and Zero-Sum Sets of Nondecreasing Modified Diameter
Let m be a positive integer whose smallest prime divisor is denoted by p, and let Zm denote the cyclic group of residues modulo m. For a set B = {x1, x2, ..., xm} of m integers satisfying x1 {0, 1} (every coloring Delta : {1, ..., N} -> Zm), there exist two m-sets [see Abstract in the PDF]
The Large Davenport Constant I: Groups with a Cyclic, Index 2 Subgroup
Let be a finite group written multiplicatively. By a sequence over ,
we mean a finite sequence of terms from which is unordered, repetition of
terms allowed, and we say that it is a product-one sequence if its terms can be
ordered so that their product is the identity element of . The small
Davenport constant is the maximal integer such that
there is a sequence over of length which has no nontrivial,
product-one subsequence. The large Davenport constant is the
maximal length of a minimal product-one sequence---this is a product-one
sequence which cannot be factored into two nontrivial, product-one
subsequences. It is easily observed that , and
if is abelian, then equality holds. However, for non-abelian groups, these
constants can differ significantly. Now suppose has a cyclic, index 2
subgroup. Then an old result of Olson and White (dating back to 1977) implies
that if is non-cyclic, and
if is cyclic. In this paper, we determine the large Davenport constant of
such groups, showing that , where is the commutator subgroup of
Arithmetic-Progression-Weighted Subsequence Sums
Let be an abelian group, let be a sequence of terms
not all contained in a coset of a proper subgroup of
, and let be a sequence of consecutive integers. Let
which is a particular kind of weighted restricted sumset. We show that , that if , and also
characterize all sequences of length with . This
result then allows us to characterize when a linear equation
where are
given, has a solution modulo with all
distinct modulo . As a second simple corollary, we also show that there are
maximal length minimal zero-sum sequences over a rank 2 finite abelian group
(where and ) having
distinct terms, for any . Indeed, apart from
a few simple restrictions, any pattern of multiplicities is realizable for such
a maximal length minimal zero-sum sequence
- …