## THE ZETA FUNCTION ON THE CRITICAL LINE: NUMERICAL EVIDENCE FOR MOMENTS AND RANDOM MATRIX THEORY MODELS

Citations: | 2 - 1 self |

### BibTeX

@MISC{Hiary_thezeta,

author = {Ghaith A. Hiary and Andrew and M. Odlyzko},

title = {THE ZETA FUNCTION ON THE CRITICAL LINE: NUMERICAL EVIDENCE FOR MOMENTS AND RANDOM MATRIX THEORY MODELS},

year = {}

}

### OpenURL

### Abstract

Abstract. Results of extensive computations of moments of the Riemann zeta function on the critical line are presented. Calculated values are compared with predictions motivated by random matrix theory. The results can help in deciding between those and competing predictions. It is shown that for high moments and at large heights, the variability of moment values over adjacent intervals is substantial, even when those intervals are long, as long as a block containing 109 zeros near zero number 1023. More than anything else, the variability illustrates the limits of what one can learn about the zeta function from numerical evidence. It is shown the rate of decline of extreme values of the moments is modelled relatively well by power laws. Also, some long range correlations in the values of the second moment, as well as asymptotic oscillations in the values of the shifted fourth moment, are found. The computations described here relied on several representations of the zeta function. The numerical comparison of their effectiveness that is presented is of independent interest, for future large scale computations. 1.

### Citations

234 | Riemann’s Zeta Function - Edwards - 1974 |

184 | Statistical theory of energy levels of complex systems - Dyson - 1962 |

134 |
The Riemann Zeta-function
- Ivić
- 1985
(Show Context)
Citation Context ...1.3) encounter a problem, which we illustrate in the case of the second moment, known to satisfy (1.7) ∫ T 0 |ζ(1/2 + it)| 2 dt = T log T 2π + T (2γ − 1) + E1(T ) , where E1(T ) = O(T 35/108+ɛ ); see =-=[I2]-=-. (This result does not depend on the assumption of the Riemann hypothesis.) Based on (1.7), one might suspect (1.8) 1 H ∫ T +H T |ζ(1/2 + it)| 2 dt = T + H H T + H log 2π However, in order for (1.8) ... |

130 | Multiplicative Number Theory - Davenport - 1967 |

125 | de Bruijn, Asymptotic Methods in Analysis - G - 1981 |

