On the spacing distribution of the Riemann zeros: corrections to the asymptotic result

It has been conjectured that the statistical properties of zeros of the Riemann zeta function near $z=1\mathrm{/}2+\text{ui}E$ tend, as $E\to \mathrm{\infty }$, to the distribution of eigenvalues of large random matrices from the Unitary Ensemble. At finite $E$ numerical results show that the nearest-neighbour spacing distribution presents deviations with respect to the conjectured asymptotic form. We give here arguments indicating that to leading order these deviations are the same as those of unitary random matrices of finite dimension $N_{\rm eff}=\log(E/2\pi)/\sqrt{12 \Lambda}$,where$\Lambda=1.57314 …$ is a well defined constant.