Evidence for the Riemann Hypothesis

Evidence for the Riemann Hypothesis Léo Agélas September 0, 014 Abstract Riemann Hypothesis (that all non-trivial zeros of the zeta function have real part one-half) is arguably the most important unsolved problem in contemporary mathematics due to its deep relation to the fundamental building blocks of the integers, the primes. The proof of the Riemann hypothesis will immediately verify a slew of dependent theorems ([4], []). In this paper, we give another evidence in favour of Riemann Hypothesis using a probabilistic approach. Keywords Riemann hypothesis; complex function; analytic function. 1 Introduction Riemann Hypothesis has defied proof so far, and very complicated and advanced abstract mathematics is often brought to bear on it. Does it need abstract mathematics, or just a flash of elementary inspiration. The Riemann zeta function, defined ([3] p. 807) by the series, ζ(s) = n=1 1, s C, (1) ns is analytic in Re(s) > 1 (see [4]). The basic connection between complex analysis and prime numbers is the following beautiful identity of Euler (see [4],[4],[5],[]): ζ(s) = p P ( 1 1 p s ) 1, Re(s) > 1, () where P = {, 3, 5, 7, 11, 13,...} is the set of prime positive integers p. Equation () is used to shown that ([4]), ζ(s) 0 in Re(s) > 1. (3) Riemann proved (see [3], [10]), that ζ(s) has an analytic continuation to the whole complex plane except for a simple pole at s = 1. Moreover, he showed that ζ(s) satisfies the functional equation (see [5],[10],[4]), ζ(s) = s π s 1 sin( πs )Γ(1 s)ζ(1 s), (4) where Γ(s) is the complex gamma function. From (4), it can be deduced that, 1. ζ(s) is nonzero in Re(s) < 0, except for the real zeros { m} m N, Department of Mathematics, IFPEN, 1 & 4 avenue Bois Préau, 985 Rueil-Malmaison Cedex, France (leo.agelas@ifpen.fr) 1

. { m} m N are the only real zeros of ζ(s), 3. ζ(s) possesses infinitely many non real zeros in the strip 0 Re(s) 1, (the so-called) critical strip for ζ(s) From (4), it also follows that ζ(s) has no zeros on Re(s) = 0, whence, ζ(s) possesses infinitely many non real zeros in 0 < Re(s) < 1. (5) It is interesting to mention that, ζ(s) has infinitely many non real zero in Re(s) = 1 (Hardy [7]), ζ(s) has at least 1 3 of its zeros on Re(s) = 1 (Levinson [19]). It also follows from (4) that if ζ(s) = 0 where s is non real then, {s, 1 s, 1 s} are also zeros of ζ. In 1859, B. Riemann formulated the following conjecture, Conjecture 1.1 (Riemann Hypothesis). All non real zeros of ζ(s) lies exactly on Re(s) = 1. We know that the zeta function was introduced as an analytic tool for studying prime numbers and some of the most important applications of the zeta functions belong to prime number theory. It was shown (see [5] p. 45), independently in 1896 by Hadamard and de la Vallée-Poussin, that ζ(s) has no zeros on Re(s) = 1, which provided the first proof of the Prime Number Theorem : π(x) x log x (x + ), (6) where π(x) = { number of primes p for which p x} (where x > 0). The key point in both of their proofs was that ζ(s) 0 for any s = 1 + i t, i.e., along the line with σ = 1. Their proof comes with an explicit error estimate: they showed in fact (see for example Theorem 6.9 in [0]), ( π(x) = li(x) + O uniformly for x. Here li(x) is the logarithmic integral, li(x) = x x exp(c log x) dt log t. ), (7) Furthermore, the error estimate in (7) might be improved, indeed there exists an equivalence between the error term in the Prime Number Theorem and the real part of the zeros of ζ(s) which states as follow, π(x) = li(x) + O ( x θ+ǫ), (8) is equivalent to ζ(s) 0 for Re(s) > θ, 1 θ < 1 (see Theorem 1.3 [15]). Moreover, Von Koch proved that the Riemann hypothesis is equivalent to the best possible bound for the error of the Prime Number Theorem (see [17]), namely Riemann hypothesis is equivalent to, π(x) = li(x) + O ( xlog(x) ). (9) In this paper, we give an evidence in favour of Riemann Hypothesis using probabilistic arguments.

