arxiv: v1 [math.co] 31 Mar 2008

Transcription

1 On the maximum size of a (k,l)-sum-free subset of an abelian group arxiv:080386v1 [mathco] 31 Mar 2008 Béla Bajnok Department of Mathematics, Gettysburg College Gettysburg, PA USA bbajnok@gettysburgeu September 25, 2007 Abstract A subset A of a given finite abelian group G is calle (k,l)-sum-free if the sum of k (not necessarily istinct) elements of A oes not equal the sum of l (not necessarily istinct) elements of A We are intereste in fining the maximum size λ k,l (G) of a (k,l)-sum-free subset in G A (2,1)-sum-free set is simply calle a sum-free set The maximum size of a sum-free set in the cyclic group Z n was foun almost forty years ago by Diamana an Yap; the general case for arbitrary finite abelian groups was recently settle by Green an Ruzsa Here we fin the value of λ 3,1(Z n) More generally, a recent paper of Hamioune an Plagne examines (k,l)-sum-free sets in G when k l an the orer of G are relatively prime; we exten their results to see what happens without this assumption 2000 Mathematics Subject Classification: Primary: 11P70; Seconary: 05D99, 11B25, 11B75, 20K01 Key wors an phrases: Sum-free sets, (k, l)-sum-free sets, Kneser s Theorem, arithmetic progressions 1 Introuction Throughout this paper, we let G be a finite abelian group of orer n > 1, written in aitive notation; v will enote the exponent (ie largest orer of any element) of G For subsets A an B of G, we use the stanar notations A+B an A B to enote the set of all two-term sums an ifferences, respectively, with one term chosen from A an one from B If,

2 (k, l)-sum-free sets 2 say, A consists of a single element a, then we simply write a+b an a B instea of A+B an A B For a positive integer h an a subset A of G, the set of all h-term sums with (not necessarily istinct) elements from A will be enote by ha Let k an l be istinct positive integers A subset A of G is calle a (k,l)-sum-free set in G if or, equivalently, if ka la = ; 0 ka la Clearly, we may assume that k > l We are intereste in etermining the maximum possible size λ k,l (G) of a (k,l)-sum-free set in G A (2,1)-sum-free set is simply calle a sum-free set The value of λ 2,1 (Z n ) was etermine by Diamana an Yap [13] in 1969 It can be prove (see also [31]) that max v { +1 3 n } λ 2,1 (G) max n which for cyclic groups immeiately implies the following { +1 3 n }, (1) Theorem 1 (Diamana an Yap [13]) The maximum size λ 2,1 (Z n ) of a sum-free set in the cyclic group of orer n is given by λ 2,1 (Z n ) = max n { +1 3 n } = p+1 p n 3 if n is ivisible by a prime p 2 (mo 3) an p is the smallest such prime; n 3 otherwise The problem of fining λ 2,1 (G) for arbitrary G stoo open for over 35 years In a recent breakthrough paper, Green an Ruzsa [15] prove that, as it has been conjecture, the value of λ 2,1 (G) agrees with the lower boun in (1): Theorem 2 (Green an Ruzsa [15]) The maximum size λ 2,1 (G) of a sum-free set in G is λ 2,1 (G) = λ 2,1 (Z v ) n { +1 v = max n } v 3 As a consequence, we see that 2 7 n λ 2,1(G) 1 2 n for every G, with equality holing in the lower boun when v = 7 an in the upper boun when v (iff n) is even Now let us consier other values of k an l In Section 2 of this paper we generalize (1), an prove the following

