Abstract:Given a positive integer $h$ and a nonempty finite set of integers $A=\{a_{1},a_{2},\ldots,a_{k}\}$, 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} \lambda_{i} a_{i}: \lambda_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left| \lambda_{i} \right| =h\right\rbrace.$$ The direct problem associated with this sumset is to find the optimal lower bound of $|h^{\wedge}_{\pm}A|$, and the inverse problem associated with this sumset is to determine the structure of the underlying set $A$, when $|h^{\wedge}_{\pm}A|$ attains the optimal lower bound. Bhanja, Komatsu and Pandey studied the direct and inverse problem 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 this paper, we prove these conjectures for $h=4$. We also prove the direct and inverse theorems for arbitrary $h$ under certain restrictions on the set $A$ which are particular cases of the conjectures. Moreover, we prove these conjectures for arithmetic progressions.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper mainly studies the direct and inverse problems of the restricted signed sumset in the set of integers. Specifically, given a positive integer \(h\) and a non - empty finite set of integers \(A=\{a_1,a_2,\ldots,a_k\}\), the restricted \(h\)-fold signed sumset \(h^{\land}_{\pm}A\) of \(A\) is defined as follows:
\[
h^{\land}_{\pm}A=\left\{\sum_{i = 1}^{k}\lambda_i a_i:\lambda_i\in\{- 1,0,1\},\sum_{i = 1}^{k}|\lambda_i|=h\right\}
\]
The related direct problem is to find the optimal lower bound of \(|h^{\land}_{\pm}A|\); and the inverse problem is to determine the structure of the set \(A\) when \(|h^{\land}_{\pm}A|\) reaches the optimal lower bound.
#### Specific problem description
1. **Direct problem**: Look for the optimal lower bound of \(|h^{\land}_{\pm}A|\).
2. **Inverse problem**: When \(|h^{\land}_{\pm}A|\) reaches the optimal lower bound, determine the structure of the set \(A\).
#### Research progress
- Bhanja, Komatsu and Pandey studied the direct and inverse problems when \(h = 2,3\) and proposed conjectures for \(h\geq4\).
- In this paper, the author proves that these conjectures hold when \(h = 4\), and also proves these conjectures under certain specific conditions (such as arithmetic sequences).
- In addition, the author also verifies the correctness of these conjectures on finite arithmetic sequences and provides detailed proofs.
### Conclusion
The main contributions of this paper are:
- Prove that the conjectures about the direct and inverse problems of the restricted signed sumset \(h^{\land}_{\pm}A\) hold when \(h = 4\).
- Provide several auxiliary lemmas and proofs in special cases, laying the foundation for more extensive research.
Through the study of these problems, the author deepens the understanding of the restricted signed sumset and provides theoretical support for further exploring higher - order situations.