Counting Subset Sums of Finite Abelian Groups

Jiyou Li,Daqing Wan

DOI: https://doi.org/10.1016/j.jcta.2011.07.003

IF: 1.263

2011-01-01

Journal of Combinatorial Theory Series A

Abstract:In this paper, we obtain an explicit formula for the number of zero-sum k-element subsets in any finite abelian group.

What problem does this paper attempt to address?

Zero sum sets in abelian groups

Minjia Shi,Denis S. Krotov,Xiaoxiao Li,Patrick Solé

DOI: https://doi.org/10.48550/arXiv.2102.00011

2021-02-08

Abstract:The distribution of cardinalities of zero-sum sets in abelian groups is completely determined. A complex summation involving the Möbius function is given for the general abelian group, while in many special cases, including the case of elementary abelian groups, solved earlier by Li and Wan, it has a compact form. The proof involves two different Möbius transforms, on positive integers and on set partitions.

Combinatorics
Disjoint zero-sum subsets in Abelian groups and its application -- survey

Sylwia Cichacz

2024-10-30

Abstract:We provide a summary of research on disjoint zero-sum subsets in finite Abelian groups, which is a branch of additive group theory and combinatorial number theory. An orthomorphism of a group $\Gamma$ is defined as a bijection $\varphi$ $\Gamma$ such that the mapping $g \mapsto g^{-1}\varphi(g)$ is also bijective. In 1981, Friedlander, Gordon, and Tannenbaum conjectured that when $\Gamma$ is Abelian, for any $k \geq 2$ dividing $|\Gamma| -1$, there exists an orthomorphism of $\Gamma$ fixing the identity and permuting the remaining elements as products of disjoint $k$-cycles. Using the idea of disjoint-zero sum subset we provide a solution of this conjecture for $k=3$ and $|\Gamma|\cong 4\pmod{24}$. We also present some applications of zero-sum sets in graph labeling.

Combinatorics
The restricted sumsets in finite abelian groups

Shanshan Du,Hao Pan

2024-03-06

Abstract:Suppose that $k\geq 2$ and $A$ is a non-empty subset of a finite abelian group $G$ with $|G|>1$. Then the cardinality of the restricted sumset $$ k^\wedge A:=\{a_1+\cdots+a_k:\,a_1,\ldots,a_k\in A,\ a_i\neq a_j\text{ for }i\neq j\} $$ is at least $$ \min\{p(G), k|A|-k^2+1\}, $$ where $p(G)$ denotes the least prime divisor of $|G|$.

Combinatorics,Number Theory
Zero-sum invariants of finite abelian groups

Weidong Gao,Yuanlin Li,Jiangtao Peng,Guoqing Wang

DOI: https://doi.org/10.48550/arXiv.1702.00807

2017-02-03

Abstract: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 $\Omega \subset B(G$), let $d_{\Omega}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\geq t$ has a subsequence in $\Omega$.We provide some first results and open problems on $d_{\Omega}(G)$.

Combinatorics,Number Theory
On the number of zero-sum subsequences

Hui-Qin Cao,Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.disc.2006.07.039

IF: 0.961

2007-01-01

Discrete Mathematics

Abstract:For a sequence S of elements from an additive abelian group G, let f(S) denote the number of subsequences of S the sum of whose terms is zero. In this paper we characterize all sequences S in G with f(S)>2|S|-2, where |S| denotes the number of terms of S.
Counting Polynomial Subset Sums

Jiyou Li,Daqing Wan

DOI: https://doi.org/10.1007/s11139-018-0020-0

2018-01-01

The Ramanujan Journal

Abstract:Let D be a subset of a finite commutative ring R with identity. Let f(x)∈ R[x] be a polynomial of degree d . For a nonnegative integer k , we study the number N_f(D,k,b) of k -subsets S in D such that ∑ _x∈ S f(x)=b. In this paper, we establish several bounds for the difference between N_f(D,k, b) and the expected main term 1/|R||D| ()k , depending on the nature of the finite ring R and f . For R=ℤ_n , let p=p(n) be the smallest prime divisor of n , |D|=n-c ≥ C_dn p^-1/d + c and f(x)=a_dx^d +⋯ +a_0∈ℤ[x] with (a_d, … , a_1, n)=1 . Then | N_f(D, k, b)-1/nn-c ()k| ≤δ (n)(n-c)+(1-δ (n))( C_dnp^-1/d+c) +k-1 ()k, answering an open question raised by Stanley (Enumerative combinatorics, 1997 ) in a general setting, where δ (n)=∑ _i| n, μ (i)=-11/i and C_d=e^1.85d . Furthermore, if n is a prime power, then δ (n) =1/p and one can take C_d=4.41 . Similar and stronger bounds are given for two more cases. The first one is when R=𝔽_q , a q -element finite field of characteristic p and f ( x ) is general. The second one is essentially the well-known subset sum problem over an arbitrary finite abelian group. These bounds extend several previous results.
On the number of sets with small sumset

