arxiv:math/ v2 [math.nt] 2 Mar 2006

Transcription

1 arxiv:math/ v2 [math.nt] 2 Mar 2006 Primes Generated by Recurrence Sequences Graham Everest, Shaun Stevens, Duncan Tamsett, and Tom Ward 1st February MERSENNE NUMBERS AND PRIMITIVE PRIME DIVISORS. A notorious roblem from elementary number theory is the Mersenne Prime Conjecture. This asserts that the Mersenne sequence M = (M n ) defined by M n = 2 n 1 (n = 1, 2,...) contains infinitely many rime terms, which are known as Mersenne rimes. The Mersenne rime conjecture is related to a classical roblem in number theory concerning erfect numbers. A whole number is said to be erfect if, like 6 = and 28 = , it is equal to the sum of all its roer divisors. Euclid ointed out that 2 k 1 (2 k 1) is erfect whenever 2 k 1 is rime. A much less obvious result, due to Euler, is a artial converse: if n is an even erfect number, then it must have the form 2 k 1 (2 k 1) for some k with the roerty that 2 k 1 is a rime. Whether there are any odd erfect numbers remains an oen question. Thus finding Mersenne rimes amounts to finding (even) erfect numbers. The sequence M certainly roduces some rimes initially, for examle, M 2 = 3, M 3 = 7, M 5 = 31, M 7 = 127,.... However, the aearance of Mersenne rimes quickly thins out: only forty-three are known, the largest of which, M 30,402,457, has over nine million decimal digits. This was discovered by a team at Central Missouri State University as art of the GIMPS roject [23], which harnesses idle time on thousands of comuters all over the world to run a distributed version of the Lucas Lehmer test. A altry forty-three rimes might seem rather a small return for such a huge effort. Anybody looking for gold or gems with the same level of success would surely abandon the search. It seems fair to ask why we should exect there to be infinitely many Mersenne rimes. In the absence of a rigorous roof, our exectations may be informed by heuristic arguments. In section 3 we discuss heuristic arguments for this and other more or less tractable roblems in number theory. Primitive rime divisors. In 1892, Zsigmondy [24] discovered a beautiful argument that shows that the sequence M does yield infinitely many rime numbers but in a less restrictive sense. Given any integer sequence S = 1

2 (S n ) n 1, we define a rimitive divisor of the term S n ( 0) to be a divisor of S n that is corime to every nonzero term S m with m < n. Any rime factor of a rimitive divisor is called a rimitive rime divisor. Factoring the first few terms of the Mersenne sequence reveals several rimitive divisors, shown in bold in Table 1. Notice that the term M 6 has no rimitive divisor, but each Table 1: Primitive divisors of (M n ). n M n Factorization of the other early terms has at least one. Zsigmondy [24] roved that all the terms M n (n > 6) have rimitive divisors. He also roved a similar result for more general sequences U = (U n ) n 1, namely, those of the form U n = a n b n, where a and b (a > b) are ositive corime integers: U n has a rimitive divisor unless a = 2, b = 1 and n = 6 or a + b is a ower of 2 and n = 2. Aart from the secial situation in which a b = 1, it is not reasonable to exect the terms U n = a n b n ever to be rime, since the identity a n b n = (a b)(a n 1 + a n 2 b + a n 3 b b n 1 ) shows that U n is divisible by a b. However, it does seem likely that for any corime starting values a and b infinitely many terms of the sequence (U n /(a b)) might be rime. Sadly, no roof of this lausible statement is known for even a single air of starting values. Although Zsigmondy s result is much weaker than the Mersenne rime conjecture, it initiated a great deal of interest in the arithmetic of such sequences (see [10, cha. 6]). It has also been alied in finite grou theory (see Praeger [15], for examle). Schinzel [16], [18] extended Zsigmondy s result, giving further insight into the finer arithmetic of sequences like M. For examle, he roved that M 4k has a comosite rimitive divisor for all odd k greater than five. 2 RECURRENCE SEQUENCES. For most eole their first introduction to the Fibonacci sequence A 1 = 1, A 2 = 1, A 3 = 2, A 4 = 3, A 5 = 5, A 6 = 8,... is through the (binary) linear recurrence relation A n+2 = A n+1 + A n. 2