3 (k, l)-sum-free sets 3 Theorem 3 The maximum size λ k,l (G) of a (k,l)-sum-free set in G satisfies {( ) 1 δ() max +1 n } {( ) 2 λ k,l (G) max +1 n }, v n where δ() = gc(,k l) Note that for (k,l) = (2,1) Theorem 3 yiels (1) Note also that, if k l is not ivisible by v, then δ(v) = gc(v,k l) v/2; in particular, λ k,l (G) n 2() > 0 If, on the other han, k l is ivisible by v, then clearly λ k,l (G) = 0, since for any a G we have ka = la Let us now consier cyclic groups When G = Z n an n an k l are relatively prime, then Theorem 3 gives {( ) 2 λ k,l (Z n ) = max +1 n } (2) n This result was alreay establishe by Hamioune an Plagne in [17] Their metho was base on a generalization of Vosper s Theorem [30] on critical pairs where arithmetic progressions, that is, sets of the form A = {a,a+,,a+c } play a crucial role In particular, Hamioune an Plagne prove that, if G = Z n an n an k l are relatively prime, then { λ k,l (Z n ) = max α k,l (Z ) n }, (3) n where α k,l (Z n ) is the maximum size of a (k,l)-sum-free arithmetic progression in Z n Hamioune an Plagne eal only with the case when n an k l are relatively prime; as they point out, in the absence of this assumption, egenerate behaviors may appear, an we concur with this assessment Nevertheless, we attempt to treat the general case; in Section 3 of this paper we prove that (3) remains vali even without the assumption that n an k l are relatively prime: Theorem For arbitrary positive integers k, l, an n we have { λ k,l (Z n ) = max n α k,l (Z ) n } Let us now move on to general abelian groups Hamioune an Plagne conjecture in [17] that λ k,l (G) = λ k,l (Z v ) n v hols when n an k l are relatively prime They prove this assertion with the aitional assumption that at least one prime ivisor of v is not congruent to 1 (mo ) We generalize this result for the case when n an k l are not necessarily relatively prime:

4 (k, l)-sum-free sets Theorem 5 As before, for a positive integer, we set δ() = gc(,k l) If v possesses at least one ivisor which is not congruent to any integer between 1 an δ() (inclusive) (mo k+l), then λ k,l (G) = λ k,l (Z v ) n v We closely follow some ofthe funamental workofhamioune an Plagnein [17]; in fact, Section 3 of this paper can be consiere an extention of [17] for the case when n an k l are not assume to be relatively prime In Section we employ Theorem to establish the value of λ 3,1 (Z n ) explicitly As an analogue to Theorem 1 we prove the following Theorem 6 The maximum size λ 3,1 (Z n ) of a (3,1)-sum-free set in the cyclic group of orer n is given by p+1 { +2 λ 3,1 (Z n ) = max n } p n if n is ivisible by a prime p 3 (mo ) an p is the smallest such prime; = n n 2 (mo ) otherwise As a consequence, we see that 1 5 n λ 3,1(Z n ) 1 3 n, with equality holing in the lower boun when n {5,10} an in the upper boun when n is ivisible by 3 In our final section, Section 5, we provie some further comments an iscuss several open questions about (k, l)-sum-free sets 2 Bouns for the size of maximum (k, l)-sum-free sets In this section we prove Theorem 3 We will use the following easy lemma Lemma 7 Suppose that A is a maximal (k,l)-sum-free set in G Let K enote the stabilizer subgroup of ka Then (i) k(a+k) = ka; (ii) A+K is a (k,l)-sum-free set in G; (iii) A+K = A; (iv) A is the union of cosets of K

5 (k, l)-sum-free sets 5 Proof (i) The inclusion ka k(a+k) is obvious Suppose that a 1,,a k A an h 1,,h k K Then (a 1 + +a k )+(h 1 + +h k ) ka, so k(a+k) ka (ii) Suppose, inirectly, that by (i) this implies k(a+k) l(a+k) ; ka l(a+k) Then we can fin elements a 1,,a k A, a 1,,a l A, an h 1,,h l K for which But a 1 + +a k = a 1 + +a l +h 1 + +h l a 1 + +a l = a 1 + +a k h 1 h l ka, an this contraicts the fact that A is (k, l)-sum-free (iii) Since A A+K an A is a maximal (k,l)-sum-free set in G, by (ii) we have A+K = A (iv) We nee to show that for any a A, we have a+k A But a+k A+K, so the claim follows from (iii) For the upper boun in Theorem 3, we nee the following result which is essentially ue to Kneser Theorem 8 (Kneser [20]; see Theorem in [25]) Suppose that A is a non-empty subset of G an, for a given positive integer h, let H be the stabilizer of ha Then we have ha h A (h 1) H Proof of the upper boun in Theorem 3 Let A be a (k,l)-sum-free set in G with A = λ; then we have ka la = an therefore n ka + la () As before, let K an L be the stabilizer subgroups of ka an la, respectively Then, by Theorem 8, we have ka k A (k 1) K an thus, from () we get la l A (l 1) L ; n () A (k 1) K (l 1) L Without loss of generality we can assume that K L, so n () A ( 2) K

