English

Freiman's $(3k-4)$-like results for subset and subsequence sums

Number Theory 2024-02-13 v2

Abstract

For a nonempty finite set AA of integers, let S(A)={bBb:BA}S(A) = \left\{ \sum_{b\in B} b: \emptyset \not= B\subseteq A\right\} be the set of all nonempty subset sums of AA. In 1995, Nathanson determined the minimum cardinality of S(A)S(A) in terms of A|A| and described the structure of AA for which S(A)|S(A)| is the minimum. He asked to characterize the underlying set AA if S(A)|S(A)| is a small increment to its minimum size. Problems of such nature are inspired by the well-known Freiman's 3k43k-4 theorem. In this paper, some results in the direction of Freiman's 3k43k-4 theorem for the set of subset sums S(A)S(A) are proved. Such results are also extended to the set of subsequence sums S(A)={bBb:BA}S(\mathbb{A}) = \left\{ \sum_{b\in \mathbb{B}} b: \emptyset \not= \mathbb{B} \subseteq \mathbb{A} \right\} of sequence A\mathbb{A}, where the notation BA\mathbb{B} \subseteq \mathbb{A} , is used for B\mathbb{B} is a subsequence of A\mathbb{A}. The results are further generalized to a generalization of subset and subsequence sums. The main idea of the proofs of the results is to write the set of subset sums S(A)S(A) and the set of subsequence sums S(A)S(\mathbb{A}) in terms of the hh-fold sumset hAhA and the hh-fold restricted sumset hAh^\wedge A. Such representation also gives other proof of some of the results of Nathanson and Mistri et al.

Keywords

Cite

@article{arxiv.2401.08208,
  title  = {Freiman's $(3k-4)$-like results for subset and subsequence sums},
  author = {Mohan and Jagannath Bhanja and Ram Krishna Pandey},
  journal= {arXiv preprint arXiv:2401.08208},
  year   = {2024}
}

Comments

25 pages, Comments welcome

R2 v1 2026-06-28T14:17:48.863Z