## DIRECT AND INVERSE RESULTS ON RESTRICTED SIGNED SUMSETS IN INTEGERS

JAGANNATH BHANJA , TAKAO KOMATSU, AND RAM KRISHNA PANDEY ∗

Abstract. Let G be an additive abelian group. Let A = { a , a 0 1 , . . . , a k -1 } be a nonempty finite subset of G . For a positive integer h satisfying 1 ≤ h ≤ k , we let

$$h _ { \pm } A \coloneqq \{ \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } a _ { i } \, \colon ( \lambda _ { 0 }, \lambda _ { 1 }, \dots, \lambda _ { k - 1 } ) \in \{ - 1, 0, 1 \} ^ { k }, \, \Sigma _ { i = 0 } ^ { k - 1 } | \lambda _ { i } | = h \},$$

be the restricted signed sumset of A .

The direct problem for the restricted signed sumset h ˆ + A is to find the minimum number of elements in h ˆ + A in terms of | A | . The inverse problem for h ˆ + A is to determine the structure of the finite set A for which | h ˆ + A | is minimal. In this article, we solve some cases of both direct and inverse problems for h ˆ + A , when A is a finite set of integers. In this connection, we also pose some questions as conjectures in the remaining cases.

## 1. Introduction

Let G be an additive abelian group. Let A = { a , a 0 1 , . . . , a k -1 } be a nonempty finite subset of G . Let h be a positive integer. We let hA , hA ˆ and h + A be the h -fold sumset , the h -fold restricted sumset and the h -fold signed sumset of A , respectively (see [18, 3, 4]); that is,

$$\ h A = \{ \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } a _ { i } \colon ( \lambda _ { 0 }, \lambda _ { 1 }, \dots, \lambda _ { k - 1 } ) \in \mathbb { N } _ { 0 } ^ { k }, \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } = h \},$$

$$\hat { h } A = \{ \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } a _ { i } \, \colon \, ( \lambda _ { 0 }, \lambda _ { 1 }, \dots, \lambda _ { k - 1 } ) \in \{ 0, 1 \} ^ { k }, \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } = h \},$$

and

$$h _ { \underline { + } } A = \{ \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } a _ { i } \, \colon ( \lambda _ { 0 }, \lambda _ { 1 }, \dots, \lambda _ { k - 1 } ) \in \mathbb { Z } ^ { k }, \Sigma _ { i = 0 } ^ { k - 1 } | \lambda _ { i } | = h \},$$

where 1 ≤ h ≤ k in case of hA ˆ .

Analogous to the signed sumset h + A , we define the h -fold restricted signed sumset of A for 1 ≤ h ≤ k , denoted by h ˆ + A , by

$$h _ { \pm } A \coloneqq \{ \Sigma _ { i = 0 } ^ { k - 1 } \lambda _ { i } a _ { i } \, \colon \, ( \lambda _ { 0 }, \lambda _ { 1 }, \dots, \lambda _ { k - 1 } ) \in \{ - 1, 0, 1 \} ^ { k }, \ \Sigma _ { i = 0 } ^ { k - 1 } | \lambda _ { i } | = h \}.$$

$$& \hat { h } _ { + } A \coloneqq \{ \Sigma _ { i = 0 } ^ { \kappa - 1 } \lambda _ { i } a _ { i } \colon \, ( \lambda _ { 0 }, \lambda _ { 1 }, \dots, \lambda _ { k - 1 } ) \in \{ - 1, 0, 1 \} ^ { \kappa }, \, \Sigma _ { i = 0 } ^ { \kappa - 1 } | \lambda _ { i } | = h \}. \\ & \text{Clearing}, & \cdots \dots \swarrow \cdots \, \cdots \, - \cdots \.$$

$$\hat { h } A \cup \hat { h } ( - A ) \subseteq \hat { h } _ { \underline { + } } A.$$

Also, for an integer α , we have

$$\hat { h _ { \pm } } ( \alpha * A ) = \alpha * ( \hat { h _ { \pm } } A ),$$

2010 Mathematics Subject Classification. Primary 11P70, 11B75; Secondary 11B13.

Key words and phrases. Sumset, Restricted sumset, Signed sumset.

∗ Research supported by the Ministry of Human Resource Development, India.

where α ∗ A = { α · a | a ∈ A } is the α -dilation of the set A .

The study of sumsets of sets of an additive abelian group has more than twohundred-year old history. A paper of Cauchy [7] in 1813, which is believed to be one of the oldest and classical work off-course, finds the minimum cardinality of the sumset A + B , where A and B are nonempty subsets of residue classes modulo a prime. Later, Davenport [8] rediscovered Cauchy's result in 1935. The result is now known as the Cauchy-Davenport theorem:

Theorem 1.1 (Cauchy-Davenport Theorem) . Let A and B be nonempty subsets of the group Z p of prime order p . Then

$$| A + B | \geq \min \{ p, | A | + | B | - 1 \}.$$

The multiple fold generalization of this theorem is the following:

Theorem 1.2. Let A be a nonempty subset of the group Z p of prime order p . Then

$$| h A | \geq \min \{ p, h | A | - h + 1 \}.$$

Several partial results about the minimum cardinality of the sumsets and its inverse that if the minimum cardinality is achieved, then the characterization of individual sets have been obtained in the past. A comprehensive list of references may be found in Mann [16], Freiman [13], Nathanson [18], and Tao [20]. Plagne [19] (see also [11]) settled the general case by obtaining the minimum cardinality of sumset in an abelian group. Theorem of Plagne is given below.

Theorem 1.3 (Plagne) . Let G be an abelian group of order n . Let A be a nonempty subset of G with cardinality k . Then

$$| h A | \geq \min \{ ( h \lceil k / d \rceil - h + 1 ) \cdot d \, \colon \, d \in D ( n ) \},$$

where, D n ( ) is the set of positive divisors of n .

In contrast, the h -fold restricted sumsets are not well-settled. In case of group of all integers, the minimum size of the restricted sumset was given by Nathanson [17] in the following theorem.

Theorem 1.4. Let A be a finite set of k integers, and let 1 ≤ h ≤ k be a positive integer. Then

$$| \hat { h } A | \geq h k - h ^ { 2 } + 1.$$

Nathanson [17] also classified the sets of integers which give the exact lower bound.

Theorem 1.5. Let 2 ≤ h ≤ k -2 . Let A be a finite set of k ( ≥ 5) integers. Then | hA ˆ | = hk -h 2 +1 if and only if A is a k -term arithmetic progression.

In case of finite abelian groups, the only complete result for the minimum size of the restricted sumset known to us is the Erd˝ os-Heilbronn Theorem, which was actually a conjecture by Erd˝s and Heilbronn [12] in 1964, until it was first o confirmed by Dias-Da Silva and Hamidoune [9] in 1994 using some ideas from the exterior algebra. Later, it was reproved by Alon, Nathanson and Ruzsa [1, 2] using the polynomial method.

Theorem 1.6 (Erd˝ os-Heilbronn Theorem) . Let A be a nonempty subset of the group Z p of prime order p . Then

$$| \hat { h } A | \geq \min \{ p, h | A | - h ^ { 2 } + 1 \}.$$

Finding the minimum size of restricted sumsets for general finite abelian groups seems to be more difficult problem than the usual h -fold sumsets as the minimum size of restricted sumsets heavily depends on the structure of the group rather than its size.

Turning now to the h -fold signed sumsets, h + A has a brief and a quite new history. This sumset first appeared in the work of Bajnok and Ruzsa [5] in the context of the 'independence number' of a subset A of a group and in the work of Klopsch and Lev [14, 15] in the context of the 'diameter' of group with respect to the subset A . The first systematic and point centric study appeared in the work of Bajnok and Matzke [3], in which, they studied the minimum cardinality of h -fold signed sumset h + A of subsets of a finite abelian group. In particular, they proved that the minimum cardinality of h + A is same as the minimum cardinality of hA , when A is a subset of a finite cyclic group. A year later, they [4] classified all possible values of k for which the minimum cardinality of h + A coincide with the minimum cardinality of hA , when A is a subset of a particular elementary abelian group.

The direct problem is a problem in which we try to determine the structure and properties of the sumset of a given set. An inverse problem is a problem in which we attempt to deduce properties of the set A from properties of its sumset. The direct problem for h ˆ + A is to find the minimum number of elements in h ˆ + A in terms of | A | . The inverse problem for h ˆ + A is to determine the structure of the finite set A for which | h ˆ + A | is minimal.

Very recently, Bhanja and Pandey [6] gave some direct and inverse results for the sumset h + A in the group of integers. In this article, we study similar direct and inverse problems for restricted signed sumset h ˆ + A , when A is a finite set of integers.

