English
Related papers

Related papers: A logarithmic structure theorem for multiplicative…

200 papers

Let $S_m f$ denote the $m$-th partial sum of the Walsh-Fourier series of $f \in L^1$. For an increasing sequence $a=(a(n))_{n \geq 1}$ of positive integers, consider the arithmetic means $$ \sigma_N f:=\frac{1}{N} \sum_{n=1}^N S_{a(n)} f .…

Classical Analysis and ODEs · Mathematics 2026-05-07 Ushangi Goginava

We study a multiplicative function analogue of Linnik's problem on the least prime in an arithmetic progression. Let $h\colon \mathbb{N}\to\mathbb{R}\setminus\{0\}$ be a multiplicative function, and let $a \pmod q$ be a reduced residue…

Number Theory · Mathematics 2026-05-28 Kaisa Matomäki , Joni Teräväinen

We characterize the limiting behavior of partial sums of multiplicative functions $f:\mathbb{F}_q[t]\to S^1$. In contrast to the number field setting, the characterization depends crucially on whether the notion of discrepancy is defined…

Number Theory · Mathematics 2024-08-19 Oleksiy Klurman , Alexander P. Mangerel , Joni Teräväinen

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is of type 1 if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ satisfies a zero-one law. This means that for any non-negative…

Classical Analysis and ODEs · Mathematics 2018-01-31 Zoltán Buczolich , Balázs Maga , Gáspár Vértesy

Define {\em the Liouville function for $A$}, a subset of the primes $P$, by $\lambda_{A}(n) =(-1)^{\Omega_A(n)}$ where $\Omega_A(n)$ is the number of prime factors of $n$ coming from $A$ counting multiplicity. For the traditional Liouville…

Number Theory · Mathematics 2008-09-11 Peter Borwein , Stephen K. K. Choi , Michael Coons

Let $f_{\bf c}(r)=\sum_{n=0}^\infty e^{c_n}r^n$ be an analytic function; ${\bf c}=(c_n)\in l_\infty$. We assume that $r$ is some logarithmically convex and lower semicontinuous functional on a locally convex topological space $L$. In this…

Functional Analysis · Mathematics 2013-06-12 Krzysztof Zajkowski

The Landau-Selberg-Delange method gives precise asymptotic formulas for the partial sums $\sum_{n \le x} \, a_n$ of a Dirichlet series $\sum_n \, a_n/n^s$ that behaves like a complex power of the Riemann zeta function. However, situations…

Number Theory · Mathematics 2025-11-21 Akash Singha Roy

We study higher uniformity properties of the M\"obius function $\mu$, the von Mangoldt function $\Lambda$, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{\theta+\varepsilon} \leq H \leq X^{1-\varepsilon}$ for a fixed…

Number Theory · Mathematics 2024-03-01 Kaisa Matomäki , Xuancheng Shao , Terence Tao , Joni Teräväinen

We generalize recent matrix-based factorization theorems for Lambert series generating functions generating the coefficients $(f \ast 1)(n)$ for some arithmetic function $f$. Our new factorization theorems provide analogs to these…

Number Theory · Mathematics 2019-09-23 Hamed Mousavi , Maxie D. Schmidt

We show that the $L^1$ norm of an exponential sum of length $X$ and with coefficients equal to the Liouville or M\"{o}bius function is at least $\gg_{\varepsilon} X^{1/4 - \varepsilon}$ for any given $\varepsilon$. For the Liouville…

Number Theory · Mathematics 2023-07-21 Mayank Pandey , Maksym Radziwiłł

The suggested approach is based on a known representation of Dirichlet $L$-functions via the incomplete gamma functions. Some properties of the Taylor coefficients of the lower incomplete gamma function at infinity seem to be new.…

Number Theory · Mathematics 2026-02-06 Yuri Matiyasevich

In this paper we prove a basic theorem which says that if f : F_p^n -> [0,1] has the property that ||f^||_(1/3) is not too ``large''(actually, it also holds for quasinorms 1/2-\delta in place of 1/3), and E(f) = p^{-n} sum_m f(m) is not too…

Number Theory · Mathematics 2007-05-23 Ernie Croot

Tur\'an observed that logarithmic partial sums $\sum_{n\le x}\frac{f(n)}{n}$ of completely multiplicative functions (in the particular case of the Liouville function $f(n)=\lambda(n)$) tend to be positive. We develop a general approach to…

Number Theory · Mathematics 2022-11-11 Bryce Kerr , Oleksiy Klurman

Let $\lambda$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_{\alpha} \left | \sum_{x < n \leq x + H} \lambda(n) e(-\alpha n) \right | dx = o ( X H) $$ for all $H \geq X^{\theta}$ with $\theta >…

Number Theory · Mathematics 2018-12-05 Kaisa Matomäki , Maksym Radziwiłł , Terence Tao

Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a positive integer and $a$ be an integer with $(a,\,q)=1$. In this paper, we shall prove that $$\sum_{\substack{n\leq N\\ (n,\,q)=1}}f(n)e({a\bar{n}\over…

Number Theory · Mathematics 2014-03-14 Ke Gong , Chaohua Jia

Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…

Number Theory · Mathematics 2022-04-19 Yujiao Jiang , Guangshi Lü

For $\alpha \in \mathbb{R}$, let $\mathscr{D}_\alpha$ denote the scale of Hilbert spaces consisting of Dirichlet series $f(s) = \sum_{n=1}^\infty a_n n^{-s}$ that satisfy $\sum_{n=1}^\infty |a_n|^2/[d(n)]^\alpha < \infty$. The…

Functional Analysis · Mathematics 2018-07-24 Maxime Bailleul , Ole Fredrik Brevig

Let $f$ be a completely multiplicative function that assumes values inside the unit disc. We show that if $\sum_{n<x} f(n) \ll x/(\log x)^A$, $x>2$, for some $A>2$, then either $f(p)$ is small on average or $f$ pretends to be $\mu(n)n^{it}$…

Number Theory · Mathematics 2017-06-12 Dimitris Koukoulopoulos

Let $\zeta(.)$ denote the Riemann zeta function and let $a(.)$ and $A(.)$ respectively denote a multiplicative function and its corresponding summatory function. We consider the correlation $$ \langle a(n)A(n-1) \rangle (T) =…

Number Theory · Mathematics 2026-05-15 Gordon Chavez

Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + \epsilon}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-\epsilon}$. We show there exists a subset…

Number Theory · Mathematics 2021-04-14 Harald Andrés Helfgott , Maksym Radziwiłł