arxiv: v4 [math.gm] 5 Aug 2016

Transcription

1 Generalized Fibonacci Primitive Roots N. A. Carella Abstract: This note generalizes the Fibonacci primitive roots to the set of integers. An asymptotic formula for counting the number of integers with such primitive root is introduced here. Mathematics Subject Classifications: Primary B39, Secondary A07, B50. Keywords: Primitive root; Fibonacci primitive root; Costas array. arxiv: v4 [math.gm] 5 Aug 206 Introduction Let p 5 be a prime. A primitive root r ±,s 2 modulo p is a Fibonacci primitive root if r 2 r + mod p. Several basic properties of Fibonacci primitive roots were introduced in [38]. A few other plausible generalizations are available in the literature. Fibonacci primitive roots have applications in finite field calculations, and other area of discrete mathematics, [4], [44]. The complete statement appears in Theorem 8. The subset of primes with Fibonacci primitive roots is defined by P F = { p P : ord p r = ϕp and r 2 r + mod p } P. The asymptotic formula for the counting function has the form P F = # { p : ord p r = ϕp and r 2 r + mod p } 2 conditional on the generalized Riemann hypothesis, was established in [25], and [39]. This note introduces a generalization to the subset of integers N F = { n N : ord n r = λn and r 2 r + mod n } N, 3 and provides the corresponding asymptotic counting function N F = # { n : ord n r = λn and r 2 r + mod n }. 4 Theorem. Assume the generalized Riemann hypothesis. Then, are infinitely many composite integers n which have Fibonacci primitive roots. Moreover, the number of such integers n has the asymptotic formula N F = e γ F γα F Γα F +o log α F p A p 2, 5 where A = {p P : ord p r = p, ord p 2r pp or r 2 r + mod p 2 }, and α F = is a constant.

2 Generalized Fibonacci Primitive Roots 2 The constant α F = 27/38 p 2 /pp is the average density of the densities of the primes in the residue classes mod 20 that have Fibonacci primitive roots, confer [38] for the calculations. Sections 2 to 7 provide some essential background and the required basic results. The proof of Theorem is settled in Section 8. And Section 9 has a result for the harmonic sum constrained by Fibonacci primitive roots. 2 Some Arithmetic Functions The Euler totient function counts the number of relatively prime integers ϕn = #{k : gcdk, n = }. This counting function is compactly epressed by the analytic formula ϕn = n p n /p,n N. Lemma 2. Fermat-Euler If a Z is an integer such that gcda,n =, then a ϕn mod n. The Carmichael function is basically a refinement of the Euler totient function to the finite ring Z/nZ. Given an integer n = p v pv 2 2 pvt t, the Carmichael function is defined by λn = lcmλp v,λpv 2 2 λpvt t = p v, 6 p v λn where the symbol p v n,ν 0, denotes the maimal prime power divisor of n, and λp v = { ϕp v if p 3 or v 2, 2 v 2 if p = 2 and v 3. 7 The two functions coincide, that is, ϕn = λn if n = 2,4,p m, or 2p m,m. And ϕ2 m = 2λ2 m. In a few other cases, there are some simple relationships between ϕn and λn. In fact, it seamlessly improves the Fermat-Euler Theorem: The improvement provides the least eponent λn ϕn such that a λn mod n. Lemma 3. [5, p. 233] i For any given integer n N the congruence a λn mod n is satisfied by every integer a relatively prime to n, that is gcda,n =. ii In every congruence λn mod n, a solution u eists which is a primitive root mod n, and for any such solution u, there are ϕλn primitive roots congruent to powers of u. Proof: i The number λn is a multiple of every λp v such that p v n. Ergo, for any relatively prime integer a 2, the system of congruences a λn mod p v, aλn mod p v 2 2,..., aλn mod p vt t, 8 where t = ωn is the number of prime divisors in n, is valid. An integer u Z is called a primitive root mod n if min{m N : u m mod n} = λn.