For any two integers a , b ( b ≥ a ), let [ a, b ] = { n ∈ Z : a ≤ n ≤ b } . Let ( ) a b = a ! b !( a -b )! , if a ≥ b , otherwise 0. We say that S is symmetric, if for all s ∈ S , - ∈ s S .

## 2. Direct and inverse theorems for h ˆ + A when A contains only positive integers

Theorem 2.1. Let A be a finite set of k positive integers and let 1 ≤ h ≤ k be a positive integer. We have

$$& ( 2. 1 ) & & | h _ { \pm } A | \geq 2 ( h k - h ^ { 2 } ) + \binom { h + 1 } { 2 } + 1. \\ & \quad \ r \quad, \quad. \quad. \quad. \quad. \quad.. \quad.. \quad.. \quad.. \quad........................................................................................................................................................................................................$$

The lower bound in (2.1) is best possible for h = 1 , 2 and k .

Proof. Let A = { a , a 0 1 , . . . , a k -1 } , where 0 &lt; a 0 &lt; a 1 &lt; · · · &lt; a k -1 . For i = 0 1 , , . . . , k -h -1 and j = 0 1 , , . . . , h , let

/negationslash

$$s _ { i, j } \coloneqq \sum _ { \substack { l = 0 \\ l \neq h - j } } ^ { h } a _ { i + l }. \\ -$$

Let

$$s _ { k - h, 0 } \coloneqq \sum _ { l = 0 } ^ { h - 1 } a _ { k - h + l }. \\ \text{Each $s_{u}$ is a sum of $h$ distinct elements of $A$ and hence it}$$

Each s i,j is a sum of h distinct elements of A , and hence it is in h ˆ + A . Moreover, for i = 0 1 , , . . . , k -h -1 and j = 0 1 , , . . . , h -1, we have

$$s _ { i, j } < s _ { i, j + 1 } \text{ and } s _ { i, h } = s _ { i + 1, 0 }.$$

Thus, we get at least hk -h 2 + 1 positive integers in h ˆ + A . Since h ˆ + A is symmetric, the inverses of these hk -h 2 +1 integers are also in h ˆ + A with -s 0 0 , &lt; s 0 0 , . So, we get 2( hk -h 2 +1) integers in h ˆ + A .

For i = 0 1 , , . . . , h -1 and j = 0 1 , , . . . , h - -i 1, define the sequence of integers

/negationslash

$$( 2. 4 ) \quad \ t _ { i, j } \coloneqq \sum _ { \substack { l = 0 \\ l \neq j } } ^ { h - i - 1 } ( - a _ { l } ) + a _ { j } + \sum _ { m = 1 } ^ { i } a _ { h - m }. \\ \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots.$$

Clearly, each t i,j ∈ h ˆ + A . Moreover, for j = 0 1 , , . . . , h -i -2, we have

$$t _ { i, j } < t _ { i, j + 1 },$$

and for i = 0 1 , , . . . , h -2, we have

$$t _ { i, h - i - 1 } < t _ { i + 1, 0 }.$$

Also,

$$- s _ { 0, 0 } < t _ { 0, 0 } \text{ and } t _ { h - 1, 0 } = s _ { 0, 0 }.$$

Therefore, we get ( h +1 2 ) -1 more integers in h ˆ + A which are listed in (2.4). Further, these elements are different from the elements in (2.2) and (2.3). Hence, we get

$$| \hat { h } _ { + } A | & \geq 2 ( h k - h ^ { 2 } ) + \binom { h + 1 } { 2 } + 1. \\ r \, \text{ that the lower bound in } ( 2 \, 1 ) \, \text{ is best possible for}$$

Next, we show that the lower bound in (2.1) is best possible for h = 1, 2 and k . Let h = 1. Then for any finite set A of k positive integers | 1 ˆ + A | = 2 k and 2( hk -h 2 ) + ( h +1 2 ) +1 = 2 . k Now, let h = 2 and A = { 1 3 5 , , , . . . , 2 k - } 1 . Then

$$2 _ { \underline { + } } A = \{ - ( 4 k - 4 ), - ( 4 k - 6 ), \dots, - 2, 2, 4, \dots, 4 k - 4 \},$$

and hence | 2 ˆ + A | = 4 k -4 = 2( hk -h 2 ) + ( h +1 2 ) +1.

Finally, let h = k and A = [1 , k ]. It is easy to see that k ˆ + A contains either odd integers or even integers. Since, k ˆ + A ⊆ -[ ( k +1 2 ) ( , k +1 2 )] , we get

This together with (2.1) give | k ˆ + A | = ( k +1 2 ) +1 = 2( hk -h 2 ) + ( h +1 2 ) +1. This completes the proof of the theorem. /square

$$| \hat { k } _ { + } A | & \leq \binom { k + 1 } { 2 } + 1. \\ \dots \dots + \iota \hat { \lambda } + \hat { \lambda } + \iota \hat { \lambda } + \iota \hat { \lambda }.$$

The next two theorems give the inverse results for the cases h = 2 and h = k , respectively. For h = 1, any set with k elements is extremal.

Theorem 2.2. Let A be a finite set of k ( ≥ 2) positive integers such that | 2 ˆ + A | = 4 k -4 . Then A = { a , a 0 1 } with a 0 &lt; a 1 , if k = 2 , and A = d ∗ { 1 3 , , . . . , 2 k - } 1 , for some positive integer d , if k ≥ 3 .

$$P r o o f. \, \text{Let } A = \{ a _ { 0 }, a _ { 1 }, \dots, a _ { k - 1 } \}, \, \text{where } 0 < a _ { 0 } < a _ { 1 } < \dots < a _ { k - 1 }. \, \text{Let}$$

$$| 2 _ { \pm } A | = 4 k - 4.$$

First, let k = 2. Then

$$\mathcal { Z } _ { \underline { + } } A = \{ a _ { 0 } + a _ { 1 }, a _ { 0 } - a _ { 1 }, - a _ { 0 } + a _ { 1 }, - a _ { 0 } - a _ { 1 } \},$$

where

$$- a _ { 0 } - a _ { 1 } < a _ { 0 } - a _ { 1 } < - a _ { 0 } + a _ { 1 } < a _ { 0 } + a _ { 1 }.$$

Thus, for every set A of two positive integers | 2 ˆ + A | = 4 = 4 k -

4.

Next, let k = 3. Then

$$2 _ { + } A = \{ a _ { 0 } + a _ { 1 }, a _ { 0 } - a _ { 1 }, - a _ { 0 } + a _ { 1 }, - a _ { 0 } - a _ { 1 }, a _ { 0 } + a _ { 2 }, a _ { 0 } - a _ { 2 }, - a _ { 0 } + a _ { 2 }, - a _ { 0 } - a _ { 2 }, \\ a _ { 1 } + a _ { 2 }, a _ { 1 } - a _ { 2 }, - a _ { 1 } + a _ { 2 }, - a _ { 1 } - a _ { 2 } \}$$

where,

$$& - a _ { 1 } - a _ { 2 } < - a _ { 0 } - a _ { 2 } < - a _ { 0 } - a _ { 1 } < a _ { 0 } - a _ { 1 } < - a _ { 0 } + a _ { 1 } < a _ { 0 } + a _ { 1 } \\ ( 2. 5 ) & \quad \ < a _ { 0 } + a _ { 2 } < a _ { 1 } + a _ { 2 }.$$

If | 2 ˆ + A | = 4 k -4 = 8, then 2 ˆ + A contains precisely the integers listed in (2.5). Since

$$- a _ { 0 } - a _ { 2 } < a _ { 0 } - a _ { 2 } < a _ { 0 } - a _ { 1 },$$

we get a 0 -a 2 = -a 0 -a 1 , i.e., a 2 -a 1 = 2 a 0 .

Similarly, as

$$a _ { 0 } - a _ { 1 } < a _ { 2 } - a _ { 1 } < a _ { 2 } - a _ { 0 } = a _ { 0 } + a _ { 1 },$$

we get a 2 -a 1 = a 1 -a 0 . Hence, A = a 0 ∗ { 1 3 5 , , } .

Now, let k = 4. Then

$$2 _ { + } A = \{ & a _ { 0 } + a _ { 1 }, a _ { 0 } - a _ { 1 }, - a _ { 0 } + a _ { 1 }, - a _ { 0 } - a _ { 1 }, a _ { 0 } + a _ { 2 }, a _ { 0 } - a _ { 2 }, - a _ { 0 } + a _ { 2 }, - a _ { 0 } - a _ { 2 }, \\ & a _ { 0 } + a _ { 3 }, a _ { 0 } - a _ { 3 }, - a _ { 0 } + a _ { 3 }, - a _ { 0 } - a _ { 3 }, a _ { 1 } + a _ { 2 }, a _ { 1 } - a _ { 2 }, - a _ { 1 } + a _ { 2 }, - a _ { 1 } - a _ { 2 }, \\ & a _ { 1 } + a _ { 3 }, a _ { 1 } - a _ { 3 }, - a _ { 1 } + a _ { 3 }, - a _ { 1 } - a _ { 3 }, a _ { 2 } + a _ { 3 }, a _ { 2 } - a _ { 3 }, - a _ { 2 } + a _ { 3 }, - a _ { 2 } - a _ { 3 } \},$$

