Related papers: Sign changes in the prime number theorem

We consider $\Phi(x)=x^{-\frac{1}{4}}\left[1-2\sqrt{x}\Sigma e^{-p^2\pi x}\ln p\right]$ on $x>0$, where the sum is over all primes $p$. If $\Phi$ is bounded on $x>0$, then the Riemann hypothesis is true or there are infinitely many zeros…

Assume the Riemann Hypothesis, and let $\gamma^+>\gamma>0$ be ordinates of two consecutive zeros of $\zeta(s)$. It is shown that if $\gamma^+-\gamma < v/ \log \gamma $ with $v<c$ for some absolute positive constant $c$, then the box $$…

In the present paper, we show that under the Riemann hypothesis, and for fixed $h, \epsilon > 0$, the supremum of the real and the imaginary parts of $\log \zeta (1/2 + it)$ for $t \in [UT -h, UT + h]$ are in the interval $[(1-\epsilon)…

Standard prime-number counting functions, such as $\psi(x)$, $\theta(x)$, and $\pi(x)$, have error terms with limiting logarithmic distributions once suitably normalized. The same is true of weighted versions of those sums, like $\pi_r(x) =…

Let $0<\gamma_1\leq \gamma_2\leq \ldots$ denote the positive ordinates of the non-trivial zeros of the Riemann zeta-function. A result first announced by Selberg states that there exist absolute constants $\Theta, \vartheta>0$ such that for…

We numerically investigate, for zeros $\rho=1/2+i\gamma$, the statistics of the imaginary part of $\log(\zeta^\prime(1/2+i\gamma))$, computed by continuous variation along a vertical line from $\sigma=4$ to $4+i\gamma$ and then along a…

In this article, we prove an explicit bound for $N(\sigma,T)$, the number of zeros of the Riemann zeta function satisfying $\sigma < \Re s <1 $ and $0 < \Im s < T$. This result provides a significant improvement over Rosser's bound for…

An improved estimate is given for $|\theta(x) -x|$, where $\theta(x) = \sum_{p\leq x} \log p$. Three applications are given: the first to arithmetic progressions that have points in common, the second to primes in short intervals, and the…

For $V\sim \alpha \log\log T$ with $0<\alpha<2$, we prove \[ \frac{1}{T}\text{meas}\{t\in [T,2T]: \log|\zeta(1/2+ {\rm i} t)|>V\}\ll \frac{1}{\sqrt{\log\log T}} e^{-V^2/\log\log T}. \] This improves prior results of Soundararajan and of…

In this article we derive, using the Lagrange inversion theorem and applying twice the Fa\`a di Bruno formula, an expression of the minimum of the Gamma function $\Gamma$ as an expansion in powers of the Euler-Mascheroni constant $\gamma$.…

Let $\pi S(t)$ denote the argument of the Riemann zeta-function at the point $s=\tfrac12+it$. Assuming the Riemann hypothesis, we give a new and simple proof of the sharpest known bound for $S(t)$. We discuss a generalization of this bound…

A recently published result states inequalities of the harmonic mean of the digamma function. In this work, we prove among others results that for all positive real numbers $x\neq 1$, $$-\gamma<-\gamma…

A discussion involving the evaluation of the sum $\sum_{0<\gamma\le T} |\zeta(1/2+i\gamma)|^2$ is presented, where $\gamma$ denotes imaginary parts of complex zeros of the Riemann zeta-function $\zeta(s)$. Three theorems involving certain…

Let $N(\sigma,T)$ denote the number of nontrivial zeros of the Riemann zeta function with real part greater than $\sigma$ and imaginary part between $0$ and $T$. We provide explicit upper bounds for $N(\sigma,T)$ commonly referred to as a…

Let $S(\sigma,t)=\frac{1}{\pi}\arg\zeta(\sigma+it)$ be the argument of the Riemann zeta-function at the point $\sigma+it$ in the critical strip. For $n\geq 1$ and $t>0$, we define \begin{equation*} S_{n}(\sigma,t) = \int_0^t…

We present the formalization of Dirichlet's theorem on the infinitude of primes in arithmetic progressions, and Selberg's elementary proof of the prime number theorem, which asserts that the number $\pi(x)$ of primes less than $x$ is…

Let $\theta(x) = \sum_{p\leq x} \log p$. We show that $\theta(x)<x$ for $2<x< 1.39\cdot 10^{17}$. We also show that there is an $x<\exp(727.951332668)$ for which $\theta(x) >x.$

The Riemann-Siegel theta function $\vartheta(t)$ is examined for $t\to+\infty$. Use of the refined asymptotic expansion for $\log\,\g(z)$ shows that the expansion of $\vartheta(t)$ contains an infinite sequence of increasingly subdominant…

We show the estimates \inf_T \int_T^{T+\delta} |\zeta(1+it)|^{-1} dt =e^{-\gamma}/4 \delta^2+ O(\delta^4) and \inf_T \int_T^{T+\delta} |\zeta(1+it)| dt =e^{-\gamma} \pi^2/24 \delta^2+ O(\delta^4) as well as corresponding results for…

The set of Salem numbers is proved to be bounded from below by $\theta_{31}^{-1}= 1.08544\ldots$ where $\theta_{n}$, $ n \geq 2$, is the unique root in $(0,1)$ of the trinomial $-1+x+x^n$. Lehmer's number $1.176280\ldots$ belongs to the…