3 Generalized Fibonacci Primitive Roots 3 3 Characteristic Function For Fibonacci Primitive Roots The symbol ord p ku denotes the order of an element r Z / p k Z in the multiplicative group of the integers modulo p k. The order satisfies the divisibility condition ord p kr λn, and primitive roots have maimal orders ord p kr = λn. The basic properties of primitive root are eplicated in [2], [35], et cetera. The characteristic function f : N {0,} of a fied primitive root r in the finite ring Z / p k Z, the integers modulo p k, is determined here. Lemma 4. Let p k,k, beaprimepower, andletr Zbe an integersuch thatgcd r,p k =. Then i The characteristic f function of the primitive root r mod p k is given by f p k 0 if p 3,k, = if ord p kr = p k p and r 2 r + mod p k, for any p 5,k, 0 if ord p kr p k p, and p 5,k 2. 9 ii The function f is multiplicative, but not completely multiplicative since iii fpq = fpfq, gcdp,q =, iv f p 2 fpfp, if ord p 2r pp. Proof: The congruences 2 0 mod 2 and 2 0 mod 3 have no roots, so f 2 k = 0 and f 3 k = 0 for all k. Moreover, for primes p 5andk, function has the value f p k = if and only if the element r Z / p k Z is a Fibonacci primitive root modulo p k. Otherwise, it vanishes: f p k = 0. The completely multiplicative property fails for p = 5. Specifically, 0 = f 5 2 f5f5 =. Observe that the conditions ord p r = p and ord p 2r pp imply that the integer r ±,s 2 cannot be etended to a primitive root mod p k,k 2. But that the condition ord p 2r = pp implies that the integer r can be etended to a primitive root mod p k,k 2. 4 Wirsing Formula This formula provides decompositions of some summatory multiplicative functions as products over the primes supports of the functions. This technique works well with certain multiplicative functions, which have supports on subsets of primes numbers of nonzero densities. Lemma 5. [47, p. 7] Suppose that f : N C is a multiplicative function with the following properties. i fn 0 for all integers n N. ii f p k c k for all integers k N, and c < 2 constant. iii p fp = τ +o/log, where τ > 0 is a constant as. Then

4 Generalized Fibonacci Primitive Roots 4 fn = n e γτ Γτ +o log p + fp + f p p p 2 The gamma function appearing in the above formula is defined by Γs = 0 t s e st dt,s C. The intricate proof of Wirsing formula appears in [47]. It is also assembled in various papers, such as [9], [33, p. 95], and discussed in [30, p. 70], [43, p. 308]. Various applications are provided in [27], [32], [48], et alii. 5 Harmonic Sums And Products Over Fibonacci Primes The subset of primes P F = {p P : ordr = ϕpandr 2 r + mod p} P consists of all the primes with Fibonacci primitive roots r Z. By Theorem 8, it has nonzero density α F = δp F > 0. The real number α F > 0 is a rational multiple of the well known Artin constant, see [38], and [25] for the derivation. The proof of the net result is based on standard analytic number theory methods in the literature, refer to [32, Lemma 4]. Lemma 6. Assume the generalized Riemann hypothesis, and let be a large number. Then, there eists a pair of constants β F > 0, and γ u > 0 such that i ii p = α F loglog+β F +O loglog log 2 logp loglog p = α F log γ F +O log 2 Proof: i Let π F = #{p : ordr = ϕp and r 2 r + mod p} be the counting measure of the corresponding subset of primes P F. To estimate the asymptotic order of the prime harmonic sum, use the Stieltjes integral representation: p =.. t dπ Ft = π F +c + π u t t 2 dt, where > 0 is a constant. By the GRH, π F = α F π = α F /log+o loglog/log 2, see Theorem 8. This yields t dπ α F loglog Ft = log +O log 2 +c 0 loglogt +α F tlogt +O tlog 2 dt 2 t loglog = α F loglog loglog +c 0 +O log 2, where β F = loglog +c 0 is a generalized Mertens constant. The statement ii follows

