Search arXiv⌕ Search

arXiv · 2610.19464

A folklore conjecture on multiplicative exponential sums

Abstract

We prove a folklore conjecture on exponential sums with multiplicative coefficients: if $f$ is multiplicative with $|f(n)|\le1$, $(a,q)=1$, $|α-a/q|\le q^{-2}$ and $q\le N/(\log N)^2$, then \[ \sum_{n\le N}f(n)\operatorname{e}(nα)\ll\frac N{\log N}+\frac N{\sqrt q}. \] Complete multiplicativity is not required. We also prove two related conjectured bounds: the refinement in which $q$ is replaced by $q(1+N|α-a/q|)$, when this quantity is at most $N/(\log N)^2$, and the corresponding bound for the sum with logarithmic weights. Finally, we show that the bound can fail for multiplicative $f$ satisfying only $|f(p)|\le A$ at primes and $\sum_{n\le x}|f(n)|^2\le A^2x$, for every fixed $A>1$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nicolas Robles. 2026-10-14. A folklore conjecture on multiplicative exponential sums. https://arxiv.org/abs/2610.19464

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

KEEP EXPLORING

Related papers

Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

math.NT↗

Root numbers for twisted Fermat quotient curves II

This is a sequel to the previous work of the author Yanagihara (2025). Let $\ell$ be an odd prime, let $N \geq 1$ be an integer, and let $δ\geq 1$ be an $\ell^N$-th-power-free integer. Let $r,s,t>0$ be integers satisfying $r+s+t=\ell^N$. In Yanagihara (2025), the author computed the root number of the Fermat quotient curve $y^{\ell^N}=x^r(δ-x)^s$ under the assumptions that $\ell\nmid rst$ and that $\operatorname{ord}_{\ell}(δ)=0$ or $\ell\nmid \operatorname{ord}_{\ell}(δ)$. In this paper, we study the case where the technical assumption $\ell\nmid rst$ is dropped. As one such case, we compute the root number when $\ell^{N-1}\| r$ and $\ell\nmid stδ$.

math.NT↗

Potential semistability of Finite height Galois representations: Relative case

Let $K$ be a $p$-adic field. We define the notion of finite height for an étale $\mathbb{Z}_p$-local system on a smooth affinoid adic space $\mathcal{X}$ over $K$ with semistable reduction. Using analytic prismatic $F$-crystals and purity results of Du-Liu-Moon-Shimizu (arXiv:2404.19603), we prove that if an étale $\mathbb{Z}_p$-local system over $\mathcal{X}$ is of finite height then its pullback along a finite étale cover of $\mathcal{X}$ is semistable. This answers a question of Tong Liu in the relative setting.

math.NT↗