arxiv: v2 [math.nt] 18 Dec 2014

Transcription

1 1 B h [] modular sets from B h modular sets arxiv: v2 [math.nt] 18 Dec 2014 Nidia Y. Caicedo Jhonny C. Gómez Carlos A. Gómez Carlos A. Trujillo Universidad del Valle, A.A , Colombia. Universidad del Cauca, A.A. 755, Colombia. nidia.caicedo@correounivalle.edu.co, carlos.a.omez@correounivalle.edu.co, jhonny.omez@correounivalle.edu.co, trujillo@unicauca.edu.co Abstract A set of positive inteers A is called a B h [] set if there are at most different sums of h elements from A with the same result. This definition has a eneralization to abelian roups and the main problem related to this kind of sets, is to find B h [] maximal sets i.e. those with larer cardinality. We construct B h [] modular sets from B h modular sets usin homomorphisms and analyze the constructions of B h sets by Bose and Chowla, Ruzsa, and Gómez and Trujillo look at for the suitable homomorphism that allows us to preserve the cardinal of this types of sets. Key words and phrases. Sidon sets, B h sets, B h [] sets, finite fields, homomorphism of roups Mathematics Subject Classification: 11B50, 12E20, 20K01, 20K30. 1 Introduction Let G be an abelian roup with additive notation, A G numerable, and h, Z +, with h 2. A is a B h [] set on G, denoted by A B h [](G), if each b G has at most distinct representations as b = a i1 + +a ih, with a i1,...,a ih A y i 1... i h. When = 1 we say that A B h (G) and, in particular, when h = 2 and G = Z is used to talk about B 2 sets of inteers or Sidon Sets so named in honor of Simon Sidon, an Hunarian analyst who needed to find subsets of positive inteers numbers with the property that all sums of two elements et a different result, except commutativity. Some others researches who worked with Sidon sets were P. Erdös, P. Turán, J. Siner, R. C. Bose, S. Chowla, I. Z. Ruzsa, B. Lindström, J. Cilleruelo, C. Trujillo, B. Green, C. Vinuesa and others. The fundamental problem related to this sets is to find the bier cardinal of a B h [] contained in a roup G. Pointin in this direction, we define the function f h (G,) := max{ A : A B h [](G)},

2 2 which has not been determined entirely yet for each h, Z + and G an additive abelian roup. There are two different ways to approach the oal of this problem, usin countin methods in order to obtain upper bounds and the other that provides lower bounds for f h (G,) by the construction of ood examples of B h [] sets i.e. sets with a lare cardinality. In this paper we present a new way to construct a B h [] set from a B h set known, that allows us to provide some lower bounds for f h (G,) by applyin our main result to some classic constructions. When G = Z N we talk of modular B h [] sets and customary notation f h (N,). Martin and O Bryant [1] shows the next lower bounds for f 2 (N,) usin a prime number p, a prime power q and a positive inteer k: (a) f 2 (p 2 p,k 2 ) k(p 1), (b) f 2 (q 2 1,k 2 ) kq, (c) f 2 (q 2 +q +1,k 2 ) kq +1. In order to establish the difference with our main result is to hihlihtin that this bounds are valid only for square perfect and for h = 2, i.e. B 2 [] sets in a modular roup with = k 2 for k Z +. Martin and O Bryant established this bounds when they constructed eneralized Sidon sets by joinin suitable B 2 sets type Siner [2], type Bose [3] and type Ruzsa [4]. Our approach is different than Martin and O Bryant because we use a particular result from Lemma 1, which allows us to conclude that for any positive inteer : (a) For any prime number p, such that p 1(mod): ( p 2 ) p f 2, p 1. (1) (b) For any prime number p and any inteer h 3, such that p h 1(mod): ( p h ) p f h, p. (2) (c) For any prime power q and any inteer h 2, such that q d 1(mod) for some positive inteer d that divides h but d h: ( q h ) 1 f h, q. (3) Next, we show some cases where our results ives bier lower bounds than those obtained by Martin and O Bryant for f 2 (N,), althouh the principal difference is that we ive lower bounds for f h (N,) with h, Z + and h 2: For p = 5 and k = 2, as p 2 p = 20, accordin to Martin and O Bryant f 2 (20,4) 8. But if we take q = 9 and = 4, as q2 1 = 20 then we et f 2 (20,4) 9.