3 Sequences such as the Mersenne sequence M and those considered by Zsigmondy are of articular interest because they also satisfy binary recurrence relations. The terms U n = a n b n satisfy the recurrence U n+2 = (a + b)u n+1 abu n (n = 1, 2,...). More generally, let u and v denote conjugate quadratic integers (i.e., zeros of a monic irreducible quadratic olynomial with integer coefficients). Consider the integer sequences U(u, v) and V (u, v) defined by U n (u, v) = (u n v n )/(u v), V n (u, v) = u n + v n. For instance, the Fibonacci sequence is given by ( A n = U n, 1 ) The sequence U(u, v) satisfies the recurrence relation U n+2 = (u + v)u n+1 uvu n (n = 1, 2,...), and V (u, v) satisfies the same relation. Some owerful generalizations of Zsigmondy s theorem have been obtained for these sequences. Bilu, Hanrot, and Voutier [3] used methods from Diohantine analysis to rove that both U n (u, v) and V n (u, v) have rimitive divisors once n > 30. The two striking asects of this result are the uniform nature of the bound and its small numerical value. In articular, for any given sequence it is easy to check the first thirty terms for rimitive divisors, arriving at a comlete icture. For examle, an easy calculation reveals that the Fibonacci number A n does not have a rimitive divisor if and only if n = 1, 2, 6, or 12. Bilinear recurrence sequences. The theory of linear recurrence sequences has a bilinear analogue. For examle, the Somos-4 sequence S = (S n ) is given by the bilinear recurrence relation S n+4 S n = S n+3 S n+1 + S 2 n+2 (n = 1, 2,...), with the initial condition S 1 = S 2 = S 3 = S 4 = 1. This sequence begins 1, 1, 1, 1, 2, 3, 7, 23, 59,314, 1529, 8209, , , ,.... Amazingly, all the terms are integers even though calculating S n+4 a riori involves dividing by S n. This sequence was discovered by Michael Somos [20], and it is known to be associated with the arithmetic of ellitic curves (see [10, secs. 10.1, 11.1] for a summary of this, and further references, including a remarkable observation due to Pro et al. that the terms of the sequence must be integers because they count matchings in a sequence of grahs.) Amongst the early terms of S are several rimes: of those that we listed, 2, 3, 7, 23, 59, 8 209,

4 are rime. It seems natural to ask whether there are infinitely many rime terms in the Somos-4 sequence. More generally, consider integer sequences S satisfying relations of the tye S n+4 S n = es n+3 S n+1 + fs 2 n+2, (1) where e and f are integral constants not both zero. Such sequences are often called Somos sequences (or bilinear recurrence sequences) and Christine Swart [21], building on earlier remarks of Nelson Stehens, showed how they are related to the arithmetic of ellitic curves. Some care is needed because, for examle, a binary linear recurrence sequence always satisfies some bilinear recurrence relation of this kind. We refer to a Somos sequence as nonlinear if it does not satisfy any linear recurrence relation. These are natural generalizations of linear recurrence sequences, so erhas we should exect them to contain infinitely many rime terms. Comutational evidence in [5] tended to suort that belief because of the relatively large rimes discovered. However, a heuristic argument (discussed later) using the rime number theorem was adated in [7], and it suggested that a nonlinear Somos sequence should contain only finitely many rime terms. See [9] for roofs in some secial cases. On the other hand, Silverman [19] established a qualitative analogue of Zsigmondy s result for ellitic curves that alies, in articular, to the Somos-4 sequence. An exlicit form of this result roved by Everest, McLaren, and Ward [8] guarantees that from S 5 onwards all terms have rimitive divisors. There are many nonlinear Somos sequences to which Silverman s roof does not aly. A version of Zsigmondy s theorem valid for these sequences awaits discovery. Polynomials. Given the revious sections, it might be temting to think that all integral recurrence sequences have rimitive divisors from some oint on. However, it is easy to write down counterexamles. The sequence T = (T n ) defined by T n = n, which satisfies T n+2 = 2T n+1 T n, is a binary linear recurrence sequence that does not always roduce rimitive divisors. This is a rather trivial counterexamle, so consider now the sequence P defined by P n = n 2 + β, where β is a nonzero integer. The terms of this sequence satisfy the linear recurrence relation P n+3 = 3P n+2 3P n+1 + P n. It has long been susected that for any fixed β such that β is not a square the sequence P contains infinitely many rime terms. A roof is known for not even one value of β. It seems reasonable to ask the aarently simler question about the existence of rimitive divisors of terms. Clearly any rime term is itself a rimitive divisor, but do the comosite terms have rimitive divisors? Using a result of Schinzel about the largest rime factor of the terms in olynomial sequences it is fairly easy to rove the following: 4