where

$$- \, a _ { 2 } - a _ { 3 } < - a _ { 1 } - a _ { 3 } < - a _ { 1 } - a _ { 2 } < - a _ { 0 } - a _ { 2 } < - a _ { 0 } - a _ { 1 } < a _ { 0 } - a _ { 1 }$$

$$( 2. 6 ) \quad \ < - a _ { 0 } + a _ { 1 } < a _ { 0 } + a _ { 1 } < a _ { 0 } + a _ { 2 } < a _ { 1 } + a _ { 2 } < a _ { 1 } + a _ { 3 } < a _ { 2 } + a _ { 3 }.$$

If | 2 ˆ + A | = 4 k -4 = 12, then 2 ˆ + A contains precisely the integers listed in (2.6). Since

$$a _ { 0 } + a _ { 2 } < a _ { 0 } + a _ { 3 } < a _ { 1 } + a _ { 3 },$$

it follows from (2.6) that a 0 + a 3 = a 1 + a 2 , which is equivalent to a 3 -a 2 = a 1 -a 0 . Similarly, since

$$- a _ { 0 } + a _ { 1 } < - a _ { 0 } + a _ { 2 } < a _ { 0 } + a _ { 2 },$$

we have -a 0 + a 2 = a 0 + a 1 , or a 2 -a 1 = 2 a 0 .

We also have

$$- a _ { 1 } - a _ { 2 } = - a _ { 0 } - a _ { 3 } < a _ { 0 } - a _ { 3 } < a _ { 0 } - a _ { 2 } = - a _ { 0 } - a _ { 1 }.$$

Therefore, a 0 -a 3 = -a 0 -a 2 , or a 3 -a 2 = 2 a 0 . Hence, A = a 0 ∗ { 1 3 5 7 , , , } is the extremal set for all a 0 &gt; 0.

Finally, let k ≥ 5, and | 2 ˆ + A | = 4 k -4. From Theorem 2.1 it follows that the sumset h ˆ + A contains precisely the integers listed in (2.2), (2.3) and (2.4), for h = 2. Since 2 ˆ A ⊆ [ a 0 + a , a 1 k -2 + a k -1 ] and there are exactly 2 k -3 integers in (2.2) and (2.3) between a 0 + a 1 and a k -2 + a k -1 , Theorem 1.5 implies that the set A is in arithmetic progression. That is, the common difference d = a 1 -a 0 = a 2 -a 1 = · · · = a k -1 -a k -2 .

Again, since

$$- a _ { 0 } - a _ { 2 } < - a _ { 0 } - a _ { 1 } < a _ { 0 } - a _ { 1 },$$

and

$$- a _ { 0 } - a _ { 2 } < a _ { 0 } - a _ { 2 } < a _ { 0 } - a _ { 1 },$$

we get a 2 -a 1 = 2 a 0 . Hence A = a 0 ∗ { 1 3 , , . . . , 2 k - } 1 . This completes the proof of the theorem. /square

Theorem 2.3. Let A be a finite set of k ( ≥ 3) positive integers such that

$$| \hat { k } _ { + } A | & = \binom { k + 1 } { 2 } + 1. \\ \mathfrak { U } _ { \ s u i t h \ a } \, & \, \sim \, \sigma _ { \ } i f \, k - 2 \ \ a n.$$

Then A = { a , a 0 1 , a 0 + a 1 } with a 0 &lt; a 1 , if k = 3 , and A = d ∗ [1 , k ] , for some positive integer d , if k ≥ 4 .

Proof. First, let k = 3 and A = { a , a 0 1 , a 2 } , where 0 &lt; a 0 &lt; a 1 &lt; a 2 . Then

$$\mathfrak { Z } _ { + } A = \{ & a _ { 0 } + a _ { 1 } + a _ { 2 }, a _ { 0 } + a _ { 1 } - a _ { 2 }, a _ { 0 } - a _ { 1 } + a _ { 2 }, a _ { 0 } - a _ { 1 } - a _ { 2 }, - a _ { 0 } + a _ { 1 } + a _ { 2 }, \\ & - a _ { 0 } + a _ { 1 } - a _ { 2 }, - a _ { 0 } - a _ { 1 } + a _ { 2 }, - a _ { 0 } - a _ { 1 } - a _ { 2 } \},$$

where, we have

$$& - a _ { 0 } - a _ { 1 } - a _ { 2 } < a _ { 0 } - a _ { 1 } - a _ { 2 } < - a _ { 0 } + a _ { 1 } - a _ { 2 } < - a _ { 0 } - a _ { 1 } + a _ { 2 } \\ ( 2. 7 ) & \quad \ < a _ { 0 } - a _ { 1 } + a _ { 2 } < - a _ { 0 } + a _ { 1 } + a _ { 2 } < a _ { 0 } + a _ { 1 } + a _ { 2 }.$$

If | 3 ˆ + A | = ( ) 4 2 + 1 = 7, then 3 ˆ + A contains precisely the seven integers in (2.7). Since

$$- a _ { 0 } + a _ { 1 } - a _ { 2 } < a _ { 0 } + a _ { 1 } - a _ { 2 } < a _ { 0 } - a _ { 1 } + a _ { 2 },$$

we have a 0 + a 1 -a 2 = -a 0 -a 1 + a 2 , i.e., a 2 -a 1 = a 0 . Hence, A = { a , a 0 1 , a 0 + a 1 } is an extremal set.

Next, let k = 4 and A = { a , a 0 1 , a 2 , a 3 } , where 0 &lt; a 0 &lt; a 1 &lt; a 2 &lt; a 3 . Let | 4 ˆ + A | = ( ) 5 2 + 1 = 11. Then 4 ˆ + A contains precisely the following sequence of integers written in an increasing order.

$$\begin{array} { c } \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \ \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \end{array} \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \	 & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad &\quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \null & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad &
 & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad &  \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \  \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & & & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad \\ \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \ } & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \\ \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & &
 & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \ \quad \\ \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \ \quad &
 & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad \\ \quad & & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \$$

Since the sumset 4 ˆ + A is symmetric, from (2.8) it follows that

$$- a _ { 0 } - a _ { 1 } + a _ { 2 } - a _ { 3 } & = - ( - a _ { 0 } - a _ { 1 } + a _ { 2 } + a _ { 3 } ), \\ - a _ { 0 } - a _ { 1 } - a _ { 2 } + a _ { 3 } & = - ( - a _ { 0 } + a _ { 1 } - a _ { 2 } + a _ { 3 } ),$$

and

$$a _ { 0 } - a _ { 1 } - a _ { 2 } + a _ { 3 } = 0.$$

These above three equations give a 3 -a 2 = a 2 -a 1 = a 1 -a 0 = a 0 . Hence, A = a 0 ∗ { 1 2 3 4 , , , } .

Finally, let k ≥ 5 and A = { a , a 0 1 , . . . , a k -1 } , where 0 &lt; a 0 &lt; a 1 &lt; · · · &lt; a k -1 . Let

$$& | \hat { k } _ { + } A | = \binom { k + 1 } { 2 } + 1. \\ & \text{Then } \hat { k } _ { - } \, \hat { c } \text{ contains non-local} v \text{ the importance listed in } 0 \, \hat { \lambda } _ { - } \, \text{ with}$$

Then, k ˆ + A contains precisely the integers listed in (2.4), with one more integer -a 0 -a 1 -··· -a k -1 . For j = 1 2 , , . . . , k -1, set

/negationslash

$$& ( 2. 1 0 ) & & u _ { j } = a _ { 0 } + \sum _ { \substack { l = 1 \\ l \neq j } } ^ { k - 1 } ( - a _ { l } ) + a _ { j }. \\ & \sim \quad,$$

Clearly,

t

0 1

,

&lt; u

1

&lt; u

2

&lt;

· · ·

&lt; u

k

-

2

&lt; u

k

-

1

=

t

1 0

,

.

So, there are exactly k -2 distinct integers in (2.10) between t 0 1 , and t 1 0 , . Therefore, (2.4), (2.9) and (2.10) imply that, for j = 1 2 , , . . . , k -2,

t

0

,j

+1

=

u .

j

