arxiv: v2 [math.nt] 31 Jul 2015

Size: px

Start display at page:

Download "arxiv: v2 [math.nt] 31 Jul 2015"

Damon Stone
5 years ago
Views:

1 TABLE OF DIRICHLET L-SERIES AND PRIME ZETA MODULO FUNCTIONS FOR SMALL MODULI arxiv: v2 [math.nt] 31 Jul 2015 RICHARD J. MATHAR Abstract. The Dirichlet characters of reduced residue systems modulo m are tabulated for moduli m 195. The associated L-series are tabulated for m 14 and small positive integer argument s accurate to 10 50, their first derivatives for m 6. Restricted summation over primes only defines Dirichlet Prime L-functions which lead to Euler products (Prime Zeta Modulo functions). Both are materialized over similar ranges of moduli and arguments. Formulas and numerical techniques are well known; the aim is to provide direct access to reference values. 1. Introduction 1.1. Scope. Dirichlet L-series are a standard modification of the Riemann series of the ζ-function with the intent to distribute the sum over classes of a modulo system. Section 1 enumerates the group representations; a first use of this classification is a table of L-series and some of their first derivatives at small integer arguments in Section 2. In the same spirit as L-series generalize the ζ-series, multiplying the terms of the Prime Zeta Function by the characters imprints a periodic texture on these, which can be synthesized (in the Fourier sense) to distil the Prime Zeta Modulo Functions. Section 3 recalls numerical techniques and tabulates these for small moduli and small integer arguments. If some of the Euler products that arisein growthrate estimators ofnumber densities are to be factorized over the residue classes of the primes, taking logarithms proposes to use the Prime Zeta Modulo Function as a basis. The fundamental numerical examples are worked out in Section Dirichlet Characters. The Dirichlet charactersχ r (n) (mod m) are shown in Table 1 21 for small modulus m. The purpose of rolling out such basic information is that it tags each representation with a unique r for use in all tables further down. Each table shows one character per line, lines enumerated by representation r, 1 r ϕ(m), where ϕ is Euler s totient function. The principal character χ 1 is the top line. The residues from 1 to m are indicated in the header row. The entries are either zero or roots of unity. As a shortcut to the notation, (1) u j e 2πij/ϕ(m) ; ū j e 2πij/ϕ(m), denote a root of unity and its complex conjugation. The conductor f (smallest induced modulus) is another column; it also indicates whether the character is Date: May 29, Mathematics Subject Classification. Primary 11M06, 11R42. Key words and phrases. Dirichlet Character, L-series, Prime Zeta Modulo function, Euler Product. 1

2 2 RICHARD J. MATHAR Table 1. χ r (n), m = 2, ϕ(m) = 1. r 1 2 f A Table 2. χ r (n), m = 3, ϕ(m) = 2. r f A A Table 3. χ r (n), m = 4, ϕ(m) = 2. r f A A Table 4. χ r (n), m = 5, ϕ(m) = 4. r f A i i A i i (im)primitive. Six-digit sequence numbers to matching periodic sequences in the Online Encyclopedia of Integer Sequences (OEIS) are included [31]. The cases m 7 have been tabulated by Apostol [6], some of the real characters by Davies and Haselgrove [10], all up to m = 10 by Zucker and McPhedran [36]. The calculations are based on standard algorithms: m is decomposed into its prime number factorization, the character table of each factor is constructed and these representations are multiplied following the group property (multiplication rule) for each pair of representations, looping over all products of representations [6, 32, 37]. The number of real characters m > 2 is given by the terms of the OEIS sequence [31, A060594]. The number of quartic chacters for which each element is real or purely imaginary is [31, A073103].

