Mehmet Akif Oltulu

A Weil-positivity lock detects and counts genuine off-line zeros of an Epstein zeta function

Weil's explicit formula turns the location of the zeros of a zeta function into the sign of a quadratic form, and the resolvent lock of the author's earlier note (doi:10.5281/zenodo.23459270) reads that sign, together with the exact count of negative directions, from the real zer...

Per-zero exclusion bounds free of assumptions on the zeros above the band, sharpened by a formally verified zero-free half-plane

A positive value λ of the Weil quadratic form, truncated to the window [−h,h], h=½log13, evaluated at its pole-conditioned minimiser and computed on the geometric side independently of the zeros, is converted into a bound |Re ρ_k − ½| ≤ δ*_k for individual zeros of ζ(s), with no...