3 3 For p = 7 and k = 2, as p 2 p = 42 then f 2 (42,4) 12. But if q = 13 and = 4, as q2 1 = 42, we et f 2 (42,4) 13. When G = Z, it is common to denote the function F h (N,) := max{ A : A [1,N], A B h [](Z)}. A lower bound of this function was prove by Lindström [5], who established that F h (N,) (1+o(1)) h N, with = m h 1 for an inteer m 2, when N. Now, since every B h [] modular set is a B h [] inteer set we et F h (N,) f h (N,), and therefore the previous bounds on f h (N,) also holds for F h (N,). So, considerin N = ph 1, we have from (3) that F h (N,) h N +1 for an infinite number of values of N, accordin to Dirichlet Theorem about prime numbers in arithmetic proressions. 2 The main result and the B h sets constructions The next Lemma is our main result and this allow us to establish what happen when we apply a roup homomorphism to a B h set. Usin this we obtained a way to construct a B h [] set from a B h set already known. Lemma 1. Let G and G be finite additive abelian roups and φ : G G be a homomorphism such that Ker(φ) = 1. If A B h [](G), then φ(a) B h [ 1 ](φ(g)). Proof. Let us proceed by reduction to absurd. We suppose that an element α φ(g) has different representations like an h sum of elements from φ(a); by means, α = h φ(a i,k ), for k = 1,..., 1 +1, where each a i,k A, for i = 1,...,h, for k k. Also, that {{a i,k : 1 i h}} {{a i,k : 1 i h}} 1. Now, if we denote h α k := φ(a i,k ), then α k = α for every k = 1,..., Let us fix α 1, thus α 1 α j = 0 for j = 2,..., 1 +1, 1 The notation {{}} means multiset.