3 TABLE DIRICHLET L-SERIES AND PRIME ZETA MODULO FUNCTIONS 3 Table 5. χ r (n), m = 6, ϕ(m) = 2. r f A A Table 6. χ r (n), m = 7, ϕ(m) = 6. r f A u 2 u 1 ū 2 ū ū 2 u 2 u 2 ū A u 2 ū 2 ū 2 u ū 2 ū 1 u 2 u Table 7. χ r (n), m = 8, ϕ(m) = 4. r f A A A Table 8. χ r (n), m = 9, ϕ(m) = 6. r f A u 1 0 u 2 ū 1 0 ū u 2 0 ū 2 ū 2 0 u A ū 2 0 u 2 u 2 0 ū ū 1 0 ū 2 u 1 0 u Tables 3 21 are complemented to moduli m 195 in the ancillary file anc/chi.txt. Each line of the file shows a single number χ r(n) in the following format: first m, then r, then n, then the absolute value χ r(n) which is either zero or one, a colon, and finally the argument of χ r(n) = e iπω represented by the fraction ω. Because χ r(n) is completely multiplicative as a function of n and also periodic in n, the file enlists only terms of prime values n; the others may be obtained by prime factorization of n. Remark 1. Because the χ r(n) are completely multiplicative, the sequences of Dirichlet inverses are (2) χ ( 1) r (n) = χ r(n)µ(n), where µ is the Möbius function. 2. Dirichlet L-functions 2.1. Symmetries. The L-series are defined via the character table [30, 5, 8].

4 4 RICHARD J. MATHAR Table 9. χ r (n), m = 10, ϕ(m) = 4. r f i i i i Table 10. χ r (n), m = 11, ϕ(m) = 10. r f A u 1 ū 2 u 2 u 4 ū 1 ū 3 u 3 ū u 2 ū 4 u 4 ū 2 ū 2 u 4 ū 4 u u 3 u 4 ū 4 u 2 ū 3 u 1 ū 1 ū u 4 u 2 ū 2 ū 4 ū 4 ū 2 u 2 u A ū 4 ū 2 u 2 u 4 u 4 u 2 ū 2 ū ū 3 ū 4 u 4 ū 2 u 3 ū 1 u 1 u ū 2 u 4 ū 4 u 2 u 2 ū 4 u 4 ū ū 1 u 2 ū 2 ū 4 u 1 u 3 ū 3 u Table 11. χ r (n), m = 12, ϕ(m) = 4. r f A A A Table 12. χ r (n), m = 13, ϕ(m) = 12. r f u 1 u 4 u 2 i u 5 ū 1 i ū 4 ū 2 ū u 2 ū 4 u 4-1 ū 2 ū 2-1 u 4 ū 4 u i 1-1 i i i i 1-1 i u 4 u 4 ū 4 1 ū 4 ū 4 1 ū 4 u 4 u u 5 ū 4 ū 2 i u 1 ū 5 i u 4 u 2 ū A ū 5 u 4 u 2 i ū 1 u 5 i ū 4 ū 2 u ū 4 ū 4 u 4 1 u 4 u 4 1 u 4 ū 4 ū i 1-1 i i i i 1-1 i ū 2 u 4 ū 4-1 u 2 u 2-1 ū 4 u 4 ū ū 1 ū 4 ū 2 i ū 5 u 1 i u 4 u 2 u

5 TABLE DIRICHLET L-SERIES AND PRIME ZETA MODULO FUNCTIONS 5 Table 13. χ r (n), m = 14, ϕ(m) = 6. r f u 1 0 ū u 2 0 ū u 2 0 ū ū 2 0 u ū 2 0 u u 2 0 ū ū 1 0 u ū 2 0 u Table 14. χ r (n), m = 15, ϕ(m) = 8. r f i i i i i i i i i i i i i i i i Table 15. χ r (n), m = 16, ϕ(m) = 8. r f i 0 i i 0 i i 0 i i 0 i i 0 i i 0 i i 0 i i 0 i Definition 1. (Dirichlet L-functions) χ(n) (3) L(s,χ) = = 1 n s 1 χ(p)p = 1 s m s p n=1 m χ(n)ζ(s, n/m), where ζ(.,.) is the Hurwitz zeta-function [34, 2] and the product extends over all primes p. Remark 2. The Dirichlet inverse collects inverse powers of square-free n rephrasing (2): 1 (4) L(s,χ) = [1 χ(p)p s µ(n)χ(n) ] =. n s p n=1 We provide an explicit table in Section 2.2, where the first column is the modulus m, the second column the representation r as in chapter 1.2, the third column s, and the final columns real and imaginary part of L(s,χ r). Cases where the values are complex conjugates of earlier values have been replaced by fillers. This happens whenever χ r(n) = χ r (n) for all n. n=1

