Zeros of Lattice Sums: 2. A Geometry for the Generaised Riemann Hypothesis R.C. McPhedran, Schoo of Physics, University of Sydney, Sydney, NSW Austraia 2006. arxiv:1602.06330v1 [math-ph] 12 Feb 2016 The ocation of zeros of the basic doube sum over the square attice is studied. This sum can be represented in terms of the product of the Riemann zeta function and the Dirichet beta function, so that the assertion that a its non-trivia zeros ie on the critica ine is a particuar case of the Generaised Riemann Hypothesis (GRH). It is shown that a new necessary and sufficient condition for this specia case of the GRH to hod is that a particuar set of equimoduar and equiargument contours of a ratio of MacDonad function doube sums intersect ony on the critica ine. It is further shown that these contours coud ony intersect off the critica ine on the boundary of discrete regions of the compex pane caed inner isands. Numerica investigations are described reated to this geometrica condition, and it is shown that for the first ten thousand zeros of both the zeta function and the beta function over 70% of zeros ie outside the inner isands, and thus woud be guaranteed to ie on the critica ine by the arguments presented here. A new sufficient condition for the Riemann Hypothesis to hod is aso presented. 1
I. INTRODUCTION The Riemann Hypothesis (RH) that a non-trivia zeros of the function ζ(s) ie on the critica ine R(s) = R(σ + it) = 1/2 is widey regarded as one of the most important and difficut unsoved probems in mathematics 1. The Generaised Riemann Hypothesis (GRH) that non-trivia zeros of Dirichet L functions with integer characters aso ie on the critica ine has aso been widey investigated. The resuts we present beow consist of a number of numerica and anaytic investigations of a particuar case of the GRH, pertaining to the most important doube sum of the Epstein zeta type: 1 S 0 (s; λ) = (p 2 p 1,p 2 1 + p 2 2λ 2 ), (1) s where the sum over the integers p 1 and p 2 runs over a integer pairs, apart from (0, 0), as indicated by the superscript prime. The quantity λ corresponds to the period ratio of the rectanguar attice, and s is an arbitrary compex number. For λ 2 an integer, this is an Epstein zeta function, but for λ 2 non-integer we wi refer to it as a attice sum over the rectanguar attice. Many resuts connected with attice sums of this and more genera forms have been coected in the recent book Lattice Sums Then and Now 2, hereafter denoted LSTN. For λ = 1, the sum (1) takes a simpe form for which the GRH is appicabe: S 0 (s; 1) = 4ζ(s)L 4 (s), (2) using the notation of Zucker and Robertson 3 for Dirichet L functions. For λ 1, in genera S 0 (λ, s) wi have non-trivia zeros off the critica ine, as was discussed in a previous artice 4 (hereafter referred to as I). Bogomony and Leboeuf 5 have discussed the distribution and separation of zeros for S 0 (s; 1), finding that the product form (2) of this basic sum resuted in a distribution of zeros with higher probabiity of smaer gaps than for individua Dirichet L functions. Numerica investigations of the distribution and separation of zeros of more genera Epstein zeta functions have been discussed by Hejha 6, and by Bombieri and Hejha 7. Such investigations are difficut for arge t even on the most powerfu avaiabe computers, due to the number of terms required in the most convenient genera expansion for the functions (see Section 2) and the degree of canceation between terms. In this paper, we wi concentrate on the case of the square attice (λ = 1), but wi aso use resuts from I 4 in the imit as λ 1. We hope to demonstrate that the context of doube 2
sums and rectanguar attices is richer than that of singe sums ike that in the Riemann zeta function, and that this greater richness offers extra opportunities for the deveopment of anaytic arguments reating to the RH and the GRH. The resuts wi be accompanied by proofs which may not attain the fuest contemporary degree of rigour, but which may hopefuy inspire other workers to remedy this defect. The resuts have been obtained on the basis of extensive numerica investigations, and some typica graphica exampes wi be presented. It shoud be stressed that it is not overy difficut for the expressions presented beow to be empoyed in appropriate symboic software by those interested in their own exporations of the geometric context we describe. Section 2 contains essentia resuts from I, both in their form for genera λ and for λ = 1. These are used in Sections 3 and 4 to prove significant resuts for doube sums, incuding the division of the compex s pane into extended regions (running from σ = to σ = ), discrete isand regions (with bounded variation in σ and t) and inner isand regions within the atter. The most important resut is that a zeros of S 0 (s; 1) not ying on the boundaries between isand and inner isand regions must ie on the critica ine. Graphs are given in Section 4 showing typica configurations of the three regions, and tabuar data is given in Section 5 on the distribution various types of zeros among the three regions. II. RECTANGULAR AND SQUARE LATTICE SUMS The doube sums we consider are, for the rectanguar attice, anaytic in the compex variabe s, and depend on the rea parameter λ. They reduce to sums for the square attice when λ tends to unity. For brevity of notation, we wi sometimes omit the parameter λ when it takes the vaue unity. We wi aso indicate the partia derivative with respect to λ by attaching this symbo as a subscript to the function name. Connected to the doube sum (1) is a genera cass of MacDonad function doube sums for rectanguar attices: K(n, m; s; λ) = π n p 1,p 2 =1 ( ) p s 1/2+n 2 K p s 1/2 n s 1/2+m (2πp 1 p 2 λ). (3) 1 For λ 1 and the (possiby compex) number s sma in magnitude, such sums converge rapidy, faciitating numerica evauations. (The sum gives accurate answers as soon as the argument of the MacDonad function exceeds the moduus of its order by a factor of 1.3 or 3
so.) The doube sums satisfy the foowing symmetry reation, obtained by interchanging p 1 and p 2 in the definition (3): K(n, m; s; λ) = K(n, m; 1 s; λ). (4) The owest order sum K(0, 0; s; λ) occurs in the representation of S 0 (s; λ) due to Kober 8 : s+1/2 Γ(s) λ 8π S 0(λ; s) = 1 s 4 ξ 1 (2s) λ + 1 s 1/2 4 λs 1/2 ξ 1 (2s 1) + K(0, 0; s; 1 ). (5) λ Here ξ 1 (s) is the symmetrised zeta function. In terms of the Riemann zeta function, (5) is S 0 (s; λ) = 2ζ(2s) + 2 Γ(s 1/2)ζ(2s 1) 8π s π + λ 2s Γ(s)λ Γ(s)λ K(0, 0; s; 1 ). (6) s+1/2 λ A fuy symmetrised form of (5) (symmetric under both s 1 s and λ 1/λ) is: where λ s Γ(s) 8π S 0(s; λ) = T s + (s; λ) + 1 K(0, 0; s; 1 ), (7) λ λ T + (s; λ) = 1 4 [ ξ1 (2s) + ξ ] 1(2s 1). (8) λ s λ 1 s Note that T + (1 s; λ) = T + (s; λ) and K(0, 0; 1 s; λ) = K(0, 0; s; λ), so that the eft-hand side of equation (7) must then be unchanged under repacement of s by 1 s. The efthand side is aso unchanged under repacement of λ by 1/λ, so the same is true for the sum of the two terms on the right-hand side, athough in genera it wi not be true for them individuay. The symmetry reations for S 0 (s; λ) then are λ s Γ(s) 8π S 0(s; λ) = 1 ( Γ(s) s λ s 8π S s 0 s; 1 ) λ From the equations (9), if s 0 is a zero of S 0 (s; λ) then 1 s Γ(1 s) = λ 8π S 0(1 s; λ) = 1 Γ(1 s) (1 s) λ 1 s 8π S (1 s) 0 ( 1 s; 1 ). λ (9) S 0 (s 0 ; λ) = 0 = S 0 (s 0 ; 1/λ) = 0 = S 0 (1 s 0 ; 1/λ) = S 0 (1 s 0 ; λ). (10) Another interesting deduction from (7) reates to the derivative of S 0 (λ, s 0 ) with respect to λ: λ s S 0 (s; λ) = 1 λ s S 0 ( s; 1 ) λ = sλ s 1 S 0 (s; λ) + λ s λ S 0(s; λ) = s λ s+1 S 0 4 ( s; 1 ) 1 λ λ s+2 ( λ S 0 s; 1 ), (11) λ
so that λ S 0(s; λ) = S 0,λ (s; 1) = ss 0 (s; 1). (12) λ=1 Combining (7) and (9), we arrive at a genera symmetry reationship for K(0, 0; s; λ): ( T + (s; λ) T + s; 1 ) = λk(0, 0; s; λ) 1 ( K 0, 0; s; 1 ), (13) λ λ λ or [ ( ) 1 1 ξ 1 (2s) 4 λ s λs 1 λk(0, 0; s; λ) λ K ( 1 + ξ 1 (2s 1) ( 0, 0; s; 1 λ )] λ1 s = λ1 s ). (14) This identity hods for a vaues of s and λ. One use of it is to expand about λ = 1, which gives identities for the partia derivatives of K(0, 0; s; λ) with respect to λ, evauated at λ = 1. The first of these is L(s) = sξ 1 (2s) + (1 s)ξ 1 (2s 1) = 2K(0, 0; s; 1) 4K λ (0, 0; s; 1). (15) A three functions occurring in (15) are even under s 1 s. By anaogy to the equation (8) we define: T (s; λ) = 1 [ ξ1 (2s) ξ ] 1(2s 1). (16) 4 λ s λ 1 s This function is odd under s 1 s. It is known 9 13 that T + (s; λ) and T (s; λ) have a their zeros on the critica ine if λ 1 and t > 3.9125. This can be easiy seen from the properties of the function U(s) = ξ 1(2s 1), (17) ξ 1 (2s) which has moduus smaer than unity to the right of the critica ine (where its numerator has its zeros) and ess than unity to its eft (where its denominator has its zeros) for t > 3.9125. By contrast, K(0, 0; s) has zeros both on the critica ine and off it 14. Aso, Lagarias and Suzuki 12 have proved that the function we denote by L(s) has a its zeros on the critica ine. ( We may understand this resut since L(s) = 0 if and ony if 1 = U(s)(1 s)/s. The moduus of the right-hand side is smaer than unity for σ > 1/2, and arger than unity for σ < 1/2.) 5
In addition to the function U(s), we wi empoy a cosey associated function V(s) = T +(s) T (s) = 1 + U(s) 1 U(s). (18) V(s) is purey imaginary on the critica ine and U(s) has moduus unity there. The fixed points of the transformation (18) are V(s) = U(s) = ±i, and its norma form is ( ) V(s) i U(s) i V(s) + i = i. (19) U(s) + i III. PROPERTIES RELATED TO K(1, 1; s; λ) and The recurrence reations for MacDonad functions give rise to those for the doube sums: K(n, m; s; λ) = [K(n + 1, m + 1; s; λ) + K(n + 1, m 1; s; λ)], (20) λ (m + s 1/2) K(n, m; s; λ) = [K(n + 1, m + 1; s; λ) K(n + 1, m 1; s; λ)]. (21) λ These may be used to construct operators which raise n and ower m, or raise n and raise m, respectivey: and 1 2 1 2 From (23) we have [ ] (m + s 1/2) + K(n, m; s; λ) = K(n + 1, m 1; s; λ), (22) λ λ [ ] (m + s 1/2) K(n, m; s; λ) = K(n + 1, m + 1; s; λ). (23) λ λ K(1, 1; s; λ) = 1 2 K λ(0, 0; s; λ) + The symmetric and antisymmetric parts of K(1, 1; s; λ) are and It is usefu to define (s 1/2) K(0, 0; s; λ) (24) 2λ K(1, 1; s; λ) + K(1, 1; 1 s; λ) = K λ (0, 0; s; λ), (25) K(1, 1; s; λ) K(1, 1; 1 s; λ) = V K (1, 1; s; λ) = (s 1/2) K(0, 0; s; λ). (26) λ K(1, 1; s; λ) K(1, 1; 1 s; λ) K(1, 1; s; λ) + K(1, 1; 1 s; λ), (27) 6
and From equations (25,26), U K (1, 1; s; λ) = V K (1, 1; s; λ) = K(1, 1; s; λ) K(1, 1; 1 s; λ) = (s 1/2)K(0, 0; s; λ) λk λ (0, 0; s; λ) From equations (28) and (29), we have the symmetry reations U K (1, 1; 1 s; λ) = ( ) 1 + VK (1, 1; s; λ). (28) 1 V K (1, 1; s; λ) = (s 1/2) λ og K(0, 0; s; λ)/ λ. (29) 1 U K (1, 1; s; λ), V K(1, 1; 1 s; λ) = V K (1, 1; s; λ). (30) In what foows, we wi abbreviate the notation for the sums K and their λ derivatives by suppressing the entry for the geometric parameter λ when it takes the vaue unity. We wi do the same for S 0 (s; λ). IV. K(1, 1; s) AND THE ZEROS OF S 0 (s) From equations (25, 26, 7) we find: [ ] [ ] Γ(s) K(1, 1; s) = s 16π S ξ1 (2s 1) 0(s) (s 1/2). (31) s 4 The functions U K (1, 1; s; λ), V K (1, 1; s; λ) become in the specia case λ = 1 [ 1 (s 1/2) U K (1, 1; s) = og K ] λ(0, 0; s) 1 1 og K, (32) (s 1/2) λ(0, 0; s) + 1 or equivaenty and or U K (1, 1; s) = V K (1, 1; s; 1) = V K (1, 1; s; 1) = ( ) [ Γ(s)C(0,1;s) s 4 ( ] 1 π 2s) 1 s ξ1 (2s 1) [ 1 s Γ(s)C(0,1;s) 4 ( ], (33) 1 1 π 2 2s) s ξ1 (2s) (s 1/2)K(0, 0; s) K λ (0, 0; s) = (s 1/2) og K λ (0, 0; s). (34) Γ(s)S 0 (1, s)/(2π s ) [ξ 1 (2s) + ξ 1 (2s 1)] Γ(s)S 0 (1, s)/(4π s (s 1/2)) + [ξ 1 (2s) ξ 1 (2s 1)]. (35) Returning to the equation (15), we know 12 that its eft-hand side has no zeros off the critica ine. From the right-hand side, the equivaent statement is that K λ (0, 0; s) K(0, 0; s) = 1 2 = σ = 1 2. (36) 7
When equation (36) is satisfied, we have from (32) that U K (1, 1; s) = s 1 s = U(s), (37) so that zeros of the function L(s) giving the eft-hand side of equation (15) satisfy the same equation (U K (1, 1; s; 1) = U(1, s)) as do soutions of S 0 (1, s) = 0. Let F(s) = U K(1, 1; s). (38) U(s) Then the reationship between K(1, 1; s) and the zeros of S 0 (s) is estabished in the foowing resut. Theorem 1. If S 0 (s 0 ) = 0 then F(s 0 ) = 1. If F(s 0 ) = 1 then either L(s 0 ) = 0, in which case s 0 must ie on the critica ine, or S 0 (s 0 ) = 0. Proof. At a zero s 0 of S 0 (s), we have from (7) that T + (s 0 ) = K(0, 0; s 0 ). For genera s, from (15), L(s) = 2T + (s) + 2(2s 1)T (s) = 2K(0, 0; s) 4K λ (0, 0; s). (39) Hence, K λ (0, 0; s 0 ) = (s 0 1/2)T (s 0 ). From (29), V K (1, 1; s 0 ) = T +(s 0 ) T (s 0 ) = V(s 0), (40) so that from (28) and (18), U K (1, 1; s 0 ) = U(s 0 ). (41) Consider now the case F(s 0 ) = 1, for which V K (1, 1; s 0 ) = V(s 0 ). Define S 0 (s) = Γ(s)S 0 (s)/(8π s ). Then from (29) and (7), This can aso be written as S 0 (s) = V K(1, 1; s)t (s) + T + (s) 1 V K (1, 1; s)/(2s 1) = T (s)(v K (1, 1; s) + V(s)) 1 V K (1, 1; s)/(2s 1). (42) S 0 (s) = 2(2s 1)T (s) 2 [V K (1, 1; s) + V(s)] L(s) 2T (s)[v K (1, 1; s) + V(s)]. (43) Hence V K (1, 1; s 0 ) = V(s 0 ) guarantees S 0 (s) = 0, uness L(s 0 ) = 0, in which case S 0 (s 0 ) = (2s 0 1)T (s 0 ). Note that if L(s 0 ) = 0, from (39) we know that T + (s 0 ) 0 and T (s 0 ) 0, since these two functions have no zeros in common. Hence, if L(s 0 ) = 0 then S 0 (s 0 ) 0. Another easiy proved resut is the foowing: 8
Theorem 2. K(1, 1; s) and K(1, 1; 1 s) are not simutaneousy zero for s off the critica ine. K(0, 0; s) and K λ (0, 0; s) are not simutaneousy zero for s off the critica ine. Proof. From equations (25) and (26), if K(1, 1; s) and K(1, 1; 1 s) are both zero for some s, then so are K(0, 0; s) and K λ (0, 0; s). From (39) we then have L(s) = 0, so that s must ie on the critica ine. Note that if K(1, 1; s) and K(1, 1; 1 s) are equa, then K(0, 0; s) has to be zero, which can occur for s either on or off the critica ine. If K(1, 1; s) and K(1, 1; 1 s) are equa, then K λ (0, 0; s) has to be zero. It is suspected that this can ony occur for s on the critica ine, but a proof of this woud be vauabe. We next consider that behaviour of U K (1, 1; s) in the compex pane for t not sma. The theorem which foows shows that this function we away from the critica ine has the opposite behaviour to U(s). The atter is smaer than unity in magnitude to the right of the critica ine, and arger in magnitude than unity to the eft of it. The former has magnitude which increases without bound for σ moving we to the right of the critica ine, and tends towards zero as σ moves we to the eft of the critica ine. Theorem 3. The function U K (1, 1; s) has isand regions defined by boundaries inside which its moduus is ess than unity, and outside which it is greater than unity. It has monotonic argument variation around each side of isand regions surrounding intervas of the critica ine. Proof. We have from equation (31) the expansion U K (1, 1; s) = sc(0, 1; s) 4 πγ(s 1/2)ζ(2s 1)/Γ(s). (44) (1 s)c(0, 1; s) + 4(s 1/2)ζ(2s) Using the asymptotic expansion for Γ(s + 1/2)/Γ(s) when t >> 1, U K (1, 1; s) sζ(s)l 4(s) πs(1 1/(8s) +...)ζ(2s 1). (45) (1 s)ζ(s)l 4 (s) + (s 1/2)ζ(2s) We assume t and σ 1/2 are sufficienty arge so the second term in the numerator is negigibe compared with the first, and that in the denominator the series for the product ζ(s)l 4 (s) and for ζ(2s) may be used. We then obtain the foowing approximation from (45): U K (1, 1; s) 2s(1 + 1/2s π/s) 1 (s 1)2 1 s. (46) 9
This shows that U K (1, 1; s) as s in σ >> 1/2. Hence, regions with U K (1, 1; s) > 1 in σ > 1/2 must be bounded in their σ range. Since U K (1, 1; 1 s) = 1/U K (1, 1; s), regions with U K (1, 1; s) < 1 in σ < 1/2 must aso be bounded in their σ range. If they are aso imited in their t range, they form isands symmetric about the critica ine, with boundaries given by U K (1, 1; s) = 1. Note that, if t is sufficienty arge for O(1/ t) to be negigibe, no zero s 0 of ζ(2s 1) can ie on a boundary ine, since we have U K (1, 1; s 0 ) = s 0 /(1 s 0 ). On the isand boundary in σ > 1/2, U K (1, 1; s) goes from smaer than unity in the isand to arger than unity outside it, and so by the Cauchy-Riemann equations its argument must increase around the boundary in the direction of increasing t. Since the argument of this function is even under s 1 s, it must aso increase around the eft boundary as t increases. On the critica ine within the isand region, the argument increases as t decreases. A convenient criterion for deciding whether an interva on the critica ine is in an extended region or an isand region is that and is positive in an extended region. d dt U K(1, 1; 1 + it; 1) < 0 in an isand region (47) 2 We give two exampes of isand regions in Figs. 1, 2. Fig. 1 shows the first isand region, which extends from t = 12.1731 to t = 14.1520. This region has a simpe structure, typica of those observed for higher vaues of t. Vaues of key points indicated in Fig. 1 are given in Tabe I. The part of the isand region in σ 1/2 contains a singe zero of K(1, 1; s), and so the argument of U K (1, 1; s) increases monotonicay through a range of 2π as the boundary Γ + formed by the red contour in Fig. 1 (eft) competed by the interva of the critica ine is traversed in the anti-cockwise sense. At t = 12.1731 and t = 14.1520 U(s) has argument vaues -1.84514 and -1.01777 respectivey. Each of the four functions T +, T, L and K λ (0, 0; s) have one zero in the isand region, with the ast three ying in cose proximity. The singe zero of K λ (0, 0; s) occurs at a t vaue cose to that of the off-axis zero of K(0, 0; s), as might be expected (given that the atter function is even under s 1 s). The singe zero of C(0, 1; s) is of ζ(s), and occurs cose to the upper end of the isand. 10
t 14.5 14.0 13.5 ArgUK,Arg(-U) 13.0 3 2 12.5 1 12.0-1 12.0 12.5 13.0 13.5 14.0 14.5 t 11.5 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0 σ -2-3 FIG. 1. (Left) Contours of U K (1, 1; σ + it) in the pane (σ, t), with the red contour corresponding to moduus unity. The cooured dots correspond to zeros of ζ(s) (red), L 4 (s) (red rectange), U K (0, 0; σ + it) (back), U K (1, 1; σ + it) (bue), K λ (0, 0; σ + it) (green), T + (1, σ + it) (orange) and T (1, σ + it) (brown). (Right) arg U K (1, 1; 1/2 + it, 1) (bue curve) and arg( U(1/2 + it)) (red curve) as a function of t, with cooured ines indicating vaues of t as at eft (the red dashed ine corresponding to L 4 ), and the back ines representing the start and end t vaues of isand 1. Function for Zero Zero Vaue arg(u) K(0, 0) 1.8847+13.0547 i na K(1, 1) 1.25182+13.0856 i na T + 0.5+12.4226 i π T 0.5+13.0625 i 0 K λ (0, 0) 0.5+13.0672 i -0.0077 L 0.5+13.1108 i -0.07624 ζ 0.5+14.1347 i -1.00321 L 4 0.5+13.1108 i 0.13634 TABLE I. Key points for the first isand region. For the more compicated case of Fig. 2, there are four off-axis zeros of K(1, 1; s) and one poe in the isand region for σ > 1/2 (see Tabe II). As a resut of the poe, the critica ine in the isand region is spit into three intervas: t (355.4347, 356.0307), t (356.0307, 356.2656) and t (356.2656, 358.6201). In the first and third, arg U K (1, 1; s) 11
t 359 358 357 356 355 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0 σ ArgU K,Arg(-U) 3 2 1-1 356 357 358 359 t -2-3 FIG. 2. (Above) Contours of U K (1, 1; σ+it) in the pane (σ, t), with the red contour corresponding to moduus unity. The cooured dots correspond to zeros of ζ(s) (red), U K (0, 0; σ + it) (back), U K (1, 1; σ + it) (bue), K λ (0, 0; σ + it) (green), T + (σ + it) (orange) and T (σ + it) (brown); red rectanges denote zeros of L 4 (s). (Beow) arg U K (1, 1; 1/2+it) (bue curve) and arg( U(1/2+it)) (red curve) as a function of t, with cooured ines indicating vaues of t as above, and the back ines representing the start and end t vaues of isands 118-119. Red soid ines for chosen vaues of t indicate zeros of ζ(s), whie red dashed ines indicate zeros of L 4 (s). decreases as t increases, whie in the second it increases. We wi ca the region incuding the second interva of the critica ine the encave region; points corresponding to it in Tabe II are indicated by a superscripted asterisk. It contains one zero of each of K(0, 0; s), T (s), K λ (0, 0; s), and L(s), but none of S 0 (s). The change of argument of arg U K (1, 1; s) 12
round the outer boundary of the isand region, and aong the whoe of the critica ine from t = 358.6201 to t = 355.4347 is then 8π 2π = 6π. There are three zeros for each of ζ(s) and L 4 (s) ying on the critica ine in the whoe t interva described. In Tabe II, zeros of T (s) have been numbered in brackets, and these bracketed numbers have been used to indicate where zeros of K(0, 0; s, 1), K λ (0, 0; s), ζ(s) and L 4 (s) ie by specifying which is the zero of T (s) to the eft and cosest to the zero of the function in question. The tight correation between zeros of T (s) and those of K λ (0, 0; s) wi be commented on beow. Two zeros of K(0, 0; s) ie between the second and third zeros of T (s), adjacent to the encave region. One zero for each of ζ(s) and L 4 (s) ies to the right of the first zero of T (s); otherwise, there is ony one in subsequent intervas between zeros of T (s). The most interesting feature evident from Figs. 1 and 2 is the confuence of the argument curves of the functions U K (1, 1; s) and U(s) around points where T (s) = 0. This confuence can be understood from the discussion around equations (36) and (37), given that when equation (36) hods, [ ] 1/2 + it arg U(s) = arg 1 1/2 + it t whie T (s) = 0 impies arg U(s) = 0 moduo 2π. mod (2π), (48) Tabe III gives some parameters of the isand regions for t ranging up to 500. The number of isand regions in each range of 100 in t increases with t, and the fraction of the range of t occupied by isand regions tends aso to increase with t, athough the range of t from 200-300 has fewer isands than one might expect, and the isand fraction is higher than for other ranges shown. The mean ength of isands tends to decrease sowy with increasing t, but the trend is not marked, particuary bearing in mind the arge standard deviations in the distributions of ength. The histograms of Fig. 3 iustrate the variations of the engths of the isand regions, and of the vaues of arg U K (1, 1; s) (in the range between π and π) at the beginning and end of each isand region for t varying from 0-500. Around 60% of isands have engths beow unity, over 50% of starting arguments ie between -2 and -3, whie over 50% of end arguments ie between 2 and 3. The change in argument vaues aong the critica ine and around the outer boundary of the isand in σ > 1/2 is 2π times the difference between the number of zeros and poes of K(1, 1; s). In the case of Fig. 1 for exampe, the change of argument aong the critica ine is 4.4305, giving a change of 13
Function for Zero Zero Vaue arg(u) Function for Zero Zero Vaue arg(u) K(0, 0) 1.3164+357.6282 i na K(1, 1) 0.64487+358.1618 i na 0.5+355.8009 i(1) -1.85894 0.6662+ 357.4409 i 0.5+356.1213 i(1) 0.12434 0.5957+ 356.7767i 0.5+356.8817 i (3) -1.60714 0.5500+ 355.7773 i 0.5+357.9275 i (4) -3.02227 0.4951+ 356.1250 i T + 0.5+355.8967 i π T 0.5+355.6555 i (1) 0 0.5+356.3824 i 0.5+ 356.1314 i(2) 0.5+357.0303 i 0.5+356.6901 i (3) 0.5+357.9406 i 0.5+357.4165 i(4) 0.5+358.6393 i 0.5+ 358.2564 i(5) K λ (0, 0) 0.5+355.6551 i 0.0044295 L 0.5+355.6557 i -0.00281171 0.5+356.1316 i (2) -0.00304713 0.5+356.1316 i -0.00280795 0.5+ 356.6902 i (3) -0.000806774 0.5+356.6905 i -0.00280355 0.5+357.4167 i (4) -0.0015263 0.5+357.41698 i -0.00279785 0.5+ 358.2565 i (5) -0.000235771 0.5+358.25676 i -0.00279129 ζ 0.5+356.0176 i (1) 1.46531 L 4 0.5+355.7444 i (1) -1.13605 0.5+357.1513 i (3) 1.87538 0.5+356.6277 i (2) 0.519007 0.5+357.9527 i (4) 3.02868 0.5+358.2883 i (5) -0.259667 TABLE II. Key points for the isand region of Fig. 2. Range Number Fraction Mean Length Standard Deviation Length 0-100 22 31% 1.42 0.98 100-200 34 38% 1.19 0.77 200-300 37 52% 1.39 1.90 300-400 45 41% 0.90 0.71 400-500 49 46% 0.93 0.91 0-500 187 41% 1.11 1.13 TABLE III. Statistics of isand regions for t ranging up to 500. 14
Probabiity 0.35 0.30 0.25 0.20 0.15 0.10 0.05 Probabiity 0.00 0 1 2 3 4 5 Probabiity 0.30 Width 0.5 0.25 0.4 0.20 0.3 0.15 0.2 0.10 0.1 0.05 0.0-2 -1 0 1 2 3 Start Arg 0.00-2 -1 0 1 2 3 End Arg FIG. 3. (Above) Histogram of the ength of isand states for t in the range 0-500. (Beow) Histograms of the quantity arg U K at the beginning and end of isand states for t in the range 0-500. argument aong the outer boundary of 1.8401. The fiing of Tabe III was somewhat abour intensive. A more automated procedure is possibe if one wants to determine the fraction of zeros of a function in isand regions; this can be done simpy by appying equation (47) to a tabe of zeros. Using this procedure, one can easiy cassify the number of zeros of ζ(s) ying on the critica ine in isand regions. For the first 10,000 zeros, this gives 7467 isand zeros, with the fraction of zeros ying in isands varying itte around 75% for each set of 1000 zeros ranging from 1000 to 10000. For L 4 (s), the first ten thousand zeros have 6925 ying within isands, and again the fraction ying within isands varies itte from 70% for sets of 1000 zeros ranging from 1000 to 10000. The histograms of Figure 4 show the distributions of the vaues of the argument of U(s) at the first ten thousand zeros of ζ(s) and L 4 (s). These distributions are essentiay fat over the range π to π. This is interesting, and perhaps surprising, in that the zeros correspond to vaues of s for which U K (1, 1; s) = U(s); another set of zeros obeying the same equation 15
Probabiity 0.05 Probabiity 0.05 0.04 0.04 0.03 0.03 0.02 0.02 0.01 0.01 0.00-3 -2-1 0 1 2 3 Arg(U) 0.00-3 -2-1 0 1 2 3 Arg(U) FIG. 4. Histograms of the vaue of the argument of U(s) = ξ 1 (2s 1)/ξ 1 (2s) with s chosen from the subset of the first ten thousand zeros of (eft) ζ(s) or (right) L 4 (s) which ie in isand states. is of course that of L(s), and these we have shown are concentrated in the neighbourhood of arg U(s) = ±π. We can anayse the zeros of S 0 (s) with regard to whether they ie in intervas of the critica ine in which (47) hods or does not hod. For each of these two sets, we can break them into custers where the zeros of ζ(s) and L 4 (s) both ie in unbroken consecutive sets. We have studied the first 10,000 zeros of L 4 (s), which ie in an interva of t where there are 8171 zeros of ζ(s). Of the 18171 zeros of S 0 (s),13014 or around 71.6% ie in 2809 sequences where (47) hods, so that the average number of zeros per sequence is 4.633. Of these, the number of ζ zeros is on-average 2.167, and of L 4 zeros the average is 2.465- these averages bearing a ratio of 0.8791:1. The contrary set of intervas have shorter sequences of zeros (average 1.8365), with the average numbers for ζ(s) being 0.7415 and for L 4 (s) being 1.0947 (in the ratio 0.6773:1). Thus, the in-isand intervas have a more baanced set of zeros of the two functions, with the intervening intervas having a greater fraction of zeros of L 4 (s). A usefu resut is obtained from equation (35) if we sove for S 0 (1, s): S 0 (s) = Γ(s)S 0(s) 8π s = V K(1, 1; s)t (s) + T + (s) 1 V K (1, 1; s)/(2s 1). (49) The representation (49) may be forced into a form suitabe for expanding about zeros of S 0 (1, s): S 0 (s) = 2(2s 1)T (1, s) 2 [V K (1, 1; s; 1) + V(1, s)]. (50) L(s) 2T (1, s)[v K (1, 1; s) + V(s)] When L(s) = 0, (50) oses its dependence on [V K (1, 1; s; 1)+V(s)]; otherwise, it is zero when this factor is zero. When T (s) = 0, (49) shoud be used; the numerator then reduces to 16
T + (s), which is known to be non-zero if T is zero. Equation (50) can aso be expressed in terms of [U K (1, 1; s) + U(s)], since [V K (1, 1; s; 1) + V(1, s)] = [U K (1, 1; s) + U(1, s)] (U K (1, 1; s) + 1)(1 U(1, s)). (51) Thus, S 0 (1, s) 0 as [V K (1, 1; s) + V(s)] 0 or, equivaenty, [U K (1, 1; s) + U(s)] 0. In addition to (50) and (50), we have for the derivatives with respect to s: [V K(1, 1; s) + V (s)] = Hence, at a zero s 0 of S 0 (1, s): For s on the critica ine, 2U K (1, 1; s) (1 + U K (1, 1; s)) + 2U (s) 2 (1 U(s)). (52) 2 [V K(1, 1; s 0 ) + V (s 0 )] = 2[U K (1, 1; s 0) + U (s 0 )] (1 U (s 0 )) 2. (53) du K (1, 1; 1/2 + it) ds = U K (1, 1; 1/2 + it) d arg U K(1, 1; 1/2 + it) dt (54) and du(1/2 + it) ds Hence, for s 0 on the critica ine, = U(1/2 + it) d arg U(1/2 + it). (55) dt du K (1, 1; 1/2 + it 0 ) + du(1/2 + it 0) = U(1/2 + it 0 ) [ ds ds d arg U(1, 1/2 + it0 ) d arg U ] K(1, 1; 1/2 + it 0 ). (56) dt dt Remark: We know that a zeros of S 0 (s) in extended regions ie on the critica ine. From equation (56), we then aso know that a these zeros are simpe, since the argument derivatives of U K and U there have opposite signs. Returning to the equations (41) and (37), we have that zeros of S 0 (s) and L(s) ie on ines where U K (1, 1; s) = U(s). For isand regions, the contours U K (1, 1; s)/u(s) = 1 ie on separate ines surrounding each of the zeros of U K (1, 1; s) in σ > 1/2 and poes in σ < 1/2. We wi ca the regions within isands where U K (1, 1; s)/u(s) > 1 the outer isands, and the regions where U K (1, 1; s)/u(s) = 1 the inner isands. Remark: A zeros of S 0 (s) not on the critica ine must ie on the boundaries between outer and inner isands. 17
t 8292 8291 8290 8289 8288 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0 σ ArgU K,Arg(-U) 3 2 1-1 8289 8290 8291 8292 t -2-3 FIG. 5. (Above) Contours of U K (1, 1; σ+it) in the pane (σ, t), with the red contour corresponding to moduus unity. The cooured dots correspond to zeros of ζ(s) (red), U K (0, 0; σ + it) (back), U K (1, 1; σ + it) (bue), K λ (0, 0; σ + it) (green), T + (σ + it) (orange) and T (σ + it) (brown); red rectanges denote zeros of L 4 (s). (Beow) arg U K (1, 1; 1/2+it) (bue curve) and arg( U(1/2+it)) (red curve) as a function of t. The isand region starts at t = 8288.63233 and ends at t = 8291.79597. Red dashed ines for chosen vaues of t indicate zeros of ζ(s), whie red dotted ines indicate zeros of L 4 (s). We define F(s) = U K(1, 1; 1; s) U(s) = 1 + G(s) F(s) 1, G(s) = 1 G(s) F(s) + 1. (57) Then the boundaries between inner and outer isands are given by F(s) = 1. In terms of argument derivatives on the critica ine, then the respective conditions for the extended, 18
t Range Inner isand zeros A zeros 1-ζ(ii)/ζ(a) 0-1000 173 649 0.7344 1000-2000 224 868 0.7419 2000-3000 245 952 0.7426 3000-4000 284 1005 0.7174 4000-5000 290 1046 0.7228 5000-6000 301 1078 0.7208 6000-7000 298 1105 0.7303 7000-8000 314 1127 0.7214 8000-9000 334 1148 0.7091 9000-9877.78 286 1021 0.7199 TABLE IV. Statistics of the first 10,000 zeros of ζ(s). outer isand and inner isand regions are arg U K (1, 1; 1; 1/2 + it) t > 0, arg F(1/2 + it) t > 0, arg F(1; 1/2 + it) t < 0. (58) In Tabes IV and V we show the resuts of cassifying the first ten thousand zeros of ζ(s) and L 4 (s) using the conditions (58). For ζ(s), the fourth coumn of Tabe IV shows the fraction of zeros which do not ie within the inner isands. We can take this as a proxy for the fraction of zeros which we know to ie on the critica ine. The mean vaue of the fraction for the zeros ying up to t = 8000 is 0.7266, with the standard deviation being 0.0113.This fraction of course is numericay rather than anayticay determined, but it is of interest to compare it with the resuts estabished by anaytic means for the fraction of zeros proven to ie on the critica ine. These have progressed from 1/3 (Levinson, 1974) to 2/5 (Conrey, 1989) and 41% (Bui, Conrey and Young, 2011). This comparison shows the interest in anaytic proof of the numerica estimation presented here. The resuts for L 4 (s) in Tabe V are quite simiar to those for ζ(s), with the mean fraction of zeros up to t = 8000 being 0.7431, with a standard deviation of 0.0326. The mean fraction forζ(s) ies within one standard deviation of that for L 4 (s). We now consider the properties of ines of constant argument zero and π for the functions U(s), U K (1, 1; s; 1) and their ratio F(s). These are shown in Fig. 6, for the same range of t 19
t Range Inner isand zeros A zeros 1-L 4 (ii)/l 4 (a) 0-1000 164 868 0.8111 1000-2000 260 1090 0.7615 2000-3000 318 1172 0.7287 3000-4000 305 1226 0.7512 4000-5000 335 1267 0.7356 5000-6000 374 1298 0.7119 6000-7000 385 1326 0.7097 7000-8000 357 1347 0.7350 8000-8297.64 103 406 0.7463 TABLE V. Statistics of the first 10,000 zeros of L 4 (s). as Fig.5. For U(s), the behaviour of the ines is simpe and does not depend on whether s ies inside or outside the isand region. They eave the critica ine, pass through a zero of ζ(2s 1) where they undergo an argument change of π, and rejoin the critica ine. There is a one-toone correspondence between zeros of ζ(2s 1) and ines of argument π reaching the critica ine. The points where the trajectories reach the critica ine are zeros of T (s) (argument 0), or T + (s) (argument π). For U K (1, 1; s), the behaviour of the ines is sighty more compicated. Lines of constant argument now pass through zeros of K(1, 1; s), where they undergo an argument change of π before returning to the critica ine. The points where the trajectories reach the critica ine are zeros of K(0, 0; s; 1)(s) (argument 0), or K λ (0, 0; s)(s) (argument π). One exceptiona trajectory runs from the critica ine with an argument of π, passes through a zero of K(1, 1; s), emerges with an argument of 0 and cuts the isand boundary at a zero of K(0, 0; s)(s). Taking into account the four zeros and one poe of K(1, 1; s) in the isand region for σ > 1/2, the change of argument of U K (1, 1; s) round the cosed contour bounding the isand in σ 0 is 6π. The behaviour of the argument of F(s) is more compicated than that of either of its constituents. From Fig. 6, there are ten ines with arg F(s) = π cutting the critica ine within the isand region. Two are associated with a poe of F(s), one at the upper end of 20
the isand and the second at the ower end. A third is associated with a poe of F(s) and a ine with arg F(s) = 0 cutting the boundary of the isand region. In order of increasing t, the ten ines of argument π are associated with zeros of the foowing functions: L, L 4, ζ, L 4, L, ζ, L, ζ, L, L 4 (see Tabe II). Outside inner isand regions, U K (1, 1; s) is aike U(s), in that both functions have zeros to the right of the critica ine, and poes to its eft. In consequence, F(s) has contours of piecewise-constant argument which proceed from the critica ine in σ > 1/2 to either a zero of U K (1, 1; s) or U(s), and then return to the critica one with an argument changed by π. The consequence of this is that ines of constant argument π reaching the critica ine may be paced in one-to-one correspondence with the zeros of either K(1, 1; s) or ζ(2s 1) outside inner isand regions. The former correspond to zeros of either L(s) or S 0 (s), which we know must ie on the critica ine outside inner isand regions. We aso know that the zeros of L(s) may be paced in one-to-one correspondence with the zeros of T (s) and ζ(2s 1) (Ki,2006, Lagarias and Suzuki, 2006, McPhedran and Pouton, 2013), for a vaues of t. However, ines of constant argument may ink a point on the critica ine outside the isand region with a zero off the critica ine inside the isand region, or a point inside an inner isand region to a zero in an outer isand region; exampes of both are shown in Fig. 6. Inside inner isand regions, ines of constant argument are infuenced by zeros of K(1, 1; s; 1), and zeros of ζ(2s 1), which must ie outside the inner isands (being poes of F(s)). Lines of constant argument thus run from the former to the atter, in some cases directy, and in others passing through a point where F(s)/ t = 0. The trajectories of such turning points shown in Fig. 6 run from the zero of K(1, 1; s; 1) towards the critica ine in one case, and from the zero of ζ(2s 1) away from it in the other case. The trajectories F(s)/ t = 0 are tangent to the trajectories F(s) = 1 at the critica ine. We can strengthen a previous remark, as foows. Remark: S 0 (s) has a its zeros on the critica ine if and ony if ines of argument π run from zeros of U K (1, 1; s; 1) inside inner isands to the critica ine without intersecting the boundaries of the inner isand (the ines where F(s) = 1). The argument of F(s) increases monotonicay round the boundary of each inner isand, so the condition just enunciated is aso equivaent to the requirement that F(s) = 1 and arg F(s) = π ony hod simutaneousy on the critica ine. In Fig. 7 we show curves for an isand region at a far arger vaue of t, for comparison 21
with Fig. 6. The genera forms of the two figures are simiar: some detais are changed ess than others. For exampe, the σ and t ranges of the two isands are simiar, but the numbers of zeros in each are quite different: seven zeros of K(1, 1; s) pus one encave zero for the former, by comparison with four and one for the atter. The tota number of zeros of S 0 (s) and L(s) for the former is 17, and 11 for the atter. The σ range of the inner isands tends to be smaer in Fig. 7 than in Fig. 6, with the consequence that the distances between adjacent zero and poes of U K (1, 1; s) diminishes in comparison with the distance between zeros of U K (1, 1; s) and the cosest zero of U(s). Before giving the most important anaytic arguments of this paper, some definitions are necessary. Number the inner isands with an integer m, and et the mth inner isand segment on the critica ine run from t (m) up to t (m) u. Let µ (m) = arg[ F(1/2 + it (m) )], µ (m) u = arg[ F(1/2 + it (m) u )]. (59) Theorem 4. The Riemann Hypothesis for S 0 (s) hods if and ony if µ (m) u a m. Proof. If µ (m) u < 0, µ (m) < 0, µ (m) > 0 for > 0 for a given m, then, as arg[ F(1/2+it)] increases monotonicay as t decreases inside the inner isand, there is a point on the critica ine between t (m) u t (m) where arg[ F(1/2 + it)] = 0. This is then the singe point on the boundary Γ (m) + of that part of the inner isand in σ 1/2 where either S 0 (s) = 0 or L(s) = 0. Given this hods for a m, a zeros of S 0 (s) and L(s) in inner isands ie on the critica ine. We aso know that a zeros of S 0 (s) in encaves or outside inner isands (i.e. away from the boundaries of inner isands) ie on the critica ine, competing this part of the proof. If the Riemann Hypothesis hods for S 0 (s), we know it aso hods for L(s). Every inner isand m has one part on its boundary Γ (m) + where arg[ F(s) = 0: this must ie between t (m) u increases as one goes from the former to the atter, then µ (m) u and and t (m). Given arg[ F(s)] < 0 and µ (m) > 0. Coroary 1. If between every two inner isands there exists at east one point on the critica ine where arg[ F(s)] = 0, i.e. one point on the critica ine where either S 0 (s) = 0 or L(s) = 0, then the Riemann Hypothesis hods for S 0 (s). Proof. Given an inner isand m, it has at east one point with t > t (m) u where arg[ F(s)] = 0, and one with t < t (m). Going from the nearest such point above down to t (m) u, arg[ F(s)] decreases, and so arg[ F(1/2 + it (m) u )] < 0. Going from the nearest such point beow up to 22
t (m) µ (m), arg[ F(s)] increases, and so arg[ F(1/2 + it (m) )] > 0. Thus, for a m, µ (m) > 0, so the Riemann Hypothesis hods for S 0 (s). u < 0 and Coroary 2. If the Riemann Hypothesis hods for S 0 (s), then between every two inner isands there exists at east one point on the critica ine where arg[ F(s)] = 0, i.e. one point on the critica ine where either S 0 (s) = 0 or L(s) = 0. Proof. If the Riemann Hypothesis hods, then µ (m) u inner isand m, µ (m) u ine between t (m) u < 0 and µ (m+1) and t (m+1) where arg[ F(s)] = 0. < 0, µ (m) > 0 for a m. Thus, for every > 0. Thus, there exists at east one point on the critica Acknowedgement: The author acknowedges hepfu comments from Dr. Masatoshi Suzuki on eary versions of this work. REFERENCES 1 Titchmarsh, E. C. & Heath-Brown, D. R. 1987 The theory of the Riemann zeta function, Oxford: Science Pubications. 2 Borwein, J. M. et a 2013 Lattice Sums Then and Now, Cambridge University Press. 3 Zucker, I.J. & Robertson, M.M.. 1976 Some properties of Dirichet L series. J. Phys. A. Math. Gen. 9 1207-1214. 4 McPhedran, R.C. 2016 Zeros of Lattice Sums: 1. Zeros off the Critica Line, arxiv 1601.01724. 5 Bogomony, E. & Leboeuf, P. 1994 Statistica properties of the zeros of zeta functionsbeyond the Riemann case. Noninearity 7, 1155-1167. 6 Hejha, D.A. 1987 Zeros of Epstein zeta functions and supercomputers Proceedings of the Internationa Conference of Mathematicians, Berkeey, Caifornia, USA, 1986 pp.1362-1384. 7 Bombieri, E. & Hejha, D.A. 1987 Sur des zeros des fonctions zeta d Epstein. Comptes Rendus de Academie des Sciences 304, 213-217. 8 Kober, H. 1936 Transformation formua of certain Besse series, with reference to zeta functions Math. Zeitschrift 39, 609-624. 9 Tayor, P.R. 1945 On the Riemann zeta-function, Q.J.O., 16, 1-21. 23
10 Hejha, D.A. 1990 On a resut of G. Póya concerning the Rieman ξ function J. Ana. Math. 55, 59-95. 11 Ki, H. 2006 Zeros of the constant term in the Chowa-Seberg formua Acta Arithmetica 124 197-204 12 Lagarias, J.C. and Suzuki, M. 2006 The Riemann hypothesis for certain integras of Eisenstein series J. Number Theory 118 98-122. 13 McPhedran, R.C. & Pouton, C.G. 2013 The Riemann Hypothesis for Symmetrised Combinations of Zeta Functions, arxiv:.1308.5756. 14 McPhedran, R.C., Smith, G.H., Nicorovici, N.A. & Botten, L.C. 2004 Distributive and anaytic properties of attice sums J. Math. Phys. 45 2560-2578. 15 McPhedran, R.C., Zucker, I.J., Botten, L.C. & Nicorovici, N.A.. 2008 On the Riemann Property of Anguar Lattice Sums and the One-Dimensiona Limit of Two-Dimensiona Lattice Sums. Proc. Roy. Soc. A, 464, 3327-3352. 16 McPhedran, R.C., Wiiamson, D.J., Botten, L.C. & Nicorovici, N.A.. 2010, The Riemann Hypothesis for Anguar Lattice Sums, arxiv:1007.4111. 24
t t t t 359 359 358 358 357 357 356 356 355 0.6 0.8 1.0 1.2 1.4 355 0.6 0.8 1.0 1.2 1.4 359 σ 358.5 σ 358.4 358 358.3 358.2 357 358.1 356 358.0 357.9 355 0.6 0.8 1.0 1.2 1.4 σ 357.8 0.50 0.55 0.60 0.65 0.70 0.75 0.80 σ FIG. 6. (Above,eft and right ) Contours of arg U(σ + it) and arg U K (1, 1; σ + it, 1) in the pane (σ, t), with the red contour corresponding to moduus unity for U K (1, 1; σ + it, 1), and the dashed bue contour corresponding to moduus unity for U K (1, 1; σ + it, 1)/U K (σ + it). At eft, brown and bue contours correspond to arguments 0 and π respectivey, and at right aquamarine to 0 and orange to π. The cooured dots correspond to zeros of ζ(2s 1) (back) and U K (0, 0; σ + it, 1) (bue). (Beow, eft and right) Contours of arg U K (1, 1; σ +it, 1)/U(σ +it) (0, green, π, back curve) at eft, with the dashed orange curves corresponding to the t derivative of the argument being zero. At right, the contours show extra detai of the variation of argument for a region near the top of the isand. 25
t t t t 8292 8292 8291 8291 8290 8290 8289 8289 8288 0.6 0.8 1.0 1.2 1.4 8288 0.6 0.8 1.0 1.2 1.4 8292 σ 8290.75 σ 8291 8290.70 8290.65 8290 8290.60 8289 8290.55 8288 0.6 0.8 1.0 1.2 1.4 σ 8290.50 0.5 0.6 0.7 0.8 0.9 σ FIG. 7. (Above,eft and right ) Contours of arg U(σ + it) and arg U K (1, 1; σ + it) in the pane (σ, t), with the red contour corresponding to moduus unity for U K (1, 1; σ + it), and the dashed bue contour corresponding to moduus unity for U K (1, 1; σ + it)/u K (σ + it). At eft, brown and bue contours correspond to arguments 0 and π respectivey, and at right aquamarine to 0 and orange to π. The cooured dots correspond to zeros of ζ(2s 1) (back) and U K (0, 0; σ +it) (bue). (Beow) Contours of arg U K (1, 1; σ + it)/u(σ + it) (0, green, π, back curve), with the dashed orange curves corresponding to the t derivative of the argument being zero. At right, the contours show extra detai of the variation of argument for a region above the midde of the isand. 26