5 Generalized Fibonacci Primitive Roots 5 from statement i and partial summation. A generalized Mertens constant β F and a generalized Euler constant γ F have other equivalent definitions such as β F = lim p α uloglog and β u = γ u p P F, k 2 kpk, 3 respectively. These constants satisfy β F = β α F and γ F = γα F. If the density α F =, these definitions reduce to the usual Euler constant and the Mertens constant, which are defined by the limits γ = lim p logp p log and β = lim p p loglog, 4 or some other equivalent definitions, respectively. Moreover, the linear independence relation in 3 becomes β = γ p 2 k 2 kp k, see [8, Theorem 427]. A numerical eperiment utilizing a small subset of primes with Fibonacci primitive roots gives the followings approimate values: i α F = 27 = , 38 pp ii β F iii γ F p 2 p 30,p P F p α F loglog = , and p 30,p P F logp p α F log = Lemma 7. Assume the generalized Riemann hypothesis, and let be a large number. Then, there eists a pair of constants γ F > 0 and ν F > 0 such that i ii iii p = e γ F log α F +O loglog log 2. + = e γ F p 2 log αf +O p log 2 p P F logp = e ν F γ F α F α F loglog +O p log 2. Proof: i Epress the logarithm of the product as log loglog. = p kp = k p +, k, k 2 kpk. 5 Apply Lemma 6 and relation 3 to complete the verification. For ii and iii, use similar methods as in the first one.

6 Generalized Fibonacci Primitive Roots 6 The constant ν F > 0 is defined by the double power series an approimate numerical value for p = 30 is shown: ν 2 = p P F, k 2 k logp k p 6 Density Correction Factor The subsets ofprimesp F = {p P : ordr = p and r 2 = r +}hasanimportantpartition as a disjoint union P F = A B, where i A = { p P : ordr = p, ord p kr p k p, or r 2 r + mod p 2} and ii B = { p P : ordr = p,ord p kr = p k p, and r 2 r + mod p 2}. This partition has a role in the determination of the density of the subset of integers N F = {n N : ordr = λn and r 2 r + mod n}withfibonacciprimitiverootsr Z. Thefinite prime product occurring intheproofoftheorem splitsinto two finiteproductsover these subsets of primes. These are used to reformulate an equivalent epression suitable for this analysis: P = = = p k, ord pr=p, ord p 2r pp or r 2 r+mod p 2 p k, ord pr=p, ord p 2r pp or r 2 r+mod p 2 = p A p,p A p 2 p 2 + p p 2 p k, ord p 2r=pp and r 2 r+mod p 2 p k, ord p 2r=pp and r 2 r+mod p 2 p p p p 7 p +O log, where the convergent partial product is replaced with the approimation p = p +O p,p A p A The product p A p 2 reduces the density to compensate for those primes for which the Fibonacii primitive root r mod p that cannot be etended to a Fibonacci primitive root r mod p 2. This seems to be a density correction factor similar to case for primitive roots over the prime numbers. The correction required for certain densities of primes with respect to fied primitive roots over the primes was discovered by the Lehmers, see [4].