This is equivalent to a j +1 -a j = a 0 , for j = 1 2 , , . . . , k -2. That is

$$a _ { k - 1 } - a _ { k - 2 } = \cdots = a _ { 3 } - a _ { 2 } = a _ { 2 } - a _ { 1 } = a _ { 0 }.$$

$$\text{Again, since } k _ { \pm } A \text{ is symmetric, we have } - t _ { 0, 0 } = t _ { k - 3, 0 }, \text{i.e.,}$$

$$- ( - a _ { 0 } - a _ { 1 } - a _ { 2 } - a _ { 3 } + a _ { 4 } - \cdots - a _ { k - 1 } ) = a _ { 0 } - a _ { 1 } - a _ { 2 } + a _ { 3 } + a _ { 4 } + \cdots + a _ { k - 1 },$$

$$&. 3, 0, \text{ i.e.,} \\ & a _ { 2 } + a _ { 3 } + a _ { 4 } + \dots + a _ { k - 1 },$$

$$a _ { 4 } = a _ { 1 } + a _ { 2 }.$$

Since a 3 -a 2 = a 0 , we get a 4 -a 3 = a 1 -a 0 . Hence, A = a 0 ∗ [1 , k ]. This completes the proof of the theorem. /square

For h ≥ 3, we believe that the sumset h ˆ + A contains at least 2 hk -h 2 + 1 integers. So we conjecture that

Conjecture 2.4. Let A be a finite set of k ( ≥ 4) positive integers and let 3 ≤ h ≤ k -1. Then

$$| \hat { h _ { + } } A | \geq 2 h k - h ^ { 2 } + 1.$$

The lower bound in (2.11) is best possible.

The following example confirms the conjecture in a very special case. Also in Theorem 2.5, we prove the conjecture for h = 3. Moreover, we also give the inverse result in this case.

Example 1 (Super increasing sequence). Let A = { a , a 0 1 , . . . , a k -1 } , where k ≥ 6, a 0 &gt; 0, and a i &gt; i -1 j =0 a j , for i = 1 2 , , . . . , k -1.

For j = 1 2 , , . . . , h -2, consider the integers -2 a 0 + s 0 ,j . Clearly

∑ Let h ≥ 5. Clearly, the sumset h ˆ + A contains at least 2( hk -h 2 ) + ( h +1 2 ) + 1 integers, which are listed in (2.2), (2.3) and (2.4).

/negationslash

$$- 2 a _ { 0 } + s _ { 0, j } = - a _ { 0 } + \sum _ { \substack { l = 1 \\ l \neq h - j } } ^ { h } a _ { l } \in \hat { h _ { + } } A,$$

and

$$s _ { 0, j - 1 } < - 2 a _ { 0 } + s _ { 0, j } < s _ { 0, j }.$$

So, we get h -2 extra positive integers h ˆ + A , which are not present in (2.2), (2.3) and (2.4). Since

$$- s _ { 0, j } < - ( - 2 a _ { 0 } + s _ { 0, j } ) < - s _ { 0, j - 1 },$$

we get h -2 further extra integers in h ˆ + A .

Also, for j = 2 3 , , . . . , h -3, consider the integers

$$( 2. 1 2 ) \quad t _ { 0, h - j - 1 } < - t _ { j, h - j - 2 } < - t _ { j, h - j - 3 } < \dots < - t _ { j, 0 } < - t _ { j - 1, h - j } < t _ { 0, h - j }.$$

Then, for j = 2 3 , , . . . , h -3, we get h -j extra integers. Therefore, we get 3 + 4 + · · · +( h -2) = ( ) h 2 -h -2 more integers in h ˆ + A which are listed in (2.12) and never counted before. We also get one more integer, i.e., -t h -3 2 , such that t 0 1 , &lt; -t h -3 2 , &lt; t 0 2 , . So, we get 2( h -2) + ( ) h 2 -h -2 + 1 = ( ) h 2 +( h -5) extra integers. Hence, by and large, we have

$$| \hat { h _ { \pm } } A | \geq 2 h k - h ^ { 2 } + h - 4 \geq 2 h k - h ^ { 2 } + 1.$$

Theorem 2.5. Let A be a finite set of k ( ≥ 4) positive integers. Then

$$| 3 _ { \pm } A | \geq 6 k - 8.$$

Moreover, if | 3 ˆ ± A | = 6 k -8 , then A = d ∗ { 1 3 5 , , , . . . , 2 k - } 1 , for some positive integer d .

Proof. Let A = { a , a 0 1 , . . . , a k -1 } , where 0 &lt; a 0 &lt; a 1 &lt; · · · &lt; a k -1 . From Theorem 2.1, we have | 3 ˆ ± A | ≥ 6 k -11.

Next, we show that there exist at least three extra integers in 3 ˆ ± A which are not counted in Theorem 2.1. Consider the following thirteen integers of 3 ˆ ± A :

```
\begin{array} { c c c c } & \succeq & \succeq & - \\ & - a _ { 1 } - a _ { 2 } - a _ { 3 } < - a _ { 0 } - a _ { 2 } - a _ { 3 } < - a _ { 0 } - a _ { 1 } - a _ { 3 } < - a _ { 0 } - a _ { 1 } - a _ { 2 } \\ & & < a _ { 0 } - a _ { 1 } - a _ { 2 } < - a _ { 0 } + a _ { 1 } - a _ { 2 } < - a _ { 0 } - a _ { 1 } + a _ { 2 } < a _ { 0 } - a _ { 1 } + a _ { 2 } \\ & & < - a _ { 0 } + a _ { 1 } + a _ { 2 } < a _ { 0 } + a _ { 1 } + a _ { 2 } < a _ { 0 } + a _ { 1 } + a _ { 3 } < a _ { 0 } + a _ { 2 } + a _ { 3 } \\ / \circ \circ \circ \end{array}. \end{array}
```

&lt; a 1 + a 2 + a . 3 (2.14)

We exhibit at least three extra integers between -a 1 -a 2 -a 3 and a 1 + a 2 + a 3 in all possible cases.

Case 1: Let a 3 -a 2 &lt; a 3 -a 1 &lt; 2 a 0 . Then, we get at least two extra positive integers -a 0 + a 1 + a 3 and -a 0 + a 2 + a 3 which are not present in (2.14) such that

-a 0 + a 1 + a 2 &lt; -a 0 + a 1 + a 3 &lt; -a 0 + a 2 + a 3 &lt; a 0 + a 1 + a . 2

Case 2: Let a 3 -a 2 &lt; 2 a 0 &lt; a 3 -a 1 . Then, we get at least two extra positive integers -a 0 -a 1 + a 3 and -a 0 + a 1 + a 3 which are not present in (2.14) such that -a 0 -a 1 + a 2 &lt; -a 0 -a 1 + a 3 &lt; a 0 -a 1 + a 2 &lt; -a 0 + a 1 + a 2 &lt; -a 0 + a 1 + a 3 &lt; a 0 + a 1 + a . 2

Case 3: Let a 3 -a 1 &gt; a 3 -a 2 &gt; 2 a 0 . Then, we get an extra positive integer -a 0 + a 1 + a 3 such that

$$a _ { 0 } + a _ { 1 } + a _ { 2 } < - a _ { 0 } + a _ { 1 } + a _ { 3 } < a _ { 0 } + a _ { 1 } + a _ { 3 }.$$

To exhibit one further extra positive integer consider the following subcases Subcase (i) ( a 2 -a 1 &lt; 2 a 0 ). Weget one more extra positive integer -a 0 + a 2 + a 3 such that a 0 + a 1 + a 2 &lt; -a 0 + a 1 + a 3 &lt; -a 0 + a 2 + a 3 &lt; a 0 + a 1 + a . 3

Subcase (ii) ( a 2 -a 1 &gt; 2 a 0 ). We get one more extra positive integer -a 0 + a 2 + a 3 such that a 0 + a 1 + a 2 &lt; -a 0 + a 1 + a 3 &lt; a 0 + a 1 + a 3 &lt; -a 0 + a 2 + a 3 &lt; a 0 + a 2 + a . 3

Subcase (iii) ( a 2 -a 1 = 2 a 0 ). In this subcase, we get two positive integers a 0 -a 1 + a 3 and a 0 -a 2 + a 3 such that a 0 -a 1 + a 2 = 3 a 0 &lt; a 0 -a 2 + a 3 &lt; a 0 -a 1 + a 3 &lt; -a 0 + a 1 + a 3 &lt; a 0 + a 1 + a . 3 But, we already have

a 0 -a 1 + a 2 &lt; -a 0 + a 1 + a 2 &lt; a 0 + a 1 + a 2 &lt; -a 0 + a 1 + a 3 &lt; a 0 + a 1 + a . 3

