arxiv: v2 [math.nt] 15 May 2013

Transcription

1 INFINITE SIDON SEQUENCES JAVIER CILLERUELO arxiv:09036v [mathnt] 5 May 03 Abstract We present a method to construct dense infinite Sidon sequences based on the discrete logarithm We give an explicit construction of an infinite Sidon sequence A with A(x) = x +o() Ruzsa proved the existence of a Sidon sequence with similar counting function but his proof was not constructive Our method generalizes to B h sequences: For all h 3, there is a B h sequence A such that A(x) = x (h ) + (h )+o() Introduction According to Erdős [3], in 93 Simon Sidon asked him about the growing of those infinite sequences A with theproperty that all sums a+a, a a, a,a A aredistinct Later Erdős named them Sidon sequences Sidon had found one with counting function A(x) x /4 and Erdős observed that the greedy algorithm, described below, provides another with A(x) x /3 Starting with a =, let us define a n to be the smallest integer greater than a n and such that the set {a,,a n } is a Sidon set Since there are at most (n ) 3 distinct elements of the form a i +a j a k, i,j,k n, it is then clear that a n (n ) 3 + and the counting function of the sequence A generated by this algorithm (the greedy algorithm) certainly satisfies A(x) x /3 Erdős conjectured that for any ǫ > 0 should exist a Sidon sequence with A(x) x / ǫ, but the sequence given by the greedy algorithm was, for almost 50 years, the densest example known That was until that, in 98, Atjai, Komlos and Szemeredi [] proved the existence of an infinite Sidon sequence such that A(x) (xlogx) /3 The main tool was a remarkable new result in graph theory that they proved in that seminal paper They wrote: The task of constructing a denser sequence has so far resisted all efforts, both constructive and random methods Here we use a random construction for giving a sequence which is denser than the above trivial one 000 Mathematics Subject Classification B83 Key words and phrases Sidon sets, B h sequences, Probabilistic method, Discrete logarithm This work was supported by Grant MTM 0-85 of MICINN (Spain)

2 JAVIER CILLERUELO So that, it was a surprise when Ruzsa [5] overcome the barrier of the exponent /3, proving the existence of an infinite Sidon sequence A with A(x) = x +o() The starting point of Ruzsa s approach was the sequence (logp) where p runs over all the prime numbers Ruzsa s proof is not constructive For each α [,] he considered a sequence A α = (a p ) p P where each a p is built using the binary digits of αlogp What Ruzsa proved is that for almost all α [,] the sequence A α is nearly a Sidon sequence in the sense that removing not too many elements from the sequence it is possible to destroy all the repeated sums that eventually appear Here we present a method to construct explicitly dense infinite Sidon sequences It has been inspired by the finite Sidon set A = {log g p : p prime, p q}, where g a generator of F q and log g x denotes the discrete logarithm of x in F q The set A is indeed a Sidon set in Z q with size A = π( q) q/logq Despite the simplicity of the construction of this finite Sidon set we have not seen it previously in the literature Our main result is Theorem but to warm up we construct first an infinite Sidon sequence A = (a p ) p P indexed with all the prime numbers with an easy explicit expression for the elements a p This is the first time that an infinite Sidon sequence A with A(x) x δ for some δ > /3 is constructed explicitly Theorem Let A := A q,c = (a p ) p P be the sequence constructed in section We have that for c = 3 5 it is an infinite Sidon sequence with A(x) = x 3 5 +o() Theorem is weaker than Theorem, but we have included it as a separated theorem because the simplicity of the construction In Theorem we construct explicitly a denser infinite Sidon sequence A = (a p ) p P adding the deletion technique to our method The starting point is the sequence A q,c = (a p ) p P with c = This sequence is not a Sidon sequence but we can delete some elements a p from the sequence to destroy the repeated sums that could appear Thus, the final set of indexes of our sequence will be not the whole set of the prime numbers, as in the construction of Theorem, but the set P formed by the survived primes after we remove a thin subsequence of the primes that we can describe explicitly Theorem The sequence A = (a p ) p P constructed in subsection 4 is an infinite Sidon sequence with A(x) = x +o()

