Sebastian Zuniga-Alterman

arXiv2026

A recurrence in logarithmic Möbius sums with coprimality conditions via Euler--Maclaurin

We derive a recurrence for logarithmically weighted Möbius sums by combining Möbius inversion with the Euler--Maclaurin summation formula. Consequently, starting from estimates of orders zero, one and two, we obtain polynomial approximations for these sums for every nonnegative integer exponent of $\log$. We then extend these estimates to sums with coprimality conditions via a convolution identity and to sums weighted by the reciprocal of the sum-of-divisors function. We also establish the nonnegativity of the latter sums for every positive integer logarithmic order, proving that they never change sign.

math.NT↗

arXiv2026

Low Lying Zeros of Dedekind Zeta Functions

Let $K$ be a number field of degree $n_K$, and let $h(K)$ denote the smallest absolute value of the imaginary part of a non-trivial zero of its Dedekind zeta function. In 1979, Hoffstein proved the unconditional bound $h(K)\leq 0.87+o(1)$ as $n_K\to\infty$. In a 1990 survey article, Odlyzko stated without proof that a different kernel in Weil's explicit formula could produce $h(K)\leq 0.54+o(1)$. No further improvement on Hoffstein's $0.87$ threshold accompanied by a published proof has since appeared. We choose a linear kernel and first show that Hoffstein's original parameters already yield the improved constant $0.825$. We then generalise his linear kernel method using Stechkin's trick and prove the unconditional bound $h(K)\leq 0.6+o(1)$ as $n_K\to\infty$, giving the best proved asymptotic bound to date.

math.NT↗