6 6 RICHARD J. MATHAR Table 16. χ r (n), m = 17, ϕ(m) = 16. r f ū 2 u 1 i u 5 ū 1 ū 5 ū 6 u 2 u 3 u 7 ū 3 i ū 7 u i u 2-1 ū 6 ū 2 u 6 i i u 6 ū 2 ū 6-1 u 2 i ū 6 u 3 i ū 1 ū 3 u 1 ū 2 u 6 ū 7 u 5 u 7 i ū 5 u i 1 i i i -1-1 i i i 1 i u 6 u 5 i ū 7 ū 5 u 7 u 2 ū 6 ū 1 u 3 u 1 i ū 3 ū i u 6-1 ū 2 ū 6 u 2 i i u 2 ū 6 ū 2-1 u 6 i u 2 u 7 i u 3 ū 7 ū 3 u 6 ū 2 u 5 u 1 ū 5 i ū 1 ū ū 2 ū 7 i ū 3 u 7 u 3 ū 6 u 2 ū 5 ū 1 u 5 i u 1 u i ū 6-1 u 2 u 6 ū 2 i i ū 2 u 6 u 2-1 ū 6 i ū 6 ū 5 i u 7 u 5 ū 7 ū 2 u 6 u 1 ū 3 ū 1 i u 3 u i 1 i i i -1-1 i i i 1 i u 6 ū 3 i u 1 u 3 ū 1 u 2 ū 6 u 7 ū 5 ū 7 i u 5 ū i ū 2-1 u 6 u 2 ū 6 i i ū 6 u 2 u 6-1 ū 2 i u 2 ū 1 i ū 5 u 1 u 5 u 6 ū 2 ū 3 ū 7 u 3 i u 7 ū Table 17. χ r (n), m = 18, ϕ(m) = 6. r f ū 1 0 ū u 1 0 u ū 2 0 u u 2 0 ū u 2 0 ū ū 2 0 u u 1 0 u ū 1 0 ū Another symmetry stems from [6] (5) L(s,χ) = L(s,ψ) p m ( 1 ψ(p) ), p s where d is an induced modulus, and ψ(n) the character modulo d identified by (6) χ(n) = ψ(n)χ 1(n). Example 1. Examples are related to conductors f < m in the tables of Section 1.2: L(s,χ 1) at m = 4 equals L(s,χ 1) at m = 2, relating Tables 3 and 1. L(s,χ 2) at m = 6 equals (1+2 s )L(s,χ 2) at m = 3, relating Tables 5 and 2. L(s,χ 1) at m = 8 equals L(s,χ 1) at m = 2 and L(s,χ 3) at m = 8 equals L(s,χ 2) at m = 4, relating Tables 7, 3 and 1. L(s,χ 1) at m = 9 equals L(s,χ 1) at m = 3 and L(s,χ 4) at m = 9 equals L(s,χ 2) at m = 3, relating Tables 8 and 2. L(s,χ 2) at m = 10 equals (1 i/2 s )L(s,χ 2) at m = 5, relating Tables 9 and Table. The list of L(s,χ r) starts as follows: m r s Re(L) Im(L)