3 INFINITE SIDON SEQUENCES 3 Note that the exponent of the counting function in the explicit construction of Theorem is the same that Ruzsa obtained in his random construction Furthermore, it can be checked easily that the algorithm used to construct the Sidon sequence in Theorem is efficient in the sense that only O(x +o() ) elementary operations are needed to list all the elements a p x Our approach also generalizes to B h sequences, that is, sequences such that all the sums a + +a h, a a h are distinct To deal with theses cases, however, we need to introduce a probabilistic argument in an unusual way and it becomes the proof of the following theorem not constructive Theorem 3 For any h 3 there exists an infinite B h sequence A with A(x) = x (h ) + (h )+o() The exponent in Theorem 3 is greater than /(h ), that given by the greedy algorithm for B h sequences It should be mentioned that R Tesoro and the author [] have proved recently Theorem 3 in the cases h = 3 and h = 4 using a variant of Ruzsa s approach which makes use of the sequence (θ(p)) of arguments of the Gaussian primes p = p e πiθ(p) instead of the sequence (logp) considered by Ruzsa However, that proof does not extend to all h In the last section we present an alternative method to construct infinite Sidon sequences It has the same flavor than the construction described in section but the irreducible polynomials in F [X] play the role of the prime numbers in the set of positive integers The finite version of this construction is the following We identify F n F [X]/q(X)whereq := q(x)isanirreduciblepolynomialinf [X]withdegq = n Let g a generator of F n and g := g(x) the corresponding polynomial A = {x(p) : g x(p) p (mod q), p irreducible in F [X], deg(p) < n/} is a Sidon set in Z n of size A n/ /n WepresentansketchofhowtoreproveTheorems,and3usingthisalternative approach The construction Let us consider the following well known fact, which will be used in the construction of our sequence: Given an infinite sequence of positive integers b := b,,b j, (the base), any non negative integer n can be written, in an only way, in the form n = x +x b +x 3 b b + +x j b b j + with digits 0 x j < b j, j and we represent it as n := x k x

4 4 JAVIER CILLERUELO Construction of the sequence A q,c We consider the basis q := 4q,,4q j where q,,q j, is a given infinite sequence of prime numbers satisfying () j < q j j+ for all j Choose, for each j, a primitive root g j of F q j Fix c, 0 < c < / and consider the partition of the set of the prime numbers, P = k P { } k, where P k = p prime : c(k ) 3 < p ck 3 Let us construct the sequence A q,c = (a p ) p P as follows: for p P k, we define a p = x k (p)x (p), where the digit x j (p) in the basis q is the solution of the congruence () g x j(p) j p (mod q j ), q j + x j (p) q j We define x j (p) = 0 when j > k Properties of the sequence A q,c Proposition All the elements a p of the sequence A q,c are distinct and the counting function satisfies A q,c (x) = x c+o() Proof Suppose that a p = a p Thus x j (p) = x j (p ) for all j and we have, by construction, that p,p P k where k is the largest j such that x j (p) 0 We also know that p g x j(p) g x j(p ) p (mod q j ) for all j k and then, p p (mod q q k ) If p p we would have which is impossible because c < ck p p q q k > +3+ +(k ) = k, To study the growing of the sequence A q,c, we consider, for any x, the integer k such that (4q ) (4q k ) < x (4q ) (4q k+ ) Using () we can check that k +k < x (k+) +(k+) and then k = x +o() We observe that if p ck 3 then p P l for some l k and then a p = x (p)+ j l x j (p)(4q ) (4q j ) (4q ) (4q k ) x Thus A q,c (x) π( ck 3 ) = ck (+o()) = x c+o()

5 INFINITE SIDON SEQUENCES 5 For the upper bound we observe that if p > c(k+) 3 then p P l for some l k + and then a p > (4q ) (4q l ) (4q ) (4q k+ ) x Thus A q,c (x) π( c(k+) 3 ) = ck (+o()) = x c+o() The next proposition concerns to the Sidoness quality of the sequence A q,c Proposition Suppose that there exist a p,a p,a p,a p A q,c, a p > a p a p > a p such that a p +a p = a p +a p Then we have that: i) there exist k,k, k k such that p,p P k, p,p P k ii) p p p p (mod q q k ) iii) p p (mod q k + q k ) if k < k iv) ( c)k < k < c c k Proof Since 0 x j (p )+x j (p ) < 4q j for all j, the equality a p +a p = a p +a p implies that the digits of both sums are equal: (3) x j (p )+x j (p ) = x j (p )+x j (p ) for all j By construction, p P k and p P k where k is the largest j such that and k is the largest j such that x j (p )+x j (p ) q j + x j (p )+x j (p ) q j + This observation proves part i) and we can represent a p,a p,a p,a p as a p = x k (p )x k (p )x (p ) a p = x k (p )x (p ) a p = x k (p )x k (p )x (p ) a p = x k (p )x (p ) To prove parts ii) and iii) first we observe that (3) implies that for all j we have We also know that if p P k, then g x j(p) j when j > k g x j(p )+x j (p ) j g x j(p )+x j(p ) j (mod q j ) p (mod q j ) for j k and g x j(p) j (mod q j ) Thus, for j k we have that p p p p (mod q j) and then p p p p (mod q q k )

