All Questions
80 questions
1
vote
1
answer
229
views
Conjectured error term when counting square-free integers
It is well know that the density of positive square-free integers up to $x$ is asymptotically $x/\zeta(2)$. The error term
$$ E(x)=\sum_{1\leq n \leq x } \mu(n)^2 -\frac{x}{\zeta(2)}
$$ can easily ...
157
votes
7
answers
74k
views
Consequences of the Riemann hypothesis
I assume a number of results have been proven conditionally on the Riemann hypothesis, of course in number theory and maybe in other fields. What are the most relevant you know?
It would also be nice ...
6
votes
1
answer
433
views
Asymptotic behavior of partial sums of Dirichlet series
Consider the Dirichlet series:
$$\sum_{n \geq 1} \frac{a_n}{n^s} = \frac{\zeta(s+1/3)}{\zeta(s)}$$
where $\zeta(s)$ is the Riemann zeta function.
Question: Assuming the Riemann Hypothesis (RH), how ...
0
votes
0
answers
268
views
Do plots $(5)$ and $(6)$ go to infinity not at the same rate but at similar rates?
The following has been proven by joriki and GH from MO (see here): assuming that $n>1$, then the von Mangoldt function
$$
\Lambda(n)=\lim\limits_{s \rightarrow 1} \zeta(s)\sum\limits_{d|n} \frac{\...
45
votes
4
answers
8k
views
Why is so much work done on numerical verification of the Riemann Hypothesis?
I have noticed that there is a huge amount of work which has been done on numerically verifying the Riemann hypothesis for larger and larger non-trivial zeroes.
I don't mean to ask a stupid question, ...
38
votes
2
answers
13k
views
What, exactly, has Louis de Branges proved about the Riemann Hypothesis?
I know this is a dangerous topic which could attract many cranks and nutters, but:
According to Wikipedia [and probably his own website, but I have a hard time seeing exactly what he's claiming] Louis ...
14
votes
1
answer
1k
views
The location of the zeros of the "new" function $\Psi(s)=\sum _{n=1}^{\infty }{\frac{1}{n!^s}}$
Defining the Psi function as $$\Psi(s)=\sum _{n=1}^{\infty }{\frac{1}{n!^s}}$$ and by studying, from a numerical point of view, the location of the zeros in the complex plane up to $0<\Im(s)<...
12
votes
2
answers
1k
views
Prime differences and zero multiplicity
Concerning gaps between consecutive primes, Paul Erdős conjectured that:
$$\sum_{p_n < x} (p_n -p_{n-1})^2 = O(x \log x)$$
Let's call this hypothesis EH. Assuming the Riemann hypothesis (RH), ...
4
votes
1
answer
629
views
Is $\sum_{n\leq x}{z^{\Omega(n)}} = O(x^{\frac12 + \varepsilon})$ equivalent to the Riemann hypothesis for all roots of unity $z\neq1$?
$\Omega(n)$ is the number of prime divisors of $n$, counted with multiplicity.
For $z=-1$, $z^{\Omega(n)} = \lambda(n)$ is the Liouville function, and it's known that $\sum_{n\leq x}\lambda(n) = O(n^{\...
17
votes
2
answers
2k
views
Is this equivalent to RH - Riemann hypothesis?
$$\pi = 3\prod_{\zeta(1/2+it) = 0}\frac{9+4t^2}{1+4t^2}\iff\text{RH is true}.$$
3
votes
1
answer
309
views
Zeros of the derivative of $\xi$
In his paper on Zeros of derivatives of Riemann $\xi$-function on critical line Brian Conrey mention that
It can be shown that the Riemann hypothesis implies that all zeros of $\xi (s)$, the ...
2
votes
1
answer
740
views
Does the Riemann hypothesis predict a bound for this prime-counting function?
Does the Riemann hypothesis predict an upper bound for
$$\left|f(x)-\left(\operatorname{li}(x)-\frac{x}{\log x} \right)\right|,\quad x\ge 2\tag{1}$$
where
$$f(x)=\sum\limits_{n=2}^x \frac{\Lambda(n)}{\...
15
votes
3
answers
3k
views
On Robin's criterion for RH [closed]
\begin{equation}
\sigma(n) < e^\gamma n \log \log n
\end{equation}
In 1984 Guy Robin proved that the inequality is true for all n ≥ 5,041 if and only if the Riemann hypothesis is true (Robin 1984)....
17
votes
3
answers
3k
views
Largest known zero of the Riemann zeta function
Numerical calculations on the zeroes of the Riemann zeta function have reached a very high degree of refinement and sophistication and I think that the first $10^{20}$ (with positive imaginary part) ...
18
votes
1
answer
2k
views
A question about Speiser's 1934 result on the Riemann hypothesis
A number of sources concerning Speiser's 1934 result state that the Riemann Hypothesis (RH) implies $\zeta'(s)\neq 0$ for all $0<\text{Re}(s)<1/2$. But I have seen some (possibly less reliable) ...
1
vote
1
answer
286
views
GRH and the Euler product
Let $L(\chi, s)$ be the Dirichlet L-Function of a primitive character $\chi$. I believe, if I’m not mistaken, the convergence of the Euler product of $L(\chi, s)$ in the critical strip is known to be ...
1
vote
1
answer
282
views
Robin's inequality for odd numbers
In this article (Theorem 1.2) there is a proof for Robin's inequality for odd numbers,
$\sigma(n)/n< e^{\gamma}\log(\log(n))$ where $\gamma$ is the Euler-Mascheroni constant and $\sigma(n)$ is the ...
2
votes
1
answer
429
views
'Almost all' zeros of the Dirichlet L function lies 'near' the critical line?
Is there a well known result that states that as $t \to \infty$, 'almost all' zeros of any Dirichlet L function $L(s,\chi)$ lie in the region $R= \{\sigma+i t\mid |\sigma -\frac{1}{2}| \leq \Phi(t) \}$...
2
votes
1
answer
757
views
Does asymptotic Goldbach imply GRH?
It seems to me that a proof of $\alpha_{n}=o(n)$ where the quantity $\alpha_{n}$ is defined in About Goldbach's conjecture together with the main result of https://kyushu-u.pure.elsevier.com/en/...
1
vote
0
answers
169
views
Normal numbers and law of the iterated logarithm
If I remember correctly, for the binary digits of a real number in $[0,1]$, I was told that satisfying the law of the iterated logarithm (LIL) is stronger than being normal. That is, supposedly, some ...
8
votes
1
answer
868
views
A question on an equivalence of RH
In page 6, RH Equivalence 5.3. An equivalence of the Riemann Hypothesis says that
$$\sum_{\rho} \frac{1}{|\rho|^2} =\sum_{\rho} \frac{1}{\rho (1{-}\rho)}= 2 + \gamma - \log 4\pi$$
where $\rho$ is ...
5
votes
2
answers
1k
views
A question regarding Cramér's proof on prime gaps under the Riemann Hypothesis
Let $p_n$ be the $n$th prime. Assuming the Riemann hypothesis, Harald Cramér proves that $p_n-p_{n-1}\le C(\sqrt p_n \log p_n)$ for sufficiently large $n$. Is there a value known for the constant $C$ ...
4
votes
1
answer
621
views
Seek a reference for Theorem 1.2 on p. 6 of the Riemann Hypothesis sourcebook of Borwein et. al
The book "The Riemann Hypothesis, A Resource for the Afficionado and Virtuoso Alike", Borwein, Choi, Rooney, Weirathmueller, Eds., states on its page six the following theorem (Theorem 1.2):
...
14
votes
2
answers
1k
views
Effective Chebotarev without Artin's conjecture
$\DeclareMathOperator\Frob{Frob}$Iwaniec and Kowalski, in their famous book Analytic Number Theory states a strong form
of the effective Chebotarev density theorem page 143, and prove it assuming both ...
4
votes
1
answer
333
views
Double sum over zeros of Riemann zeta-function
In a paper by Saffari and Vaughan there appears a complicated-looking double sum
$$\Sigma_1=\sum_{\rho_1}\sum_{\rho_2}\frac{(1+\theta)^{\rho_1}-1}{\rho_1}\cdot \frac{(1+\theta)^{\bar{\rho_2}}-1}{\bar{\...
8
votes
2
answers
2k
views
Why is the Simple Zeros Conjecture said to be stronger than the Riemann Hypothesis?
Let the "Simple Zeros Conjecture (SZC)" be the statement that all zeros of the Riemann zeta function are simple.
I have often heard of the statement that the SZC is stronger than the Riemann ...
5
votes
0
answers
241
views
Estimating $\left| \sum_{n \leq x, n \neq p} \frac{\Lambda(n)}{n^{\sigma + it} \log n} \frac{\log x/n}{ \log n} \right|$ on RH
I am having some issue verifying Lemma 2 of K. Soundarajan's paper Moments of the Riemann Zeta function. It states the following:
Assume RH. Let $T \leq t \leq 2T$, $2 \leq x \leq T^2$ and $\sigma \...
1
vote
1
answer
194
views
Asymptotics of cumulative Liouville function under RH versus simple random walk
The expectation values of the 1D simple random walk $S_n$ can be shown to have the asymptotic behavior of
$$ \lim_{n\to\infty} \frac{a_n}{n^{1/2}} = \sqrt{\frac{2}{\pi}}, \tag{1}\label{1}$$
with $a_n =...
3
votes
0
answers
128
views
What is the smallest sequence $a_k$ with nondecreasing $\frac{\sigma(a_k)-H_{a_k}}{\exp(H_{a_k})\log(H_{a_k})}$?
This is inspired by the Question on coefficient of $\exp(H_n).\log(H_n)$ in Lagarias equivalence of RH , an answer and some comments there.
For $n\geqslant2$ denote
$$
L(n):=\frac{\sigma(n)-H_n}{\exp(...
4
votes
2
answers
423
views
Question on coefficient of $\exp(H_n).\log(H_n)$ in Lagarias equivalence of RH
In page 197, Equivalents of the Riemann Hypothesis Vol 1, the following statement caught my eye
There is an editorial comment in [102] that includes an observation by
the GCHQ Problem Solving Group. ...
7
votes
1
answer
769
views
$\mathit{NP}$-hard statements which are $\mathit{NP}$-complete under the Riemann Hypothesis
$\newcommand\NP{\mathit{NP}}\newcommand\SAT{\mathit{SAT}}\newcommand\CH{\mathit{CH}}\newcommand\PSPACE{\mathit{PSPACE}}$Are there $\NP$-hard problems which are $\NP$-complete under the Riemann ...
2
votes
1
answer
249
views
Robin's criterion, Goldbach's conjecture and upper bound for $r_{0}(n)$
This question is a follow-up to both About Goldbach's conjecture and Question in Proof of Hardy Ramanujan theorem about $\omega(n) =\sum_{p|n} 1$.
Can one derive from Robin's criterion for RH an ...
28
votes
2
answers
3k
views
What are some consequences of zero free strip of the Riemann zeta function?
A weaker version of the Riemann hypothesis is the claim that if $\zeta(s) = 0$ then $Re(s) \leq 1 - h$ for some constant $h> 0$. What would the consequences be of a result of this type?
5
votes
2
answers
872
views
Exact formula for partial sums of Liouville function $L(n)$ (OEIS sequence A002819)
I am wondering if it is possible to get a useful exact formula, or at least some useful asymptotics, for the partial sums of the Liouville function (OEIS sequence A002819)
$$L(n)=\sum_{k=1}^n \lambda(...
2
votes
0
answers
128
views
On primes of specified length and bit pattern
Denote $P(n,k)$ to be the number of primes between $2^n$ and $2^{n+1}-1$ having $k$ number of $1$s in its binary expansion between the $n+1$th binary digit and the least which is always $1$ if $n>1$...
2
votes
0
answers
537
views
Explicit formula for $n$th prime in terms of Riemann zeros:
We all know there exists an explicit Formula for prime counting function in terms of Riemann zeros.
I'm wondering if similar formula exists for $n$th prime in terms of Riemann zeros?
Or any other ...
0
votes
0
answers
112
views
Explicit formula for k-central numbers
Given a positive integer $ n $ and assuming Goldbach's conjecture, let $r_{0}(n)$ denote the smallest non negative integer $r$ such that both $n-r$ and $n+r$ are primes. Let $k_{0}(n)$ denote 'the ...
0
votes
1
answer
249
views
How differently would we model the distribution of primes if prime gap is larger?
Cramer's conjecture based on his random model provides prime gaps are bound by $O(\log^2p_n)$ where the gap is between $(n+1)$th and $n$th prime.
How differently would primes be modeled if gaps of $O(...
2
votes
0
answers
357
views
Mertens Bound and the Riemann Hypothesis
Let $M(x)$ denote the Mertens function ($M(x)=\sum_{i=1}^{x}\mu(i)$ where $\mu(i)$ is the Möbius function) and let $\Lambda(i)$ denote the Mangoldt function ($\Lambda(i)$ equals $\log(p)$ if $i=p^{m}$ ...
0
votes
0
answers
603
views
Why didn't Robin prove the Riemann Hypothesis?
I'm reading Robin's paper, ''Grandes valeurs de la fonction somme des diviseurs et hypoth`ese de Riemann,'' J. Math. Pures Appl. (9) 63 (1984).
In particular, Lemma 5 states that
$\prod_{p\leq P} (1-p^...
3
votes
1
answer
436
views
Is there a Riemann Hypothesis criterion utilizing sum of squares of divisors?
Robin's inequality
$$\sigma_1(n)<e^\gamma n\log\log n$$
at integers $n>5040$ provides necessary and sufficient condition for Riemann Hypothesis where $\sigma_1(n)=\sum_{d|n}d$ is sum of divisors ...
4
votes
1
answer
928
views
On a possible equivalent of Riemann hypothesis
I've read in a Bombieri's paper on official problem statement of Riemann hypothesis for Clay Math institute's millennium problems, a statement and what I understood of it is the following :
The ...
2
votes
1
answer
212
views
Error term for the summatory function of $k$-free numbers indicator and RH
I started to read this preprint: https://arxiv.org/abs/2010.03696
In it, the author states that $\sum_{n\leq x}\mu_{k}(n)=\zeta(k)^{-1}x+O(x^{1/k})$ and that under RH, the exponent in the error term ...
5
votes
2
answers
1k
views
Riemann Hypothesis and Euler product
It is conjecture that under certain conditions a L-function satisfies RH.
Among these conditions there is the necessity for the L-function to have an Euler product. (Some L-functions with a functional ...
6
votes
0
answers
177
views
Is there a conjectured uniform Lindelof hypothesis for Hurwitz zeta functions
Consider $\zeta(s, a) = \sum_{n=1}^{\infty} (n+a)^{-s}$ (alternatively, consider its functional equation Dirichlet series $\sum_{n=1}e(a n) n^{-s}$). What is the expected growth-rate of $\zeta(1/2 + ...
7
votes
1
answer
811
views
Is there a collection of evidence and heuristic arguments against the Riemann hypothesis? [closed]
There is undoubtedly an overwhelming collection of evidence for the Riemann hypothesis. However, is there any evidence against it ?
5
votes
1
answer
391
views
Proving a specific case of Robin's Inequality
Edit: It turns out that this is equivalent to the RH which gives the idea that this might a a little difficult to show. As such we could consider an even simpler case in which the number $n$ is ...
10
votes
0
answers
570
views
Bounding $1/\zeta(s)$ given RH
Let $T\geq 0$. Assume RH(T+100), that is, assume that all non-trivial zeros $\rho$ of the Riemann zeta function with $|\Im(\rho)|\leq T+100$ satisfy $\Re(\rho)=1/2$. Can we then give a good upper ...
4
votes
0
answers
884
views
Has any professional mathematician ever attempted to solve the Riemann hypothesis using only number theory? [closed]
I have often heard people saying that ''all attempts at solving the Riemann hypothesis using number theory have failed.'' But in the literature, i cannot find any failed ''purely number-theoretic'' ...
3
votes
1
answer
709
views
Conditional bound on RH for $\Re\left(\sum_{p\leq\sqrt{x}}\frac{(1/2)}{p^{1+2it}}\right)$
I would like to prove that
Assume RH. Let $T$ large, $2\leq x \leq T^2$ and $T\leq t \leq 2T$, then
$$
\log|\zeta(1/2+it))|\leq \Re\left(\sum_{p\leq x}\frac{1}{p^{1/2+1/\log x+it}}\frac{\log(x/p)}{\...