Direct and Inverse Problems for Restricted Signed Sumsets -- II

Abstract

Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A = \left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace. $$ A direct problem for the restricted $h$-fold signed sumset is to find the optimal size of $h^{\wedge}_{\pm}A$ in terms of $h$ and $|A|$. An inverse problem for this sumset is to determine the structure of the underlying set $A$ when the sumset has optimal size. While the signed sumsets (which is defined differently compared to the restricted signed sumset) in finite abelian groups has been investigated by Bajnok and Matzke, the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ is not well studied even in the additive group of integers $\Bbb Z$. Bhanja, Komatsu and Pandey studied these problems for the restricted $h$-fold signed sumset for $h=2, 3$, and $k$, and conjectured some direct and inverse results for $h \geq 4$. In a recent paper, Mistri and Prajapati proved these conjectures completely for the set of positive integers. In this paper, we prove these conjectures for the set of nonnegative integers, which settles all the conjectures completely.