5 Theorem 2.1. If β is not a square, then there are infinitely many terms of the sequence P that do not have rimitive divisors. We rove Theorem 2.1 in section 4. Comutations suggest that the following stronger result should be true. Conjecture 2.2. Suose that β is not a square. If ρ β (N) denotes the number of terms P n in the sequence P with n < N that have rimitive divisors, then ρ β (N) cn for some constant c satisfying 0 < c < 1. Here, and throughout the article, for functions f : R R and g : R R +, we write f g to mean f(x)/g(x) 1 as x. In the last section of the article, we consider some aroaches to bounding the number of terms in P that have rimitive divisors. For examle, we will furnish a simle roof that lim inf N ρ β (N) N 1 2. We have been unable to find a roof of Conjecture 2.2. In section 3 we show how other kinds of arguments can be marshalled in its suort, and in section 4 we discuss briefly the nature of the constant c. Linear recurrence sequences. To set matters in a more general context, define L = (L n ) n 1 to be a linear recurrence sequence of order k (k 1) if it satisfies a relation L n+k = c k 1 L n+k c 0 L n (n = 1, 2,...) (2) for constants c 0,...,c k 1, but satisfies no shorter relation. When k = 3 (resectively, k = 4), the sequence L is called a ternary (resectively, quaternary) linear recurrence sequence. For examle, the sequences P considered in the revious section are all ternary linear recurrence sequences. Theorem 2.1 shows that Zsigmondy s theorem cannot extend to these quadratic sequences. Some nonolynomial sequences that cannot satisfy Zsigmondy will now be resented. With u and v again denoting conjugate quadratic integers, the integer sequence W(u, v) = (W n (u, v)) n 1 defined by is always a linear recurrence sequence. W n (u, v) = (u n 1)(v n 1) Examle 1. The sequence B = W(2 + 3, 2 3) begins 2, 12, 50, 192, 722, 2700, 10082, 37632, ,524172,..., and it is a ternary sequence satisfying B n+3 = 5B n+2 5B n+1 + B n. From the seventh term on, all the terms of the sequence seem to have rimitive divisors. 5

6 Examle 2. The sequence C = W(1 + 2, 1 2) begins 2, 4, 14, 32, 82, 196, 478, 1152, 2786, 6724,..., and it is a quaternary sequence satisfying C n+4 = 2C n+3 + 2C n+2 2C n+1 C n. In contrast to the revious examle, the terms C 2k for odd k do not have rimitive divisors. In general, when uv = 1, the terms W 2k (u, v) for odd k fail to yield rimitive divisors. This is because an easy calculation reveals that W 2k (u, v) = W k (u, v) 2 when k is odd. On the other hand, we recommend the following as an exercise: when uv = 1, the terms W n (u, v) do roduce rimitive divisors from some oint on. As far as we can tell, to establish this requires Schinzel s extension [18] of Zsigmondy s result to the algebraic setting. (We are indebted to Professor Györy for communicating to us the remarks about W(u, v).) All of these secial cases can be subsumed into a wider icture. Write f(x) = x k c k 1 x k 1 c 0 for the characteristic olynomial of the linear recurrence relation in (2). Then f can be factored over C, f(x) = (x α 1 ) e1... (x α d ) e d. The algebraic numbers α 1,..., α d, are known as the characteristic roots (or just roots) of the sequence. The terms L n of any sequence L satisfying the relation (2) can be written L n = d g j (n)α n i i=1 for olynomials g 1,...,g d of degrees e 1 1,...,e d 1 with algebraic coefficients. The roots of the sequences in Examles 1 and 2 are quite different in character. In general, if uv = 1, then W(u, v) is a ternary linear recurrence sequence with roots 1, u, and v. When uv = 1, W(u, v) is quaternary with roots 1, 1, u, and v. For the quadratic sequence defined by P n = n 2 + β, α = 1 is a trile root of the associated characteristic olynomial. It seems reasonable to conjecture that the terms of an integral linear recurrence sequence of order greater than one will have rimitive divisors from some oint on rovided that its roots are distinct and no quotient α i /α j of different roots is a root of unity. 6