Riemann Hypothesis Let us introduce the Mobius function µ defined for all positive integers by 1 if n = 1, µ(n) = ( 1) r if n is the product of r distinct primes, 0 if n is divisible by the square of a prime. (10) The Mobius function has generating functions n=1 µ(n) n s = 1 ζ(s), for Re(s) > 1 (see [] p. 9, see also [1] p.130, [9] p. 45-49, [18], [6]). It is known (see, for example, Titchmarsh [[5], p. 370]) that a necessary and sufficient condition for the truth of the Riemann hypothesis is that where M(x) = n x µ(n) for x 1. M(x) = O(x 1 +ǫ ), for all ǫ > 0, (11) As it was mentionned in [8] and [1], the condition M(x) = 0(x 1 +ǫ ) would be true if the Mobius sequence {µ(n)} were a random sequence, taking the values 1, 0, and 1, with specified probabilities, those of 1 and 1 being equal. Our proof follows this line, one argument in favour of this probabilistic approach is that the Mobius sequence {µ(n)} satisfies what we call the strong law of large numbers in probability theory, namely (see for example [0], p. 18), lim n µ(k) k=1 n Let us precise our approach. If A is a set of positive integers, we denote by A N the number of its elements among the first N integers. If the limit = 0. A N lim N N = Prob(A), exists, it is called the probability of a positive integer to be in A. For any a N, we introduce the set of positive integers divisible by a, E a = {n N, a n}. Let us show that Prob(E a ) = 1 a. Indeed, for any N N, let E N = {n N, a n and n N}, we have [ ] N card(e N ) = and therefore, we get N a a 1 < card(e N) N which yields to, a 1 a 1 N card(e N) 1 N a. card(e N ) Then, we deduce that lim = 1 N N a which give us Prob(E a) = 1, this reveals that the probability a that a positive integer to be divisible by a is 1 a. For p and q two distinct primes, let us show that the events of being divisible by p and q are independent. For this, we consider the set E p,q = {n N, p n and q n}. We notice that for any n E p,q, we have p n, q n and since p, q are two distinct primes, then (p, q) = 1, therefore we infer that pq n which implies that 3