6 (k, l)-sum-free sets 6 or A K 1 ( ) n +( 2) K Now A = λ; in particular, A is maximal, so by Lemma 7 (iv), A K with enoting the inex of K in G, we get from which our claim follows λ n/ 1 (+ 2), must be an integer Therefore, Proposition 9 Let be a positive integer, an set δ() = gc(,k l) Suppose that c is a positive integer for which () c 1 δ() Then there exists an element a Z for which the set is a (k,l)-sum-free in Z of size c+1 A = {a,a+1,a+2,,a+c} Proof By the Eucliean Algorithm, we have unique integers q an r for which l c = δ() q r an 1 r δ() We also know the existence of integers u an v for which Now set a = u q We will show that δ() = (k l) u+ v A = {a,a+1,a+2,,a+c} is a (k,l)-sum-free in Z (Here, an elsewhere, we consier integers as elements of Z via the canonical homomorphism Z Z ) First note that, for any integer i with l c i k c, our assumption about c implies an therefore, consiering as a subset of Z, we have 0 B Furthermore, in Z we have an therefore 1 r l c+i+r () c+r () c+δ() 1, B = {l c+i+r l c i k c} (k l) a = (k l) u q = δ() q v q = δ() q = l c+r, Since 0 B, A is inee (k,l)-sum-free in Z ka la = {(k l) a+i l c i k c} = B Furthermore, since c <, we see that A = c+1, as claime The lower boun in Theorem 3 now follows from Proposition 9 an the following lemma

7 (k, l)-sum-free sets 7 Lemma 10 Suppose that is a ivisor of v Then λ k,l (G) λ k,l (Z ) n Proof Since is a ivisor of v, there is a subgroup H of G of inex for which G/H = Z Let Φ : G G/H be the canonical homomorphism from G to G/H, an let Ψ : G/H Z be the isomorphism from G/H to Z Then, for any (k,l)-sum-free set A Z, the set Φ 1 (Ψ 1 (A)) is a (k,l)-sum-free set in G an has size n A 3 (k, l)-sum-free sets in cyclic groups In this section we analyze (k,l)-sum-free arithmetic progressions in Z n an prove Theorems an 5 This was carrie out by Hamioune an Plagne in [17] with the assumption that n an k l are relatively prime; here we rop that assumption but follow their approach A subset A of Z n is an arithmetic progression of ifference Z n, if A = {a,a+,,a+c } for some a Z n an non-negative integer c We let A k,l (n) be the set of (k,l)-sum-free arithmetic progression in Z n We also let B k,l (n) an C k,l (n) be the sets of those sequences in A k,l (n) whose ifference is not relatively prime to n, an relatively prime to n, respectively Note that a sequence can belong to both B k,l (n) an C k,l (n) only if it contains exactly 1 term, an that sequences in B k,l (n) are each containe in a proper coset in Z n, while no sequence in C k,l (n) with more than one term is containe in a proper coset We introuce the following notations Clearly, α k,l (Z n ) = max{β k,l (Z n ),γ k,l (Z n )} α k,l (Z n ) = max{ A A A k,l (n)} β k,l (Z n ) = max{ A A B k,l (n)} γ k,l (Z n ) = max{ A A C k,l (n)} We alsolet D(n) be the set ofall ivisorsofnwhich aregreaterthan 1 Furthermore, we separate the elements of D(n) into subsets D 1 (n) an D 2 (n) accoring to whether they o not or o ivie k l, respectively Then the following are clear: D 1 (n) = if, an only if, k l is ivisible by n; D 2 (n) = if, an only if, k l an n are relatively prime; an D 1 (n) an D 2 (n) if, an only if, 1 < gc(n,k l) < n

