arxiv:math/ v1 [math.nt] 3 Dec 2004
|
|
- Owen Tobias Jackson
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v1 [math.nt] 3 Dec 2004 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD Abstract. We consider rimitive divisors of terms of integer sequences defined by quadratic olynomials. Aart from some small counterexamles, when a term has a rimitive divisor, that rimitive divisor is unique. It seems likely that the number of terms with a rimitive divisor has a natural density. We discuss two heuristic arguments to suggest a value for that density, one using recent advances made about the distribution of roots of olynomial congruences. 1. Mersenne Numbers and Primitive Prime Divisors A notorious roblem from elementary number theory is the Mersenne Prime Conjecture. This says that the Mersenne sequence M = (M n ) n 1, defined by M n = 2 n 1, will contain infinitely many rime terms known as Mersenne rimes. The sequence 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 41 are known, the largest of which, M , has over 7 million decimal digits. This was discovered by Josh Findley on May 15, 2004 as art of the GIMPS roject [21], which harnesses idle time on thousands of comuters all over the world to run a distributed version of the Lucas- Lehmer test for rimality of M n. Only 41 rimes might seem rather a small return for such an effort. Anybody looking for gold or gems who made such a small return for so much effort would surely abandon the search. It seems fair to ask why should we believe there are infinitely many. In the absence of a rigorous roof, our exectations may be informed by heuristic arguments. A 1991 Mathematics Subject Classification. 11A41, 11B37. Key words and hrases. rime, rimitive divisor, quadratic olynomial, recurrence sequence, recurrence relation. 1
2 2 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD later section will discuss heuristic arguments for this roblem and other more or less tractable roblems in Number Theory. In 1892, Zsigmondy [22] discovered a beautiful argument which shows that the sequence M does yield infinitely many rime numbers but in a less restrictive sense. Given any sequence S = (S n ) n 1, define a rimitive divisor of the term S n 0 to be a rime number which divides S n but which does not divide any nonzero term S m with m < n. Factorizing the first few terms of the Mersenne sequence reveals several rimitive divisors, which are underlined below: M 1 = 1, M 2 = 3, M 3 = 7, M 4 = 3 5, M 5 = 31, M 6 = 3 2 7, M 7 = 127,.... Notice that the term M 6 has no rimitive divisor. Zsigmondy [22] roved that all the terms M n for n > 6 have a rimitive divisor. More generally, Zsigmondy roved a similar result for sequences of the form U n = a n b n, whenever a > b are ositive corime integers: he showed that a term U n will always have a rimitive divisor unless a = 2, b = 1 and n = 6 or a + b is a ower of 2 and n = 2. Any sequence of this form is of articular interest because it satisfies a linear recurrence relation. A sequence U = (U n ) is called a binary linear recurrence sequence if it satisfies the linear recurrence relation U n+2 = cu n+1 + du n for all n 1 for constants c and d. Zsigmondy s sequences U n = a n b n satisfy this relation with c = a + b and d = ab. Although Zsigmondy s result is much weaker than the Mersenne Prime Conjecture, it initiated a great deal of interest in the arithmetic of general linear recurrence sequences (see [10, Cha. 6]). Schinzel [15] extended Zsigmondy s result, giving further insight into the finer arithmetic of sequences like M. He established a large class of indices for which M n has a comosite rimitive divisor (that is, for which M n has more than one rimitive divisor). As an examle of his results, he roved that M 4k has a comosite rimitive divisor for all odd k > 5. Other researchers have removed the constraint that a and b be integers in Zsigmondy s theorem. Let u and v denote conjugate quadratic integers; in other words, zeros of a monic irreducible olynomial with integer coefficients. The integer sequences C and D defined by C n (u, v) = (u n v n )/(u v) and D n (u, v) = u n + v n are both binary linear recurrence sequences. Bilu, Hanrot and Voutier [3] used owerful methods from Diohantine analysis to rove that both C n and D n have a rimitive divisor for any n > 30. The two striking asects of this result are the uniform nature of the bound and its small
3 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 3 numerical value. In articular, for any given sequence it is easy to check the first 30 terms for rimitive divisors, arriving at a comlete icture. For instance, the Fibonacci sequence A 1 = 1, A 2 = 1, A 3 = 2,... has A n = C n ( 1 2 (1 + 5), 1 2 (1 5) ), so a calculation reveals that A n does not have a rimitive divisor if and only if n = 1, 2, 6 or 12. The theory of linear recurrence sequences has a bilinear analogue. For examle, the Somos-4 sequence V = (V n ) satisfies the bilinear recurrence relation This sequence begins V n+4 V n = V n+3 V n+1 + Vn+2 2, for all n 1. 1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529,8209, , , ,... Remarkably, all the terms are integers even though calculating V n+4 a riori involves dividing by V n. This sequence was discovered by Michael Somos [17] and it is known to be associated to the arithmetic of ellitic curves. See [10, Sect and 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. Silverman [16] showed a qualitative analogue of Zsigmondy s result for ellitic curves which alies, in articular, to this sequence. An exlicit form of this result roved by Everest, McLaren and Ward [8] guarantees that from V 5 onwards, all terms have a rimitive divisor. 2. Polynomial Sequences Consider now the sequence P defined by P n = n 2 + β. Any integer sequence defined by a monic quadratic olynomial also satisfies a linear recurrence relation; P satisfies P n+3 = 3P n+2 3P n+1 + P n for all n 1. It has long been susected that for any fixed β with β not a square, the sequence P will contain infinitely many rime terms. No roof is known even for one value of β. It seems reasonable to ask the aarently simler question about the existence of rimitive divisors of terms. Clearly any rime term will itself be a rimitive divisor but do the comosite terms have rimitive divisors? Comutations suggest the following.
4 4 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD Conjecture 2.1. Suose f denotes a quadratic olynomial with integer coefficients, and let π f (N) denote the number of terms f(n) with n < N having a rimitive divisor in the sequence (f(n)). If the zeros of f are irrational then π f (N) c f N for some constant c f > 0 deending on f. In the next section we find a necessary and sufficient condition for a term to have a rimitive divisor. It is not clear why the terms of the sequence should fail, infinitely often, to roduce rimitive divisors. This will be roved in a subsequent section. Finally, an attemt will be made to quantify this failure, using heuristic arguments. To simlify the analysis, we will restrict our attention to quadratic olynomials of the form f(x) = x 2 + β. From now on P will denote the sequence defined by P n = n 2 + β. 3. Losided numbers Since we are mainly interested in asymtotic behaviour, assume from now on that n > β. The terms with n β are not guaranteed to fit the behaviour described below. Consider first a rime < n dividing P n. Then P n 0 (mod ), so P m 0 (mod ) for some m < simly by choosing m to be the residue of n (mod ). By assumtion, n so 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 which are greater than n. We can say more: We can guarantee a solution of P m 0 (mod ) for some m /2. Thus, to find rimitive divisors we have only to look amongst the rime divisors which are bigger than 2n. This turns out to characterize those values of P which do have a rimitive divisor. Definition 3.1. An integer k is losided if it has a rime factor q with q > 2 k. Thus any rime greater than 3 is losided; 22, 26, 34 are losided, while 24 and 28 are not. Proosition 3.2. For all n > β, the term P n has a rimitive divisor if and only if P n is losided. For all n > β, if P n has a rimitive divisor, then that rimitive divisor is unique. The requirement that n > β is necessary: if β is rime then P β has rimitive divisor β but is not losided. 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
5 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 5 has two rimitive divisors. The kind of results discussed here are asymtotic results, so this restriction is unimortant. Proof of Proosition 3.2. As shown above, a rime dividing P n is a rimitive divisor only if > 2n. Conversely, suose that is a rime dividing P n which 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 ), and in articular m + n < 2n. Thus a rime is a rimitive divisor of P n if and only if divides P n and > 2n. 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 losided: 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, so cannot be rimitive. Proosition 3.2 gives some insight into the arithmetic of the seqence P = (P n ) but does not say anything about how often rimitive divisors should occur. 4. Terms With and Terms Without Primitive Divisors Recalling that P n = n 2 + β, write N Q N = P n. n=1 Theorem 4.1. Denote by ω(q N ) the number of rime divisors of Q N. Given any constant C > 0, ω(q N ) < N CN for all sufficiently large N. There is a constant c > 0 such that N 2 cn < ω(q N) for all sufficiently large N.
6 6 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD Corollary 4.2. There are infinitely many terms of the sequence P which do not have a rimitive divisor. Asymtotically, at least one half of all terms of the sequence have a rimitive divisor. The roof of the corollary follows by the earlier remark that with finitely many excetions, a rimitive divisor is unique. It will become clear during the roof of Theorem 4.1 that a slightly stronger result is rovable with these methods, namely ω(q N ) < N N log for all sufficiently large N. (1) This refinement does not hel us directly, so we will not rove it here. Proof of Theorem 4.1. The roof uses little aart from well-known estimates for sums over rimes, which can be found in Aostol [1]. Aart from a finite number of rimes, any rime that divides n 2 +β has the roerty that β is a quadratic residue modulo. So 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. Given integers K > 1 and N > K, fix three subsets of R as follows: S T U = { R < N}; = { R Q N, N < < KN}; = { R Q N, KN < }. Note that all S divide Q N. Write s = S, t = T and u = U. We wish to bound above and below the exression s + t + u. Let A(x) = { R < x}. Dirichlet s Theorem on rimes in arithmetic rogression imlies that A(x) x 2 log x, so asymtotically. s = N ( ) N 2 + o (2)
7 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 7 Notice that log Q N = so by Stirling s Formula N log n 2 + β n=1 On the other hand, we may write N ( = 2 log n + O ( ) ) 1 n 2 n=1 ( ) N = 2 log n + O(1), n=1 log Q N = 2N 2N + O(1). (3) log Q N = Q N e log, (4) corresonding to the rime decomosition Q N = Q N e for ositive integers e. The sum on the right of (4) decomoses according to the definitions of S, T and U to give log Q N = S e log + T log + U log + O(N), (5) noting that e = 1 whenever > N. The term O(N) takes account of the finite number of rimes we excluded. Now for every S, e. Hence there is a constant c > 0 such that the right-hand side of (5) is bounded below by 2N log + t + u log(kn) cn. S By Aostol [1, Th. 7.3], S 2N 2N Hence there is a constant a > 0 such that S 2N log = N + O(N). (6) log > N an. Putting this together and using (3) gives 2N 2N + O(1) > N (a + c)n + t + u log(kn),
8 8 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD and hence an uer bound for u, u < N log(kn) t (a + c 2)N + log(kn) log(kn) which is bounded above by N + (a + c 2 log K)N + o(1), ( t 1 log K ) ( ) N + o. Using this and invoking (2) gives ( ) log K (a + c 3/2 log K)N s + t + u < N + t + Now so t A(KN) A(N) < s + t + u < N + ( ) KN N 2 log(kn) + o, (a + c 3/2 log K)N ( ) N + o. ( ) N + o. Given C, choose K so that a + c 3/2 log K < C, then for all sufficiently large N ω(q N ) = s + t + u + O(1) < N CN. Next we obtain a lower bound for s+t+u. For each S and k N, denote by ord (k) the index of the greatest ower of dividing k and ut B (N) = {n < N ord (n 2 + β) > 1}. Then e log = 2N log + ord (n 2 + β) log. S S S n B (N) For each S, β has two -adic square roots, and ord (n 2 +β) = 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 ( ) ord (n 2 N + β) r 2 log S n B (N) log = S < 2N S r 1 log ( 1) 2, r+1
9 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 9 which is O(N) since the last sum converges. Putting this together with (6) shows that there is a b > 0 such that e log < N + bn. S Together with (3) and (5), this gives a d > 0 such that N (2 + b + d)n < (t + u) log(n 2 + β), using N 2 + β, and therefore N 2 (2 + b + d)n 2 Invoking (2) again gives the lower bound ( N (1 + b + d)n N + o 2 2 ( ) N + o < t + u. ) < s + t + u. Finally, choosing any c with c > (1 + b + d)/2 gives the result. As an exercise, we suggest roving the stronger statement (1) using a similar argument. 5. 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 a roof. 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 Prime Number Theorem is the following statement: the robability a large integer N is rime is roughly 1/. What this means is that if an element of the set {1,...,N} is chosen at random using a fair N-sided die for each N, then the robability ρ N that it is rime satisfies ρ N 1 as N. This crude estimate
10 10 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD has been used several times to argue heuristically in favour of the lausibility 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, Sect. 2.5] argued along these lines that there ought to be only finitely many Fermat rimes. A Fermat rime is a rime number of the form F n = 2 2n + 1. Fermat demonstrated that F 1,...,F 4 are all rimes; Euler showed that F 5 is comosite using congruence arguments. Since then many Fermat numbers have been shown to be comosite and quite a few have been comletely factorized. 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 1 1 log F n 2 n log 2 < 1 for all N 1. log 2 n<n n<n Statements like this cannot be taken too literally 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 Mersenne rimes. The Prime Number Theorem can also be used to argue in suort of the Mersenne Prime Conjecture as follows. The exected number of Mersenne rimes M n with n < N is roughly 1 log(2 n 1) n<n if M n is no more or less likely to be a rime than a random number of similar size. This sum is roughly 1 1 log 2 n. n<n Since the Harmonic Series diverges, this suggests that there are infinitely many Mersenne rimes. More can be said: This is asymtotically / log 2 so we could ask if this suggests there are roughly that number of Mersenne rimes M n with n < N. This seems to be a dream too far. Nonetheless, Wagstaff [20], then Pomerance and Lenstra [14]
11 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 11 have sought to refine this heuristic argument to obtain an asymtotic estimate that does more closely match the available evidence. On the basis of these refined heuristics, they conjecture that the number of Mersenne rimes M n with n < N is asymtotically e γ, log 2 where γ is the Euler-Mascheroni constant. Caldwell s Prime Page [4] is an excellent online resource which gives more details about these arguments and the hunt for new Mersenne rimes Bilinear Recurrence Sequences. Consider now the Somos-4 sequence defined earlier. Amongst the early terms, several are rime. It seems natural to ask if there are infinitely many rime terms. Somos- 4 can be generalized to integer sequences S satisfying a relation S n+4 S n = es n+3 S n+1 + fs 2 n+2, where e and f are integral constants not both zero. Such sequences are often called Somos Sequences and Swart showed [18] how they are related to the arithmetic of ellitic curves. Note that some care is needed because, for examle, a binary linear recurrence sequence will always satisfy a bilinear recurrence relation of this kind: we will refer to a Somos sequence as non-degenerate 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. The kind of argument above using the Prime Number Theorem was adated in [7] and it suggests that a non-degenerate Somos sequence should contain only finitely many rime terms. To see why this is so, note that general results about heights on ellitic curves show that the growth rate of S n is quadratic-exonential. In other words n<n log S n cn 2, where c is a ositive constant. Thus the exected number of rime terms with n < N should be aroximately log S n c n π2 for all N. 2 6c n<n 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] and
12 12 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD the search for these roofs was motivated in art by the heuristic arguments. Interestingly, it is known that the constant c is uniformly bounded below. Thus the style of heuristic argument suggests that erhas the total number of rime terms is uniformly bounded above across all Somos sequences. Much calculation has failed to yield a Somos sequence with more than a dozen rime terms Quadratic olynomials. Suose β is an integer which is not the negative of a square. Again, the Prime Number Theorem redicts roughly 1 log(n 2 + β) n<n rime terms in the sequence (n 2 + β) with n < N if n 2 + β is neither more nor less likely to be rime than a random number of that size. The sum is asymtotically N/2 which suorts the belief that there are infinitely many rime terms in the sequence (n 2 +β). Comutation suggests that for fixed β there will be cn/ rime terms with n < N, where c = c(β) is a constant which deends uon β. To see that c should deend uon β is easy. For examle, one half of the terms in the sequence will be even, so the robability that such a term is rime is reduced. Bateman and Horn [2] gave a heuristic argument and numerical evidence to suggest that the number of rime values f(n) of an irreducible olynomial f with n < N that takes on infinitely many rime values should be CN/, where C = 1 deg(f) ( 1 1 ) 1 ( 1 w() where the roduct is taken over all rimes and w() denotes the number of solutions x (mod ) to the congruence f(x) 0 (mod ). We aim to suort Conjecture 2.1 by showing firstly that an asymtotic formula can be obtained for counting losided numbers. Theorem 5.1. Let π ı (N) denote the number of losided numbers less than or equal to N. Then π ı (N) N log 2 as N. Theorem 5.1 can be alied to give the following heuristic argument in suort of Conjecture 2.1. The robability that a large integer is losided is roughly log 2. Hence the exected number of losided values of n 2 + β with n < N is asymtotically N log 2. ),
13 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 13 Proof of Theorem 5.1. Write a losided number as m where is the largest rime factor, so that the losided condition is > 4m. To comute the number of losided numbers below N, note that the counting can be achieved by dividing the set into two arts. Let denote a variable rime. For < 2 N there are /4 losided integers m < N. For 2 N, each m < N is losided so there are N losided integers m. Hence the total number is <2 N N <N N. The first sum is O(N/ ) so it can be ignored asymtotically. The second sum differs from N 1 2 N <N by an amount which is O(N/ logn) by the Prime Number Theorem. To estimate this sum use Mertens Formula [1, Th. 4.12], 1 = log log x + A + o(1). <x Alying this gives [ N log + A log(log ] N + log 2) A + o(1) which is asymtotically N log 2. Comutational evidence suggests that the number of losided 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. In the next section we will give another kind of argument, still heuristic, yet closer to known arguments in analytic number theory. Towards the end, this argument resonates with the critical cancellation of the two log terms which occurred in the revious argument. 6. Another Heuristic Argument The style of argument in the roof of Theorem 4.1 is suggestive. In this section, we will adat it, taking great liberties with error terms, to give a more refined heuristic argument in suort of our main conjecture. For every odd R, there is an associated smallest ositive solution n < of the congruence 2 n2 β (mod ). We are going to use a statement about the distribution of the ratios n as varies in R. The study of the distribution of sequences of this tye goes back
14 14 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD a long way. Hooley [12] originally studied and roved a uniform distribution result for a general modulus (that is, where the rime is relaced by a natural number m). In [13] he gave more refined results, again for a general modulus. The first uniform distribution result for a rime modulus was given as recently as 1995 by Duke, Friedlander and Iwaniec [6], but only for β > 0. The general result was roved by Tóth [19] in 2000, and the next result is taken from his aer. Theorem 6.1. For every δ [0, 1/2], let A δ (x) = { R n/ < δ and < x}, where n is the smallest ositive solution n < of 2 n2 β (mod ). Then A δ (x) δx log x. Let B(N) = {n < N n 2 + β is losided} and let k > 1 be a real number. Recall that A(x) = { R < x}. For < 2N, there are A(2N) rimes in R and each has n < < N so each value of n is included. 2 For 2N < < 2kN, there are A 1/2k (2kN) A 1/2k (2N) rimes in R with n < 1. For each of these rimes, the corresonding n 2k has n < < N so it is included. We may nevertheless be missing some 2k rimes here, when 1 < n < 1 ; however, if n > 1 then n > N, so we 2 2k 2k k will only be missing rimes from terms with large n. Now we reeat this for 2kN < < 2k 2 N. We count A 1/2k 2(2k 2 N) A 1/2k 2(2kN) rimes in R for which n < < N. For the missing rimes, note 2k 2 again that if n > 1 then n > N. 2k 2 k Assuming that the rimes not counted do not occur very often (they can only come from terms with n > N ), we obtain the following estimate for k B(N): B(N) A(2N) + A 1/2k (2kN) A 1/2k (2N) +A 1/2k 2(2k 2 N) A 1/2k 2(2kN) +. (7) The right-hand side of (7) simlifies to an asymtotic estimate for ( ) ( ) k 1 1 N k log(2n) + 1 log(2kn) +.
15 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES 15 The sum of the first R terms of this gives ( ) k 1 R 1 N k log(2n) + r log k. r=0 This sum can be estimated by Euler summation to give ( ) k 1 R ( ) dt k 1 [ N k log(2n) + t log k =N ] R log(log(2n+ t log k) k log k 0 which is asymtotically ( k 1 N k log k 0 ) ( log + log ( 1 + R log k ) ) log. The two log log terms cancel just as before! Suose we were allowed to sum out to R with R ( / ) log k as N. This would give an asymtotic estimate of N log 2. k 1 k log k Now, letting k 1, so that we do not miss out any rimes in our counting, we get N log 2 as exected. However, there is a reason why we may not build such an assumtion into the argument. The estimate for A δ (x) is for a fixed δ. We have no justification for alying it when δ deends on x without a uniformity result which is not available. On the other hand, we may argue heuristically as above in the hoe that the error terms do actually behave well in ractice. References [1] T. M. Aostol, Introduction to analytic number theory, Sringer-Verlag, New York, 1976, Undergraduate Texts in Mathematics. MR 55 #7892 [2] P. T. Bateman and R. A. Horn, A heuristic asymtotic formula concerning the distribution of rime numbers, Math. Com. 16 (1962), MR 26 #6139 [3] Y. Bilu, G. Hanrot, and P. M. Voutier, Existence of rimitive divisors of Lucas and Lehmer numbers, J. Reine Angew. Math. 539 (2001), , With an aendix by M. Mignotte. MR 2002j:11027 [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), no. 4, MR 88h:11094 [6] W. Duke, J. B. Friedlander, and H. Iwaniec, Equidistribution of roots of a quadratic congruence to rime moduli, Ann. of Math. (2) 141 (1995), no. 2, MR 95k:11124 [7] M. Einsiedler, G. R. Everest, and T. Ward, Primes in ellitic divisibility sequences, LMS J. Comut. Math. 4 (2001), MR 2002e:11181 [8] G. Everest, G. McLaren, and T. Ward, Primitive divisors of ellitic divisibility sequences, arxiv:math.nt/ , 2004.
16 16 G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD [9] G. Everest, V. Miller, and N. Stehens, Primes generated by ellitic curves, Proc. Amer. Math. Soc. 132 (2004), no. 4, MR 2005a:11076 [10] 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, RI, MR 2004c:11015 [11] G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, fifth ed., The Clarendon Press Oxford University Press, New York, MR 81i:10002 [12] C. Hooley, On the distribution of the roots of olynomial congruences, Mathematika 11 (1964), MR 29 #1173 [13], On the greatest rime factor of a quadratic olynomial, Acta Math. 117 (1967), MR 34 #4225 [14] H. W. Lenstra, Jr., Primality testing, Mathematics and comuter science (Amsterdam, 1983), CWI Monogr., vol. 1, North-Holland, Amsterdam, 1986, MR 88b:11087 [15] A. Schinzel, On rimitive rime factors of a n b n, Proc. Cambridge Philos. Soc. 58 (1962), MR 26 #1280 [16] J. H. Silverman, Wieferich s criterion and the abc-conjecture, J. Number Theory 30 (1988), no. 2, MR 89m:11027 [17] M. Somos, Problem 1470, Crux Mathematicorum 15 (1989), 208. [18] C. Swart, Ellitic Curves and Related Sequences, PhD Thesis, University of London (2003). [19] Á. Tóth, Roots of quadratic congruences, Internat. Math. Res. Notices (2000), no. 14, MR 2001m:11159 [20] S. S. Wagstaff, Jr., Divisors of Mersenne numbers, Math. Com. 40 (1983), no. 161, MR 84j:10052 [21] G. W. Woltman, GIMPS, [22] K. Zsigmondy, Zur Theorie der Potenzreste, Monatsh. Math. 3 (1892), (GE) School of Mathematics, University of East Anglia, Norwich NR4 7TJ, UK address: g.everest@uea.ac.uk
CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationPractice Final Solutions
Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written
More informationSQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015
SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials.
More informationAlmost All Palindromes Are Composite
Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,
More informationMATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationPRIME NUMBERS YANKI LEKILI
PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers:,2,..., These are constructed using Peano axioms. We will not get into the hilosohical questions related to this and simly assume the
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationThe Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
The Fibonacci Quarterly 44006, no., 11-130. PRIMALITY TESTS FOR NUMBERS OF THE FORM k m ± 1 Zhi-Hong Sun eartment of Mathematics, Huaiyin Teachers College, Huaian, Jiangsu 3001, P.R. China E-mail: zhsun@hytc.edu.cn
More informationPractice Final Solutions
Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationarxiv: v1 [math.nt] 4 Nov 2015
Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationMath 261 Exam 2. November 7, The use of notes and books is NOT allowed.
Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationRESEARCH STATEMENT THOMAS WRIGHT
RESEARCH STATEMENT THOMAS WRIGHT My research interests lie in the field of number theory, articularly in Diohantine equations, rime gas, and ellitic curves. In my thesis, I examined adelic methods for
More information#A9 INTEGERS 12 (2012) PRIMITIVE PRIME DIVISORS IN ZERO ORBITS OF POLYNOMIALS
#A9 INTEGERS 12 (2012) PRIMITIVE PRIME DIVISORS IN ZERO ORBITS OF POLYNOMIALS Kevin Doerksen Department of Mathematics, Simon Fraser University, Burnaby, BC, Canada kdoerkse@gmail.com Anna Haensch Department
More informationDIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction
DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS INNA ZAKHAREVICH. Introduction It is a well-known fact that there are infinitely many rimes. However, it is less clear how the rimes are distributed
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationSome sophisticated congruences involving Fibonacci numbers
A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationMath 5330 Spring Notes Prime Numbers
Math 5330 Sring 208 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating
More informationUniversity of Bristol - Explore Bristol Research. Peer reviewed version. Link to published version (if available): 10.
Booker, A. R., & Pomerance, C. (07). Squarefree smooth numbers and Euclidean rime generators. Proceedings of the American Mathematical Society, 45(), 5035-504. htts://doi.org/0.090/roc/3576 Peer reviewed
More informationOn the smallest point on a diagonal quartic threefold
On the smallest oint on a diagonal quartic threefold Andreas-Stehan Elsenhans and Jörg Jahnel Abstract For the family x = a y +a 2 z +a 3 v + w,,, > 0, of diagonal quartic threefolds, we study the behaviour
More information#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.
#A6 INTEGERS 15A (015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I Katalin Gyarmati 1 Deartment of Algebra and Number Theory, Eötvös Loránd University and MTA-ELTE Geometric and Algebraic Combinatorics
More informationON THE SET a x + b g x (mod p) 1 Introduction
PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result
More informationLARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS
LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationarxiv:math/ v2 [math.nt] 21 Oct 2004
SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu
More informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationMATH 361: NUMBER THEORY THIRD LECTURE
MATH 36: NUMBER THEORY THIRD LECTURE. Introduction The toic of this lecture is arithmetic functions and Dirichlet series. By way of introduction, consider Euclid s roof that there exist infinitely many
More informationDistribution of Matrices with Restricted Entries over Finite Fields
Distribution of Matrices with Restricted Entries over Finite Fields Omran Ahmadi Deartment of Electrical and Comuter Engineering University of Toronto, Toronto, ON M5S 3G4, Canada oahmadid@comm.utoronto.ca
More informationA FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE
International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), 77-86 A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationTHE DIOPHANTINE EQUATION x 4 +1=Dy 2
MATHEMATICS OF COMPUTATION Volume 66, Number 9, July 997, Pages 347 35 S 005-57897)0085-X THE DIOPHANTINE EQUATION x 4 +=Dy J. H. E. COHN Abstract. An effective method is derived for solving the equation
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationApplicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS
Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi
More informationVerifying Two Conjectures on Generalized Elite Primes
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 12 (2009), Article 09.4.7 Verifying Two Conjectures on Generalized Elite Primes Xiaoqin Li 1 Mathematics Deartment Anhui Normal University Wuhu 241000,
More informationChapter 3. Number Theory. Part of G12ALN. Contents
Chater 3 Number Theory Part of G12ALN Contents 0 Review of basic concets and theorems The contents of this first section well zeroth section, really is mostly reetition of material from last year. Notations:
More informationNUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:
NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two oerations defined on them, addition and multilication,
More informationMATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,
MATH 50: THE DISTRIBUTION OF PRIMES ROBERT J. LEMKE OLIVER For s R, define the function ζs) by. Euler s work on rimes ζs) = which converges if s > and diverges if s. In fact, though we will not exloit
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
More informationON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES
C O L L O Q U I U M M A T H E M A T I C U M VOL. * 0* NO. * ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES BY YOUNESS LAMZOURI, M. TIP PHAOVIBUL and ALEXANDRU ZAHARESCU
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationAliquot sums of Fibonacci numbers
Aliquot sums of Fibonacci numbers Florian Luca Instituto de Matemáticas Universidad Nacional Autónoma de Méico C.P. 58089, Morelia, Michoacán, Méico fluca@matmor.unam.m Pantelimon Stănică Naval Postgraduate
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationRAMANUJAN-NAGELL CUBICS
RAMANUJAN-NAGELL CUBICS MARK BAUER AND MICHAEL A. BENNETT ABSTRACT. A well-nown result of Beuers [3] on the generalized Ramanujan-Nagell equation has, at its heart, a lower bound on the quantity x 2 2
More informationMA3H1 Topics in Number Theory. Samir Siksek
MA3H1 Toics in Number Theory Samir Siksek Samir Siksek, Mathematics Institute, University of Warwick, Coventry, CV4 7AL, United Kingdom E-mail address: samir.siksek@gmail.com Contents Chater 0. Prologue
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More information01. Simplest example phenomena
(March, 20) 0. Simlest examle henomena Paul Garrett garrett@math.umn.edu htt://www.math.umn.edu/ garrett/ There are three tyes of objects in lay: rimitive/rimordial (integers, rimes, lattice oints,...)
More informationSUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS
SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS YOTAM SMILANSKY Abstract. In this work we show that based on a conjecture for the air correlation of integers reresentable as sums
More information#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC
#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania lkjone@ship.edu Received: 9/17/10, Revised:
More informationJonathan Sondow 209 West 97th Street, New York, New York
#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan
More informationJARED DUKER LICHTMAN AND CARL POMERANCE
THE ERDŐS CONJECTURE FOR PRIMITIVE SETS JARED DUKER LICHTMAN AND CARL POMERANCE Abstract. A subset of the integers larger than is rimitive if no member divides another. Erdős roved in 935 that the sum
More information192 VOLUME 55, NUMBER 5
ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert
More informationTHE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4
THE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4 PAUL POLLACK Abstract For all rimes 5, there is a rime quadratic nonresidue q < with q 3 (mod 4 For all rimes 3, there is a rime
More informationarxiv: v2 [math.ho] 24 Nov 2014
arxiv:88.48v2 [math.ho] 24 Nov 24 There are infinitely many rime numbers in all arithmetic rogressions with first term and difference corime. (By Mr. Lejeune-Dirichlet) [Read to the Academy of Sciences
More informationNumbers and functions. Introduction to Vojta s analogy
Numbers and functions. Introduction to Vojta s analogy Seminar talk by A. Eremenko, November 23, 1999, Purdue University. Absolute values. Let k be a field. An absolute value v is a function k R, x x v
More informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationDIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions
DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS ANG LI Abstract. Dirichlet s theorem states that if q and l are two relatively rime ositive integers, there are infinitely many rimes of the
More informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationAnalysis of some entrance probabilities for killed birth-death processes
Analysis of some entrance robabilities for killed birth-death rocesses Master s Thesis O.J.G. van der Velde Suervisor: Dr. F.M. Sieksma July 5, 207 Mathematical Institute, Leiden University Contents Introduction
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More informationTalent s error. of Geometry". He was active in Alexandria during the reign. of Ptolemy I ( BC). His Elements is one of the most influential
Talent s error 1. Introduce Euclid was a Gree mathematician, often referred to as the "Father of Geometry". He was active in Alexandria during the reign of Ptolemy I (323 283 BC). His Elements is one of
More informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationPrime-like sequences leading to the construction of normal numbers
Prime-like sequences leading to the construction of normal numbers Jean-Marie De Koninck 1 and Imre Kátai 2 Abstract Given an integer q 2, a q-normal number is an irrational number η such that any reassigned
More informationOn Erdős and Sárközy s sequences with Property P
Monatsh Math 017 18:565 575 DOI 10.1007/s00605-016-0995-9 On Erdős and Sárközy s sequences with Proerty P Christian Elsholtz 1 Stefan Planitzer 1 Received: 7 November 015 / Acceted: 7 October 016 / Published
More informationSOME SUMS OVER IRREDUCIBLE POLYNOMIALS
SOME SUMS OVER IRREDUCIBLE POLYNOMIALS DAVID E SPEYER Abstract We rove a number of conjectures due to Dinesh Thakur concerning sums of the form P hp ) where the sum is over monic irreducible olynomials
More informationThe Euler Phi Function
The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the
More information