Related papers: On the Brun-Titchmarsh Theorem
We use the Bateman--Horn Conjecture from number theory to give strong evidence of a positive answer to Peter Neumann's question, whether there are infinitely many simple groups of order a product of six primes. (Those with fewer than six…
We computationally verify that if $L(s,\chi)$ is a quadratic Dirichlet $L$-function modulo $q \leq 10^{10}$ then $L(\sigma,\chi) \neq 0$ for real $\sigma \ge 1-1/(5\log q)$. The number of verified moduli exceeds benchmarks due to Watkins…
We show, for any $q\ge 3$ and distinct reduced residues $a,b \pmod q$, the existence of certain hypothetical sets of zeros of Dirichlet $L$-functions lying off the critical line implies that $\pi(x;q,a)<\pi(x;q,b)$ for a set of real $x$ of…
We present a short, self-contained, and purely combinatorial proof of Linnik's theorem: for any $\varepsilon > 0$ there exists a constant $C_\varepsilon$ such that for any $N$, there are at most $C_\varepsilon$ primes $p \leqslant N$ such…
The Prime Number Theorem states that the number of primes in $\{1,\ldots,x\}$, denoted $\pi(x)$, is approximately $\frac{x}{\ln(x)}$. In this paper, we investigate the distribution of primes for domains other than $\N$. First we look at…
We prove some results concerning the distribution of primes on the Riemann hypothesis. First, we prove the explicit result that there exists a prime in the interval $(x-\frac{4}{\pi} \sqrt{x} \log x,x]$ for all $x \geq 2$; this improves a…
We prove some new log-free density theorems for zeros of Dirichlet L-functions (which accordingly are more sharp than earlier ones near to the boundary line of the critical strip). The results can be applied in several problems of prime…
Let $p_n$ denote the $n$-th prime. For any $m\geq 1$, there exist infinitely many $n$ such that $p_{n}-p_{n-m}\leq C_m$ for some large constant $C_m>0$, and $$p_{n+1}-p_n\geq \frac{c_m\log n\log\log n\log\log\log\log n}{\log\log\log n}, $$…
We prove an upper bound on the density of zeros very close to the critical line of the family of Dirichlet $L$-functions of modulus $q$ at height $T$. To do this, we derive an asymptotic for the twisted second moment of Dirichlet…
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 $\chi$ be a real non-principal character modulo a prime $q$ and $L(s,\chi)$ be the corresponding $L$-function. We prove that for any real number $s\geq 1$ there holds $$ -\frac{L'(s,\chi )}{L(s,\chi)}\leq c \log q,$$ where $c$ can be…
The Euler product formula relates Dirichlet $L(s,\chi)$ functions to an infinite product over primes, and is known to be valid for $\Re (s) >1$, where it converges absolutely. We provide arguments that the formula is actually valid for $\Re…
For $(M,a)=1$, put \begin{equation*} G(X;M,a)=\sup_{p^\prime_n\leq X}(p^\prime_{n+1}-p^\prime_n), \end{equation*} where $p^\prime_n$ denotes the $n$-th prime that is congruent to $a\pmod{M}$. We show that for any positive $C$, provided $X$…
Let $\Lambda = \mathrm{SL}_2(\Bbb Z)$ be the modular group and let $c_n(\Lambda)$ be the number of congruence subgroups of $\Lambda$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log c_n(\Lambda)}{(\log n)^2/\log\log…
Using the Dirichlet theorem on the equidistribution of residue classes modulo $q$ and the Lemke Oliver-Soundararajan conjecture on the distribution of pairs of residues on consecutive primes, we show that the domain of convergence of the…
Denote by $\Omega(n)$ the number of prime divisors of $n \in \mathbb{N}$ (counted with multiplicities). For $x\in \mathbb{N}$ define the Dirichlet-Bohr radius $L(x)$ to be the best $r>0$ such that for every finite Dirichlet polynomial…
Let $\chi$ be a non-principal Dirichlet character of modulus $q$ with associated \textit{L}-function $L(s,\chi)$. We prove that $$|L(1,\chi)|\le\left(\frac{1}{2}+O\Big(\frac{\log\log q}{\log q}\Big)\right)\frac{\varphi(q)}{q}\log q\,,$$…
Let $\lambda$ be the Liouville function. Assuming the Generalised Riemann Hypothesis for Dirichlet $L$-functions (GRH), we show that for every sufficiently large even integer $N$ there are $a,b \geq 1$ such that $$ a+b = N \text{ and }…
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…
Assuming that there exist (infinitely many) Siegel zeros, we show that the (Rosser-)Jurkat-Richert bounds in the linear sieve cannot be improved, and similarly look at Iwaniec's lower bound on Jacobsthal's problem, as well as minor…