8 (k, l)-sum-free sets 8 The next three propositions summarize our results on α k,l (Z n ), β k,l (Z n ), an γ k,l (Z n ) We start with β k,l (Z n ) Proposition 11 The maximum size β k,l (Z n ) of a (k,l)-sum-free arithmetic progression in Z n whose ifference is not relatively prime to n satisfies the following (i) If k l is ivisible by n, then β k,l (Z n ) = 0 (ii) If k l an n are relatively prime, then β k,l (Z n ) = n p where p is the smallest prime ivisor of n (iii) If 1 < gc(n,k l) < n, then we have { n n β k,l (Z n ) max, ρ 1 ρ 1 where ρ 1 an ρ 2 are the smallest elements of D 1 (n) an D 2 (n), respectively Proof If n ivies k l, then for any a Z n we have ka = la This implies (i) Statements (ii) an (iii) will follow from the following three claims n 2ρ 2 Claim 1 Suppose that D 1 (n) Then the set A = {1+i 0 i n } 1 is an arithmetic progression in B k,l (n), has size A = n, an is (k,l)-sum-free Proof of Claim 1 Clearly, A belongs to B k,l (n) an has size A = n Furthermore, { ( n ) ( n )} ka la = (k l)+ j l 1 j k 1 Since n but (k l), we have 0 ka la which means that A is (k,l)-sum-free Claim 2 Suppose that H is a subgroup of Z n of inex, an that A is a (k,l)-sum-free subset of Z n (not necessarily an arithmetic progression) which lies in a single coset of H Then A n Proof of Claim 2 Clearly, A a+h implies A H = n Claim 3 Suppose again that H is a subgroup of Z n of inex, an that A is a (k,l)-sum-free subset of Z n which lies in a single coset of H If D 2 (n), then A n 2 Proof of Claim 3 Note that H is a cyclic group of orer n/ an H = {0,,2,, n } 1 Since A lies in a single coset of H, so o ka an la But k l is ivisible by, so ka la H, an therefore the sets ka an la lie in the same coset of H Thus we have ka la H = n But A is (k,l)-sum-free, so ka an la must be isjoint, hence ka + la n },

9 (k, l)-sum-free sets 9 Now clearly (k 1)a+A ka, so A ka ; similarly, A la This implies that Next, we turn to γ k,l (Z n ) A + A n Proposition 12 The maximum size γ k,l (Z n ) of a (k,l)-sum-free arithmetic progression in Z n whose ifference is relatively prime to n satisfies n 1 δ n 2 +1 γ k,l (Z n ) +1, where δ = gc(n,k l) Proof The lower boun follows irectly from Proposition 9 For the upper boun, suppose that Z n an gc(,n) = 1, an let a Z n We nee to show that, if the set A = {a,a+,,a+c } is (k,l)-sum-free in Z n, then Suppose, inirectly, that then we have () c n 2 () c n 1; {(k l) a+i l c i k c} {(k l) a+j 0 j n 1} Now the left-han sie equals ka la Since gc(,n) = 1, the right-han sie equals the entire group Z n But then ka la must contain 0, which is a contraiction We can nowcombine Propositions11an 12to get results for the maximum size of(k,l)-sum-free arithmetic progressions in Z n Proposition 13 The maximum size α k,l (Z n ) of a (k,l)-sum-free arithmetic progression in Z n satisfies the following (i) If k l is ivisible by n, then α k,l (Z n ) = 0 (ii) If k l an n are relatively prime, then α k,l (Z n ) = max where p is the smallest prime ivisor of n { } n n 2 p, +1 (iii) If 1 < gc(n,k l) < n, then we have { } n n 1 δ max, +1 α k,l (Z n ) max ρ 1 { n ρ 1, n 2ρ 2, } n 2 +1, where δ = gc(n,k l), an ρ 1 an ρ 2 are the smallest elements of D 1 (n) an D 2 (n), respectively