88 | Random matrix theory and ζ(1/2
- Keating, Snaith
- 2001
(Show Context)
Citation Context ...r k > 0, and as T → ∞, (1.1) ∫ T 1 |ζ(1/2 + it)| T 0 2k dt ∼ a(k)g(k) k2 (log T ) ! k2 , where a(k) is a certain, generally understood, “arithmetic factor,” and g(k) is an integer. Keating and Snaith =-=[KS]-=- suggested there might be relations between random matrix theory (RMT) and moments of the zeta function, which led them to a precise conjecture for g(k). More generally, it is expected the 2k th momen... |

83 | On the distribution of spacings between zeros of the zeta function - Odlyzko - 1987 |

54 | An Introduction to Random Matrices - Anderson, Guionnet, et al. - 2009 |

47 | Fast algorithms for multiple evaluations of the Riemann zeta function
- Odlyzko, Schönhage
- 1988
(Show Context)
Citation Context ...N 21 The running times stated above are for computing single values of the zeta function. For computations that involve many evaluations of ζ(1/2 + it) in a restricted interval, the Odlyzko-Schönhage =-=[OS]-=- algorithm (OS) offers significant savings. Theorem 5.1 (The Odlyzko-Schönhage algorithm (OS)). Given c > 0, ɛ > 0, and a ∈ [0, 1/2] there exists an effectively computable c1 = c1(c, a, ɛ) > 0 so that... |

43 | The Riemann zeros and eigenvalue asymptotics
- Berry, Keating
- 1999
(Show Context)
Citation Context ...oduct of two parts, one that is universal and is due to RMT fluctuations (on the scale of mean spacing), and another that is specific to zeta and corresponds to the contributions of small primes; see =-=[BK]-=- and [GHK]. A similar phenomenon appears in some statistics of zeta zeros, such as zero correlations and number-variance of zero spacings. It appears, however, that RMT is only able to predict the uni... |

36 |
Random matrix theory and ζ(1/2+it
- Keating, Snaith
- 2000
(Show Context)
Citation Context ...xed integer k>0, (1.1) 1 T ∫ T 0 |ζ(1/2+it)| 2k dt ∼ a(k)g(k) k 2 ! (log T ) k2 as T →∞, where a(k) is a certain, generally understood, “arithmetic factor,” and g(k) is an integer. Keating and Snaith =-=[KS]-=- suggested there might be relations between random matrix theory (RMT) and moments of the zeta function, which led them to a precise conjecture for g(k). Received by the editor August 12, 2010 and, in... |

34 | The fourth power moment of the Riemann Zeta-function - Heath-Brown - 1979 |

33 | Multiple Dirichlet series and moments of zeta and L– functions, Compositio Math
- Diaconu, Goldfeld, et al.
- 2003
(Show Context)
Citation Context ...dt . However, that could not be done for large values of T . Since we are interested in asymptotic behavior of the zeta function, we calculated numerically 1 See also Diaconu, Goldfeld, and Hoffstein =-=[DGH]-=-.NUMERICAL STUDY OF MOMENTS OF THE ZETA FUNCTION 3 (1.4) ∫ T +H 1 |ζ(1/2 + it)| H T 2k dt , for various choices of k, T, and H by evaluating the integral directly. Section 5 presents the details. We ... |

31 |
Contributions to the theory of the Riemann zeta-function
- Selberg
- 1946
(Show Context)
Citation Context ...ock). Approximation (1.6) persists for a long range of n; see Figure 1. To help understand the observed variability in the moment data, recall that according to a central limit theorem due to Selberg =-=[S]-=-, the real and imaginary parts of log ζ(1/2 + it)/ √ (1/2) log log t converge in distribution to independent standard Gaussians. In particular, the distribution of |ζ(1/2 + it)| tends to lognormal. So... |

30 | High moments of the Riemann zeta-function - Conrey, Gonek |

30 |
The 10 20 th zero of the Riemann zeta function and 175 million of its neighbors. Preprint. Available from http://www.research.att.com/amo/unpublished/index.html
- Odlyzko
- 1992
(Show Context)
Citation Context ... for which we computed moments. Except for set S8, all these zeros were computed by the second author at AT&T Labs–Research in the late 1990s, in an extension of the earlier computations described in =-=[O1]-=-, and will be documented in the book [HO]. Some output files from those computations were corrupted by buggy archiving software during their transfer from AT&T. Although we managed to clean up many of... |

29 | Semiclassical formula for the number variance of the Riemann zeros, Nonlinearity 1 - Berry - 1988 |

22 | The 1022-nd zero of the Riemann zeta function - Odlyzko - 2001 |

18 | A conjecture for the sixth power moment of the Riemann zeta function - Conrey, Ghosh - 1998 |

17 |
On the fourth moment of the Riemann zeta-function, Publs
- Ivić
- 1995
(Show Context)
Citation Context ...o correlations and number-variance of zero spacings. It appears, however, that RMT is only able to predict the universal part of merely the leading term asymptotic for zeta moments. For example, Ivić =-=[I1]-=- and, separately, Conrey [C], determined explicitly the coefficients of the fully proven fourth moment polynomial P2(x). Their results lead to (2.4) ∫ T 1 |ζ(1/2 + it)| T 0 4 ( dt ≈ 0.050660 log T 2π ... |

16 |
personal communication
- Hughes
- 2000
(Show Context)
Citation Context ...e Euler product, but not for the Hadamard product. It was pointed out to the authors, however, that it is difficult to eliminate smoothing from the Hadamard product in EHP with realistic error bounds =-=[H]-=-. This suggests smoothing the Hadamard product is critical to the accuracy. Nevertheless, implementing such smoothing would cause EHP to be too slow in practice. Thus, in considering whether to use EH... |

14 | Bruijn, Asymptotic methods in analysis - de - 1981 |

14 | Computational methods and experiments in analytic number theory - Rubinstein |

11 | The theory of the Riemann Zeta-function, Oxford Science publications, second edition, revised by D.R. Heath-Brown - Titchmarsh - 1986 |

7 | Lower order terms in the full moment conjecture for the Riemann zeta function
- Conrey, Farmer, et al.
(Show Context)
Citation Context ....64 ×1014 26 7.61 ×106 28 3.50 ×10−3 Table 4. The expected 2k th moment (truncated here after three digits) as given by integral (1.5), where the coefficients of Pk(x) are as computed in [CFKRS1] and =-=[CFKRS2]-=-. For each set, the integral is evaluated by setting T to the ordinate of the first zero, and T + H to the ordinate of the last zero. The first and last zeros of each set are specified in Table 2. Set... |

7 | A hybrid Euler-Hadamard product for the Riemann zeta function
- Gonek, Hughes, et al.
(Show Context)
Citation Context ...idance in selection of numerical methods for other calculations that might be done in the future with the zeta function. An attractive local model that was tested is due to Gonek, Hughes, and Keating =-=[GHK]-=-. Another model, which numerically works quite well, is to approximate |ζ(1/2 + it)| by a suitably normalized polynomial that vanishes at the zeta zeros near t. We denote this model by HP (Hadamard pr... |

5 | A note on the fourth power moment of the Riemann-zeta function
- Conrey
- 1996
(Show Context)
Citation Context ...iance of zero spacings. It appears, however, that RMT is only able to predict the universal part of merely the leading term asymptotic for zeta moments. For example, Ivić [I1] and, separately, Conrey =-=[C]-=-, determined explicitly the coefficients of the fully proven fourth moment polynomial P2(x). Their results lead to (2.4) ∫ T 1 |ζ(1/2 + it)| T 0 4 ( dt ≈ 0.050660 log T 2π ) 4 ( + 0.937279 log T 2π . ... |

5 | The pair correlation function of zeros of the zeta function, Analytic Number Theory - Montgomery - 1973 |

3 | On the correlation of shifted values of the Riemann zeta function, arXiv:0910.0664v1 [math.NT]. Licensed to Penn St Univ, University Park. Prepared on Mon Jul 8 23:30:45 EDT 2013 for download from IP 130.203.136.75. License or copyright restrictions may a
- Chandee
(Show Context)
Citation Context ...ζ(1/2+it)| T 2 |ζ(1/2 + it + iα)| 2 dt ≈ ( ∫ T +H 1 H T |ζ(1/2 + it)| 2 dt ) ( 1 H ∫ T +H T |ζ(1/2 + it + iα)| 2 dt and the latter is directly related to the autocovariances. Kösters [Ko] and Chandee =-=[Ch]-=- investigated the function M(T, T ; α) as well as other more general shifted moments. Kösters’ work immediately implies if α log T = O(1) (as T → ∞), and if (4.15) K(T ; α) := then 12 (α log T ) 2 ( 1... |

2 |
On the occurence of the sine kernel in connection with the shifted moments of the Riemann zeta function
- Kösters
(Show Context)
Citation Context ...ind similar evidence for such correlations in the case of higher moments. To further examine the correlations in the second moment, we numerically investigate the shifted fourth moment, where Kösters =-=[Ko]-=- proved a kernel law for shifts on the scale of mean spacing of zeros. For larger shifts, we observe a departure from this law, and the onset of asymptotic oscillations; see Figures 3 and 4. In the co... |

1 |
Mean values of the Riemann zeta function, Mathematika 31
- Conrey, Ghosh
- 1984
(Show Context)
Citation Context ...by Hardy, Littlewood, Selberg, Titchmarsh, and many others. It has long been conjectured that the 2kth moment of |ζ(1/2 + it)| should grow like ck(log t) k2 for some constant ck > 0. Conrey and Ghosh =-=[CG1]-=- reformulated this long-standing conjecture in a precise form: for a fixed integer k > 0, and as T → ∞, (1.1) ∫ T 1 |ζ(1/2 + it)| T 0 2k dt ∼ a(k)g(k) k2 (log T ) ! k2 , where a(k) is a certain, gener... |

1 |
The Riemann zeta-function and the sine kernel, arXiv:0803.1141v2 [math.NT
- Kösters
(Show Context)
Citation Context ...nd similar evidence for such correlations in the case of higher moments. To further examine the correlations in the second moment, we numerically investigate the shifted fourth moment. There, Kösters =-=[Ko]-=- proved a kernel law for shifts on the scale of mean spacing of zeros. For larger shifts, we observe a departure from this law, and the onset of asymptotic oscillations; see Figures 3 and 4. In the co... |