4 4 but, on the other hand, We put b k to denote α 1 α j = h φ(a i,1) h φ(a i,j) h ) = φ( (a i,1 a i,k ). h (a i,1 a i,k ), for k = 2,..., 1 +1, we have φ(b k ) = 0 or, what is equivalent, b k Ker(φ) for every k = 2,..., 1 + 1, and since Ker(φ) = 1, by the pieonhole principle, there are b kj = 0 for j = 1,..., or b kj = t 0, for j = 1,..., +1; each case implies there is an element in G that has +1 different representations as h sums of elements in A, contradictin that A B h [](G). Corollary 1. Let G and G finite additive abelian roups and φ : G G be a injective homomorphism. If A B h [](G), then φ(a) B h [](G ). In order to obtain lower bounds for f h (G,) we establish conditions that allowsustotopreservethecardinalofasetwhenweapplyahomomorphism, more precisely we have the next lemma. Lemma 2. Let φ : G G be a finite additive abelian roups homomorphism. Then φ(a) = A (A A) Ker(φ) = {0}. The next construction, due to Derksen [6], use a quotient rin of polynomials to construct B h sets, that allows us via Corollary 1 a different presentation of some classic constructions, of modular B h sets. From now on, iven any rin R, we denote the roup of units of R by R. Lemma 3. Let F be a field and p(x) F[x] with de(p(x)) = h. If p(s) 0 for every s S, then x S = {x s : s S}, is a B h set at ( F[x] / p(x) ) with S elements. Proof. For s S, we have (x s) ( F[x] / p(x) ) if and only if cd(x s,p(x)) = 1, but this is equivalent to have p(s) 0. Assume that there is an element belonin ( F[x] / p(x) ) which has two different representations as the product to h elements from x S; in other words, (x s 1 ) (x s h ) (x s 1) (x s h )(modp(x)),

5 5 where s i,s i S for all i = 1,...,h. If we use f(x) to denote h (x s i) h (x s i ), then p(x) f(x). But de(f(x)) = h 1, so h (x s i ) = h (x s i). However, F[x] is a unique factorization domain, so {s i : 1 i h} = {s i : 1 i 2}. Remark 1. As a particular case, if θ is an alebraic element of deree h over the field F, then the set θ +F := {θ +a : a F} is a B h set in the multiplicative roup (F(θ)). Even more, when F = F q, we can conclude that BC(q,θ) := θ + F q B h (F q h ) with q elements. More enerally, if we consider an alebraic element β with deree d over F q, then BC(q,β) B d (F q h ) provided d h. Corollary 2. Let q be a prime power, h 2 an inteer and θ a primitive element of F q h. The set is a B h set in Z q h 1 with q elements. B(q,h,θ) := lo θ (θ +F q )(modq h 1) This construction can be seen as a consequence from the previous results. Justbytakinintoconsiderationtheisomorphismlo θ : F q h Z q h 1 (called the discrete loarithm to the base θ), defined by lo θ (x) = a if and only if θ a = x, and lo θ (A) := {lo θ (a) : a A}. Now, usin Corollary 1 we have that B(q,h,θ) B h ( Zq h 1). The classic construction by Bose and Chowla [7], ives the set B&C(q,h,θ) := {a [1,q h 1] : θ a θ F q } that is equal to B(q, h, θ). In fact, a B&C(q, h, θ) if and only if θ a θ F q, which is equivalent to have θ a = θ + x for some x F q, if and only if a = lo θ (θ+x) which means that a B(q,h,θ). Now, we want to show the way to build a B d multiplicative set in H = F / q F h+1 q with q +1 elements, known as the eneralization of Siner s construction and for this, in the next theorem we consider for d 2 the set ( ) BC(q,β) B d+1 F q, h+1 with q elements, where β is an alebraic element in F q h+1 of deree d + 1 over F q. Also, we consider the homomorphism φ : F q h+1 H x x := x+f q.

6 6 Theorem 1. For each element β F q h+1, of deree d+1 over F q the set is a B d (H) set with q +1 elements. SG(q,β) := {1} φ(bc(q,β)) Proof. Let β +i = β +j, as i,j F q this implies i = j therefore φ(bc(q,β)) = q. Besides, as β has deree d+1 > 1, then 1 φ(bc(q,β)), so SG(q,β) = q +1. Now, we are oin to show that φ(bc(q,β)) B d (H). Let us assume there are {{a i : 1 i d}} and {{b j : 1 j d}} such that d (β +a i ) d (β +b j ) in H, (4) j=1 then, there is t F q such that d (β +a i ) = t d (β +b i ) in F q, h+1 since the deree of β is d + 1 over F q, (4) is possible provided t = 1, and {{a i : 1 i d}} = {{b j : 1 j d}}. So {{β +a i : 1 i d}} = {{β +b j : 1 j d}}. It remains to prove the case in which some terms in (4) are 1. In order to do this, let us assume there is a element of H with two different representations as the product of d elements of SG(q,β). Without loss of enerality, let us assume that in one of this representations there is k times the 1; i.e., d (β +a i ) d k j=1 (β +b j ) in H, where {{a i : 1 i d}} and {{b j : 1 j d}} are contained in F q. But no matter the value of k, this leaves to a contradiction with the deree of β, therefore SG(q,β) B d (H). Remark 2. Note that H = Z N with N = qh+1 1 q 1. Then by Corollary 1, if β is an element of deree h+1 over F q, we obtained the eneralized Siner s construction. Finally, we are oin to use the classic constructions of B h sets type Ruzsa, Bose-Chowla, Gómez-Trujillo to built B h [] sets, via Corollary 1.

7 7 3 Some consequences of our main result. The next theorem is a consequence of the main result in this paper, where we consider a B 2 set constructed by Ruzsa called a B 2 type Ruzsa set. Theorem 2. For all Z +, there is a B 2 [] set in Z p 2 p elements, where p is a prime number such that p 1(mod). with p 1 Proof. Let us take θ a primitive element of Z p, and the B 2 set R(p,θ) := {(a, θ a ) : a {1,2...,p 1}} Z p 1 Z p with p 1elements. Let us consider H := p 1 as a subroupof Z p 1 = Z p and the homomorphism then Ker(φ) = and, by Lemma 1, φ : Z p 1 Z p ( Z p 1 / H ) Zp (x,y) (x+h,y) φ(r(p,θ)) B 2 [] (( Z p 1 / H ) Zp ). But the canonical isomorphism establish that ( / ) Zp 1 H Zp = Zp 1 Z p, ( ) and, as cd p 1,p Zp 1 Z p = Zp 2 p. = 1, by the Chinese Remainder Theorem, Usin Lemma 2, we are oin to show that φ(r(p,θ)) = p 1. Let us denote α i := (a i,θ a i ) R(p,θ), i = 1,2, with α 2 α 1 Ker(φ), then φ(α 2 ) = φ(α 1 ), i.e., (a 1 +H, θ a 1 ) = (a 2 +H, θ a 2 ). So, a 1 a 2 H implyin that p 1 (a 1 a 2 ); besides, θ a 1 θ a 2 (modp), then p a 1 a 2 and a 1 a 2 p 1, which implies a 1 = a 2 and therefore (R(p,θ) R(p,θ)) Ker(φ) = {0}. Ruzsa(p,θ) B 2 ( Zp 2 p) is the imae of R(p,θ) via the Chinese Remainder Theorem, which is the classic construction of Ruzsa, [4]. Let ϕ be an homomorphism between Z p 2 p and Z p 2 p ker(ϕ) =, then by Lemma 1 ( ) Ruzsa(p,θ,) = ϕ(ruzsa(p,θ)) B 2 [] Z p 2 p. such that

8 8 Corollary 3. For all Z +, if p is a prime number such that p 1(mod), then ( p 2 ) p f 2, p 1. Now, we use the construction of a B h set type Gómez and Trujillo set to apply our main result. Theorem 3. For all Z + there is a B h [] set at Z p h p with p elements, where p is a prime number and h 3 is an inteer such that p h 1(mod ). Proof. At [8] shows that, for θ a primitive element of F p h 1, GT(p,h,θ) = {(a,lo θ (θ +a) : a Z p } isab h (Z p Z p h 1 1)setwithpelements. ConsiderH := ph 1 1 subroup of Z p h 1 1 and the homomorphism φ : Z p Z p h 1 1 Z p ( / ) Z p h 1 1 H (x,y) (x,y +H ) then Ker(φ) = and by Lemma 1, we have φ(gt(p,h,θ)) B h [] at Z p ( Z p h 1 1/ H ), but, usin the canonical isomorphism Z p ( ) Z p 1/ h 1 H = Zp Z p h 1 1, and, the Chinese Remainder Theorem states that Z p Z p h 1 1 Now, usin Lemma 2, let = Z p h p. α i := (a i,lo θ (θ +a i )) GT(p,h,θ), i = 1,2, if α 2 α 1 Ker(φ), then φ(α 2 ) = φ(α 1 ), i.e., (a 1, lo θ (θ +a 1 )+H ) = (a 2, lo θ (θ +a 2 )+H ), but this implies a 1 = a 2, therefore φ(gt(p,h,θ)) = p. ( Now, G&T(p,h,θ) B h Zp p) h is the imae of GT(p,h,θ) via the Chinese Remainder Theorem. If ϕ is the appropriate homomorphism between Z p h p and Z p h p with ker(ϕ) = then by Lemma 1 we conclude that ( ) G&T(p,h,θ,) = ϕ(g&t(p,h,θ)) B h [] Z p h p. Corollary 4. For all Z +, if p is a prime number and h 3 is an inteer such that p h 1(mod), then ( p h ) p f h, p. At last but not least important, we use a B h set type Bose and Chowla to obtain a B h [] set in Z q h 1.

9 9 Theorem 4. For all Z +, there is a B h [] set in Z q h 1 with q elements, where q is a prime power and h 2 is an inteer, such that q k 1(mod) for some k that divides h, but k h. Proof. Consider the set θ+f q, where θ is such that θ = F q h. If we denote by H the subroup of F = θ q h 1 q k q k 1 enerated by θ qh 1, then the natural homomorphism φ : F F / q h q h H x x+h have Ker(φ) = H and Ker(φ) =. From Lemma 1, we have that φ(θ +F q ) B h [] (F q / ) h H. Let a,b F q, if φ(θ +a) = φ(θ +b), then θ+a θ +b(modh ), this implies θ+a θ+b(modf q k ), therefore θ+a = α(θ+b) for α F q k. Now, if α = 1 then a = b, on contrary θ = bα a α 1 F q k, that contradicts rad Fq (θ) = h > k, therefore φ(θ +F q ) = q Finally, usin the isomorphism known as the discrete loarithm to the base θ, F / q h H = Zq h 1, and Corollary 1 uarantees the existence of a B h [] set in Z q h 1 elements. with q Corollary 5. For all Z +, if q is a prime power and h 2 is an inteer, such that q d 1(mod), for some d that divides h but d h, ( q h ) 1 f h, q. 4 Some numeric examples Usin the classic constructions, we present some examples by usin our main result hihlihtin the advantaes and disadvantaes of usin appropriate homomorphisms to built B h [] sets. Example 1. Let = 2, for q = 7 and h = 3. Since 7 1(mod2), we have that B&C(7,3,θ,2) = {1, 68, 96, 108, 123, 128, 149} B 3 [2](Z 171 ), because of the main result applied to the set B&C(7,3,θ) = {1, 108, 123, 128, 149, 239, 267} B 3 (Z 342 ),

10 10 where θ = 2x 2 +2x 1 is a primitive element of F 7 3. Check that and (mod171) (mod171). Now, for = 3 as 7 1(mod3), usin the previous B&C(7,3,θ), B&C(7,3,θ,3) = {1, 9, 11, 14, 35, 39, 108} B 3 [3](Z 114 ), but there is not elements from Z 114 with three different representations as a 3 sum of elements from B&C(7,3,θ,3), at most there are some cases like and (mod114) (mod114), that is why, in fact B&C(7,3,θ,3) B 3 [2](Z 114 ). Similarly, for = 6 as 7 1(mod6) and B&C(7,3,θ) B 3 (Z 342 ) we have B&C(7,3,θ,6) = {1, 9, 11, 14, 35, 39, 51} B 3 [6](Z 57 ), also in this case, there is not elements of Z 57 with six different representations as 3 sum of elements from B&C(7,3,θ,6), but for direct verification is easy to verify that it is a B 3 [3](Z 57 ) set, (mod57), (mod57). Sinca a B h [] is also a B h [ ] for any >, the previous example usin the Bose and Chowla construction shows that our main result, in some cases, allow us to construct a B h [ ] for < in Z q h 1. Example 2. Now, usin = 3, q = 7 and h = 3, the set B&C(7,3,α,3) = {1, 7, 24, 36, 38, 49, 54} B 3 [3](Z 114 ) obtained by apply the main result to the set B&C(7,3,α) = {1, 121, 152, 168, 252, 264, 277} B 3 (Z 342 ), where α = x 2 3x+3 is a primitive element of F 7 3 different from the one used in the previous example. Is easy to check that (mod114). This previous example shows a case where the set is in fact a B h [] with = Ker(ϕ), where ϕ is the appropriate homomorphism to the B&C(7,3,θ) set.

11 11 Example 3. Let = 3, since 7 k 1(mod3) for k = 2, we use q = 7 and h = 4, then B&C(7,4,β,3) = {1, 275, 429, 449, 621, 644, 756} B 4 [3](Z 800 ), applyin our main result to the set B&C(7,4,β) = {1, 429, 621, 644, 1249, 1556, 1875} B 4 (Z 2400 ) where β = 2x 2 +x+2 is a primitive element of F 7 4. But in this case, the set is in fact a B 4 [2]. Let = 24, since 7 k 1(mod24) for k = 2, use q = 7 and h = 4, then B&C(7,4,β,24) = {1, 21, 29, 49, 56, 44, 75} B 4 [24](Z 100 ), usin the previous set B&C(7,4,β). The expected is a B 4 [ ] set with < 24, and, as direct verification shows it is in fact a B 4 [7] (mod100) On the next examples use another classic construction, this time a B 2 type of Ruzsa set. Example 4. Let = 2, then for p = 11 there is Ruzsa(11,θ,2) = {3, 7, 8, 10, 31, 37, 39, 45, 46, 49} B 2 [2](Z 55 ), because of the main result applied to the set Ruzsa(11,θ) = {7, 39, 58, 63, 65, 86, 92, 100, 101, 104} B 2 (Z 110 ) where θ = 2 is a primitive element of F 11. In this case 40 Z 55 has two different representations as the sum of two elements from the set Ruzsa(11, θ, 2), (mod55). Let = 5, then for p = 11 and θ = 2 Ruzsa(11,θ,5) = {4, 7, 12, 13, 14, 16, 17, 19, 20, 21} B 2 [5](Z 22 ), Here we could check directly that (mod22). Now we are oin to use a B 5 type of Gómez and Trujillo set to obtained B 5 [] sets for at least two different values of. Example 5. Let = 2, then for p = 5 and θ = x 3 +x 1 primitive element of F 5 4, there is G&T(5,5,θ,2) = {127, 226, 258, 625, 1384} B 5 [2](Z 1560 ),

12 12 because of the main result applied to the set G&T(5,5,θ) = {226, 625, 1384, 1687, 1818} B 5 (Z 3120 ) Let = 8, then for p = 5 applyin the main result to the previous B 5, obtained G&T(5,5,θ,8) = {127, 214, 226, 235, 258} B 5 [8](Z 390 ), that is in fact a B 5 [2] by direct verification. The main advantae over Martin and O Bryant way to constructed the Generalized Sidon sets is that we could construct B h [] sets for any inteer h 2 and any inteer 2, just usin the correct construction and the appropriate prime p or prime power q as we showed on the previous examples. 5 Open problems 1. On this paper we used B h sets comin from some classic constructions to built B h [] sets, it is clear we do not only present a result that allows to do this but also we study the appropriate homomorphisms for those constructions. Another classic construction that we could take into consideration is the one created for Siner of a B 2 set mainly its eneralization to built B h sets [7]. Is still an open problem to study the suitable homomorphism to use with the B h set type Siner. This problem required the study of the factorization of the h th cyclotomic polynomial qh+1 1 q 1 with q a prime power. 2. The examples on this paper showed some cases where the homomorphism ϕ : G G send a B h set into a B h [ ] with < ker(ϕ), this enerally happens for lare Ker(ϕ). The problem is to identify the structure of the B h set in order to obtain a B h [] set usin our main result with the maximum and minimum possible value of that we can et. 3. The study of functions not homomorphisms that preserve the property ofbeenab h set, theinterestonthisproblemistoidentifythefunctions that transform a B h set into a B h [] set, at least when the ambient roup is Z. 4. For the constructions of B h sets that we did not consider at this paper, to study the appropriate homomorphism that preserve the cardinality of the set. Acknowledement. We thank the Universidad del Valle for the financial support provided to complete the postraduate studies from the authors Y. Caicedo and J. Gómez. Also, the authors thank to Patrimonio Autónomo Fondo Nacional de Financiamiento para la Ciencia, la Tecnoloía y la Innovación - Francisco José de Caladas, Universidad del Cauca and COLCIENCIAS for financial support under research project titled Construcciones de Conjuntos B h [], propiedades de Midy, y alunas aplicaciones.

13 13 References [3] R. C. Bose, An affine analoue of Siner s theorem, J. Indian Math. Soc. (N.S.) 6 (1942), [7] R.C. Bose and S. Chowla, Theorems in the additive theory of numbers, Comment. Math. Helv., 37(1962/1963), pp [6] H. Derksen, herror-correctin codes and B h sequences, IEEE Transactions on Information Theory 26 (March 2004) No. 3, [8] A. Gómez and C. Trujillo, Construcción de conjuntos B h+1 desde conjuntos B h. Matemáticas: Enseñanza Universitaria. Vol. XX, No. 1, Junio (2007). Matemáticas: 1-9. [9] J. Gómez, Construcción de conjuntos B h [], Tesis de Maestría en Ciencias Matemáticas, Universidad del Valle, [5] B. Lindström, B h []-sequences from B h sequences, Proc. Amer. Math. Soc. 128 (1999), [1] G. Martin and K. O Bryant, Constructions of eneralized Sidon sets, Journal of Combinatorial Theory, Series A 113 (2006) [4] I. Z. Ruzsa, Solvin a linear equation in a set of inteers I, Acta Arith 65 (1993) MR [2] J. Siner, A theorem infinite projective eometry and some applications to number theory, Trans. Amer. Math. Soc. 43 (1938),