Robin's criterion states that the Riemann hypothesis is equivalent to $σ(n) < e^γn \log\log n$ for all integers $n \geq 5041$, where $σ(n)$ is the sum of divisors of $n$ and $γ$ is the Euler-Mascheroni constant. We prove that the Riemann hypothesis is equivalent to the statement that $σ(n) < \frac{e^γ}{2} n \log\log n$ for all odd numbers $n \geq 3^4 \cdot 5^3 \cdot 7^2 \cdot 11 \cdots 67$. Lagarias's criterion for the Riemann hypothesis states that the Riemann hypothesis is equivalent to $σ(n) < H_n + \exp{H_n}\log{H_n}$ for all integers $n \geq 1$, where $H_n$ is the $n$th harmonic number. We establish an analogue to Lagarias's criterion for the Riemann hypothesis by creating a new harmonic series $H^\prime_n = 2H_n - H_{2n}$ and demonstrating that the Riemann hypothesis is equivalent to $σ(n) \leq \frac{3n}{\log{n}} + \exp{H^\prime_n}\log{H^\prime_n}$ for all odd $n \geq 3$. We prove stronger analogues to Robin's inequality for odd squarefree numbers. Furthermore, we find a general formula that studies the effect of the prime factorization of $n$ and its behavior in Robin's inequality.
We show that Li's criterion equivalent to the Riemann hypothesis, viz. the statement that the sums k_n=Sum_rho(1-(1-1/rho)^n) over Riemann xi-function zeroes as well as all derivatives lambda_n= (n-1)!^(-1)*d^n/dz^n(z^(n-1)*ln(xi(z))_(z=1)), where n=1, 2, 3..., should be non-negative if and only if the Riemann hypothesis holds true, can be generalized and the non-negativity of certain derivatives of the Riemann xi-function estimated at an arbitrary real point a, except a=1/2, can be used as a criterion equivalent to the Riemann hypothesis. Namely, we demonstrate that the sums k_n=Sum_rho(1-(1-…
Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality sum_{d|n}d<e^{gamma}n loglog n is satisfied for n>=5041, where gamma denotes the Euler(-Mascheroni) constant. We show by elementary methods that if n>=37 does not satisfy Robin's criterion it must be even and is neither squarefree nor squarefull. Using a bound of Rosser and Schoenfeld we show, moreover, that n must be divisible by a fifth power >1. As a consequence we infer that RH holds true if and only if every natural number divisible by a fifth power >1 satisfies Robin's inequality.
Li showed that the Riemann Hypothesis is equivalent to the nonnegativity of a certain sequence of numbers. Bombieri and Lagarias gave an arithmetic formula for the number sequence based on the Guinand-Weil explicit formula and showed that Li's criterion is equivalent to Weil's criterion for the Riemann Hypothesis. We provide a derivation of the explicit formula based on Laplace transforms and present an alternative expression for Li's criterion that invites a probabilistic interpretation.
There are many formulations of problems that have been proven to be equivalent to the Riemann Hypothesis in modern mathematics. In this paper we look at the formulation of an inequality derived by Robin in 1984 that proves the Riemann Hypothesis true if and only if Robin's Inequality is true for all $n\geq 5040$. In this paper we look at explicit products of prime numbers and show that if a given $n=p_1^{k_1}p_2^{k_2}\ldots p_m^{k_m}$ satisfies Robin's Inequality, then $n=P_1^{k_1}P_2^{k_2}\ldots P_m^{k_m}$ with $p_j \leq P_j$ also satisfies the inequality. We also then offer two conjectures t…
In 1997 the author found a criterion for the Riemann hypothesis for the Riemann zeta function, involving the nonnegativity of certain coefficients associated with the Riemann zeta function. In 1999 Bombieri and Lagarias obtained an arithmetic formula for these coefficients using the ``explicit formula'' of prime number theory. In this paper, the author obtains an arithmetic formula for corresponding coefficients associated with the Euler product of Hecke polynomials, which is essentially a product of L-functions attached to weight 2 cusp forms (both newforms and oldforms) over Hecke congruence…
We provide an historical account of equivalent conditions for the Riemann Hypothesis arising from the work of Ramanujan and, later, Guy Robin on generalized highly composite numbers. The first part of the paper is on the mathematical background of our subject. The second part is on its history, which includes several surprises.
In 1984, Robin showed that the Riemann Hypothesis for $ζ$ is equivalent to demonstrating $σ(n) < e^γn \log \log n$ for all $n > 5040$. Robin's inequality has since been proven for various infinite families of power-free integers: $5$-free integers, $7$-free integers, and $11$-free integers. We extend these results to cover $20$-free integers.
For n>1, let G(n)=σ(n)/(n log log n), where σ(n) is the sum of the divisors of n. We prove that the Riemann Hypothesis is true if and only if 4 is the only composite number N satisfying G(N) \ge \max(G(N/p),G(aN)), for all prime factors p of N and all multiples aN of N. The proof uses Robin's and Gronwall's theorems on G(n). An alternate proof of one step depends on two properties of superabundant numbers proved using Alaoglu and Erdős's results.
It is well known that $li(x)>π(x)$ (i) up to the (very large) Skewes' number $x_1 \sim 1.40 \times 10^{316}$ \cite{Bays00}. But, according to a Littlewood's theorem, there exist infinitely many $x$ that violate the inequality, due to the specific distribution of non-trivial zeros $γ$ of the Riemann zeta function $ζ(s)$, encoded by the equation $li(x)-π(x)\approx \frac{\sqrt{x}}{\log x}[1+2 \sum_γ\frac{\sin (γ\log x)}γ]$ (1). If Riemann hypothesis (RH) holds, (i) may be replaced by the equivalent statement $li[ψ(x)]>π(x)$ (ii) due to Robin \cite{Robin84}. A statement similar to (i) was found by…
The conjectured Robin inequality for an integer $n>7!$ is $σ(n)<e^γn \log \log n,$ where $γ$ denotes Euler constant, and $σ(n)=\sum_{d | n} d $. Robin proved that this conjecture is equivalent to Riemann hypothesis (RH). Writing $D(n)=e^γn \log \log n-σ(n),$ and $d(n)=\frac{D(n)}{n},$ we prove unconditionally that $\liminf_{n \rightarrow \infty} d(n)=0.$ The main ingredients of the proof are an estimate for Chebyshev summatory function, and an effective version of Mertens third theorem due to Rosser and Schoenfeld. A new criterion for RH depending solely on $\liminf_{n \rightarrow \infty}D(n)$…
Let $σ(n)$ denotes the sum of divisors function of a positive integer $n$. Robin proved that the Riemann hypothesis is true if and only if the inequality $σ(n) < e^γn \log \log n$ holds for every positive integer $n \geq 5041$, where $γ$ is the Euler-Mascheroni constant. In this paper we establish a new family of integers for which Robin's inequality $σ(n) < e^γn \log \log n$ hold. Further, we establish a new unconditional upper bound for the sum of divisors function. For this purpose, we use an approximation for Chebyshev's $\vartheta$-function and for some product defined over prime numbers.
In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality $σ(n)<e^γn\log\log n$ holds for every integer $n>5040$, where $σ(n)$ is the sum of divisors function, and $γ$ is the Euler-Mascheroni constant. We exhibit a broad class of subsets $\cS$ of the natural numbers such that the Robin inequality holds for all but finitely many $n\in\cS$. As a special case, we determine the finitely many numbers of the form $n=a^2+b^2$ that do not satisfy the Robin inequality. In fact, we prove our assertions with the Nicolas inequality $n/ϕ(n)<e^γ\log \log n$; since $σ(n…
Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality $σ(n):=\sum_{p|n}p<e^γ n \log \log n$ is satisfied for $n > 5040$, where $γ$ denotes the Euler-Mascheroni constant. We show that if the 2-adic order of n is big enough in comparison to the odd part of n then Robin's inequality is satisfied. We also show that if an positive integer $n$ satisfies either $ν_2(n) \leq 19$, $ν_3(n) \leq 12$,$ν_5(n) \leq 7$, $ν_7(n) \leq 6$, $ν_{11}(n) \leq 5$ then Robin's inequality is satisfied, where $ν_p(n)$ is the p-adic order of $n$. In the end we show that $σ(n…
This paper shows the equivalence of the Riemann hypothesis to an sequence of elementary inequalities involving the harmonic numbers H_n, the sum of the reciprocals of the integers from 1 to n. It is a modification of a criterion due to Guy Robin.
Robin's theorem is one of the ingenious reformulation of the Riemann hypothesis (RH). It states that the RH is true if and only if $σ(n)<e^γn\log\log n$ for all $n>5040$ where $σ(n)$ is the sum of divisors of $n$ and $γ$ is Euler's constant. In this paper we show that how the RH is delicate in terms of certain subsets of superabundant numbers, namely extremely abundant numbers and some of its specific supersets.
Let σ(n) be the sum of divisors of a positive integer n. Robin's theorem states that the Riemann hypothesis is equivalent to the inequality σ(n)<e^γn\log\log n for all n>5040 (γis Euler's constant). It is a natural question in this direction to find a first integer, if exists, which violates this inequality. Following this process, we introduce a new sequence of numbers and call it as extremely abundant numbers. In this paper we show that the Riemann hypothesis is true, if and only if, there are infinitely many of these numbers. Moreover, we investigate some of their properties together with s…
Let $\mathcal{P}$ be the set of all primes and $ψ(n)=n\prod_{n\in \mathcal{P},p|n}(1+1/p)$ be the Dedekind psi function. We show that the Riemann hypothesis is satisfied if and only if $f(n)=ψ(n)/n-e^γ \log \log n <0$ for all integers $n>n_0=30$ (D), where $γ\approx 0.577$ is Euler's constant. This inequality is equivalent to Robin's inequality that is recovered from (D) by replacing $ψ(n)$ with the sum of divisor function $σ(n)\ge ψ(n)$ and the lower bound by $n_0=5040$. For a square free number, both arithmetical functions $σ$ and $ψ$ are the same. We also prove that any exception to (D) may…
The function $ε(x)=\mbox{li}(x)-π(x)$ is known to be positive up to the (very large) Skewes' number. Besides, according to Robin's work, the functions $ε_θ(x)=\mbox{li}[θ(x)]-π(x)$ and $ε_ψ(x)=\mbox{li}[ψ(x)]-π(x)$ are positive if and only if Riemann hypothesis (RH) holds (the first and the second Chebyshev function are $θ(x)=\sum_{p \le x} \log p$ and $ψ(x)=\sum_{n=1}^x Λ(n)$, respectively, $\mbox{li}(x)$ is the logarithmic integral, $μ(n)$ and $Λ(n)$ are the Möbius and the Von Mangoldt functions). Negative jumps in the above functions $ε$, $ε_θ$ and $ε_ψ$ may potentially occur only at $x+1 \…
Gronwall's function $G$ is defined for $n>1$ by $G(n)=\frac{σ(n)}{n \log\log n}$ where $σ(n)$ is the sum of the divisors of $n$. We call an integer $N>1$ a \emph{GA1 number} if $N$ is composite and $G(N) \ge G(N/p)$ for all prime factors $p$ of $N$. We say that $N$ is a \emph{GA2 number} if $G(N) \ge G(aN)$ for all multiples $aN$ of $N$. In arXiv 1110.5078, we used Robin's and Gronwall's theorems on $G$ to prove that the Riemann Hypothesis (RH) is true if and only if 4 is the only number that is both GA1 and GA2. Here, we study GA1 numbers and GA2 numbers separately. We compare them with super…
