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?
The problem that this paper attempts to solve is about the lower bound of the number of subsequence sums of zero - sum - free sequences. Specifically, the author tries to prove that in a finite Abelian group, if a zero - sum - free sequence \(\alpha\) has a length of \(n\), and the sums of all its non - empty subsequences are not zero, then this sequence has at least \(c|\alpha|^{4/3}\) distinct subsequence sums, unless the sequence is "dominated" by a few terms; here \(|\alpha|\) represents the number of terms in the sequence \(\alpha\), and \(c>0\) is an absolute constant. Expressed in a formula, that is: \[ |\Sigma(\alpha)| \geq c|\alpha|^{4/3} \] Here, \(\Sigma(\alpha)\) represents the set of all subsequence sums of the sequence \(\alpha\), including the sum of the empty subsequence (i.e., 0). This result shows that in most cases, there is a non - linear relationship between the number of subsequence sums of a zero - sum - free sequence and its length. In addition, the paper also explores the structural characteristics of the sequence when the number of subsequence sums of the zero - sum - free sequence is small. In particular, the author analyzes these sequences by introducing the transfer operation and finally draws important conclusions about the existence and distribution of high - multiplicity terms in these sequences. In summary, the main contribution of this paper is to provide a new non - linear lower bound estimate and reveal the structural properties of zero - sum - free sequences under specific conditions. This provides a new perspective and tool for understanding zero - sum problems in finite Abelian groups.