7 Generalized Fibonacci Primitive Roots 7 7 The Proof Of The Theorem The algebraic constraint r 2 = r + restricts the Fibonacci primitive roots r modulo a prime p 5 to the algebraic integers ± 5 / 2 in the finite field F p. This in turns forces the corresponding primes to the residue classes p ± mod 0, the analysis appears in [38]. A conditional proof for the conjecture of Shank was achieved in [25] and [39]. Theorem 8. [25] If the etended Riemann hypothesis hold for the Dedekind zeta function over Galois fields of the type Q d r, n, where n is a squarefree integer, and d n. Then, the density of primes which have Fibonacci primitive roots is α F = 27/38 p 2 /pp, and the number of such primes is P F = α F log +O loglog log 2 as. 9 Proof of Theorem : By Theorem 8, the density α F = δp F > 0 of the subset of primes P F is nonzero. Put τ = α F in Wirsing formula, Lemma 6, and replace the characteristic function fn of Fibonacci primitive roots in the finite ring Z / p k Z,k, see Lemma 4, to produce fn = n = e γτ Γτ +o log p e γα F ΓαF +o log p k, ord p 2r=pp and r 2 r+mod p 2 + fp + f p2 + p p 2 p k, ord pr=p, ord p 2r pp or r 2 r+mod p 2 + p + p p 20 Note: In terms of the subsets A and B, see Section 6, the characteristic function fn of Fibonacci primitive roots has the simpler description f p k { if p A, and k =, = and f p k { if p B, = 2 0 if p A, and k 2, 0 otherwise. Replacing the equivalent product, see 7 in Section 6, and using Lemma 7, yield fn = n = e γα F ΓαF +o log = p 2 p A e γ F γα F Γα F +o p log α F 2 p A p where α F > 0 is a constant, and γ F is a generalized Euler constant, see Lemma 6 for detail. The constant α F = 27/38 p 2 /pp = is the average density of the densities of the primes in the residue classes mod 20 that have Fibonacci primitive roots, confer [38] for the calculations. 22

8 Generalized Fibonacci Primitive Roots 8 8 Harmonic Sum For Fibonacci Primitive Roots ThefirstfewprimesinthesubsetofprimesP F = {p : ordr = ϕp and r 2 r+ mod p}, which have Fibonacci primitive roots, are P F = {5,,9,3,4,59,6,7,79,09,3,49,79,9,239,24,25,269,27,3, 359,379,389,409,49,43,439,449,479,49,499,569,57,599,60,63,64,659, 70,79,739,75,82,839,929,97,09,039,05,09,29,7,8, 20,259,30,...}. 23 The subset of primes P F P of density α F = δp F > 0 generates a subset of composite integers N F = {n N : ordr = λn and r 2 r + mod n}, which have Fibonacci primitive roots. The first few are listed as N F = {5,,9,3,4,55,59,6,7,79,5 9,09, 2,5 9,49,5 3,...}. 24 The first such composite number n = 55 has two Fibonacci primitive roots r = 8 and 48 of order ordr = λ55 = 20. Let and let N F = { n N : ordr = λn and r 2 r + mod n }, 25 N F = # { n : ordr = λn and r 2 r + mod n } 26 be the corresponding discrete counting measure. This was determined in Theorem. The subset N F R is a proper subset R = {n N : p n p P F }. This subset of integers, which contains all the primes powers, is generated by the subset of primes P F = {p P : ordr = λp and r 2 r + mod p}. Since there are some primitive root r mod p which arenot primitive rootmodulo prime powers p m,m 2, the subset R is slightly larger than the subset N F. For eample, r = 3 is a Fibonacci primitive root mod p = 5, but 3 + 5k k mod 5 2 for k F p. Thus it cannot be etended to a Fibonacci primitive root modulo 5 m,m 2. More precisely, the prime powers 5 m R,m, but 5 m / N F,m 2. An asymptotic formula for the harmonic sum over the subset of integers N F is determined here. Lemma 9. Let be a large number, let α F = δp F > 0 be the density of the subset of primes P F, and let N F N be a subset of integers generated by P F. Then n = κ Flog α F +γ F +O. 27 log α F n,n N F The number α F = is a generalized Artin constant, and γ F > 0 is a generalized Euler constant, see 3 for the definition. The other constant is κ F = eγ F γα F p, 28 α F Γα F 2 p A where the inde of the product ranges over the subset primes A, see Section 6.

9 Generalized Fibonacci Primitive Roots 9 Proof: Use the discrete counting measure N F = α F κ F +olog αf, Theorem, to write the finite sum as an integral, and evaluate it: n = n,n N t dn Ft = N Ft N F t dt, 29 t t 2 F + where > 0 is a constant. Continuing the evaluation yields t dn 2t = α Fκ F +o α F κ F +o +c log α 0 + dt 30 F tlogt α F = κ F log α F +γ F +O, log α F where c 0 is a constant. Moreover, γ F = lim n κ F log α F n,n N F is a second definition of this constant. = c 0 + α F κ F +o tlogt α F dt 3 The integral lower limit = 4 appears to be correct one since the subset of integers is N 2 = {5,,...}. The Fibonacci primitive root problem is a special case of a more general problem that investigates the eistence of infinitely many primes such that the polynomial congruence fn 0 mod p has primitive root solutions. The algebraic and analytic analysis for these more general polynomials are epected to be interesting. 9 Problems Problem 8. Let A = {p P : ordr = p,ordr pp or r 2 r + mod p 2 }. Determine whether or not the subset of primes A = { 5,... } is finite. There is an algebraic characterization, see 6. Sketch of the proof: Use a r 2 r + mod p, b < r < p to show that r +mp 2 r +mp+mod p 2,m F p has no solutions for all primes p > 5. Problem 8.2 Let ϕn/λn be the inde of the finite group Z/nZ, and suppose it contains a Fibonacci primitive root. Eplain which maimal subgroup G Z / p k Z of cardinality #G = λn contains the Fibonacci primitive root. Some theoretical/numerical data is available in [7]. Problem 8.3 Show that the constants satisfy the equation γ F γα F = 0, confer equation 3. Problem 8.4 Determine the least primitive fibonacci root modulo n. Problem 8.5 Show that Ls,χ F = n χ Fn/n s is analytic on the half palne Res >, and has a pole at s =. Here the character is defined by χ F n = if n is a fibonacci integer, else it vanishes.

10 Generalized Fibonacci Primitive Roots 0 Problem 8.6 Show that the logarithm derivative L s,χ F /Ls,χ F 2 = n Λ Fn/n s is analytic on the half palne Res >, and has a pole at s =. Here the prime characteristic function is defined by Λ F n = logn if n is a fibonacci prime, else it vanishes. Problem 8.7 Generalize the analysis for Fibonacci primitive root solutions of the quadratic equation 2 0 mod n for infinitely many integers n to the eistence of primitive root solutions for a general quadratic equation a 2 + b + c 0 mod n for infinitely many integers n. References [] Ambrose, Christopher. Artin primitive root conjecture and a problem of Rohrlich. Math. Proc. Cambridge Philos. Soc , no., [2] Apostol, Tom M. Introduction to analytic number theory. Undergraduate Tets in Mathematics. Springer-Verlag, New York-Heidelberg, 976. [3] Balog, Antal; Cojocaru, Alina-Carmen; David, Chantal. Average twin prime conjecture for elliptic curves. Amer. J. Math. 33,20, no. 5, [4] Roger C. Baker, Paul Pollack, Bounded gaps between primes with a given primitive root, II, arxiv: [5] Carmichael, R. D.; On Euler s ϕ-function. Bull. Amer. Math. Soc , no. 5, [6] Cristian Cobeli, On a Problem of Mordell with Primitive Roots, arxiv: [7] Peter J. Cameron and D. A. Preece, Notes on primitive lambda-roots, pjc/csgnotes/lambda.pdf. [8] Cobeli, Cristian; Zaharescu, Aleandru. On the distribution of primitive roots mod p. Acta Arith. 83, 998, no. 2, [9] Joseph Cohen, Primitive roots in quadratic fields, II, Journal of Number Theory [0] H. Davenport, On Primitive Roots in Finite Fields, Quarterly J. Math. 937, [] Rainer Dietmann, Christian Elsholtz, Igor E. Shparlinski, On Gaps Between Primitive Roots in the Hamming Metric, arxiv: [2] Paul Erdos, Harold N. Shapiro, On The Least Primitive Root Of A Prime, 957, euclidproject.org. [3] Adam Tyler Feli, Variations on Artin Primitive Root Conjecture, PhD Thesis, Queen University, Canada, August 20. [4] S. W. Golomb, Algebraic constructions for Costas arrays, Journal of Combinatorial Theory A, vol. 37, no., pp. 3 2, 984. [5] Goldfeld, Morris. Artin conjecture on the average. Mathematika 5, 968,

11 Generalized Fibonacci Primitive Roots [6] Gupta, Rajiv; Murty, M. Ram. A remark on Artin s conjecture. Invent. Math , no., [7] D. R. Heath-Brown, Artins conjecture for primitive roots, Quart. J. Math. Oford Ser. 2 37, No. 45, 27-38, 986. [8] Hardy, G. H.; Wright, E. M. An introduction to the theory of numbers. Sith edition. Revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles. Oford University Press, [9] Hildebrand, Adolf. Quantitative mean value theorems for nonnegative multiplicative functions. II. Acta Arith , no. 3, [20] C. Hooley, On Artins conjecture, J. Reine Angew. Math. 225, , 967. [2] Li, Shuguang; Pomerance, Carl. On generalizing Artin s conjecture on primitive roots to composite moduli. J. Reine Angew. Math , [22] Iwaniec, Henryk; Kowalski, Emmanuel. Analytic number theory. AMS Colloquium Publications, 53. American Mathematical Society, Providence, RI, [23] Konyagin, Sergei V.; Shparlinski, Igor E. On the consecutive powers of a primitive root: gaps and eponential sums. Mathematika , no., -20. [24] H. W. Lenstra Jr, P. Moree, P. Stevenhagen, Character sums for primitive root densities, arxiv: [25] Lenstra, H. W., Jr. On Artin conjecture and Euclid algorithm in global fields. Invent. Math. 42, 977, [26] Lidl, Rudolf; Niederreiter, Harald. Finite fields. With a foreword by P. M. Cohn. Second edition. Encyclopedia of Mathematics and its Applications, 20. Cambridge University Press, Cambridge, 997. [27] Moree, Pieter. Counting numbers in multiplicative sets: Landau versus Ramanujan. Math. Newsl. 2 20, no. 3, [28] Pieter Moree. Artin s primitive root conjecture -a survey. arxiv:math/ [29] Moree, P. Artin prime producing quadratics. Abh. Math. Sem. Univ. Hamburg , [30] Montgomery, Hugh L.; Vaughan, Robert C. Multiplicative number theory. I. Classical theory. Cambridge University Press, Cambridge, [3] Narkiewicz, W. The development of prime number theory. From Euclid to Hardy and Littlewood. Springer Monographs in Mathematics. Springer-Verlag, Berlin, [32] Pappalardi, Francesco; Saidak, Filip; Shparlinski, Igor E. Square-free values of the Carmichael function. J. Number Theory , no., [33] A. G. Postnikov, Introduction to analytic number theory, Translations of Mathematical Monographs, vol. 68, American Mathematical Society, Providence, RI, 988. [34] Roskam, Hans. Artin primitive root conjecture for quadratic fields. J. Theory Nombres Bordeau, 4, 2002, no.,

12 Generalized Fibonacci Primitive Roots 2 [35] Rose, H. E. A course in number theory. Second edition. Oford Science Publications. The Clarendon Press, Oford University Press, New York, 994. [36] Ribenboim, Paulo, The new book of prime number records, Berlin, New York: Springer- Verlag, 996. [37] Shanks, Daniel;Taylor, Larry. An observation on Fibonacci primitive roots. Fibonacci Quart., 973, no. 2, [38] Shanks, Daniel Fibonacci primitive roots. Fibonacci Quart. 0, 972, no. 2, 63-68, 8. [39] Sander, J. W. On Fibonacci primitive roots. Fibonacci Quart. 28, 990, no., [40] Stevenhagen, Peter. The correction factor in Artin s primitive root conjecture. Les XXII emes Journees Arithmetiques Lille, 200. J. Theor. Nombres Bordeau , no., [4] Stevenhagen, Peter. The correction factor in Artin s primitive root conjecture. Les XXII emes Journees Arithmetiques Lille, 200. J. Theor. Nombres Bordeau , no., [42] Stephens, P. J. An average result for Artin conjecture. Mathematika 6, 969, [43] G. Tenenbaum, Introduction to analytic and probabilistic number theory, Cambridge Studies in Advanced Mathematics 46, Cambridge University Press, Cambridge, 995. [44] Tim Trudgian, Qiang Wang, The $T {4}$ and $G {4}$ constructions of Costas arrays, arxiv: [45] Vaughan, R. C. Some applications of Montgomery s sieve. J. Number Theory 5 973, [46] Winterhof, Arne. Character sums, primitive elements, and powers in finite fields. J. Number Theory 9, 200, no., [47] E. Wirsing, Das asymptotische Verhalten von Summen uber multiplikative Funktionen, Math. Ann [48] Williams, Kenneth S. Note on integers representable by binary quadratic forms. Canad. Math. Bull , no.,