Searcharxiv⌕ Search

arXiv · 2610.23660

On a series related to the Möbius function

Abstract

For a natural number $n>1$ let $P^-(n)$ denote its smallest prime divisor. Alladi and Johnson proved that $\sum_{P^{-}(n)\equiv l \Mod{k}} \frac{μ(n)ω(n)}{n} = 0$ for $(l,k)=1$, and Tenenbaum showed that the partial sums of this series up to $X$ are $O_\varepsilon\bigl((\log\log X)^{5/3+\varepsilon}/\log X\bigr)$. In this article, we prove that these partial sums are in fact equal to $C(k,l)/\log X + O\bigl((\log\log X)^4/(\log X)^2\bigr)$, with an explicit constant $C(k,l)$. We also investigate the behaviour of these constants. In particular, we show under GRH that the number of reduced classes $l\Mod{k}$ for which $C(k,l)<0$ is $φ(k)(1- o(1))$ as $k\to\infty$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Deep Thakur. 2026-10-16. On a series related to the Möbius function. https://arxiv.org/abs/2610.23660

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Correlations of values of random diagonal forms

We study the value distribution of diagonal forms in k variables and degree d with random real coefficients and positive integer variables, normalized so that mean spacing is one. We show that the l-correlation of almost all such forms is Poissonian when k is large enough depending on l and d.

math.NT↗

A Database of Continued Fractions of Polynomial Type

We describe a database of 1925 continued fractions with polynomial coefficients, of which more than 1600 are new, both for interesting constants and for transcendental functions, and provide the database inside the \TeX\ source of the paper. Look in particular at the section ``Table of Contents''.

math.NT↗

Galois measures and the Katz map

The purpose of this paper is to explain the proofs of the results announced by Nick Katz in 1977, namely a description of ``Galois measures for Tate modules of height two formal groups over the ring of integers of a finite unramified extension of $\mathbf{Q}_p$''.

math.NT↗