n E pq, this means that E p,q E pq. Moreover, for any n E pq, we have pq n which implies p n and q n and thus n E p,q, hence we deduce that E pq E p,q. Therefore, we get E p,q = E pq, Then we deduce that, Prob(E p,q ) = Prob(E pq ) = 1 pq = Prob(E p )Prob(E q ), which reveals that the events of being divisible by p and q are independent. This holds, of course, for any number of distinct primes. For any integer n > 1, if the distinct prime factors of n are p 1,..., p r, and if p i occurs as a factor a i times, then thanks to the fundamental theorem of arithmetic (see for example Theorem 1.10 in []), we get the unique representation of n as products of powers of its prime divisors, namely, n = r i=1 p ai i. (1) Then, by introducing α p (n) the power with which the prime p appears in the (unique) representation of n as a product of powers of its prime divisors, we get, n = p p αp(n). (13) The product p is understood as the product over the infinite set of prime numbers ranked in ascending order, notice also that α p (n) can be equal to zero. A positive integer n is a square-free number if and only if in the prime factorization of n, (13), no prime number occurs more than once, another way of stating the same is that µ(n) 0. Then, by introducing the function n ρ p (n) defined on N as follows, ρ p (n) = { 1, p n 0, p n, (14) we infer that if n is a square-free number, the unique representation of n is, n = p p ρp(n). (15) We define ν(n) p ρ p (n), the number of prime divisors. Since the events of being divisible by any number of distinct primes are independent, then thanks to (15), we deduce that the functions ρ p {0, 1} are independent, this suggests that, in some sense, the distribution of values of ν(n) may be given by a ν(n) log log n normal law. Indeed, the Erdõs-Kac Theorem states that the probability distribution of log log n is the standard normal distribution { N(0, 1) (see Theorem} 7.1 in [0], [11],[16]), more precisely, for any a < b, by setting E a,b = n N ν(n) log log n ; a b, we have, log log n Prob(E a,b ) = 1 b e y / dy. π { } Moreover, by setting E g = n N ; ν(n) log log n g n where g n is a sequence approaching infinity: log log n lim g n =, we have (see [16], [11]), a Prob(E g ) = 1. 4

This reveals that for larger value of n that ν(n) behaves like a Gaussian random variable and is approximatively equal to log log n, we notice that for any n square-free number that µ(n) = ( 1) ν(n), then among the square free numbers, successive evaluations of µ(n) = ±1 may be independent and µ(n) behaves like a random variable, and therefore among the square-free numbers each evaluation of µ(n) may behave like an party of coin tossing. { } From (15), we notice that the set of square-free numbers, F, can be written as F = p βp, β p {0, 1}. Then, the set F is in bijection with the set of infinite binary sequences {0, 1}. This bijection reveals again the independence between square-free numbers. The set {0, 1} can be seen as a coin tossing where 0 and 1 means respectively Tails and Heads. Thus, a square-free number can be seen as an endless party of coin tossing. Therefore, the event a square-free number have an even number of prime factors matches with the event we get an even number of Heads after an endless party of coin tossing. Let us calculate the probability that a square-free number may have an even number of prime factors. Let N > 1, the probability, p N, to get an even number of Heads after a party of N coin tosses is given by ( ) N k k N,k N p N = N. (16) Furthermore, we have (see [1], p. 36), k N,k N ( N k ) = N 1. (17) Then, from (16), we deduce p N = 1. Therefore, for any N > 1, the probability to get an even number of Heads after a party of N coin tosses is 1. Then, we infer that the probability to get an even number p of Heads after an endless party of coin tossing is 1 which implies that the probability that a square-free number may have an even number of prime factors is 1. Therefore, we deduce that the probability that a square-free number may have an odd number of prime factors is also 1. For any n square-free number, n has an even number of prime factors if and only if µ(n) = 1 and n has an odd number of prime factors if and only if µ(n) = 1. Therefore, we deduce that for n square-free number, the probability that µ(n) = 1 is equal to 1 and the probability that µ(n) = 1 is also equal to 1. Thanks to the Kolmogorov s law of iterated logarithm which holds also for p random sequences (see [6]) and states that for any random walk, {S n } with the increment of zero mean and finite variance, σ, the following holds almost surely (see [13]): lim sup lim inf S n = 1, (18) σ n log log n S n = 1. (19) σ n log log n Therefore, if we can apply Kolmogorov s law of iterated logarithm to {M n } which behaves like a random walk, with the increment of zero mean and variance of one, we will obtain, lim sup M(n) n loglog n = 1, (0) 5

M(n) lim inf = 1. (1) n loglog n We observe for all x 1, M(x) = M([x]) and from (0), (1), we will obtain, lim sup x lim inf x M(x) xloglog x = 1, () M(x) xlog log x = 1. (3) Then, thanks to () and (3), we infer that (11) holds and therefore Riemann Hypothesis will be proved. References [1] G. E. Andrews : Number Theory, Saunders, (1971). [] T. M. Apostol : Introduction to Analytic Number Theory, Undergraduate Texts in Mathematics, Springer-Verlag, (1976). [3] M. Abramowitz and I.A. Stegun : Handbook of Mathematical Functions, Dover, (1964). [4] P. Borwien, S. Choi, B. Rooney, and A. Weirathmueller : The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, Springer, (008). [5] J. B. Conrey, The Riemann Hypothesis, Notices of the American Mathematical Society, Vol. 50, pp 341-353, (003). [6] H. Davenport : Multiplicative Number Theory, nd edition, revised by H. Montgomery, Graduate Texts in Mathematics, Vol. 74, Springer-Verlag, New York, (1980). [7] G. H. Hardy : Sur les zéros de la fonction ζ(s) de Riemann, C. R. Acad. Sci. Paris 158, 101-1014, (1914). [8] Denjoy, A. : L Hypothèse de Riemann sur la distribution des zéros de ζ(s), reliée à la théorie des probabilités, Comptes Rendus Acad. Sci. Paris 19, 656-658, (1931). [9] J. Derbyshire : Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. New York: Penguin, pp. 45-50, (004). [10] H.M. Edwards : Riemann s zeta function Acad. Press. New York. (1974). [11] Erdõs, P. and Kac, M.: The Gaussian Law of Errors in the Theory of Additive Number Theoretic Functions, American Journal of Mathematics 6, (1940). [1] Good, I. J.; Churchhouse, R. F.: The Riemann hypothesis and pseudorandom features of the Möbius sequence, Math. Comp., 857-861, (1968). [13] Hartman, P., Wintner, A.: On the law of the iterated logarithm, Amer. J. Math., 63, p. 169-176, (1941). [14] Hardy, G. H. and Wright, E. M. : An Introduction to the Theory of Numbers. 5th ed. Oxford, England: Clarendon Press, pp. 45-47 and 55, (1979). [15] Ivić, A. : The Riemann zeta function. John Wiley, New York (1985). [16] Kac, M.: Statistical Independence in Probability, Analysis and Number Theory. John Wiley and Sons, Inc, (1959). 6

[17] Koch, H. von. : Sur la distribution des nombres premiers. Acta Math. 4, 159-18, (1901). [18] A. A. Karatsuba and S. M. Voronin : The Riemann zeta-function, Berlin - New York De Gruyter (199). [19] N. Levinson : More than one third of the zeros of Riemann s zeta-function are on σ = 1, Adv. Math. 13, 383-436, (1974). [0] H. L. Montgomery and R. C. Vaughan : Multiplicative Number Theory I: Classical Theory, Cambridge University Press (006). [1] T. Nagell : Introduction to Number Theory. New York: Wiley, p. 7, (1951). [] K. Sabbagh, The Riemann Hypothesis: The Greatest Unsolved Problem in Mathematics, Farrar, Straus, and Giroux, (00). [3] B. Riemann : Über die Anzahl der Prinzahlen unter einer gegebener Gröse. Mo-nastsber. Akad. Berlin, 671-680, (1859). [4] E. M. Stein and R. Shakarchi, Complex Analysis, Princeton Lectures in Analysis II, Princeton University Press, Princeton and Oxford, (003). [5] E. C. Titchmarsh : The Theory of the Riemann Zeta-function, nd edition (revised by D. R. Heath- Brown), Oxford University Press, Oxford, (1986). [6] Wang, Y. : Resource bounded randomness and computational complexity, Theoretical Computer Science 37, 33-55, (000). 7