Thus, except in the cases a 0 -a 2 + a 3 = -a 0 + a 1 + a 2 and a 0 -a 1 + a 3 = a 0 + a 1 + a 2 , we get at least one extra positive integer and hence we are done. So, let

$$a _ { \shortparallel }$$

and

$$a _ { 0 } - a _ { 2 } + a _ { 3 } = - a _ { 0 } + a _ { 1 } + a _ { 2 }, \\ a _ { 0 } - a _ { 1 } + a _ { 3 } = a _ { 0 } + a _ { 1 } + a _ { 2 }.$$

These two equations imply

$$2 ( a _ { 2 } - a _ { 0 } ) = a _ { 3 } - a _ { 1 } = a _ { 1 } + a _ { 2 }.$$

Consider the integer -a 0 -a 2 + a 3 . We have

$$- a _ { 0 } - a _ { 1 } + a _ { 2 } = a _ { 0 } < - a _ { 0 } - a _ { 2 } + a _ { 3 } < - a _ { 0 } - a _ { 1 } + a _ { 3 } = - a _ { 0 } + a _ { 1 } + a _ { 2 }.$$

/negationslash

If -a 0 -a 2 + a 3 = a 0 -a 1 + a 2 , then we are done, as we get one extra positive integer. Otherwise, let

$$- a _ { 0 } - a _ { 2 } + a _ { 3 } = a _ { 0 } - a _ { 1 } + a _ { 2 },$$

or

Therefore, we have

$$a _ { 3 } - a _ { 2 } = 2 a _ { 0 } - a _ { 1 } + a _ { 2 } = 4 a _ { 0 }.$$

$$a _ { 3 } - a _ { 1 } = a _ { 3 } - a _ { 2 } + a _ { 2 } - a _ { 1 } = 6 a _ { 0 },$$

and

Solving these equations we get a 1 = 2 a 0 , a 2 = 4 a 0 and a 3 = 8 a 0 . Thus, we get one extra positive integer -a 1 + a 2 + a 3 such that

$$a _ { 2 } - a _ { 0 } = \frac { 1 } { 2 } ( a _ { 3 } - a _ { 1 } ) = 3 a _ { 0 }. \\ \intertext { o n o m o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t ot o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o t o s t t }$$

$$- a _ { 0 } + a _ { 1 } + a _ { 3 } = 9 a _ { 0 } < 1 0 a _ { 0 } = - a _ { 1 } + a _ { 2 } + a _ { 3 } < 1 1 a _ { 0 } = a _ { 0 } + a _ { 1 } + a _ { 3 }.$$

Hence, we get at least two extra positive integers in every case.

Case 4: Let a 3 -a 2 &lt; a 3 -a 1 = 2 a 0 . Then we get at least two extra positive integers -a 0 -a 1 + a 3 and -a 0 + a 1 + a 3 which are not present in (2.14) such that

-

a

0

-

a

1

+

a

2

&lt;

-

a

0

-

a

1

+

a

3

=

a

0

&lt; a

0

-

a

1

+

a

2

&lt;

-

a

0

+

a

1

+

a

2

&lt;

-

a

0

+

a

1

+

a

3

&lt; a

0

+

a

1

+

a .

2

Case 5: Let a 3 -a 1 &gt; a 3 -a 2 = 2 a 0 . We consider the following three subcases: Subcase (i) Let a 2 -a 1 &lt; 2 a 0 . Then, we get at least two extra positive integers -a 0 -a 2 + a 3 and -a 0 + a 2 + a 3 such that

-a 0 -a 1 + a 2 &lt; a 0 = -a 0 -a 2 + a 3 &lt; a 0 -a 1 + a 2 &lt; -a 0 + a 1 + a 2 &lt; a 0 + a 1 + a 2 &lt; -a 0 + a 2 + a 3 &lt; a 0 + a 1 + a . 3

Subcase (ii) Let a 2 -a 1 &gt; 2 a 0 . Then, we get two extra positive integers -a 0 -a 2 + a 3 and -a 0 + a 2 + a 3 such that a 0 + a 1 -a 2 &lt; -a 0 &lt; a 0 = -a 0 -a 2 + a 3 &lt; -a 0 -a 1 + a 2 &lt; a 0 -a 1 + a 2

&lt; -a 0 + a 1 + a 2 &lt; a 0 + a 1 + a 2 &lt; a 0 + a 1 + a 3 &lt; -a 0 + a 2 + a 3 &lt; a 0 + a 2 + a . 3

Subcase (iii) Let a 2 -a 1 = 2 a 0 . We get an extra positive integer a 1 -a 2 + a 3 such that a 0 -a 1 + a 2 = 3 a 0 &lt; 2 a 0 + a 1 = a 1 -a 2 + a 3 &lt; a 0 +2 a 1 = -a 0 + a 1 + a . 2 If a -a &gt; 2 a , then we get one more extra positive integer a -a + a such

1 0 0 0 1 3 that

$$a _ { 0 } - a _ { 1 } + a _ { 2 } < a _ { 0 } - a _ { 1 } + a _ { 3 } < - 2 a _ { 0 } + a _ { 3 } = a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 0 } + a _ { 1 } + a _ { 2 }.$$

If a 1 -a 0 &lt; 2 a 0 , then we get one more extra positive integer -a 1 + a 2 + a 3 such that

$$a _ { 0 } & - a _ { 1 } + a _ { 2 } < a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 0 } + a _ { 1 } + a _ { 2 } < a _ { 0 } + a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 2 } + a _ { 3 } \\ & < a _ { 0 } + a _ { 1 } + a _ { 3 }.$$

Let a 1 -a 0 = 2 a 0 . Then, the integer -a 0 -a 1 + a 2 = a 0 is positive. So, the inverse of this integer gives one more extra integer with

$$- \, a _ { 0 } + a _ { 1 } - a _ { 2 } < a _ { 0 } + a _ { 1 } - a _ { 2 } < - a _ { 0 } - a _ { 1 } + a _ { 2 } < a _ { 0 } - a _ { 1 } + a _ { 2 }.$$

From the above discussion, we conclude that except in the case a 1 -a 0 = a 2 -a 1 = a 3 -a 2 = 2 a 0 , we get at least two extra positive integers in 3 ˆ ± A , which are not present in (2.14). Since, the inverses of these integers are negative, we get two more extra integers. So, total we get at least four extra integers in 3 ˆ ± A , which are not included in (2.14). In case a 1 -a 0 = a 2 -a 1 = a 3 -a 2 = 2 a 0 , we get at least three extra integers. Therefore, in each case we get at least three extra integers in 3 ˆ ± A , which are not present in (2.14). Hence, | 3 ˆ ± A | ≥ 6 k -8. This establishes (2.13).

Moreover, if | 3 ˆ ± A | = 6 k -8, then a 1 -a 0 = a 2 -a 1 = a 3 -a 2 = 2 a 0 . Now, let | 3 ˆ ± A | = 6 k -8. If k = 4, then we are done, as A = { a , 0 3 a , 0 5 a , 0 7 a 0 } = a 0 ∗ { 1 3 5 7 , , , } .

Let k ≥ 5, and let A ′ = A \ { a 0 } . Therefore, A ′ is a finite set of k -1 positive integers such that 3 ˆ A ′ ⊆ [ a 1 + a 2 + a , a 3 k -3 + a k -2 + a k -1 ]. Since | 3 ˆ ± A | = 6 k -8, from the above proof it follows that | 3 ˆ A ′ | = 3 k -11. Thus, Theorem 1.5 implies that the set A ′ is in arithmetic progression, i.e.,

$$a _ { k - 1 } - a _ { k - 2 } = a _ { k - 2 } - a _ { k - 3 } = \dots = a _ { 2 } - a _ { 1 } = d.$$

Hence

$$A = a _ { 0 } * \{ 1, 3, 5, \dots, 2 k - 1 \}.$$

This completes the proof of the theorem.

/square

Now, we conjecture the inverse result as follows:

Conjecture 2.6. Let A be a finite set of k ( ≥ 4) positive integers and let 3 ≤ h ≤ k -1. If | h ˆ + A | = 2 hk -h 2 + 1, then A = d ∗ { 1 3 , , . . . , 2 k - } 1 , for some positive integer d .

Theorem 2.5 confirms Conjecture 2.6 for h = 3.

## 3. Direct and inverse theorems for h ˆ + A when A contains non-negative integers with 0 ∈ A

Theorem 3.1. Let A be a finite set of k non-negative integers with 0 ∈ A . Let 1 ≤ h ≤ k be a positive integer. Then