7 3 HEURISTIC ARGUMENTS. There are a number of ways that mathematicians form a view on which statements are likely to be true. These views inform research directions and hel to concentrate effort on the most fruitful areas of enquiry. The only certainty in mathematics comes from rigorous roofs that adhere to the rules of logic: the discourse of logos. When such a roof is not available, other kinds of arguments can make mathematicians exect that statements will be true, even though these arguments fall well short of roofs. These are called heuristic arguments the word comes from the Greek root ÙÖ (Eureka), meaning I have found it. It usually means the rinciles used to make decisions in the absence of comlete information or the ability to examine all ossibilities. In informal ways, mathematicians use heuristic arguments all the time when they discuss mathematics, and these are art of the mythos discourse in mathematics. One consequence of the rime number theorem is the following statement: the robability that N is rime is roughly 1/ logn. What this means is that if an element of the set {1,...,N} is chosen at random using a fair N-sided die, then the robability ρ N that the number chosen is rime satisfies ρ N log N 1 as N. This crude estimate has been used several times to argue heuristically in favor of the lausibility of conjectured solutions of difficult roblems. Some examles follow. In each case the argument resented falls well short of a roof, yet it still seems to have some redictive ower and has suggested lines of attack. Fermat rimes. Hardy and Wright [11, sec. 2.5] argued along these lines that there ought to be only finitely many Fermat rimes. A Fermat rime is a rime number in the sequence (F n ) of Fermat numbers: F n = 2 2n + 1. Fermat demonstrated that F 1, F 2, F 3, and F 4 are all rimes; Euler showed that F 5 is comosite by using congruence arguments. Since then, many Fermat numbers have been shown to be comosite and quite a few have been comletely factored. Wilfrid Keller maintains a web site [12] with details of the current state of knowledge on factorization of Fermat numbers. The number of Fermat rimes F n with n < N, if they are no more or less likely to be rime than a random number of comarable size, should be roughly n<n 1 log F n n<n 1 2 n log 2 < 1 log 2. Statements like this cannot be taken too literally, for the numbers F n have many secial roerties, not all of which are understood. However, this kind of argument tends to suort the belief that there are only finitely many Fermat rimes and would incline many mathematicians to attemt to rove that statement rather than its negation. Massive advances in comuting ower suggest that we know indeed, that Fermat knew all the Fermat rimes. 7

8 Mersenne rimes. The rime number theorem can also be used to argue in suort of the Mersenne rime conjecture. A heuristic argument of the following form is used. First, 2 k 1 can be rime only for k a rime, so assume now that k is a rime. We would like to estimate the robability that 2 1 is rime. The rime number theorem suggests that a random number of the size of 2 1 is rime with robability 1/ log(2 1), which is around 1/ log2. However, 2 1 is far from random: it is not divisible by 2, nor by 3, and indeed not by any rime smaller than 2. Arguing in this way suggests that the robability that 2 1 is rime is aroximately ρ = 1 log q q 1, (3) where q is the largest rime less than 2. This suggests that the exected number of Mersenne rimes M n with n < N is roughly <N ρ. Since ρ > 1/ log2, the sum diverges by Mertens s theorem (see (4) for a recise statement), which suggests that there are infinitely many Mersenne rimes. Wagstaff [22] and then Pomerance and Lenstra [13] have extended this heuristic argument by including estimates for the roduct of rationals in (3) to obtain an asymtotic estimate that closely matches the available evidence. On the basis of these heuristics, they conjecture that the number of Mersenne rimes M n with n < N is asymtotically e γ log N, log 2 where γ is the Euler-Mascheroni constant. Caldwell s Prime Page [4] gives more details about these arguments and about the hunt for new Mersenne rimes. Bilinear recurrence sequences. Consider now the Somos sequences defined by the recurrence (1). General results about heights on ellitic curves show that the growth rate of S n is quadratic-exonential. In other words, log S n hn 2, where h is a ositive constant. Thus the exected number of rime terms with n < N should be aroximately n<n 1 log S n 1 h n<n 1 n 2 π2 6h. This resembles the argument of Hardy and Wright and suggests that only finitely many rime terms should be exected. Proofs of the finiteness in many secial cases have subsequently been found [9]. The search for these roofs was motivated in art by the heuristic arguments. Interestingly, it is known that the constant h is uniformly bounded below across all nonlinear integral Somos sequences. Thus the style of this heuristic argument suggests that erhas the total number of rime terms is uniformly bounded across all such sequences. 8

