Related papers: A note on the Liouville function in short interval…

Let $f$ be a Hecke-Maass cusp form for $\rm SL_2(\mathbb{Z})$ with Laplace eigenvalue $\lambda_f(\Delta)=1/4+\mu^2$ and let $\lambda_f(n)$ be its $n$-th normalized Fourier coefficient. It is proved that, uniformly in $\alpha, \beta \in…

We establish an asymptotic formula for the logarithmic mean value of a 1-bounded multiplicative function that is sharp in many cases of interest. We derive from it a variety of applications, making progress on several old problems. As a…

This survey paper is based on a talk given at the 44th Summer Symposium in Real Analysis in Paris. This line of research was initiated by a question of Haight and Weizs\"aker concerning almost everywhere convergence properties of series of…

A well-known conjecture asserts that, for any given positive real number $\lambda$ and nonnegative integer $m$, the proportion of positive integers $n \le x$ for which the interval $(n,n + \lambda\log n]$ contains exactly $m$ primes is…

If $$ \Delta(x) \;:=\; \sum_{n\leqslant x}c_n - Cx\qquad(C>0) $$ denotes the error term in the classical Rankin-Selberg problem, then we obtain a non-trivial upper bound for the mean square of $\Delta(x+U) - \Delta(x)$ for a certain range…

Let $\lambda$ denote the Liouville function. We show that the logarithmic mean of $\lambda(\lfloor \alpha_1n\rfloor)\lambda(\lfloor \alpha_2n\rfloor)$ is $0$ whenever $\alpha_1,\alpha_2$ are positive reals with $\alpha_1/\alpha_2$…

In this short note we give a proof of Liouville's theorem (every bounded entire complex function is constant) following Peterzil and Starchenko's approach to complex analysis via o-minimality.

We consider the partial theta function $\theta (q,z):=\sum _{j=0}^{\infty}q^{j(j+1)/2}z^j$, where $(q,z)\in \mathbb{C}^2$, $|q|<1$. We show that for any $0<\delta _0<\delta <1$, there exists $n_0\in \mathbb{N}$ such that for any $q$ with…

For each $1\leq i \le n$, let $k_i\geq 1$ and let $\Delta_i$ be a set of vertices of a non-degenerate simplex of $k_i+1$ points in $\mathbb{R}^{k_i+1}$. If $A\subseteq [0,1]^{k_1+1}\times \cdots \times [0,1]^{k_n+1}$ is a Lebesgue…

We prove that there is a constant $c > 0$ depending only on $M \geq 1$ and $\mu \geq 0$ such that $$\int_y^{y+a}{|g(t)| \, dt} \geq \exp (-c/(a\delta))\,, a \in (0,\pi]\,,$$ for every $g$ of the form $$g(t) = \sum_{j=0}^n{a_j…

Let $a>1$ be an integer. Denote by $l_a(n)$ the multiplicative order of $a$ modulo integer $n\geq 1$. We prove that there is a positive constant $\delta$ such that if $x^{1-\delta}\log^3 x = o(y)$, then $$ \frac1y \sum_{a<y} \frac1x…

Recently, we have established the generalized Li criterion equivalent to the Riemann hypothesis, viz. demonstrated that the sums over all non-trivial Riemann function zeroes k_n,a=Sum_(/rho)(1-(1-((/rho-a)/(/rho+a-1))^n) for any real a not…

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}$…

We consider fluctuations of error terms $\Delta(x)$ appearing in the asymptotic formula for a summatory function of coefficients of the Dirichlet series. These are quantified via $\Omega$ and $\Omega_{\pm}$ estimates. We obtain $\Omega$…

We prove that when $f$ is a Rademacher random multiplicative function for any $\epsilon>0$, then $\sum_{n \leqslant x}\frac{f(n)}{\sqrt{n}} \ll (\log\log(x))^{3/4+\epsilon}$ for almost all $f$. We also show that there exist arbitrarily…

We prove that for every nonnegative integer $m$ there exists an $\varepsilon>0$ such that if $\lambda\in (0,\varepsilon]$ and $x$ is sufficiently large in terms of $m$, then the number of positive integers $n\leq x$ for which the interval…

Let $\lambda(n)$ and $\mu(n)$ denote the Liouville function and the M\"obius function, respectively. In this study, relationships between the values of $\lambda(n)$ and $\lambda(n+h)$ up to $n\leq10^8$ for $1\leq h\leq1,000$ are explored.…

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…

We give a relatively simple proof that \[ \int _0^1\left |\sum _{n\leq x}d(n)e(n\alpha )\right |d\alpha \asymp \sqrt x.\]

Let $f$ be a real-valued $1$-bounded multiplicative function. Suppose that the mean-value of $f^{2}$ exists, and $$\int_{0}^{1} \Big | \sum_{n \leq N} f(n)e^{2\pi i n \alpha} \Big | d \alpha\leq N^{o(1)}$$ as $N \rightarrow \infty$, then…