arXiv++ Combinatorics

Let $A = \{a_1, \ldots, a_k\}$ be a nonempty finite subset of an additive abelian group $G$. For a nonnegative integer $h$, the \emph{$h$-fold signed sumset} of $A$, denoted by $h_{\pm} A$, is defined by $$ h_{\pm} A = \Biggl\{\sum_{i = 1}^{k} λ_i a_i : λ_i \in \{-h, \ldots, h\}, \ \sum_{i = 1}^{k} |λ_i| = h \Biggr\}, $$ and the \emph{restricted $h$-fold signed sumset}, denoted by $h_{\pm}^\wedge A$, is defined by $$ h_{\pm}^\wedge A = \Biggl\{\sum_{i = 1}^{k} λ_i a_i : λ_i \in \{-1, 0, 1\}, \ \sum_{i = 1}^{k} |λ_i| = h \Biggr\}. $$ We study direct and inverse problems for these signed sumsets, namely determining extremal bounds for their sizes and characterizing the structure of sets $A$ attaining these bounds. While such problems have been extensively studied and resolved in the additive group of integers, comparatively little is known in general abelian groups, especially for restricted signed sumsets. In this paper, we investigate the signed sumset $h_{\pm} A$ in arbitrary (not necessarily finite) abelian groups under the condition $A \cap (-A) \neq \varnothing$. We further analyze both $h_{\pm} A$ and $h_{\pm}^\wedge A$ when $A \cap (-A)$ has a prescribed size. These results are extended to generalized signed sumsets $H_{\pm} A = \bigcup_{h \in H} h_{\pm} A$, where $H$ is a finite set of nonnegative integers, with particular attention to $[0,h]_{\pm} A$. Furthermore, using the polynomial method, we establish nontrivial lower bounds for $|h_{\pm}^\wedge A|$ in arbitrary fields. In addition, for $h = 2, 3, 4$, we derive lower bounds for $|h_{\pm} A|$ in arbitrary fields under the condition $A \cap (-A) = \varnothing$.

Let $\ell$ and $m$ be positive integers with $\ell \leq m$, and let $\mathcal{A} = (A_1, \ldots, A_m)$ be a finite sequence of finite subsets of a group $G$ (not necessarily abelian), written multiplicatively. The {\it generalized product set} $Π^{\ell}(\mathcal{A})$ is the set of all elements of $G$ which can be represented as a product of exactly $\ell$ elements from $\ell$ distinct sets from $\mathcal{A}$ taken in any order. DeVos, Goddyn and Mohar obtained the nontrivial lower bound for the size of this product set when $G$ is abelian. The DeVos-Goddyn-Mohar Theorem is a fundamental result in additive combinatorics which unifies various results from zero-sum combinatorics and has connections with subsequence sums and sumsets. In this paper, we obtain an optimal lower bound for the size of generalized product set $Π^{\ell}(\mathcal{A})$ in torsion-free groups (not necessarily abelian), and characterize the structure of underlying sets in the sequence $\mathcal{A} = (A_1, \ldots, A_m)$ for which $Π^{\ell}(\mathcal{A})$ achieves the optimal lower bound. By slightly modifying the arguments of the proofs in the case of torsion-free groups, we derive such inverse theorems in cyclic groups of prime orders also. Our proof of these result also yields a new proof of DeVos-Goddyn-Mohar Theorem in $\mathbb{Z}_p$. Moreover, we extend these inverse results to arbitrary abelian groups. Furthermore, as an application, we generalize a theorem for subsequence sums due to Hamidoune in torsion-free groups, and obtain several other results for subsequence sums in arbitrary groups.

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.

Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the $h$-fold signed sumset of $A$, denoted by $h_{\pm}A$, is defined as $$h_{\pm}A=\left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \{-h, \ldots, 0, \ldots, h\} \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace,$$ and 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 sumset $h^{\wedge}_{\pm}A$ 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 $h^{\wedge}_{\pm}A$ has optimal size. While some results are known for the signed sumsets in finite abelian groups due to Bajnok and Matzke, not much is known for the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ even in the additive group of integers $\Bbb Z$. In case of $G = \Bbb Z$, Bhanja, Komatsu and Pandey studied these problems for the sumset $h^{\wedge}_{\pm}A$ for $h=2, 3$, and $k$, and conjectured the direct and inverse results for $h \geq 4$. In this paper, we prove these conjectures completely for the sets of positive integers. In a subsequent paper, we prove these conjectures for the sets of nonnegative integers.