Noname manuscript No. (will be inserted by the editor) A lower bound for the modulus of the Dirichlet eta function on partition P from 2-D principal component analysis Yuri Heymann Received: date / Accepted: date Abstract The present manuscript aims to derive an expression for the lower bound of the modulus of the Dirichlet eta function on vertical lines ℜ s α. An approach based on a two-dimensional principal component analysisp match-q“ ing the dimensionality of the complex plane, which is built on a parametric ellipsoidal shape, has been undertaken to achieve this result. This lower bound, C ℜ P ?2 which is expressed as s s.t. s s , η s 1 2α , where η is the Dirichlet eta function,@ P has implicationsp q P p forq | thep q| Riemann ě | ´ hypothes| is as η s 0 for any such s P, where P is a partition spanning one half of the critical| p q| ą strip, on either sidesP of the critical line ℜ s 1 2 depending upon a variable, which regions are complementary by mirrorp q“ symmetry{ with respect to ℜ s 1 2. p q“ { Keywords Dirichlet eta function, PCA, Analytic continuation 1 Introduction The Dirichlet eta function is an alternating series related to the Riemann zeta function of interest in the field of number theory for the study of the distribu- tion of primes [12]. Both series are tied together on a two-by-two relationship 1 s expressed as η s 1 2 ´ ζ s where s is a complex number. The loca- tion of the non-trivialp q “ zeros´ of thep Riemannq zeta function in the critical strip ℜ s 0, 1 is key in` the prime-number˘ theory. For example, the Riemann-von Mangoldtp qPs explicitr formula, as an asymptotic expansion of the prime-counting function, involves a sum over the non-trivial zeros of the Riemann zeta function [10]. The Riemann hypothesis, which scope is the domain of existence of the zeros in the critical strip, has implications for the accurate estimate of the error arXiv:2002.04395v21 [math.GM] 1 Sep 2021 involved in the prime-number theorem and a variety of conjectures such as the Yuri Heymann E-mail: [email protected] Address in der Schweiz: 3 rue Chandieu, 1202 Geneva, Switzerland 2 Yuri Heymann Lindel¨of hypothesis [2], conjectures about short intervals containing primes [9], Montgomery’s pair correlation conjecture [8], the inverse spectral problem for fractal strings [5], etc. Moreover, variants of the Riemann hypothesis falling under the generalized Riemann hypothesis in the study of modular L-functions [11] are core for many fundamental results in number theory and related fields such as the theory of computational complexity. For instance, the asymptotic behavior of the number of primes less than x described in the prime-number theorem, π x x , provides a smooth transition of time complexity as x p q „ ln x approaches infinity.p Asq such, the time complexity of the prime-counting func- tion using the x ln x approximation is of order O M n log n , where n is the number of digits{p ofq x and M n is the time complexityp p q forq multiplying two n-digit numbers. This figure isp basedq on the time complexity to compute the natural logarithm with the arithmetic-geometric mean approach where n represents the number of digits of precision. The below definitions are provided on a informal basis as a supplement to standard definitions when referring to reals, complex numbers and holomor- phic functions. A complex number is the composite of a real and imaginary number, forming a 2-D surface, where the pure imaginary axis is represented by the letter i such that i2 1. The neutral element and index i form a basis spanning some sort of vector“ ´ space. The Dirichlet eta function is a holo- morphic function having for domain a subset of the complex plane where reals are positive denoted C`, which arguments are sent to codomain in C. As an holomorphic function it is characterized by its modulus, a variable having for support an axial vertex orthonormal to the complex plane. The conformal way to describe space in geometrical terms is the orthogonal system, consisting of eight windows delimited by the axes of the Cartesian coordinates, resulting from the union of the three even surfaces of Euclidean space. A Hilbert space as an extension of the former, is a multidimensional space which in current context of some functions in L2 space referring to squared- integrable functions, is comprised of periodic functions expressing components or basis elements of space, further equipped of an inner product defining a norm and angles between such functions. The well-known Riemann hypothesis as the eighth problem David Hilbert presented at the International Congress of Mathematicians in Paris in 1900 [4], has strong relation with such Hilbertian spaces, as unveiled in the remaining of the manuscript. As a reminder, the definition of the Riemann zeta function and its analytic continuation to the critical strip are displayed below. The Riemann zeta func- tion is commonly expressed as follows: 8 1 ζ s , (1) ns p q“ n 1 ÿ“ where s is a complex number and ℜ s 1 by convergence in the above expression. p q ą Title Suppressed Due to Excessive Length 3 The standard approach for the analytic continuation of the Riemann zeta function to the critical strip ℜ s 0, 1 is performed with the multiplication p 2qPs r of ζ s with the function 1 2s , leading to the Dirichlet eta function. By definition,p q we have: ´ ` ˘ n 1 2 8 1 ` η s 1 ζ s p´ q , (2) p q“ ´ 2s p q“ ns ˆ ˙ n 1 ÿ“ where ℜ s 0 and η is the Dirichlet eta function. By continuity as s ap- proachesp one,q ąη 1 ln 2 . p q“ p q 2 ℜ The function 1 2s has an infinity of zeros on the line s 1 given by 2kπi ´ Z 2 α 1 iβ ln 2p q “ α iβ ln 2 sk 1 ln 2 where k ˚. As 1 2s 2 2 ´ e 1 2 e , “ ` ` 2 ˘ P ´ “ ˆ ´ { the factor 1 s has no poles nor zeros in the critical strip ℜ s 0, 1 . As 2 ` ˘ ` ˘ such, the Dirichlet´ eta function can be used as a proxy of thep RiemanqPs nr zeta function for` zero finding˘ in the critical strip ℜ s 0, 1 . p qPs r From the above, the Dirichlet eta function is expressed as: n 1 iβ ln n 8 1 ` e´ p q η s p´ q , (3) nα p q“ n 1 ÿ“ where s α iβ is a complex number, α and β are real numbers. “ ` 1 1 1 We have s α α . We then multiply both n “ n exp βi ln n “ n cos β ln n i sin β ln n the numerator and denominatorp q p byp cos βq`ln n p iqqsin β ln n . After several 1 n`1 cospβ ln np qqi sin ´β ln np p qq simplifications, η s n8 1 p´ q r p nα q´ p qs . p q“ “ In the remaining of theř manuscript, the Riemann zeta function is referring to its formal definition and analytic continuation by congruence. 2 Mathematicals 2.1 Elementary propositions no. 1 5 „ Proposition 1 Given z1 and z2 two complex numbers, we have: z1 z2 z1 z2 , (4) ` ě | | ´ | | ˇ ˇ ˇ ˇ where z denotes the modulusˇ of theˇ ˇ complex numberˇ z. As a variant of the reverse| triangle| inequality,ˇ (4) canˇ beˇ extended toˇ any normed vector space, where the norm is subadditive over its domain of definition, see [6,7]. Proof As a demonstration of the reverse triangle inequality in complex domain equipped of a norm using Euler’s notations, we introduce z1 and z2 in polar iθ1 iθ2 coordinates. We have z1 r1e and z2 r2e , where their respective “ “ modulus and the constituents of imaginary arguments, θ1 and θ2, are reals. We get: 4 Yuri Heymann iθ1 iθ2 z1 z2 r1e r2e ` “ ` ˇ ˇ ˇ ˇ 2 2 ˇ r1ˇ cosˇ θ1 r2 cos θ2ˇ r1 sin θ1 r2 sin θ2 (5) ˇ“ p ˇ ˇp q` p ˇqq ` p p q` p qq b 2 2 r r 2r1r2 cos θ1 θ2 . “ 1 ` 2 ` p ` q b Trigonometric identities 2 cos a cos b cos a b cos a b and 2 sin a sin b cos a b cos a b arep invokedq p q“ as partp ´ ofq` (5),p see` [1]q formulasp 4.3.31q p q and“ 4.3.32,p ´ p.q´ 72. Reversep ` q triangle inequality (4) follows from (5) and (6), as θ, 1 cos θ 0. @ ` p qě iπ z1 z2 r1 r2e | | ´ | | “ ` (6) ˇ ˇ ˇ 2 2 ˇ ˇ ˇ ˇ r r ˇ 2r122 . ˇ ˇ “ ˇ 1 ` 2 ´ˇ b Proposition 2 Let us consider an ellipse xt,yt a cos t ,b sin t where a and b are two positive reals correspondingp to theq“r lengthsp ofq the semi-majp qs or and semi-minor axes of the ellipse (a b) and t 0, 2π is a variable having ě Pr s a correspondance with the angle between the x-axis and the vector xt,yt . p q Let us set t such that the semi-major axis of the ellipse is aligned with the x-axis, which is the angle maximizing the objective function defined as the modulus of xt,yt .