$$& ( 3. 1 ) & & | \hat { h } _ { + } A | \geq 2 ( h k - h ^ { 2 } ) + \binom { h } { 2 } + 1. \\ & T h o \text{ lower bound in } / 2 \ 1 \ 1 \ 1 \ e \text{ heat negative for } h - 1 \ 2 \ a n d \ k.$$

The lower bound in (3.1) is best possible for h = 1 , 2 and k .

Proof. Let A = { a , a 0 1 , . . . , a k -1 } , where 0 = a 0 &lt; a 1 &lt; · · · &lt; a k -1 . From (2.2) and (2.3), it follows that h ˆ + A contains at least hk -h 2 +1 positive integers and hence including their inverses, h ˆ + A contains at least 2( hk -h 2 +1) integers.

Again, since a 0 = 0, from (2.4) it follows that, for i = 0 1 , , . . . , h -2, we have t i,h - -i 1 = t i +1 0 , , -s 0 0 , = t 0 0 , and t h -1 0 , = s 0 0 , . Thus, we get ( ) h 2 -1 extra integers in h ˆ + A from the list (2.4). Hence

Next, we show that the lower bound in (3.1) is best possible for h = 1, 2 and k . If h = 1, then for any finite set A of k non-negative integers with 0 ∈ A , we have | 1 ˆ + A | = 2 k -1 and 2( hk -h 2 ) + ( ) h 2 +1 = 2 k -1. Now, let h = 2 and A = [0 , k -1]. Then

$$| \hat { h } _ { + } A | \geq 2 ( h k - h ^ { 2 } ) + \binom { h } { 2 } + 1. \\ \text{at the lower bound in } ( 3 \, 1 ) \text{ is best possible}$$

$$2 _ { \underline { + } } A = \left [ - ( 2 k - 3 ), ( 2 k - 3 ) \right ] \, \smallsetminus \{ 0 \}.$$

So, | 2 ˆ + A | = 4 k -6 = 2( hk -h 2 ) + ( ) h 2 +1. Finally, let h = k and A = [0 , k -1]. Then, it is easy to see that k ˆ + A contains either odd integers or even integers. Since k ˆ + A ⊆ -k , k , we get

$$| \hat { k _ { + } } A | & \leq \binom { k } { 2 } + 1. \\ \lhd \wr \hat { k } \ \ A + 1 - t ^ { k } \partial + 1 - \partial t h \iota$$

[ ( ) ( )] 2 2

This together with (3.1) give | k ˆ + A | = ( ) k 2 +1 = 2( hk -h 2 ) + ( ) h 2 +1. This completes the proof of the theorem. /square

We now give inverse results for h = 2 and h = k in theorems 3.2 and 3.3 respectively.

Theorem 3.2. Let A be a finite set of k ( ≥ 2) non-negative integers with 0 ∈ A such that | 2 ˆ + A | = 4 k -6 . Then

$$A = \begin{cases} \{ 0, a \}, \ a > 0, \ i f \, k = 2 ; \\ d \ast [ 0, k - 1 ], \text{ for some positive integer } d, \ i f \, k \geq 3. \end{cases}$$

Proof. Let A = { 0 , a 1 , a 2 , . . . , a k -1 } , where 0 &lt; a 1 &lt; a 2 &lt; · · · &lt; a k -1 . Let

$$| 2 _ { \underline { + } } A | = 4 k - 6.$$

First, let k = 2. Then 2 ˆ + A = { a , 1 -a 1 } . So, | 2 ˆ + A | = 2 = ( ) 2 2 +1. Thus, A is an extremal set.

Next, let k = 3. Then

$$2 _ { \pm } A = \{ a _ { 1 }, - a _ { 1 }, a _ { 2 }, - a _ { 2 }, a _ { 1 } + a _ { 2 }, a _ { 1 } - a _ { 2 }, - a _ { 1 } + a _ { 2 }, - a _ { 1 } - a _ { 2 } \},$$

where

$$- a _ { 1 } - a _ { 2 } < - a _ { 2 } < - a _ { 1 } < a _ { 1 } < a _ { 2 } < a _ { 1 } + a _ { 2 }.$$

If | 2 ˆ + A | = 6 = 4 k -6, then 2 ˆ + A contains precisely the integers listed in (3.2). Since

$$- a _ { 2 } < a _ { 1 } - a _ { 2 } < a _ { 1 },$$

from (3.2) it follows that a 1 -a 2 = -a 1 , i.e., a 2 -a 1 = a 1 . Hence, A = { 0 , a 1 , 2 a 1 } . Now, let k = 4. Then

$$2 _ { + } A = \{ & a _ { 1 }, - a _ { 1 }, a _ { 2 }, - a _ { 2 }, a _ { 3 }, - a _ { 3 }, a _ { 1 } + a _ { 2 }, a _ { 1 } - a _ { 2 }, - a _ { 1 } + a _ { 2 }, - a _ { 1 } - a _ { 2 }, a _ { 1 } + a _ { 3 }, \\ & a _ { 1 } - a _ { 3 }, - a _ { 1 } + a _ { 3 }, - a _ { 1 } - a _ { 3 }, a _ { 2 } + a _ { 3 }, a _ { 2 } - a _ { 3 }, - a _ { 2 } + a _ { 3 }, - a _ { 2 } - a _ { 3 } \},$$

where

$$& - a _ { 2 } - a _ { 3 } < - a _ { 1 } - a _ { 3 } < - a _ { 1 } - a _ { 2 } < - a _ { 2 } < - a _ { 1 } < a _ { 1 } < a _ { 2 } < a _ { 1 } + a _ { 2 } \\ ( 3. 3 ) & \quad \ < a _ { 1 } + a _ { 3 } < a _ { 2 } + a _ { 3 }.$$

If | 2 ˆ + A | = 10 = 4 k -6, then 2 ˆ + A contains precisely the integers listed in (3.3). Since

$$a _ { 2 } < a _ { 3 } < a _ { 1 } + a _ { 3 },$$

from (3.3) it follows that a 3 = a 1 + a 2 , or a 3 -a 2 = a 1 .

Similarly,

$$- a _ { 2 } < a _ { 1 } - a _ { 2 } < a _ { 1 }$$

imply a 1 -a 2 = -a 1 , or a 2 -a 1 = a 1 . Hence, A = { 0 , a 1 , 2 a , 1 3 a 1 } .

Finally, let k ≥ 5, and | 2 ˆ + A | = 4 k -6. From Theorem 1.4 we know that | 2 ˆ A | ≥ 2 k -3, and since 2 ˆ A ∩ -( 2 ˆ A ) = ∅ , we get | 2 ˆ A | = 2 k -3. Therefore, by Theorem 1.5, the set A is in arithmetic progression with the common difference a k -1 -a k -2 = a k -2 -a k -3 = · · · = a 1 -a 0 = a 1 . Hence, A = a 1 ∗ [0 , k -1]. /square

Theorem 3.3. Let A be a finite set of k ( ≥ 3) non-negative integers with 0 ∈ A such that | k ˆ + A | = k 2 +1 . Then

 Proof. Let A = { 0 , a 1 , a 2 , . . . , a k -1 } , where 0 &lt; a 1 &lt; a 2 &lt; · · · &lt; a k -1 . Let

$$\text{Theorem } 3. 3. \text{ Let } A \, be \, a \, \text{ finite set of } k \, ( \geq 3 ) \text{ non-negative integers with } 0 \in \\ \text{such that } | k _ { + } A | = \binom { k } { 2 } + 1. \text{ Then} \\ A = \begin{cases} \{ 0, a _ { 1 }, a _ { 2 } \}, & 0 < a _ { 1 } < a _ { 2 }, & \text{if } k = 3 ; \\ \{ 0, a _ { 1 }, a _ { 2 }, a _ { 1 } + a _ { 2 } \}, & 0 < a _ { 1 } < a _ { 2 }, & \text{if } k = 4 ; \\ d * [ 0, k - 1 ], & \text{for some positive integer} \, d, & \text{if } k \geq 5. \end{cases} \\ \text{Proof. Let } A = \{ 0, a _ { 1 }, a _ { 2 }, \dots, a _ { k - 1 } \}, & \text{where } 0 < a _ { 1 } < a _ { 2 } < \dots < a _ { k - 1 }. \text{ Let} \\ \vdots \text{$\mathcal{L}$} \, \mathcal { A}$} = \binom { k } { 4 }$$

First, let k = 3. Then

$$| \hat { k _ { + } } A | = \binom { k } { 2 } + 1.$$

$$3 _ { \underline { + } } A = \{ a _ { 1 } + a _ { 2 }, a _ { 1 } - a _ { 2 }, - a _ { 1 } + a _ { 2 }, - a _ { 1 } - a _ { 2 } \},$$

where