10 (k, l)-sum-free sets 10 It is easy to see that the bouns in Proposition 13 are tight Nowwe are reayto provetheorem Due to the followingresult in [17], ourtask is not ifficult Theorem 1 (Hamioune an Plagne, [17]) Let ǫ be 0 if n is even an 1 if n is o Then we have the following bouns { max α k,l (Z ) n } v { n ǫ { λ k,l (G) max,max v α k,l (Z ) n Proof of Theorem If k l is ivisible by n, Theorem obviously hols as both sies equal zero, so let s assume otherwise By Theorem 1, it suffices to prove that n ǫ { max α k,l (Z ) n } n By Proposition 13, this statement follows once we prove { { } n ǫ 1 δ() max max n ρ 1 (), +1 n }, (5) where ρ 1 () is the smallest ivisor of which oes not ivie k l (Note that in the case when δ = 1, ρ 1 () is simply the smallest prime iviing, thus we o not nee to consier cases (ii) an (iii) of Proposition 13 separately) Now ρ 1 = ρ 1 (n) oes not ivie k l, so we must have δ(ρ 1 ) = gc(ρ 1,k l) < ρ 1 Therefore, since ρ 1 ivies n, we have max n max n We then have { max {( 1 δ() { ρ 1 (), ) +1 n },max ρ 1 n {( 1 δ() ( ρ1 1 δ(ρ 1 ) } 1 δ() +1 n } = { { } {( n 1 δ() = max max,max n ρ 1 () n { {( ) n 1 δ() = max +1 n }} = max n Therefore, (5) is equivalent to n ǫ max n ) +1 n } {( 1 δ() } } ) +1 n n ρ 1 ρ 1 ) +1 n ) +1 n } }}

11 (k, l)-sum-free sets 11 But this inequality clearly hols, since {( ) 1 δ() max +1 n } n = n 1 δ +1 n 1 (k l) +1 n+(2l 1) n ǫ Proof of Theorem 5 By Theorems an 1, here we nee to show that our assumptions imply { { } n ǫ 1 δ() max max v ρ 1 (), +1 n }, (6) where ρ 1 () is the smallest ivisor of which oes not ivie k l (The only ifference between (5) an (6) is that in (6) only ivisors of v are consiere) In a similar manner as before, we use the fact that ρ 1 (v) oes not ivie k l to conclue that the right han sie equals {( ) 1 δ() max +1 n } v Now let 0 be a ivisor of v which is not congruent to any integer between 1 an δ( 0 ) (inclusive) (mo k+l) Then the remainer of 0 1 δ( 0 ) when ivie by k+l is at most k+l 1 δ( 0 ) Therefore, we have proving (6) max v {( 1 δ() ) +1 n } = ( 0 1 δ( 0 ) ( 0 () n, ) +1 n ) +1 n 0 0 (3, 1)-sum-free sets in cyclic groups In this section we prove Theorem 6 an fin λ 3,1 (Z n ) explicitly First, we evaluate α 3,1 (Z n ) We note that, while Proposition 13 (ii) reaily yiels n 2 if 2 n; α 2,1 (Z n ) = if 2 n; evaluating α 3,1 (Z n ) requires a bit more work n+1 3

12 (k, l)-sum-free sets 12 Proposition 15 The maximum size α 3,1 (Z n ) of a (3,1)-sum-free arithmetic progression in Z n is given as follows: n 3 if 3 n; α 3,1 (Z n ) = n+2 if 3 n an n 2 (mo 8); n 2 if 3 n an n 2 (mo 8) Proof Let α 3,1 (n) = α If n = 2, the claim hols, so we assume that n 3 We istinguish several cases Case 1: 2 n an 3 n In this case Proposition 13 (ii) applies, an n+2 α = Case 2: 2 n an 3 n Proposition 13 (ii) applies again; we get { } n n+2 α = max 3, = n 3 Case 3: 2 n an 3 n In this case Proposition 13 (iii) applies with δ = 2, ρ 1 = 3, an ρ 2 = 2; we get { } { n n+1 n max 3, α max 3, n } n+2,, which again implies α = n 3 Case : n an 3 n Again Proposition 13 (iii) applies this time with δ = 2, ρ 1 =, an ρ 2 = 2 Therefore we get { } { } n n+1 n n+2 max, α max,, which gives α = n Case 5: n 2 (mo ) an 3 n Again Proposition 13 (iii) applies this time with δ = 2, ρ 1 5, an ρ 2 = 2 Therefore we get { } { n n+1 n max, α max, n } n+2 ρ 1 ρ 1,, which yiels only { n 2 α, n+2 } To continue further, we separate the cases of n 2 (mo 8) an n 6 (mo 8)

