Bounded Exponential Sums with Multiplicative Coefficients

TL;DR

This paper characterizes when exponential sums with multiplicative coefficients remain bounded, showing they closely resemble twisted Dirichlet characters, with detailed classifications for special cases and measure-based conditions.

Contribution

It provides a comprehensive classification of bounded exponential sums with multiplicative functions, including new results for completely multiplicative functions and measure-based boundedness.

Findings

Bounded sums occur only when f is close to a twisted Dirichlet character.

Complete classification for completely multiplicative functions with irrational lpha.

Stronger classification results under positive measure set assumptions.

Abstract

We investigate when the exponential sum $S_f(x,\alpha) := \sum_{n\le x}f(n)\mathrm{e}(n\alpha)$ is bounded, for a multiplicative function $f$ and $\alpha\in\mathbb{R}$. We show that under natural assumptions, $S_f(x,\alpha)$ is bounded only when $f$ is very close to a twisted Dirichlet character $\chi(n)n^{it}$. We obtain sharper classification results for functions that are completely multiplicative or take only finitely many values, including a complete classification in the case when $f$ is completely multiplicative and $\alpha$ is irrational. We also prove a stronger classification under the assumption that the sum is bounded for a positive measure set of $\alpha$.