-
Freiman's $(3k-4)$-like results for subset and subsequence sums
Authors:
Mohan,
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
For a nonempty finite set $A$ of integers, let $S(A) = \left\{ \sum_{b\in B} b: \emptyset \not= B\subseteq A\right\}$ be the set of all nonempty subset sums of $A$. In 1995, Nathanson determined the minimum cardinality of $S(A)$ in terms of $|A|$ and described the structure of $A$ for which $|S(A)|$ is the minimum. He asked to characterize the underlying set $A$ if $|S(A)|$ is a small increment to…
▽ More
For a nonempty finite set $A$ of integers, let $S(A) = \left\{ \sum_{b\in B} b: \emptyset \not= B\subseteq A\right\}$ be the set of all nonempty subset sums of $A$. In 1995, Nathanson determined the minimum cardinality of $S(A)$ in terms of $|A|$ and described the structure of $A$ for which $|S(A)|$ is the minimum. He asked to characterize the underlying set $A$ if $|S(A)|$ is a small increment to its minimum size. Problems of such nature are inspired by the well-known Freiman's $3k-4$ theorem. In this paper, some results in the direction of Freiman's $3k-4$ theorem for the set of subset sums $S(A)$ are proved. Such results are also extended to the set of subsequence sums $S(\mathbb{A}) = \left\{ \sum_{b\in \mathbb{B}} b: \emptyset \not= \mathbb{B} \subseteq \mathbb{A} \right\}$ of sequence $\mathbb{A}$, where the notation $\mathbb{B} \subseteq \mathbb{A} $, is used for $\mathbb{B}$ is a subsequence of $\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)$ and the set of subsequence sums $S(\mathbb{A})$ in terms of the $h$-fold sumset $hA$ and the $h$-fold restricted sumset $h^\wedge A$. Such representation also gives other proof of some of the results of Nathanson and Mistri et al.
△ Less
Submitted 10 February, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Sumsets with a minimum number of distinct terms
Authors:
Jagannath Bhanja
Abstract:
For a non-empty $k$-element set $A$ of an additive abelian group $G$ and a positive integer $r \leq k$, we consider the set of elements of $G$ that can be written as a sum of $h$ elements of $A$ with at least $r$ distinct elements. We denote this set as $h^{(\geq r)}A$ for integers $h \geq r$. The set $h^{(\geq r)}A$ generalizes the classical sumsets $hA$ and $h\hat{}A$ for $r=1$ and $r=h$, respec…
▽ More
For a non-empty $k$-element set $A$ of an additive abelian group $G$ and a positive integer $r \leq k$, we consider the set of elements of $G$ that can be written as a sum of $h$ elements of $A$ with at least $r$ distinct elements. We denote this set as $h^{(\geq r)}A$ for integers $h \geq r$. The set $h^{(\geq r)}A$ generalizes the classical sumsets $hA$ and $h\hat{}A$ for $r=1$ and $r=h$, respectively. Thus, we call the set $h^{(\geq r)}A$ the generalized sumset of $A$. By writing the sumset $h^{(\geq r)}A$ in terms of the sumsets $hA$ and $h\hat{}A$, we obtain the sharp lower bound on the size of $h^{(\geq r)}A$ over the groups $\mathbb{Z}$ and $\mathbb{Z}_p$, where $p$ is a prime number. We also characterize the set $A$ for which the lower bound on the size of $h^{(\geq r)}A$ is tight in these groups. Further, using some elementary arguments, we prove an upper bound for the minimum size of $h^{(\geq r)}A$ over the group $\mathbb{Z}_m$ for any integer $m \geq 2$.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
An improved threshold for the number of distinct intersections of intersecting families
Authors:
Jagannath Bhanja,
Sayan Goswami
Abstract:
A family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$ is called a $t$-intersecting family if $|F\cap G| \geq t$ for any two members $F, G \in \mathcal{F}$ and for some positive integer $t$. If $t=1$, then we call the family $\mathcal{F}$ to be intersecting. Define the set $\mathcal{I}(\mathcal{F}) = \{F\cap G: F, G \in \mathcal{F} \text{ and } F \neq G\}$ to be the collection of all distinct int…
▽ More
A family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$ is called a $t$-intersecting family if $|F\cap G| \geq t$ for any two members $F, G \in \mathcal{F}$ and for some positive integer $t$. If $t=1$, then we call the family $\mathcal{F}$ to be intersecting. Define the set $\mathcal{I}(\mathcal{F}) = \{F\cap G: F, G \in \mathcal{F} \text{ and } F \neq G\}$ to be the collection of all distinct intersections of $\mathcal{F}$. Frankl et al. proved an upper bound for the size of $\mathcal{I}(\mathcal{F})$ of intersecting families $\mathcal{F}$ of $k$-subsets of $\{1,2,\ldots,n\}$. Their theorem holds for integers $n \geq 50 k^2$. In this article, we prove an upper bound for the size of $\mathcal{I}(\mathcal{F})$ of $t$-intersecting families $\mathcal{F}$, provided that $n$ exceeds a certain number $f(k,t)$. Along the way we also improve the threshold $k^2$ to $k^{3/2+o(1)}$ for the intersecting families.
△ Less
Submitted 22 November, 2022; v1 submitted 21 November, 2022;
originally announced November 2022.
-
A note on distinct differences in $t$-intersecting families
Authors:
Jagannath Bhanja,
Sayan Goswami
Abstract:
For a family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$, let $\mathcal{D}(\mathcal{F}) = \{F\setminus G: F, G \in \mathcal{F}\}$ be the collection of all (setwise) differences of $\mathcal{F}$. The family $\mathcal{F}$ is called a $t$-intersecting family, if for some positive integer $t$ and any two members $F, G \in \mathcal{F}$ we have $|F\cap G| \geq t$. The family $\mathcal{F}$ is simply c…
▽ More
For a family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$, let $\mathcal{D}(\mathcal{F}) = \{F\setminus G: F, G \in \mathcal{F}\}$ be the collection of all (setwise) differences of $\mathcal{F}$. The family $\mathcal{F}$ is called a $t$-intersecting family, if for some positive integer $t$ and any two members $F, G \in \mathcal{F}$ we have $|F\cap G| \geq t$. The family $\mathcal{F}$ is simply called intersecting if $t=1$. Recently, Frankl proved an upper bound on the size of $\mathcal{D}(\mathcal{F})$ for the intersecting families $\mathcal{F}$. In this note we extend the result of Frankl to $t$-intersecting families.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
On the minimum size of subset and subsequence sums in integers
Authors:
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length…
▽ More
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length $α$ or more. When $r=1$, we call the subsequence sums as subset sums and we write $Σ_α (A)$ for $Σ_α (\mathcal{A})$. In this article, using some simple combinatorial arguments, we establish optimal lower bounds for the size of $Σ_α (A)$ and $Σ_α (\mathcal{A})$. As special cases, we also obtain some already known results in this study.
△ Less
Submitted 23 November, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
A Note on Sumsets and Restricted Sumsets
Authors:
Jagannath Bhanja
Abstract:
In this note we find the optimal lower bound for the size of the sumsets $HA$ and $H\,\hat{}A$ over finite sets $H, A$ of nonnegative integers, where $HA = \bigcup_{h\in H} hA$ and $H\,\hat{}A = \bigcup_{h\in H} h\,\hat{}A$. We also find the underlying algebraic structure of the sets $A$ and $H$ for which the size of the sumsets $HA$ and $H\,\hat{}A$ is minimum.
In this note we find the optimal lower bound for the size of the sumsets $HA$ and $H\,\hat{}A$ over finite sets $H, A$ of nonnegative integers, where $HA = \bigcup_{h\in H} hA$ and $H\,\hat{}A = \bigcup_{h\in H} h\,\hat{}A$. We also find the underlying algebraic structure of the sets $A$ and $H$ for which the size of the sumsets $HA$ and $H\,\hat{}A$ is minimum.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Inverse problems for certain subsequence sums in integers
Authors:
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
Let $A$ be a nonempty finite set of $k$ integers. Given a subset $B$ of $A$, the sum of all elements of $B$, denoted by $s(B)$, is called the subset sum of $B$. For a nonnegative integer $α$ ($\leq k$), let \[Σ_α (A):=\{s(B): B \subset A, |B|\geq α\}.\] Now, let…
▽ More
Let $A$ be a nonempty finite set of $k$ integers. Given a subset $B$ of $A$, the sum of all elements of $B$, denoted by $s(B)$, is called the subset sum of $B$. For a nonnegative integer $α$ ($\leq k$), let \[Σ_α (A):=\{s(B): B \subset A, |B|\geq α\}.\] Now, let $\mathcal{A}=(\underbrace{a_{1},\ldots,a_{1}}_{r_{1}~\text{copies}}, \underbrace{a_{2},\ldots,a_{2}}_{r_{2}~\text{copies}},\ldots, \underbrace{a_{k},\ldots,a_{k}}_{r_{k}~\text{copies}})$ be a finite sequence of integers with $k$ distinct terms, where $r_{i}\geq 1$ for $i=1,2,\ldots,k$. Given a subsequence $\mathcal{B}$ of $\mathcal{A}$, the sum of all terms of $\mathcal{B}$, denoted by $s(\mathcal{B})$, is called the subsequence sum of $\mathcal{B}$. For $0\leq α\leq \sum_{i=1}^{k} r_{i}$, let \[Σ_α (\bar{r},\mathcal{A}):=\left\{s(\mathcal{B}): \mathcal{B}~\text{is a subsequence of}~\mathcal{A}~\text{of length} \geq α\right\},\] where $\bar{r}=(r_{1},r_{2},\ldots,r_{k})$. Very recently, Balandraud obtained the minimum cardinality of $Σ_α (A)$ in finite fields. Motivated by Baladraud's work, we find the minimum cardinality of $Σ_α(A)$ in the group of integers. We also determine the structure of the finite set $A$ of integers for which $|Σ_α (A)|$ is minimal. Furthermore, we generalize these results of subset sums to the subsequence sums $Σ_α (\bar{r},\mathcal{A})$. As special cases of our results we obtain some already known results for the usual subset and subsequence sums.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
Direct and inverse results on restricted signed sumsets in integers
Authors:
Jagannath Bhanja,
Takao Komatsu,
Ram Krishna Pandey
Abstract:
Let $G$ be an additive abelian group. Let $A=\{a_{0}, a_{1},\ldots, a_{k-1}\}$ be a nonempty finite subset of $G$. For a positive integer $h$ satisfying $1\leq h\leq k$, we let \[h\hat{}_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0},λ_{1}, \ldots, λ_{k-1}) \in \{-1,0,1\}^{k},~Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the restricted signed sumset of $A$. The direct problem for the restricted signed su…
▽ More
Let $G$ be an additive abelian group. Let $A=\{a_{0}, a_{1},\ldots, a_{k-1}\}$ be a nonempty finite subset of $G$. For a positive integer $h$ satisfying $1\leq h\leq k$, we let \[h\hat{}_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0},λ_{1}, \ldots, λ_{k-1}) \in \{-1,0,1\}^{k},~Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the restricted signed sumset of $A$. The direct problem for the restricted signed sumset $h\hat{}_{\underline{+}}A$ is to find the minimum number of elements in $h\hat{}_{\underline{+}}A$ in terms of $|A|$. The inverse problem for $h\hat{}_{\underline{+}}A$ is to determine the structure of the finite set $A$ for which $|h\hat{}_{\underline{+}}A|$ is minimal. In this article, we solve some cases of both direct and inverse problems for $h\hat{}_{\underline{+}}A$, when $A$ is a finite set of integers. In this connection, we also pose some questions as conjectures in the remaining cases.
△ Less
Submitted 31 July, 2019;
originally announced August 2019.
-
Direct and Inverse Theorems on Signed Sumsets of Integers
Authors:
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
Let $G$ be an additive abelian group and $h$ be a positive integer. For a nonempty finite subset $A=\{a_0, a_1,\ldots, a_{k-1}\}$ of $G$, we let \[h_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0}, \ldots, λ_{k-1}) \in \mathbb{Z}^{k},~ Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the {\it signed sumset} of $A$.
The {\it direct problem} for the signed sumset $h_{\underline{+}}A$ is to find a nontrivial l…
▽ More
Let $G$ be an additive abelian group and $h$ be a positive integer. For a nonempty finite subset $A=\{a_0, a_1,\ldots, a_{k-1}\}$ of $G$, we let \[h_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0}, \ldots, λ_{k-1}) \in \mathbb{Z}^{k},~ Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the {\it signed sumset} of $A$.
The {\it direct problem} for the signed sumset $h_{\underline{+}}A$ is to find a nontrivial lower bound for $|h_{\underline{+}}A|$ in terms of $|A|$. The {\it inverse problem} for $h_{\underline{+}}A$ is to determine the structure of the finite set $A$ for which $|h_{\underline{+}}A|$ is minimal. In this article, we solve both the direct and inverse problems for $|h_{\underline{+}}A|$, when $A$ is a finite set of integers.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.