$$- a _ { 1 } - a _ { 2 } < a _ { 1 } - a _ { 2 } < - a _ { 1 } + a _ { 2 } < a _ { 1 } + a _ { 2 }.$$

So, | 3 ˆ + A | = 4 = ( ) 3 2 +1. Thus, A is an extremal set. Next, let k = 4. Then

$$\hat { 4 } _ { + } A = \{ & a _ { 1 } + a _ { 2 } + a _ { 3 }, a _ { 1 } + a _ { 2 } - a _ { 3 }, a _ { 1 } - a _ { 2 } + a _ { 3 }, a _ { 1 } - a _ { 2 } - a _ { 3 }, - a _ { 1 } + a _ { 2 } + a _ { 3 }, \\ & - a _ { 1 } + a _ { 2 } - a _ { 3 }, - a _ { 1 } - a _ { 2 } + a _ { 3 }, - a _ { 1 } - a _ { 2 } - a _ { 3 } \},$$

where

$$& - a _ { 1 } - a _ { 2 } - a _ { 3 } < a _ { 1 } - a _ { 2 } - a _ { 3 } < - a _ { 1 } + a _ { 2 } - a _ { 3 } < - a _ { 1 } - a _ { 2 } + a _ { 3 } \\ ( 3. 4 ) & \quad \ < a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 2 } + a _ { 3 }.$$

If | 4 ˆ + A | = ( ) 4 2 + 1 = 7, then 4 ˆ + A contains precisely the above seven integers in (3.4). Since

$$- a _ { 1 } + a _ { 2 } - a _ { 3 } < a _ { 1 } + a _ { 2 } - a _ { 3 } < a _ { 1 } - a _ { 2 } + a _ { 3 },$$

we have a 1 + a 2 -a 3 = -a 1 -a 2 + a 3 , i.e., a 3 -a 2 = a 1 . Hence, A = { 0 , a 1 , a 2 , a 1 + a 2 } is an extremal set.

Finally, let k ≥ 5, and | k ˆ + A | = ( ) k 2 +1. Let A ′ = A \{ } 0 . So, A ′ is a finite set of k -1 positive integers with k ˆ + A = ( k -1) ˆ + A ′ . Since | ( k -1) ˆ + A ′ | = | k ˆ + A | = ( ) k 2 +1, Theorem 2.3 implies that the set A ′ is in arithmetic progression with the common difference a 1 , the smallest element in A ′ . Hence A = a 1 ∗ { 0 1 2 , , , . . . , k - } 1 = a 1 ∗ [0 , k -1]. /square

For h ≥ 3, we believe that the sumset h ˆ + A contains at least 2 hk -h h ( +1)+1 integers. So, we conjecture that

Conjecture 3.4. Let A be a finite set of k ( ≥ 5) non-negative integers with 0 ∈ A . Let 3 ≤ h ≤ k -1 be a positive integer. Then

$$| \hat { h } _ { + } A | \geq 2 h k - h ( h + 1 ) + 1.$$

The lower bound in (3.5) is best possible.

We confirm Conjecture 3.4 for h = 3. Moreover, we also give the inverse result in this case.

Theorem 3.5. Let A be a finite set of k ( ≥ 5) non-negative integers with 0 ∈ A . Then

$$| 3 _ { \pm } A | \geq 6 k - 1 1.$$

Moreover, if | 3 ˆ ± A | = 6 k -11 , then A = d ∗ [0 , k -1] .

Proof. Let A = { 0 , a 1 , a 2 , . . . , a k -1 } , where 0 &lt; a 1 &lt; a 2 &lt; · · · &lt; a k -1 . From Theorem 3.1, it follows that | 3 ˆ ± A | ≥ 6 k -14.

Next, we show that there exists at least three extra integers in 3 ˆ ± A which are not counted in Theorem 3.1. Consider the following twelve integers of 3 ˆ ± A :

$$- & \, a _ { 1 } - a _ { 2 } - a _ { 4 } < - a _ { 1 } - a _ { 2 } - a _ { 3 } < - a _ { 2 } - a _ { 3 } < - a _ { 1 } - a _ { 3 } < - a _ { 1 } - a _ { 2 } \\ & < a _ { 1 } - a _ { 2 } < - a _ { 1 } + a _ { 2 } < a _ { 1 } + a _ { 2 } < a _ { 1 } + a _ { 3 } < a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 2 } + a _ { 3 }$$

&lt; a 1 + a 2 + a . 4 (3.7)

We exhibit at least three extra integers in between -a 1 -a 2 -a 4 and a 1 + a 2 + a 4 in all possible cases.

Case 1: Let a 3 -a 2 &lt; a 1 . Then, we have

$$a _ { 1 } - a _ { 2 } < - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 3 } < a _ { 1 } + a _ { 2 },$$

and

$$a _ { 1 } - a _ { 2 } < - a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 }.$$

/negationslash

If -a 2 + a 3 = -a 1 + a 2 , then we get two extra positive integers -a 2 + a 3 and -a 1 + a 3 .

So, let -a 2 + a 3 = -a 1 + a 2 . If a 3 -a 1 &lt; a 1 , then we get two extra positive integers -a 1 + a 3 and -a 1 + a 2 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 } < - a _ { 1 } + a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 2 }.$$

If a 3 -a 1 &gt; a 1 , then we get two extra positive integers -a 1 + a 3 and -a 1 + a 2 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 } < a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 3 }.$$

If a 3 -a 1 = a 1 , then also we get two extra positive integers -a 1 + a 3 and a 1 -a 2 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 } < a _ { 1 } - a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 2 }.$$

Case 2: Let a 3 -a 2 = a 1 . Then, by similar arguments to Case 1, unless -a 2 + a 3 = -a 1 + a 2 , we get two extra positive integers -a 2 + a 3 and -a 1 + a 3 . Let -a 2 + a 3 = -a 1 + a 2 . Then we get an extra positive integer -a 1 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 } < a _ { 1 } + a _ { 2 }.$$

Again, we get one more extra integer -a 1 -a 2 + a 3 = 0 such that

$$a _ { 1 } - a _ { 2 } < - a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 2 }.$$

Case 3: Let a 3 -a 2 &gt; a 1 . So, a 3 -a 1 &gt; a 1 .

Subcase (i). Let -a 1 + a 3 &lt; a 1 + a 2 . Unless -a 2 + a 3 = -a 1 + a 2 , we get two extra positive integers -a 2 + a 3 and -a 1 + a 3 which are not included in (3.7).

Let -a 2 + a 3 = -a 1 + a 2 . Then also we get two extra positive integers -a 1 + a 3 and -a 1 + a 2 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 } < a _ { 1 } + a _ { 2 } < a _ { 1 } + a _ { 3 } < - a _ { 1 } + a _ { 2 } + a _ { 3 } < a _ { 2 } + a _ { 3 }.$$

Subcase (ii). Let -a 1 + a 3 &gt; a 1 + a 2 . Then, we get an extra positive integer -a 1 + a 3 such that

$$a _ { 1 } + a _ { 2 } < - a _ { 1 } + a _ { 3 } < a _ { 1 } + a _ { 3 }.$$

/negationslash

If -a 2 + a 3 = -a 1 + a 2 and -a 2 + a 3 = a 1 + a 2 , then we are done as we get one more extra positive integer -a 2 + a 3 .

/negationslash

If -a 2 + a 3 = -a 1 + a 2 , then we get an extra positive integer -a 1 -a 2 + a 3 such that

$$a _ { 1 } - a _ { 2 } < - a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 2 }.$$

If -a 2 + a 3 = a 1 + a 2 , then also we are done as we get an extra positive integer -a 1 -a 2 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 1 } - a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 2 }.$$

Subcase (iii). Let -a 1 + a 3 = a 1 + a 2 . If -a 2 + a 3 &lt; -a 1 + a 2 , then we get two extra positive integers -a 2 + a 3 and -a 1 -a 2 + a 3 such that

$$a _ { 1 } - a _ { 2 } < - a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 2 }.$$

If -a 2 + a 3 = -a 1 + a 2 , then a 2 = 3 a 1 and a 3 = 5 a 1 . We get two extra positive integers -a 1 -a 2 + a 3 and a 1 -a 2 + a 3 such that

$$a _ { 1 } - a _ { 2 } < - a _ { 1 } - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 2 } < a _ { 1 } - a _ { 2 } + a _ { 3 } < a _ { 1 } + a _ { 2 }.$$

Now, let -a 2 + a 3 &gt; -a 1 + a 2 . Then we get an extra positive integer -a 2 + a 3 such that

$$- a _ { 1 } + a _ { 2 } < - a _ { 2 } + a _ { 3 } < - a _ { 1 } + a _ { 3 } = a _ { 1 } + a _ { 2 }.$$

/negationslash