9 Extensive calculation has failed to yield a sequence with more than a dozen rime terms. Quadratic olynomials. Suose β is an integer that is not the negative of a square and recall the sequence P given by P n = n 2 + β. Again, the rime number theorem redicts that there are roughly 1 log P n n<n rime terms in the sequence P with n < N, assuming again that P n is neither more nor less likely to be rime than a random number of that size. The sum is asymtotically N/(2 log N), which suorts the belief that there are infinitely many rime terms in the sequence P. Comutation suggests that for fixed β there will be dn/ logn rime terms with n < N, where d = d(β) is a constant that deends uon β. Bateman and Horn [2] offered a heuristic argument and rovided numerical evidence to suggest that d = 1 ( 1 1 ) 1 ( 2 1 w() where the roduct is taken over all rimes and w() denotes the number of solutions x modulo to the congruence x 2 β (mod ). 4 BIASED NUMBERS. We now return to the roblem of looking for rimitive rime factors in the sequence given by P n = n 2 + β with β not a square. Since we are mainly interested in asymtotic behaviour, we assume from now on that n > β. The terms P n with n β are not guaranteed to exhibit the behavior described in this section. Lemma 4.1. A rime is a rimitive divisor of P n if and only if divides P n and > 2n. Proof. Consider first a rime dividing P n with < n. Then, by assumtion, P n 0 (mod ), so P m 0 (mod ) for some m smaller than simly by choosing m to be the residue of n modulo. Because < n, m < n. In others words, is not a rimitive divisor of P n. This means that to find rimitive divisors of P n we have to look for rime divisors that are greater than n. (Note that n does not divide P n, as n > β.) We can say more: we can guarantee a solution of P m 0 (mod ) for some m satisfying m /2. Thus, to find rimitive divisors we have to look only amongst the rime divisors that are bigger than 2n (i.e. a rime dividing P n is a rimitive divisor only if > 2n). Conversely, suose that is a rime dividing P n that is not a rimitive divisor. Then n 2 +β 0 (mod ), and there is an integer m (< n) with m 2 +β 0 (mod ), so (by subtracting the two congruences) m 2 n 2 0 (mod ). It follows that m ± n 0 (mod ). In articular, m + n < 2n. ), 9

10 It follows that a rime is a rimitive divisor of P n if and only if divides P n and > 2n. We call an integer k is biased if it has a rime factor q with q > 2 k. Thus any rime greater than three is biased. The numbers 22, 26, and 34 are biased, whereas 24 and 28 are not. Proosition 4.2. When n > β, the term P n has a rimitive divisor if and only if P n is biased. If n > β and P n has a rimitive divisor, then that rimitive divisor is a rime, and it is unique. Proof. Part of the first statement comes from Lemma 4.1. To comlete the roof of the first statement we claim that, for n greater than β, P n has such a rime divisor if and only if P n is biased. If is a rime dividing P n and > 2n, then 2n + 1 > 2 n 2 + n > 2 n 2 + β. Conversely, if > 2 n 2 + β, then 2 n 2 n + 1 > 2n 1, so > 2n (since 2n cannot be rime). The uniqueness of the rimitive divisor follows at once. If is a rime dividing P n and > 2 P n, then no other rime divisor can be as large, hence cannot be rimitive. The requirement n > β is necessary: if β is rime, then P β has rimitive divisor β but is not biased. Also, terms with small n may have more than one rimitive divisor. For examle, the sequence of values of the olynomial n begins 7, 10,... so the second term has two rimitive rime divisors. The kind of results discussed here are asymtotic results, which makes this restriction unimortant. Proof of Theorem 2.1. Results of Schinzel [17, Theorem 13] show that for any ositive α, the largest rime factor of P n is bounded above by n α for infinitely many n. Taking α = 1, we conclude that P n is not biased infinitely often. By Proosition 4.2, P n fails to have a rimitive divisor infinitely often. In section 5 of the article, we consider quantitative information about the frequency with which, rather than the extent to which, P n is not biased. Suort for Conjecture 2.2 follows from Proosition 4.2 because an asymtotic formula can be obtained for the distribution of biased numbers. Alongside the earlier notation for describing the growth rates of various functions, we also use the following: Given functions f : R R and g : R R +, we write f = O(g) to mean that f(x) /g(x) is bounded and f = o(g) to signify that f(x)/g(x) 0 as x. Theorem 4.3. If π ı (N) denotes the number of biased numbers less than or equal to N, then π ı (N) N log 2. 10

