English

Convolution of periodic multiplicative functions and the divisor problem

Number Theory 2026-01-14 v3

Abstract

We study a certain class of arithmetic functions that appeared in Klurman's classification of ±1\pm 1 multiplicative functions with bounded partial sums, c.f., Comp. Math. 153 (8), 2017, pp. 1622-1657. These functions are periodic and 11-pretentious. We prove that if f1f_1 and f2f_2 belong to this class, then nx(f1f2)(n)=Ω(x1/4)\sum_{n\leq x}(f_1\ast f_2)(n)=\Omega(x^{1/4}). This confirms a conjecture by the first author. As a byproduct of our proof, we studied the correlation between Δ(x)\Delta(x) and Δ(θx)\Delta(\theta x), where θ\theta is a fixed real number. We prove that there is a non-trivial correlation when θ\theta is rational, and a decorrelation when θ\theta is irrational. Moreover, if θ\theta has a finite irrationality measure, then we can make it quantitative this decorrelation in terms of this measure.

Keywords

Cite

@article{arxiv.2305.06260,
  title  = {Convolution of periodic multiplicative functions and the divisor problem},
  author = {Marco Aymone and Gopal Maiti and Olivier Ramaré and Priyamvad Srivastav},
  journal= {arXiv preprint arXiv:2305.06260},
  year   = {2026}
}

Comments

24 pages, accepted version, to appear in CJM

R2 v1 2026-06-28T10:31:13.830Z