Tuck's incompressibility function: statistics for zeta zeros and eigenvalues

M V Berry, P Shukla

For any function that is real for real x, positivity of Tuck's function Q(x)=D'^2(x)/(D'^2(x)-D"(x) D(x)) is a condition for the absence of the complex zeros close to the real axis…