6 6 JAVIER CILLERUELO If k < k, for k + j k we have that p p (mod q j) and then p p (mod q k + q k ) Part ii) and the inequalities on p i and q j yield c(k +k ) p p p p q q k > +3+ +(k ) = k = k < c c k In particular it implies that k < k and we can apply part iii), which gives ck p p q k + q k > (k +)+ +(k ) = k k = k > ( c)k 3 Proof of Theorem To prove the first part of Theorem we simply observe that if there is a repeated sum, then Proposition, iv) implies that c < c c, which does not hold for c = 3 5 Thus, A q,c is a Sidon sequence for this value of c 4 Proof of Theorem Proposition implies that all the repeated sums that may appear are of the form: (4) a p +a p = a p +a p, {p,p } {p,p } with p,p P k,p,p P k and k < c c k Using the notation Q = q q k and Q = q k + q k we can write p (p p ) = p p p p +(p p )p = p p p p Q + (p p ) p Q Q Q Proposition also implies that if (4) holds then s = p p p p Q and s = p p Q nonzero integers satisfying s = p p p p c(k +k ) 6, s = p p ck 3 Q Q Q Q Thus, if p P k is involved in sum repeated sum as in (4) then it divides some integer s 0 of the set { S k,k = s = s Q +s p Q : s c(k +k ) 6 We denote by B k the set of these primes: Q are }, s ck 3, p P k Q B k = { p P k : p s for some s S k,k, s 0, with k < c c k } From the analysis above it is clear that for P = k (P k \B k )

7 INFINITE SIDON SEQUENCES 7 the sequence A q,c = (a p) p P is a Sidon sequence To prove that A q,c (x) = xc+o() it is enoughtoshow that B k ( +o()) P k Wewill prove thatthisholds forc = First we observe that an integer s 0 of S k,k cannot be dived by two primes p,p P k Otherwise, we would have that c(k ) 6 < pp s c(k +k ) 6 < c c k 5, which does not hold for k large enough since c > c c k < c c k k < c c k for c < / Therefore, using the estimates Q Q = q q k > k and Pk = π( ck ) ck /log( ck ) we have ( )( ) B k S k,k c(k +k ) 6 ck 3 P k Q Q 6 clog (c )k k < c c k Then, using the the identities c c estimate ck k ) ( ) P k = π ( ck 3 π c(k ) 3 we have the wanted inequality, B k 5 ck clog k 6 clog ( c) c ( c c )k = c and c c = for c = and the k = ck 3 ck log (+o()) ( ) +o() P k 3 Infinite B h sequences In the following we shall use the same notation with only minor changes We consider the basis q := h q,,h q j where the primes q j satisfy j < q j j+ For each j, let g j be a generator of F q j Fix c = (h ) + (h ) and let P = k 3 P k where ( P k = {p ) } prime : c(k ) / log(k ) < p ck ( / logk) We construct the sequence A q,c = (a p ) p P as follows: for p P k we define a p = x k (p)x (p), where he digit x j (p) is the solution of the congruence g x j(p) j p (mod q j ), (h )q j + x j (p) hq j

8 8 JAVIER CILLERUELO We define x j (p) = 0 for j > k We observe that the sequence A q,c = (a p ) p P will be a B h sequence if and only if for any l, l h there not exists a repeated sum in the form (3) a p + +a pl = a p + +a p l {a p,,a pl } {a p,,a p l } = a p a pl a p a p l The following proposition is just a generalization of Proposition Proposition 3 Suppose that there exist p,,p l,p,,p l A q,c satisfying (3) Then we have: i) p i,p i P k i, i =,,l for some k l k ii) p p l p p l (mod q q kl ) p p l p p l (mod q kl + q kl ) if k l < k l p p (mod q k + q k ) if k < k ( ) iii) kl < c c k + +kl iv) q q k l i= (p p i p p i ) Proof The proof is similar to the proof of Proposition Here k i is the largest j such thatx j (p )+ +x j (p l ) i((h )q j +) Partiii) isconsequence ofthefirst congruence of part ii) Part iv) is also an obvious consequence of part ii) 3 Proof of Theorem 3 The sequence A q,c defined atthebeginning ofthissection may not be a B h sequence The plan of the proof is to remove from A q,c = (a p ) p P the largest element appearing in each such repeated sum to obtain a true B h sequence More precisely, we define P = P (q) as the set P = k (P k \B k (q)) where B k (q) = {p P k : a p is the largest involved in some equation (3)} It is then clear that the sequence A q,c = (a p) p P is a B h sequence We can proceed as in the previous section to deduce that A q,c (x) = x c+o() If in addition, B k (q) = o( P k ), we have that A q,c (x) A q,c(x) = x c+o()