Dingyuan Liu,Letícia Mattos,Tibor Szabó

2024-07-05

Abstract:We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+\beta}{2}}{s},\] where $\beta$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij. We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel. The main tool behind our proofs is a graph container theorem combined with a variant of an asymmetric hypergraph container theorem.

Combinatorics,Number Theory
A SURVEY OF ZERO-SUM PROBLEMS ON ABELIAN GROUPS

Zhi-Wei Sun

2006-01-01

Abstract:Let G be a finite abelian group. A zero-sum problem on G asks for the smallest positive integer k such that for any sequence a1,... ,ak of elements of G there exists a subsequence of required length the sum of whose terms vanishes. In this talk we will give a survey of problems and results in this field. In particular, we will talk about Olson's theorem on the Davenport constanst of an abelian p-group, Reiher's celebrated proof of the Kemnitz conjecture, and the speaker's extension of the Erd˝os-Ginzburg-Ziv theorem involving covers of Z.
On the number of subsequence sums related to the support of a sequence in finite abelian groups

Rui Wang,Han Chao,Jiangtao Peng

2024-04-29

Abstract: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 $\Sigma_{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 $\Sigma(S)=\cup_{k=1}^{|S|}\Sigma_{k}(S)$ and $\Sigma_{\geq k}(S)=\cup_{t=k}^{|S|}\Sigma_{t}(S)$. It is known that if $0\not\in \Sigma(S)$, then $|\Sigma(S)|\geq |S|+|\mathrm{supp}(S)|-1$. In this paper, we determine the structure of a sequence $S$ satisfying $0\notin \Sigma(S)$ and $|\Sigma(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 \Sigma_{\geq k}(S)\cup \mathrm{supp}(S)$, then $|\Sigma_{\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.

Combinatorics,Number Theory
Note: On the number of zero-sum subsequences

Hui-Qin Cao,Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.disc.2006.07.039

2007-01-01

Abstract:AbstractFor a sequence S of elements from an additive abelian group G, let f(S) denote the number of subsequences of S the sum of whose terms is zero. In this paper we characterize all sequences S in G with f(S)>2^|^S^|^-^2, where |S| denotes the number of terms of S.
Restricted sums of subsets of ℤ

Zhiwei Sun

2001-01-01

Acta Arithmetica

Abstract:null
On n-sum of an abelian group of order n

Xingwu Xia,Weidong Gao

DOI: https://doi.org/10.48550/arXiv.1308.2365

2013-08-11

Abstract:Let $G$ be an additive finite abelian group of order $n$, and let $S$ be a sequence of $n+k$ elements in $G$, where $k\geq 1$. Suppose that $S$ contains $t$ distinct elements. Let $\sum_n(S)$ denote the set that consists of all elements in $G$ which can be expressed as the sum over a subsequence of length $n$. In this paper we prove that, either $0\in \sum_n(S)$ or $|\sum_n(S)|\geq k+t-1.$ This confirms a conjecture by Y.O. Hamidoune in 2000.

Number Theory
On two new kinds of restricted sumsets

Han Wang,Zhi-Wei Sun

DOI: https://doi.org/10.48550/arxiv.2210.12044

2022-01-01

Abstract: Let $A_1,\ldots,A_n$ be finite subsets of an additive abelian group $G$ with $|A_1|=\cdots=|A_n|\ge2$. Concerning the two new kinds of restricted sumsets $$L(A_1,\ldots,A_n)=\{a_1+\cdots+a_n:\ a_1\in A_1,\ldots,a_n\in A_n,\ \text{and}\ a_i\not=a_{i+1} \ \text{for}\ 1\le i<n\}$$ and $$C(A_1,\ldots,A_n)=\{a_1+\cdots+a_n:\ a_i\in A_i\ (1\le i\le n),\ \text{and}\ a_i\not=a_{i+1} \ \text{for}\ 1\le i<n,\ \text{and}\ a_n\not=a_1\}$$ recently introduced by the second author, when $G$ is the additive group of a field we obtain lower bounds for $|L(A_1,\ldots,A_n)|$ and $|C(A_1,\ldots,A_n)|$ via the polynomial method. Moreover, when $G$ is torsion-free and $A_1=\cdots=A_n$, we determine completely when $|L(A_1,\ldots,A_n)|$ or $|C(A_1,\ldots,A_n)|$ attains its lower bound.
The universal zero-sum invariant and weighted zero-sum for infinite abelian groups

Guoqing Wang

DOI: https://doi.org/10.1080/00927872.2024.2418017

2024-10-30

Communications in Algebra

Abstract:Let G be an abelian group, and let F(G) be the free commutative monoid with basis G . For Ω⊂F(G) , define the universal zero-sum invariant dΩ(G) to be the smallest integer l such that every sequence T over G of length l has a subsequence in Ω . The invariant dΩ(G) unifies many classical zero-sum invariants. Let B(G) be the submonoid of F(G) consisting of all zero-sum sequences over G , and let A(G) be the set consisting of all minimal zero-sum sequences over G . The empty sequence, which is the identity of B(G) , is denoted by ε . The well-known Davenport constant D(G) of the group G can be also represented as dB(G)∖{ε}(G) or dA(G)(G) in terms of the universal zero-sum invariant. Notice that A(G) is the unique minimal generating set of the monoid B(G) from the point of view of Algebra. Hence, it would be interesting to determine whether A(G) is minimal to represent the Davenport constant or not for a general finite abelian group G . In this paper, we show that except for a few special classes of groups, there always exists a proper subset Ω of A(G) such that dΩ(G)=D(G) . Furthermore, in the setting of finite cyclic groups, we discuss the distributions of all minimal sets by determining their intersections. By connecting the universal zero-sum invariant with weights, we make a study of zero-sum problems in the setting of infinite abelian groups. The universal zero-sum invariant dΩ;Ψ(G) with weights set Ψ of homomorphisms of groups is introduced for all abelian groups. The weighted Davenport constant DΨ(G) (being an special form of the universal invariant with weights) is also investigated for infinite abelian groups. Among other results, we obtain the necessary and sufficient conditions such that DΨ(G)<∞ in terms of the weights set Ψ when |Ψ| is finite. In doing this, by using the Neumann Theorem on Cover Theory for groups we establish a connection between the existence of a finite cover of an abelian group G by cosets of some given subgroups of G , and the finiteness of weighted Davenport constant.

mathematics
A UNIFIED THEORY OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

Zhi-Wei Sun

2005-01-01

Abstract:Zero-sum problems on abelian groups, subset sums in a field and covers of the integers by residue classes, are three different active topics initiated by P. Erdýos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement (Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60), the author claimed some connections among these seemingly unrelated fas- cinating areas. In this paper we establish the surprising connections for the first time and present a further unified approach. For example, we extend the famous Erdýos-Ginzburg-Ziv theorem in the following way: If {as(mod ns)} k=1 covers each integer either exactly 2q −1 times or exactly 2q times where q is a prime power, then for any c1, . . . , ck ∈ Z/qZ there exists an I ⊆ {1, . . . , k} such that P s2I 1/ns = q and P s2I cs = 0. Our main theorems in this paper unify many results in the three realms and also have applications in finite fields and graph theory.
Restricted Sumsets and A Conjecture of Lev

Hao Pan,Zhi-Wei Sun

DOI: https://doi.org/10.1007/bf02773597

2006-01-01

Israel Journal of Mathematics

Abstract:LetA, B, S be finite subsets of an abelian groupG. Suppose that the restricted sumsetC={α+b: α ∈A, b ∈B, and α − b ∉S} is nonempty and somec∈C can be written asa+b witha∈A andb∈B in at mostm ways. We show that ifG is torsion-free or elementary abelian, then |C|≥|A|+|B|−|S|−m. We also prove that |C|≥|A|+|B|−2|S|−m if the torsion subgroup ofG is cyclic. In the caseS={0} this provides an advance on a conjecture of Lev.
Zero-sum Problems for Abelian P-Groups and Covers of the Integers by Residue Classes

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11856-009-0027-8

2009-01-01

Israel Journal of Mathematics

Abstract:Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdős more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [S03b], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdős-Ginzburg-Ziv theorem in the following way: If { a s (mod ns)} s=1 k covers each integer either exactly 2q − 1 times or exactly 2q times where q is a prime power, then for any c 1,...,c k ∈ ℤ/qℤ there exists an I ⊆ {1,...,k} such that ∑ s∈I 1/n s = q and ∑ s∈I c s = 0. The main theorem of this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs.
A New Sieve For Restricted Multiset Counting

Li Jiyou,Yu Xiang

DOI: https://doi.org/10.1016/j.disc.2021.112487

IF: 0.961

2021-01-01

Discrete Mathematics

Abstract:The Li-Wan sieve [11] is extended to multisets when the underlying set is symmetric. The main ingredient of the proof is the Mobius inversion formula on the poset of partitions of {1, 2, ..., k} ordered by refinement. As illustrative applications, we investigate the problems of partitions over finite fields and zero-sum multisets over the additive group Z/nZ. (C) 2021 Elsevier B.V. All rights reserved.
On zero-sum problems

Zhi-Wei Sun

2006-01-01

Abstract:Let G be an additive abelian group. The zero-sum problem for G asks for the least positive integer k such that for any a1, · · · , ak ∈ G there is an I ⊆ {1, · · · , k} of required cardinality satisfying ∑ i∈I ai = 0. In this talk we will introduce the famous theorem of P. Erdős, A. Ginzburg and A. Ziv (for G = Zn), and recent results of L. Rónya on the Kemnitz conjecture concerning the group Zn ⊕Zn, where Zn = Z/nZ is the additive cyclic group of residue classes modulo n. 1. The Erdős-Ginzburg-Ziv Theorem In 1961 P. Erdős, A. Ginzburg and A. Ziv [Bull. Research Council Israel, 10(1961)] established the following celebrated theorem. EGZ Theorem. Let n be any positive integer, and S = {ai} i=1 be a sequence of integers. Then there is an I ⊆ {1, · · · , 2n − 1} with |I| = n such that ∑ i∈I ai ≡ 0 (mod n). This can be viewed as the first nontrivial result on zero-sum problems. Let G be a finite additive abelian group. The zero-sum problem for G asks for the least positive integer k such that for any a1, · · · , ak ∈ G there exists an I ⊆ {1, · · · , k} of required cardinality satisfying ∑ i∈I ai = 0. If we simply require |I| > 0, then the smallest k is denoted by D(G) and called Davenport’s constant; 1
UNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

ZHI-WEI SUN

DOI: https://doi.org/10.1090/s1079-6762-03-00111-2

2003-01-01

Electronic Research Announcements of the American Mathematical Society

Abstract:In combinatorial number theory, zero-sum problems, subset sums and covers of the integers are three dierent topics initiated by P. Erdos and investigated by many researchers; they play important roles in both number theory and combinatorics. In this paper we announce some deep connections among these seemingly unrelated fascinating areas, and aim at establishing a unied theory! Our main theorem unies many results in these three realms and also has applications in many aspects such as nite elds and graph the- ory. To illustrate this, here we state our extension of the Erdos-Ginzburg-Ziv theorem: If A =fas(mod ns)gks=1 covers some integers exactly 2p 1t imes and others exactly 2p times, where p is a prime, then for any c1; ;ck2Z=pZ there exists an If1; ;kg such that P s2I 1=ns = p and P s2I cs =0 .

Counting Subset Sums of Finite Abelian Groups

Zero sum sets in abelian groups

Disjoint zero-sum subsets in Abelian groups and its application -- survey

The restricted sumsets in finite abelian groups

Zero-sum invariants of finite abelian groups

On the number of zero-sum subsequences

Counting Polynomial Subset Sums

On the number of sets with small sumset

A SURVEY OF ZERO-SUM PROBLEMS ON ABELIAN GROUPS

On the number of subsequence sums related to the support of a sequence in finite abelian groups

Note: On the number of zero-sum subsequences

Restricted sums of subsets of ℤ

On n-sum of an abelian group of order n

On two new kinds of restricted sumsets

The universal zero-sum invariant and weighted zero-sum for infinite abelian groups

A UNIFIED THEORY OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

Restricted Sumsets and A Conjecture of Lev

Zero-sum Problems for Abelian P-Groups and Covers of the Integers by Residue Classes

A New Sieve For Restricted Multiset Counting

On zero-sum problems

UNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z