11 Proof. Write a biased number as qm, where q is its largest rime factor. The biased condition then translates to q > 4m. To comute the number of biased numbers below N, note that the counting can be achieved by dividing the set into two arts. Let denote a variable rime. When < 2 N there are /4 biased integers m smaller than N (here x denotes the greatest integer less than or equal to x). When 2 N, each number m smaller than N is biased, so there are N/ biased integers m. Hence the total number is <2 N N <N The first sum is O(N/ log N) and can be ignored asymtotically. The second sum differs from N 1 2 N <N by an amount that is O(N/ log N) by the rime number theorem. To estimate this sum we use Mertens s formula, which can be found in Aostol s book [1, Theorem 4.12]: 1 = log log x + A + o(1). (4) <x Alying (4) thus estimates π ı (N) as [ N log log N + A log(log ] N + log 2) A + o(1), which is asymtotically N log 2. Theorem 4.3 can be alied to give the following heuristic argument in suort of Conjecture 2.2. The robability that a large integer is biased is roughly log 2. Hence the exected number of biased values of n 2 +β with n < N is asymtotically N log 2. Comutational evidence suggests that the number of biased terms in n 2 +β is asymtotically cn for some constant c. Comutations with β < 10 suggest the constant c looks reasonably close to log 2 in each case, although convergence aears slow. 5 COUNTING PRIMITIVE DIVISORS. The article concludes with some simle estimates for ρ β (N), the number of terms P n in the sequence P with n < N that have rimitive divisors. The roofs use little aside from well-known estimates for sums over rimes, which can be found in the book of Aostol [1]. Theorem 5.1. There is a constant C > 0 such that ρ β (N) < N CN log N holds for all sufficiently large N. There is a constant D > 0 such that is true for all sufficiently large N. N. (5) N 2 DN log N < ρ β(n) (6) 11

12 Both of the statements in Theorem 5.1 can be strengthened along the following lines: any choice of constants C or D could be made. As each constant varies, so does the smallest value of N beyond which the inequalities become valid. Aart from a finite number of rimes, any rime that divides n 2 + β has the roerty that β is a quadratic residue modulo. Let R denote the set of odd rimes for which β is a quadratic residue. Notice that R comrises the intersection of a finite union of arithmetic rogressions with the set of rimes and that this finite union of arithmetic rogressions in turn comrises exactly half of the residue classes modulo 4 β. We will rove the two arts of Theorem 5.1 in reverse order, because the uer bound (5) arises by secializing the argument used to rove the lower bound (6). Write N Q N = P n, n=1 and denote by ω(q N ) the number of distinct rime divisors of Q N. By Proosition 4.2 it is sufficient to bound ω(q N ) because, with finitely many excetions, a rimitive divisor is unique. Proof of the lower bound. Define S = { R : Q N and < 2N}, S = { R : Q N and 2N}. Let s = S and s = S. We seek a lower bound for s + s, since s + s = ω(q N ). The asymtotic form of Dirichlet s theorem 1 on rimes in arithmetic rogression imlies that asymtotically half the rimes lie in R, so s Therefore it is sufficient to estimate s from below. Proof of equation (6). From the definition of Q N, log Q N = n=1 n=1 N log 2N. (7) N N ( log n 2 + β = 2 log n + O ( ) ) ( 1 n = 2 2 ) N log n + O(1), 1 In 1826 Dirichlet roved that if a and b are ositive integers with no common factor, then there are infinitely many rimes of the form ax + b with x in N. This result, which aeared in a memoir ublished in 1837 [6], was roved using methods from analysis, thus laying the foundations for the subject now called analytic number theory. Writing π a(x) for the number of rimes of the form ax+b with x < X, Dirichlet roved that π a(x) as X. There is also what might be called a rime number theorem for arithmetic rogressions, which gives an asymtotic estimate for the number of such rimes. It states that π a(x) X/φ(a) log X, where φ is the Euler totient function. This was shown by de la Vallée Poussin; a roof can be found in the book of Prachar [14, cha. 5, sec. 7]. It is this result that we are using here. n=1 12