13 (k, l)-sum-free sets 13 Then Case 51 Let us first consier the case when n 6 (mo 8) With a = n+2 8 an c = n 2, we let A = {a,a+1,,a+c} 3A A = {2a c+i 0 i c} = {1+i 0 i n 2} = Z n \{0}, so A is (3,1)-sum-free in Z n of size c+1 = n+2 Case 52 Now suppose that n 2 (mo 8) We prove that α = n 2 Suppose, inirectly, that α = n+2 an there is a (3,1)-sum-free arithmetic progression in Z n of size c+1 = n+2 Similarly to above, A = {a,a+,,a+c } 3A A = {2a c +i 0 i c} = {2a c +i 0 i n 2} By Proposition 11 (iii), we have β 3,1 (n) max { n, n } = n ρ 1 ; so we have β 3,1 (n) < α Therefore, we must have gc(,n) = 1, which implies that 3A A = n 1 Since A is (3,1)-sum-free, 0 3A A, an this can only occur if 2a c +(n 1) 0 (mo n) A simple parity argument provies a contraiction: 2a c +(n 1) is o, so it cannot be ivisible by n Proof of Theorem 6 As previously, we let D(n) be the set of ivisors of n which are greater than 1 We introuce the following six (potentially empty) subsets of D(n), as well as some notations E 1 (n) = { D(n) 3 } e 1 = max E1(n){ 3 } n E 2 (n) = { D(n) 3(),3 } e 2 = max +1 } E2(n){ n E 3 (n) = { D(n),3 } e 3 = max E3(n){ } n E (n) = { D(n) 1(),3 } e = max 1 } E(n){ n E 5 (n) = { D(n) 6(8),3 } e 5 = max +2 } E5(n){ n E 6 (n) = { D(n) 2(8),3 } e 6 = max 2 } E6(n){ n (We have the unerstaning that max = 0) Then we have D(n) = 6 i=1 E i(n);

14 (k, l)-sum-free sets 1 furthermore, by Theorem an Proposition 15, we have λ 3,1 (Z n ) = max{e i 1 i 6} For any i {1,2,,6} for which E i (n), we let p i = min{e i (n)} an n i = max{e i (n)} Now suppose that E 5 (n) Then E 2 (n), an p 5 = 2 p 2 Therefore e 5 = p 5 +2 n = p 2 +1 n = e 2 p 5 p 2 We can similarly show that, if E 6 (n), then E (n) an e 6 = e Therefore, we see that λ 3,1 (Z n ) = max{e i 1 i } Next, observe that, if E i (n) for some i {1,2,3}, then e i e j for all i < j Now we consier the following cases Case 1 Suppose that n has ivisors which are congruent to 3 mo, an let p be the smallest such ivisor If p = 3, then E 1 (n), thus λ 3,1 (Z n ) = e 1 = n 3 If, on the other han, p > 3, then E 1 (n) = but E 2 (n), thus λ 3,1 (Z n ) = e 2 = p+1 p Case 2 Suppose that n has no ivisors which are congruent to 3 mo, but that n is ivisible by In this case, E 1 (n) = E 2 (n) = but E 3 (n), thus λ 3,1 (Z n ) = e 3 = n n Case 3 Suppose that n has no ivisors which are congruent to 3 mo, an that n is not ivisible by In this case, E 1 (n) = E 2 (n) = E 3 (n) = but E (n), thus λ 3,1 (Z n ) = e = n 1 If n is o, then n = n; if n is even, then (since n is not ivisible by ), n = n 2 In either case, we get λ 3,1 (Z n ) = e = n 1 The claims of Theorem 6 now reaily follow n n n n = n

15 (k, l)-sum-free sets 15 5 Further comments an open questions In this final section, we iscuss some interesting open questions Our first question is about a possible generalization of Theorems 1 an 6 Note that, accoring to Theorem 3, we have {( ) 2 λ k,l (Z n ) max +1 n } n Question 1 Let D(n) be the set of ivisors of n (which are greater than 1) Given istinct positive integers k an l, is there a subset D k,l (n) of D(n) so that {( ) 2 λ k,l (Z n ) = max +1 n }? D k,l (n) As we see from (2), Question 1 hols with D k,l (n) = D(n) when n an k l are relatively prime, in particular, for sum-free sets Accoring to Theorem 6, the set D 3,1 (n) = { D(n) 2 (mo )} works for (k,l) = (3,1) (Note that, if it exists, D k,l (n) is not necessarily unique) Moving on to general abelian groups, we observe that, by Lemma 10, we have Then one of course woners the following λ k,l (G) λ k,l (Z v ) n v Question 2 Given istinct positive integers k an l, is λ k,l (G) = λ k,l (Z v ) n v? Accoring to Theorem, Question 2 is equivalent to asking: is { λ k,l (G) = max α k,l (Z ) n }? v Note that Theorem 2 of Green an Ruzsa affirms Question 2 for sum-free sets Theorem 5 exhibits some other cases when the equality also hols In particular, as a consequence of Theorem 5, we see that λ 3,1 (G) = λ 3,1 (Z v ) n v hols when v (iff n) has at least one prime ivisor which is congruent to 3 mo, or when v is ivisible by So the only cases left open are when v = P or v = 2P where P is the prouct of primes all of whom are congruent to 1 mo Next, we are intereste in characterizing all (k, l)-sum-free subsets of maximum size

16 (k, l)-sum-free sets 16 Question 3 What are the (k,l)-sum-free subsets A of G with size A = λ k,l (G)? A pleasing answer is given by Bier an Chin [5] for the case when k 3 an G = Z p where p is an o prime: in this case A is an arithmetic progression The same answer was given by Dianana an Yap [13] earlier for the case when (k,l) = (2,1) (that is, when A is sum-free) an G = Z p with p not congruent to 1 mo 3; however, for p = 3m+1 the set A = {m,m+2,m+3,,2m 1,2m+1} is also sum-free with maximum size More generally, the answer to Question 3 is known for (k,l) = (2,1) an when n has at least one ivisor not congruent to 1 mo 3: in this case A is the union of arithmetic progressions of the same length More precisely, there is a subgroup H in G so that G/H is cyclic an A = {(a+h) (a++h) (a+c +H)} for some a, G an integer c These an other results can be foun in [31] More ambitiously, one may ask for a characterization of all large (but not necessarily maximal) (k, l)-sum-free sets in G Can one, for example, escribe explicitly all (k, l)-sum-free sets of size greater than n/()? Hamioune an Plagne [17] carry this out for sum-free sets of size at least n/3 in arbitrary groups Other results can be foun in the papers of Davyov an Tombak [12] an Lev [21], [22] Our final question is about the number of (k,l)-sum-free subsets in G, which we here enote by N k,l (G) Question What is the carinality N k,l (G) of the set of (k,l)-sum-free subsets in G? Clearly, any subset of a (k,l)-sum-free set is also (k,l)-sum-free, so the answer to Question is at least N k,l (G) 2 λ k,l(g) But there are inications that the number is not much larger In fact, for sum-free sets we have the following result of Green an Ruzsa [15]: N 2,1 (G) = 2 λ2,1(g)+o(1)n, where o(1) approaches zero as n goes to infinity They have a more accurate approximation for the case when n has a prime ivisor which is congruent to 2 mo 3 (This result ha been establishe for even n earlier by Lev, Luczak, an Schoen [23] an inepenently by Sapozhenko [28]) In closing, we mention that the analogues of our questions about the maximum size, the structure, an the number of(k, l)-sum-free sets(especially sum-free sets) have been investigate in non-abelian groups (see Kelaya s papers [18] an [19]) an, more extensively, among the positive integers (see the works of Alon [1], Bilu [6], Calkin [7], Calkin an Taylor [8], Cameron [9], Cameron an Erős [10] an [11], an Luczak an Schoen [2]) General backgroun references on relate questions inclue Nathanson s book [25], Guy s book [16], an Ruzsa s papers [26] an [27]; see also [3] an []

17 (k, l)-sum-free sets 17 References [1] N Alon Inepenent sets in regular graphs an sum-free subsets of finite groups Israel J Math, 73(2) (1991) [2] N Alon an D J Kleitman Sum-free subsets In A Baker, B Bollobás, an A Hajnal, eitors, A Tribute to Paul Erős, pages Cambrige University Press, Cambrige, 1990 [3] B Bajnok The spanning number an the inepenence number of a subset of an abelian group In M Nathanson, eitor, Number theory (New York, 2003), pages 1 16, Springer, New York, 200 [] B Bajnok an I Ruzsa The inepenence number of a subset of an abelian group Integers, 3(Paper A2) 2003, 23 pp (electronic) [5] T Bier an A Y M Chin On (k,l)-sets in cyclic groups of o prime orer Bull Austral Math Soc, 63(1) (2001) [6] Y Bilu Sum-free sets an relate sets Combinatorica, 18() (1998) 9 59 [7] N J Calkin On the number of sum-free sets Bull Lonon Math Soc, 22(2) (1990) 11 1 [8] N J Calkin an A C Taylor Counting sets of integers, no k of which sum to another J Number Theory, 57(2) (1996) [9] P J Cameron Portrait of a typical sum-free set Lonon Math Soc Lecture Note Ser, 123 (1987) 13 2 [10] P J Cameron an P Erős On the number of sets of integers with various properties Number theory (Banff, AB, 1988), 61 79, 1990 [11] P J Cameron an P Erős Notes on sum-free an relate sets Recent trens in combinatorics (Mátraháza, 1995) Combin Probab Comp, 8(1) (1999) [12] A Davyov an L Tombak Quasi-perfect linear binary coes with istance an complete caps in projective geometry Problemy Pereachi Informatzii, 25() (1989) [13] PH Dianana an H P Yap Maximal sum-free sets of elements of finite groups Proceeings of the Japan Acaemy, 5 (1969) 1 5 [1] P Erős Extremal problems in number theory Proc Sympos Pure Math, 8: , Amer Math Soc, Provience, RI, 1965 [15] B Green an I Ruzsa Sum-free sets in abelian groups Israel J of Math, 17 (2005) [16] R K Guy Unsolve Problems in Number Theory Thir eition Springer-Verlag New York, 200 [17] Y o Hamioune an A Plagne A new critical pair theorem applie to sum-free sets in Abelian groups Comment Math Helv, XX (2003) 1 25 [18] K S Kelaya Prouct-free subsets of groups Amer Math Monthly, 105(10) (1998) [19] K S Kelaya Large prouct-free subsets of finite groups J Combin Theory, Ser A, 77(2) (1997)

18 (k, l)-sum-free sets 18 [20] M Kneser Summenmengen in lokalkompakten abelschen Gruppen Math Zeitschr, 66 (1956) [21] V F Lev Large sum-free sets in ternary spaces J Combin Theory Ser A, 111(2) (2005) [22] V F Lev Large sum-free sets in Z/pZ Israel J Math, 15 (2006) [23] V F Lev, T Luczak, an T Schoen Sum-free sets in abelian groups Israel J Math, 125 (2001) [2] T Luczak an T Schoen On the maximal ensity of sum-free sets Acta Arith, 95(3) (2000) [25] M B Nathanson Aitive Number Theory: Inverse Problems an the Geometry of Sumsets Springer-Verlag New York, 1996 [26] I Ruzsa Solving linear equations in a set of integers I Acta Arith, 65(3) (1993) [27] I Ruzsa Solving linear equations in a set of integers II Acta Arith, 72() (1995) [28] A A Sapozhenko Asymptotics of the number of sum-free sets in abelian groups of even orer Doklay Akaemii Nauk SSSR, 383() (2002) 5 57 [29] T Schoen A note on the number of (k, l)-sum-free sets Electron J Combin, 7(1) Research Paper 30, (2000) 8pp (electronic) [30] A G Vosper The critical pairs of subsets of a group of prime orer J Lonon Math Soc, 31 (1956) [31] W D Wallis, A P Street, an J S Wallis Combinatorics: Room Squares, Sum-free Sets, Haamar Matrices, Lecture Notes in Mathematics, Vol 292, Part 3 Springer-Verlag, Berlin- New York, 1972