If a 2 -a 1 = a 1 , then -a 1 + a 2 + a 3 = a 1 + a 3 . So, we get one more extra positive integer -a 1 + a 2 + a 3 such that

/negationslash

$$a _ { 1 } + a _ { 2 } = - a _ { 1 } + a _ { 3 } < - a _ { 1 } + a _ { 2 } + a _ { 3 } < a _ { 2 } + a _ { 3 }.$$

Let a 2 -a 1 = a 1 . So, a 2 = 2 a 1 and a 3 = 4 a 1 . If a 4 -a 3 &gt; a 1 , then we get an extra positive integer a 2 + a 4 such that

$$a _ { 1 } + a _ { 2 } + a _ { 3 } < a _ { 2 } + a _ { 4 } < a _ { 1 } + a _ { 2 } + a _ { 4 }.$$

If a 4 -a 3 &lt; a 1 , then we get an extra positive integer a 2 + a 4 such that

$$a _ { 2 } + a _ { 3 } < a _ { 2 } + a _ { 4 } < a _ { 1 } + a _ { 2 } + a _ { 3 }.$$

If a 4 -a 3 = a 1 , then also we get an extra positive integer a 1 -a 2 + a 4 such that

$$a _ { 1 } + a _ { 2 } < a _ { 1 } - a _ { 2 } + a _ { 4 } < a _ { 1 } + a _ { 3 }.$$

Thus, in Cases 1 and 3, we get at least two extra positive integers. As the inverses of these extra integers are also in 3 ˆ ± A , so we get four extra integers in these two cases, which are not present in (3.7). In Case 2, we get at least three extra integers. Therefore, in each case we get at least three extra integers in 3 ˆ ± A which are not present in (3.7). Hence

$$| 3 _ { \pm } A | \geq 6 k - 1 1.$$

This establishes (3.6).

Now, let | 3 ˆ ± A | = 6 k -11. From the above discussion it is clear that we are in Case 2 with a 3 -a 2 = a 2 -a 1 = a 1 .

Let A ′ = A \ { 0 } . Then, A ′ is a finite set of k -1 positive integers such that 3 ˆ A ′ ⊆ [ a 1 + a 2 + a , a 3 k -3 + a k -2 + a k -1 ]. Since | 3 ˆ ± A | = 6 k -11, it follows from the above discussion that | 3 ˆ A ′ | = 3 k -11. Thus, Theorem 1.5 imply the set A ′ is in arithmetic progression, i.e.,

$$a _ { k - 1 } - a _ { k - 2 } = a _ { k - 2 } - a _ { k - 3 } = \dots = a _ { 2 } - a _ { 1 } = d.$$

Hence, A = a 1 ∗ { 0 1 2 , , , . . . , k - } 1 .

This completes the proof of the theorem.

/square

We observe in the following theorem that the minimum requirement of five elements in the set A in Theorem 3.5 is the best possible.

Theorem 3.6. Let A be a set of four non-negative integers with 0 ∈ A . Then

$$| 3 _ { \pm } A | \geq 1 2.$$

Moreover, if | 3 ˆ ± A | = 12 , then A = d ∗ { 0 1 2 4 , , , } .

Proof. Let A = { 0 , a 1 , a 2 , a 3 } , where 0 &lt; a 1 &lt; a 2 &lt; a 3 . From Theorem 3.1, it follows that 3 ˆ ± A contains at least the following ten integers.

- -a 1 -a 2 -a 3 &lt; -a 2 -a 3 &lt; -a 1 -a 3 &lt; -a 1 -a 2 &lt; a 1 -a 2 &lt; -a 1 + a 2
- &lt; a 1 + a 2 &lt; a 1 + a 3 &lt; a 2 + a 3 &lt; a 1 + a 2 + a . 3 (3.9)

Again, from the proof of Theorem 3.5, it follows that the sumset 3 ˆ ± A contains at least three extra integers, except when a 2 = 2 a 1 , a 3 = 4 a 1 . In the case a 2 = 2 a 1 , a 3 = 4 a 1 , we get two extra integers. Therefore, we always get two extra integers in 3 ˆ ± A which are not present in (3.9). Hence | 3 ˆ ± A | ≥ 12. This establishes (3.8). Moreover, if | 3 ˆ ± A | = 12, then we have a 2 = 2 a 1 and a 3 = 4 a 1 . Hence A = a 1 ∗ { 0 1 2 4 , , , } . /square

We finally conjecture the inverse problem as follows:

Conjecture 3.7. Let A be a finite set of k ( ≥ 5) non-negative integers with 0 ∈ A . Let 3 ≤ h ≤ k -1 be a positive integer. If | h ˆ + A | = 2 hk -h h ( +1) + 1, then A = d ∗ [0 , k -1], for some positive integer d .

Theorem 3.5 confirms Conjecture 3.7 for h = 3.

## References

- 1. N. Alon, M. B. Nathanson, I. Z. Ruzsa, Adding distinct congruence classes modulo a prime, Amer. Math. Monthly , 102 (1995) 250-255.
- 2. N. Alon, M. B. Nathanson, I. Z. Ruzsa, The polynomial method and restricted sums of congruence classes, J. Number Theory , 56 (1996) 404-417.
- 3. B. Bajnok, R. Matzke, The minimum size of signed sumsets, Electron. J. Comb. , 22 (2) (2015) P2.50.
- 4. B. Bajnok, R. Matzke, On the minimum size of signed sumsets in elementary abelian groups, J. Number Theory , 159 (2015) 384-401.
- 5. B. Bajnok, I. Ruzsa, The independence number of a subset of an abelian group, Integers , 3 (2003), Paper No. A2.
- 6. J. Bhanja, R. K. Pandey, Direct and inverse theorems on signed sumsets of integers, J. Number Theory , 196 (2019) 340-352.
- 7. A. L. Cauchy, Recherches sur les nombres, J. Ecole Polytech. ´ , 9 (1813) 99-116.
- 8. H. Davenport, On the addition of residue classes, J. Lond. Math. Soc. , 10 (1935) 30-32.
- 9. J. A. Dias da Silva, Y. O. Hamidoune, Cyclic spaces for Grassmann derivatives and additive theory, Bull. London Math. Soc. , 26 (1994) 140-146.
- 10. S. Eliahou, M. Kervaire, Restricted sumsets in finite vector spaces: the case p = 3, Integers , 1 (2001) Paper No. A02.
- 11. S. Eliahou, M. Kervaire, A. Plagne, Optimally small sumsets in finite abelian groups, J. Number Theory , 101 (2003) 338-348.
- 12. P. Erd˝s, H. Heilbronn, On the addition of residue classes (mod p), o Acta Arith. , 9 (1964) 149-159.
- 13. G. A. Freiman, Foundations of Structural Theory of Set Addition, vol. 37 of Translations of Mathematical Monographs. American Mathematical Society, Provedience, R.I., 1973.
- 14. B. Klopsch, V. F. Lev, How long does it take to generate a group?, J. Algebra , 261 (2003) 145-171.
- 15. B. Klopsch, V. F. Lev, Generating abelian groups by addition only, Forum Math. , 21 (2009) 23-41.

- 16. H. B. Mann, Addition Theorems: the Addition Theorems of Group Theory and Number Theory, Wiley-Interscience, New York, 1965.
- 17. M. B. Nathanson, Inverse theorems for subset sums, Trans. Amer. Math. Soc. , 347 (1995) 1409-1418.
- 18. M. B. Nathanson, Additive Number Theory: Inverse problems and the geometry of sumsets, Springer, 1996.
- 19. A. Plagne, Optimally small sumsets in groups, I. The supersmall sumset property, the µ ( k ) G and the ν ( k ) G functions, Unif. Distrib. Theory, 1 (2006) no. 1, 27-44.
- 20. T. Tao, V. H. Vu, Additive Combinatorics, Cambridge studies in advanced mathematics, vol. 105 , Cambridge, 2010.

Department of Mathematics, Indian Institute of Technology Roorkee, Uttarakhand, 247667, India

E-mail address : jbhanja90@gmail.com

School of Mathematics and Statistics, Wuhan University, Wuhan, 430072, China E-mail address : komatsu@whu.edu.cn

Department of Mathematics, Indian Institute of Technology Roorkee, Uttarakhand, 247667, India

E-mail address :

ramkpandey@gmail.com
Jagannath Bhanja Takao Komatsu Ram Krishna Pandey
Direct and inverse results on restricted signed sumsets in integers
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:=\{\Sigma_{i=0}^{k-1}\lambda_{i} a_{i}:
(\lambda_{0},\lambda_{1}, \ldots, \lambda_{k-1}) \in
\{-1,0,1\}^{k},~\Sigma_{i=0}^{k-1}|\lambda_{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.