13 so by Stirling s formula On the other hand, we can write log Q N = 2N log N 2N + O(1). (8) Q N e log = log Q N, (9) for ositive integers e corresonding to the rime decomosition Q N e of Q N. The first ste in the roof is to identify a subset of R that contributes a fixed amount to the main term in (8). The sum on the left-hand side of (9) can be decomosed to give e log + e log + log = log Q N, (10) S S,<N S, N noting that e = 1 whenever 2N. The second term in the decomosition is O(N), since e 2 for in S with > N, each term in the sum is no larger than log 2N, and the rime number theorem imlies that there are O(N/ log N) terms. Thus the second term does not contribute to the asymtotic behaviour. Assume for the moment that e log = N log N + O(N). (11) S,<N Combining (8), (10), and (11) gives N log N + O(N) = S log < s log P N = s log(n 2 + β). Thus (6) follows at once, subject to the roof of (11). Proof of equation (11). For each in S 2N e. Hence there is a constant c > 0 such that the left-hand side of (11) is bounded below by 2N log. S,<N S,<N By Aostol [1, Theorem 7.3], 2N log = N log N + O(N). (12) For in S and k in N, denote by ord (k) the exonent of the greatest ower of dividing k and ut B (N) = {n < N : ord (P n ) > 1}. 13

14 Then S,<N e log = S,<N 2N log + S,<N ( n B (N) ord (P n ) 1 ) log. We now show that the second term is asymtotically negligible. For in S the number β has two -adic square roots, and ord (P n ) = r + 1 if and only if the -adic exansion of n agrees with one of these square roots u to the term in r and no further. Hence S,<N ( n B (N) ord (P n ) 1 ) log S,<N < 2N S,<N ( log P N log r=1 r 2 N r+1 ) log log ( 1) 2 + 2s logp N, which is O(N) because the sum converges and s = O(N/ log N) by (7). Putting this together with (12) establishes (11). Proof of the uer bound. This roof is similar to that for the lower bound. However, it relies on a finer artition of the set R. Given integers K > 2 and N > K, we slit S into the sets T = { R : Q N, 2N < < KN}, U = { R : Q N, KN < }. Proof of equation (5). Write t = T and u = U. As before, the contribution from s is negligible. Thus we wish to bound the exression t + u from above. The sum on the left-hand side of (9) decomoses according to the definitions of S, T, and U to give e log + log + log = log Q N, S T U noting as earlier that e = 1 whenever > 2N. Equations (8), (10), and (11) reveal that log + log < N log N + an T U for some ositive a. The left-hand side is greater than t logn + u log(kn), so we add t log K to both sides to obtain (t + u)log(kn) < N log N + an + t logk. Rearranging the right-hand side gives (t + u)log(kn) < N log(kn) + (a log K)N + t log K. 14

15 Assume that K is fixed, with C = log K a > 0. Dividing through by log(kn) leads to (t + u) < N CN log(kn) + t log K log(kn). (13) The inequality 1/(1+ x) < 1 +x holds when x > 0. We aly this with x = log K/ logn to the second term on the right of (13) to obtain the inequality CN log(kn) < CN ( ) N log(n) + O (log N) 2, whose last term is asymtotically negligible. The last term on the right of (13) can be estimated by aealing to Dirichlet s theorem again, yielding ( ) ( ) t log K t N log(kn) = O = O log N (log N) 2, which is also asymtotically negligible. Hence for any C (0 < C < C), for all large N. ω(q N ) t + u < N C N log N A slightly stronger result is rovable with these methods, namely, that ρ β (N) < N N log log N log N for all sufficiently large N. We leave this as an exercise to the interested reader. References 1. T. M. Aostol, Introduction to Analytic Number Theory, Sringer-Verlag, New York, P. T. Bateman and R. A. Horn, A heuristic asymtotic formula concerning the distribution of rime numbers, Math. Com. 16 (1962) Y. Bilu, G. Hanrot, and P. M. Voutier, Existence of rimitive divisors of Lucas and Lehmer numbers, J. Reine Angew. Math. 539 (2001) ; aendix by M. Mignotte. 4. C. Caldwell, The Prime Pages, 5. D. V. Chudnovsky and G. V. Chudnovsky, Sequences of numbers generated by addition in formal grous and new rimality and factorization tests, Adv. in Al. Math. 7 (1986)