9 INFINITE SIDON SEQUENCES 9 Thus, the proof of Theorem 3 will be completed if we prove that there exists a basis q such that B k (q) = o( P k ) For l h we write Bad l (q,k l,,k ) = {(p,,p l) : p i,p i P ki, i =,,l satisfying (3)} Nextletusobservethateachp B k (q)comesfromsome(p,,p l ) Bad l(q,k l,,k ), l h, k l k = k Thus, (3) B k (q) h l= k l k =k hk h max l h k l k =k Bad l (q,k l,,k ) Bad l (q,k l,,k ) It happens that we are not able to give a good upper bound for Bad l (q,k l,,k ) for a concrete sequence q := q < q <, but we can do it in average If the reader is familiarized with Ruzsa s work, the basis q will play the same role as the real parameter α in Ruzsa s construction We consider the probability space of the basis q := h q,h q where each q j is chosen at random uniformly between all the primes in the interval ( j, j + ] In particular we use that π( k+ ) π( k ) k /k = k +O(logk) to deduce that for any primes q < < q k satisfying j < q j j+ we have P(h q,,h q k q) = k k= π( k+ ) π( k ) k +O(k logk ) Thus, for a given (p,,p l ), we use Proposition 3, iv) and the estimate τ(n) = n O(/loglogn) for the divisor function to deduce that P((p,,p l ) Bad l(q,k l,,k )) q,,q k q q k l i=(p p i p p i) ( l ) τ (p p i p p i) i= k +O(k /logk ) P(q,,q k q) k +O(k logk )

10 0 JAVIER CILLERUELO Thus, using Proposition 3 iii) in the last inequality we have: E( {(p,,p l ) : p i,p i P k i, i =,,l satisfying (3)} ) Using (3) we have k +O(k /logk ) #{(p,,p l ) : p i,p i P k i } k +O(k /logk ) P k P kl k +O(k /logk ) c (k + +k l) ck / logk k + c c(k + +k l ) (c+o())k / logk ( +c(l ) c )k (c+o())k / logk E( B k (q) ) ( + c(h ) c )k (c+o())k / logk Finally we use that + c(h ) c = 0 for c = (h ) c + (h ) to obtain ( ) B k (q) E k ( + c(h ) c)k (c+o())k / logk c P k k k k k (c+o())k / logk Since the series is convergent we have that for almost all sequences q the series B k (q) P k k is convergent Therefore, for any of these q we have that B k (q) = o( P K ), which is what we wanted to prove 4 An alternative construction The theorems proved in this paper could have been proved using the following alternative construction, which, although has the same flavor than the one described in section, it uses the irreducible polynomials in F [X] instead of the prime numbers We consider the basis q := 4,4 3,,4 (j ), and any infinite sequence of irreducibles polynomials in F [X] of degree deg(q j ) = j For each j, let g j (X) a generator of F [X]/q j (X) Fix c, 0 < c < / and for each k, let (4) P k = { p irreducible polynomials in F [X] : c(k ) < degp ck } Consider the sequence A q,c = (a p ) where, for any p(x) P k (we write p := p(x) for short), the element a p is defined by a p := x k (p)x (p)

11 where x j (p) is the solution of the polynomial congruence INFINITE SIDON SEQUENCES g j (X) x j(p) p(x) (mod q j (X)), j + x j (p) j Let us define x j (p) = 0 for j > k More formally we can write (4) a p = x j (p) j j k We use that the number of irreducible polynomials of degree j in F [X] is j /j to deduce easily that in this case we also have A q,c (x) = x c+o() Proposition also works here, except that now the congruences are in F [X] It is then easy to adapt the proofs of Theorems and to this new construction The proof of Theorem 3 using this construction is also similar to that given in section, except that now we consider the basis q = h,h 3,,h (j ), and define a p = x k (p)x (p) where x j (p) is the solution of the congruence g x j(p) j p(x) (mod q j (X)), (h ) j + x j (p) h j Perhaps, the less known ingredient needed in the proof may be the upper bound τ(r(x)) O(n/logn) for the number of the divisors of a polynomial r(x) F [X] of degree n (see [4]) References [] M Ajtai, J Komlós, and E Szemerédi, A dense infinite Sidon sequence, European J Combin (98), [] J Cilleruelo and R Tesoro, Infinite dense B h sequences, preprint Arxiv [3] P Erdős, Solved and unsolved problems in combinatorics and combinatorial number theory, Combinatorics, graph theory and computing, Proc th Southeast Conf, Baton Rouge 98, Congr Numerantium 3, 49-6 (98) [4] Ph Piret, On the number of divisors of a polynomial over GF(), Applied algebra, algorithmics and error-correcting codes (Toulouse, 984), 6 68, Lecture Notes in Comput Sci, 8, Springer, Berlin, 986 [5] I Ruzsa, An infinite Sidon sequence, J Number Theory 68 (998) Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM) and Departamento de Matemáticas, Universidad Autónoma de Madrid, 8049 Madrid, Spain address: franciscojaviercilleruelo@uames