7 TABLE DIRICHLET L-SERIES AND PRIME ZETA MODULO FUNCTIONS 7 Table 18. χ r (n), m = 19, ϕ(m) = 18. r f u 1 ū 5 u 2 ū 2 ū 4 u 6 u 3 u 8 ū 1 ū 6 ū 3 u 5 u 7 ū 7 u 4 ū u 2 u 8 u 4 ū 4 ū 8 ū 6 u 6 ū 2 ū 2 u 6 ū 6 ū 8 ū 4 u 4 u 8 u u 3 u 3 u 6 ū 6 u u 6 ū ū 3 u 3 ū 3 ū 6 ū u 4 ū 2 u 8 ū 8 u 2 u 6 ū 6 ū 4 ū 4 ū 6 u 6 u 2 ū 8 u 8 ū 2 u u 5 ū 7 ū 8 u 8 ū 2 ū 6 ū 3 u 4 ū 5 u 6 u 3 u 7 ū 1 u 1 u 2 ū u 6 u 6 ū 6 u 6 ū ū 6 ū ū 6 u 6 ū 6 u 6 u u 7 u 1 ū 4 u 4 u 8 u 6 u 3 u 2 ū 7 ū 6 ū 3 ū 1 ū 5 u 5 ū 8 ū u 8 ū 4 ū 2 u 2 u 4 ū 6 u 6 ū 8 ū 8 u 6 ū 6 u 4 u 2 ū 2 ū 4 u ū 8 u 4 u 2 ū 2 ū 4 u 6 ū 6 u 8 u 8 ū 6 u 6 ū 4 ū 2 u 2 u 4 ū ū 7 ū 1 u 4 ū 4 ū 8 ū 6 ū 3 ū 2 u 7 u 6 u 3 u 1 u 5 ū 5 u 8 u ū 6 ū 6 u 6 ū 6 u u 6 u u 6 ū 6 u 6 ū 6 ū ū 5 u 7 u 8 ū 8 u 2 u 6 u 3 ū 4 u 5 ū 6 ū 3 ū 7 u 1 ū 1 ū 2 u ū 4 u 2 ū 8 u 8 ū 2 ū 6 u 6 u 4 u 4 u 6 ū 6 ū 2 u 8 ū 8 u 2 ū ū 3 ū 3 ū 6 u 6 ū ū 6 u u 3 ū 3 u 3 u 6 u ū 2 ū 8 ū 4 u 4 u 8 u 6 ū 6 u 2 u 2 ū 6 u 6 u 8 u 4 ū 4 ū 8 ū ū 1 u 5 ū 2 u 2 u 4 ū 6 ū 3 ū 8 u 1 u 6 u 3 ū 5 ū 7 u 7 ū 4 u Table 19. χ r (n), m = 20, ϕ(m) = 8. r f i i i i i i i i i i i i i i i i Table 20. χ r (n), m = 21, ϕ(m) = 12. r f u 4 0 ū 4 ū u 2 ū u 4 u 2 0 ū ū 4 0 u 4 ū u 4 u ū 4 u 4 0 ū u 4 0 ū 4 u ū 4 ū u 4 ū 4 0 u ū 4 0 u 4 u ū 2 u ū 4 ū 2 0 u ū 2 0 ū 4 u u 2 u u 4 ū 4 0 ū u 2 0 u 4 u u 4 ū ū 4 ū 2 0 ū ū 2 0 ū 4 ū ū 4 u u 4 u 2 0 u u 2 0 u 4 ū ū 2 ū ū 4 u 4 0 u

8 8 RICHARD J. MATHAR Table 21. χ r (n), m = 22, ϕ(m) = 10. r f ū 2 0 u 4 0 ū 3 0 ū u 1 0 u 2 0 ū 1 0 u ū 4 0 ū 2 0 u 4 0 u u 2 0 u 4 0 ū 2 0 ū u 4 0 u 2 0 u 1 0 ū u 3 0 ū 4 0 ū 3 0 ū u 2 0 ū 4 0 ū 2 0 u u 4 0 ū 2 0 ū 4 0 u ū 2 0 u 4 0 u 2 0 ū ū 4 0 u 2 0 u 4 0 ū ū 4 0 ū 2 0 ū 1 0 u ū 3 0 u 4 0 u 3 0 u u 4 0 u 2 0 ū 4 0 ū ū 2 0 ū 4 0 u 2 0 u u 2 0 ū 4 0 u 3 0 u ū 1 0 ū 2 0 u 1 0 ū * same block as m=2, r=1 above

9 TABLE DIRICHLET L-SERIES AND PRIME ZETA MODULO FUNCTIONS * complex conjugate of block m=5, r=2 above

10 10 RICHARD J. MATHAR * complex conjugate of block m=7, r=3 above 7 6 * complex conjugate of block m=7, r=2 above 8 1 * same block as m=2, r=1 above * same block as m=4, r=2 above * same block as m=3, r=1 above * same block as m=3, r=2 above 9 5 * complex conjugate of block m=9, r=3 above 9 6 * complex conjugate of block m=9, r=2 above

11 TABLE DIRICHLET L-SERIES AND PRIME ZETA MODULO FUNCTIONS * complex conjugate of block m=10, r=2 above

12 12 RICHARD J. MATHAR 11 7 * complex conjugate of block m=11, r=5 above 11 8 * complex conjugate of block m=11, r=4 above 11 9 * complex conjugate of block m=11, r=3 above * complex conjugate of block m=11, r=2 above 12 1 * same block as m=6, r=1 above * same block as m=6, r=2 above

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler