A nonlinear bound for the number of subsequence sums

Vsevolod F. Lev

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

2022-12-20

Abstract:We show that a finite zero-sum-free sequence $\alpha$ over an abelian group has at least $c|\alpha|^{4/3}$ distinct subsequence sums, unless $\alpha$ is "controlled" by a small number of its terms; here $|\alpha|$ denotes the number of terms of $\alpha$, and $c>0$ is an absolute constant.

Number Theory,Combinatorics

What problem does this paper attempt to address?

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.
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.
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
On joint short minimal zero-sum subsequences over finite abelian groups of rank two

Yushuang Fan,Qinghai Zhong

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

IF: 1.263

2024-12-05

Journal of Combinatorial Theory Series A

Abstract:Let (G,+,0) be a finite abelian group and let ηN(G) be the smallest integer l such that every sequence over G∖{0} of length l has two joint short minimal zero-sum subsequences. In 2013, Gao et al. obtained that ηN(Cn⊕Cn)=3n+1 for every n≥2 and solved the corresponding inverse problem for groups Cp⊕Cp , where p is a prime. In this paper, we determine the precise value of ηN(G) for all finite abelian groups of rank 2 and resolve the corresponding inverse problem for groups Cn⊕Cn , where n≥2 , which confirms a conjecture of Gao, Geroldinger and Wang for all n≥2 except n=4 .

mathematics
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
Inverse Zero-Sum Problems III

Weidong Gao,Alfred Geroldinger,David J. Grynkiewicz

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

2008-01-25

Abstract:Let $G$ be a finite abeilian group. A sequence $S$ with terms from $G$ is zero-sum if the sum of terms in $S$ equals zero. It is a minimal zero-sum sequence if no proper, nontrivial subsequence is zero-sum. The maximal length of a minimal zero-sum subsequence in $G$ is the Davenport constant, denoted $D(G)$. For a rank 2 group $G=C_n \oplus C_n$, it is known that $D(G)=2n-1$. However, the structure of all maximal length minimal zero-sum sequences remains open. If every such sequence contains a term with multiplicity $n-1$, then $C_n \oplus C_n$ is said to have Property B, and it is conjectured that this is true for all rank 2 groups $C_n \oplus C_n$. In this paper, we show that Property B is multiplicative, namely, if $G=C_n \oplus C_n$ and $G=C_m \oplus C_m$ both satisfy Property B, with $m, n\geq 3$ odd and $mn>9$, then $C_{mn}\oplus C_{mn}$ satisfies Property B also. Combined with previous work in the literature, this reduces the question of establishing Property B to the prime cases, and in such case the complete structural description of the sequence follows.

Number Theory,Combinatorics
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.
On the Cardinality and Sum of Reciprocals of Primitive Sequences

Shane Chern,CAI Tianxin,ZHONG Hao

DOI: https://doi.org/10.11845/sxjz.2016046b

2018-01-01

Abstract:Let A(2n) denote the set of primitive sequences A(2n) with cardinality n.In this paper,we consider the upper bound of reciprocal sum of A ∈ A(2n) and obtain A max∈ A(2n)∑ni=11/ai-log3+(1/nlog32)as n → ∞.We also find some interesting properties of |A(2n)|.
A note on absolute summability factors

H. S. Ozarslan

DOI: https://doi.org/10.48550/arXiv.math/0310290

2003-10-18

Abstract:In this paper, by using an almost increasing and $\delta$-quasi-monotone sequence, a general theorem on $\phi-{\mid{C},\alpha\mid}_k$ summability factors, which generalizes a result of Bor \cite{3} on ${\phi-\mid{C},1\mid}_k$ summability factors, has been proved under weaker and more general conditions.

Classical Analysis and ODEs
A Limit Result for Self-Normalized Random Sums

Zhang Li-xin,Wen Ji-wei

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

2001-01-01

Journal of Zhejiang University SCIENCE A

Abstract:Suppose X, X n ; n ≥1 is a sequence i.i.d.r.v. with EX =0 and EX 2 <∞. Shao (1995) proved a conjecture of Révész (1990); if P(X =±1)=1/2, then lim_n →∞max_0 ⩽ j< nmax_1 ⩽ k ⩽ n - j∑_i = j + 1^i = j + kX_i /(2klogn)^1/2 = 1 a. s. . Furthermore he conjectured that 1 ⩽lim_n →∞max_0 ⩽ j< nmax_1 ⩽ k ⩽ n - j∑_i = j + 1^i = j + kX_i /{∑_i = j + 1^i = j + kX_i^2 (2klogn)} ^1/2 = K< ∞ a. s. . In this paper we prove that if sup_b > 0 P(X = b) ⩾ P(X = 0) then this conjecture is ture.
Translated sums of quasi-primitive sequences

Laib, Ilias,Mouli, Kawter,Rezzoug, Nadir

DOI: https://doi.org/10.1007/s10998-024-00577-2

2024-06-12

Periodica Mathematica Hungarica

Abstract:A sequence of strictly positive integers is said to be quasi-primitive if there are no three distinct terms and such that . Erdős conjectured that the sum where is the sequence of all powers of prime numbers and . It is normal to ask whether the Erdős conjecture remains possible for any . However, in this observation we show that for x large enough there are an infinite number of primitive sequences such as . Furthermore, when is a sequence of semiprimes, the last inequality holds for any real number .

mathematics, applied
On some zero-sum invariants for abelian groups of rank three

Shiwen Zhang

2023-10-09

Abstract:Let $G$ be an additive finite abelian group with exponent $\exp(G)$. For $L\subseteq \mathbb N$, let $\mathsf{s}_{L}(G)$ be the smallest integer $\ell$ such that every sequence $S$ over $G$ of length $\ell$ has a zero-sum subsequence $T$ of length $|T|\in L$. In this paper, we consider the invariants $\mathsf{s}_{[1,t]}(G)$ and $\mathsf{s}_{\{k\exp(G)\}}(G)$ (with $k\in \mathbb N$). We obtain precise values as well as upper bounds of the above invariants for some abelian groups of rank three. Some of these results improve previous results of Gao-Thangadurai and Han-Zhang.

Combinatorics
Long increasing subsequences and non-algebraicity

Miklos Bona

2024-06-18

Abstract:We use a recent result of Alin Bostan to prove that the generating functions of two infinite sequences of permutation classes are not algebraic.

Combinatorics
On Snevily's conjecture and restricted sumsets

Zhi-Wei Sun

DOI: https://doi.org/10.1016/S0097-3165(03)00099-2

2003-01-01

Abstract:Let G be an additive abelian group whose finite subgroups are all cyclic. Let A1,…,An(n>1) be finite subsets of G with cardinality k>0, and let b1,…,bn be pairwise distinct elements of G with odd order. We show that for every positive integer m⩽(k−1)/(n−1) there are more than (k−1)n−(m+1)(n2) sets {a1,…,an} such that a1∈A1,…,an∈An, and both ai≠aj and mai+bi≠maj+bj (or both mai≠maj and ai+bi≠aj+bj) for all 1⩽i<j⩽n. This extends a recent result of Dasgupta, Károlyi, Serra and Szegedy on Snevily's conjecture. Actually stronger results on sumsets with polynomial restrictions are obtained in this paper.
On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

Adrian Beker

2023-11-17

Abstract:We show the existence of a constant $c > 0$ such that, for all positive integers $n$, there exist integers $1 \leq a_1 < \ldots < a_k \leq n$ such that there are at least $cn^2$ distinct integers of the form $\sum_{i=u}^{v}a_i$ with $1 \leq u \leq v \leq k$. This answers a question of Erdős and Graham. We also prove a non-trivial upper bound on the maximum number of distinct integers of this form and address several open problems.

Combinatorics,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.
A note on the largest sum-free sets of integers

Yifan Jing,Shukun Wu

DOI: https://doi.org/10.1112/jlms.12819

2023-08-30

Abstract:Given $A$ a set of $N$ positive integers, an old question in additive combinatorics asks that whether $A$ contains a sum-free subset of size at least $N/3+\omega(N)$ for some increasing unbounded function $\omega$. The question is generally attacked in the literature by considering another conjecture, which asserts that as $N\to\infty$, $\max_{x\in\mathbb{R}/\mathbb{Z}}\sum_{n\in A}({\bf 1}_{(1/3,2/3)}-1/3)(nx)\to\infty$. This conjecture, if true, would also imply that a similar phenomenon occurs for $(2k,4k)$-sum-free sets for every $k\geq1$. In this note, we prove the latter result directly. The new ingredient of our proof is a structural analysis on the host set $A$, which might be of independent interest.

Combinatorics,Classical Analysis and ODEs,Number Theory
On the Partial Sum of Subword-Counting Sequences

Pranjal Jain,Shuo Li

2024-11-15

Abstract:Let $w$ be a finite word over the alphabet $\{0,1\}$. For any natural number $n$, let $s_w(n)$ denote the number of occurrence of $w$ in the binary expansion of $n$ as a scattered subsequence. We study the behavior of the partial sum $\sum_{n=0}^N(-1)^{s_w(n)}$ and characterize several classes of words $w$ satisfying $\sum_{n=0}^N(-1)^{s_w(n)}= O(N^{1-\epsilon})$ for some $\epsilon >0$.

Number Theory,Combinatorics
Thresholds for zero-sums with small cross numbers in abelian groups

Neal Bushaw,Glenn Hurlbert

2024-05-28

Abstract:For an additive group $\Gamma$ the sequence $S = (g_1, \ldots, g_t)$ of elements of $\Gamma$ is a zero-sum sequence if $g_1 + \cdots + g_t = 0_\Gamma$. The cross number of $S$ is defined to be the sum $\sum_{i=1}^k 1/|g_i|$, where $|g_i|$ denotes the order of $g_i$ in $\Gamma$. Call $S$ good if it contains a zero-sum subsequence with cross number at most 1. In 1993, Geroldinger proved that if $\Gamma$ is abelian then every length $|\Gamma|$ sequence of its elements is good, generalizing a 1989 result of Lemke and Kleitman that had proved an earlier conjecture of Erdős and Lemke. In 1989 Chung re-proved the Lemke and Kleitman result by applying a theorem of graph pebbling, and in 2005, Elledge and Hurlbert used graph pebbling to re-prove and generalize Geroldinger's result. Here we use probabilistic theorems from graph pebbling to derive a threshold version of Geroldinger's theorem for abelian groups of a certain form. Specifically, we prove that if $p_1, \ldots, p_d$ are (not necessarily distinct) primes and $\Gamma_k$ has the form $\prod_{i=1}^d {\mathbb Z}_{p_i^k}$ then there is a function $\tau=\tau(k)$ (which we specify in Theorem 4) with the following property: if $t-\tau\rightarrow\infty$ as $k\rightarrow\infty$ then the probability that $S$ is good in $\Gamma_k$ tends to 1.

Combinatorics
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 nonlinear bound for the number of subsequence sums

Note: On the number of zero-sum subsequences

On the number of zero-sum subsequences

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

On joint short minimal zero-sum subsequences over finite abelian groups of rank two

On n-sum of an abelian group of order n

Inverse Zero-Sum Problems III

Restricted Sumsets and A Conjecture of Lev

On the Cardinality and Sum of Reciprocals of Primitive Sequences

A note on absolute summability factors

A Limit Result for Self-Normalized Random Sums

Translated sums of quasi-primitive sequences

On some zero-sum invariants for abelian groups of rank three

Long increasing subsequences and non-algebraicity

On Snevily's conjecture and restricted sumsets

On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

On two new kinds of restricted sumsets

A note on the largest sum-free sets of integers

On the Partial Sum of Subword-Counting Sequences

Thresholds for zero-sums with small cross numbers in abelian groups

On the number of sets with small sumset