16 6. P. G. Lejeune Dirichlet, Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sing, unendlich viele Primzahlen enthält, Abhand. Ak. Wiss. Berlin (1837); rerinted in Werke vol. 1, G. Reimer, Berlin, 1889, M. Einsiedler, G. R. Everest, and T. Ward, Primes in ellitic divisibility sequences, LMS J. Comut. Math. 4 (2001) G. Everest, G. McLaren, and T. Ward, Primitive divisors of ellitic divisibility sequences, J. Number Theory (2006, to aear). 9. G. Everest, V. Miller, and N. Stehens, Primes generated by ellitic curves, Proc. Amer. Math. Soc. 132 (2004) G. R. Everest, A. J. van der Poorten, I. Sharlinski, and T. Ward, Recurrence Sequences, Mathematical Surveys and Monograhs, vol. 104, American Mathematical Society, Providence, G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Clarendon Press, Oxford University Press, New York, W. Keller, Prime Factors k 2 n + 1 of Fermat Numbers F m and Comlete Factoring Status, H. W. Lenstra, Jr., Primality testing, in Mathematics and Comuter Science (Amsterdam, 1983), CWI monogr., vol. 1, North-Holland, Amsterdam, 1986, K. Prachar, Primzahlverteilung, Sringer-Verlag, Berlin, C. E. Praeger, Primitive rime divisor elements in finite classical grous, in Grous St. Andrews 1997 in Bath, II, Cambridge University Press, Cambridge, 1999, A. Schinzel, On rimitive rime factors of a n b n, Proc. Cambridge Philos. Soc. 58 (1962) , On two theorems of Gelfond and some of their alications, Acta Arith. 13 (1967/1968) , Primitive divisors of the exression A n B n in algebraic number fields, J. Reine Angew. Math. 268/269 (1974) J. H. Silverman, Wieferich s criterion and the abc-conjecture, J. Number Theory 30 (1988) M. Somos, Problem 1470, Crux Mathematicorum 15 (1989) C. Swart, Ellitic Curves and Related Sequences, Ph.D. thesis, University of London,

17 22. S. S. Wagstaff, Jr., Divisors of Mersenne numbers, Math. Com. 40 (1983) G. W. Woltman, GIMPS, K. Zsigmondy, Zur Theorie der Potenzreste, Monatsh. Math. 3 (1892) GRAHAM EVEREST received a Ph.D. from King s College London in 1983 and joined the University of East Anglia mathematics deartment the same year. He works in number theory, secializing in the relationshi between Diohantine roblems and ellitic curves. He was ordained as a minister in the Church of England in School of Mathematics, University of East Anglia, Norwich NR4 7TJ, U.K. g.everest@uea.ac.uk SHAUN STEVENS received a Ph.D. from King s College London in After research ositions in Orsay, Münster, and Oxford he joined the University of East Anglia mathematics deartment in He works in reresentation theory, on the local Langlands rogram. School of Mathematics, University of East Anglia, Norwich NR4 7TJ, U.K. shaun.stevens@uea.ac.uk DUNCAN TAMSETT received a Ph.D. in Marine Geohysics from the University of Newcastle uon Tyne in He is best described as a rofessional odd-jobs man; currently contributing to a software system for lanning oil well aths, as well as looking after a system for enhancing side-scan sonar images of the sea-bed and characterizing/classifying sonar image texture. He recently moved to Inverness for the Scottish Highland and Island exerience. 5 Drummond Crescent, Inverness IV2 4QW, U.K. duncan@tamsetts.freeserve.co.uk TOM WARD received a Ph.D. from the University of Warwick in After research ositions at the University of Maryland College Park and Ohio State University, he joined the University of East Anglia mathematics deartment in He has been head of deartment since He works in ergodic theory and its interactions with number theory. School of Mathematics, University of East Anglia, Norwich NR4 7TJ, U.K. t.ward@uea.ac.uk 17