The Riemann Hypothesis (RH) is the most famous unsolved problem in number theory, and perhaps even in the whole of mathematics. Although more than a thousand hours have been spent on a modern supercomputer to verify that the first zeros do lie on the half line [J. van de Lune, H. J. J. te Riele and D. T. Winter, ibid. 46, 667-681 (1986; Zbl 0585.10023)] the proof of RH is still as elusive as it has ever been. Nevertheless many number theorists not only believe that RH is true but made further speculations on problems such as the magnitude of the largest prime gaps, answers to which lie well beyond our current knowledge of the zeta function. In 1973 H. L. Montgomery [Proc. Symp. Pure Math. 24, 181-193 (1973; Zbl 0268.10023)] put forward his pair correlation conjecture. Roughly speaking this says that not only all the zeros are on the half line, but they have 1-(sin u/ u) as their pair correlation function. Meanwhile it was pointed out by F. J. Dyson that the Gaussian unitary ensemble (GUE), which has been studied extensively in mathematical physics as a model for distribution of energy levels in many-particle systems, has the same pair correlation function. The suggestion then is that there is a connection between the zeros of the zeta function and the eigenvalues of random Hermitian matrices.
This very interesting paper reports on the numerical study of the distribution of the spacing between zeros of the zeta function. The normalized spacing between consecutive zeros and is given by
and many graphs and tables are presented. Empirical data on pair correlation, probability density, and various statistical tests are given and compared to results obtained from the GUE predictions. There does seem to be general agreement with the predictions especially at zeros with large height. Where there is a pronounced disagreement the author explains the phenomenon by relating it to the prime numbers. For example, there are fewer very large and very small and more near the mean value of 1 than predicted, and an explanation is given in terms of the size of . It is also reported that the largest found is , for which was located when in investigating the violations of Rosser’s rule.
The samples are drawn from blocks of consecutive zeros at , , , and , and there is a godd description on the method of computation explaining the difficulty involved in obtaining the accuracy of onthe Cray-1 and Cray X-MP computers. As has happened before, when powerful machines are pushed to their limits by careful experts, bugs in software are discovered during computations. Thus accuracy is lost on calculations corresponding to , and so that only two sets of data are presented.
Since the two subjects concerned are apparently unrelated the problems arising are naturally intractable. Although no firm conclusion can be drawn from the paper it will encourage workers to seek a connection. Moreover, if the link is genuine and the complexity of the relationship can be revealed, then the gain to science will be unparalleled.