English

On a M\"obius double sum

Number Theory 2026-04-02 v2

Abstract

We study the double sum Sε(X)S_\varepsilon(X)==d,eXμ(d)μ(e)[d,e]1+ε\sum_{\substack{d,e\le X}}\frac{\mu(d)\mu(e)}{[d,e]^{1+\varepsilon}}, which converges even in the case ε=0\varepsilon=0, where μ\mu denotes the M\"obius function and [d,e][d,e] is the least common multiple of dd and ee. Such expressions arise naturally in analytic number theory, notably as the diagonal contribution in certain squared mean values, and they play a significant role in zero-density estimates for the Riemann zeta function and related LL-functions. We establish uniform upper bounds for Sε(X)S_\varepsilon(X) across various ranges of XX, with particular emphasis on the case ε\varepsilon close to 0+0^+.

Keywords

Cite

@article{arxiv.2603.25961,
  title  = {On a M\"obius double sum},
  author = {Olivier Ramaré and Sebastian Zuniga Alterman},
  journal= {arXiv preprint arXiv:2603.25961},
  year   = {2026}
}
R2 v1 2026-07-01T11:40:01.977Z