BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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.
The nilpotence order of the mod 2 Hecke operators. Let Δ=∑m=0∞q(2m+1)2∈F2[[q]] be the reduction mod 2 of the Δ series. A modular form f modulo 2 of level 1 is a polynomial in Δ. If p is an odd prime, then the Hecke operator Tp transforms f in a modular form Tp(f) which is a polynomial in Δ whose degree is smaller than the degree of f, so that Tp is nilpotent. The order of nilpotence of f is defined as the smallest integer g = g(f) such that, for every family of g odd primes p1, p2, ..., pg, the relation Tp1Tp2... Tpg (f) = 0 holds. We show how one can compute explicitly g(f); if f is a polynomial of degree d in Δ, one finds that g(f) << d^(1/2).
Modular forms mod 2 : structure of the Hecke ring We show that the Hecke algebra for modular forms mod 2 of level 1 is isomorphic to the power series ring F2[[x, y]], where x = T3 and y = T5.
If n is a positive integer, let h(n) denote the maximal value of the product of distinct primes whose sum does not exceed n. We give some properties of this function h and describe an algorithm able to compute h(n) for large values of n.
Gronwall's function G is defined for n>1 by G(n)=nloglognσ(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)≥G(N/p) for all prime factors p of N. We say that N is a \emph{GA2 number} if G(N)≥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 superabundant (SA) and colossally abundant (CA) numbers (first studied by Ramanujan). We give algorithms for computing GA1 numbers; the smallest one with more than two prime factors is 183783600, while the smallest odd one is 1058462574572984015114271643676625. We find nineteen GA2 numbers ≤5040, and prove that a GA2 number N>5040 exists if and only if RH is false, in which case N is even and >108576.
Let q be an odd positive integer and P \in F2[z] be of order q and such that P(0) = 1. We denote by A = A(P) the unique set of positive integers satisfying \sum_{n=0}^\infty p(A, n) z^n \equiv P(z) (mod 2), where p(A,n) is the number of partitions of n with parts in A. In [5], it is proved that if A(P, x) is the counting function of the set A(P) then A(P, x) << x(log x)^{-r/ϕ(q)}, where r is the order of 2 modulo q and ϕis Euler's function. In this paper, we improve on the constant c=c(q) for which A(P,x) << x(log x)^{-c}.
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.
Let $\vfi$ be Euler's function, $\ga$ be Euler's constant and Nk be the product of the first k primes. In this article, we consider the function $c(n) =(n/\vfi(n)-e^\ga\log\log n)\sqrt{\log n}$. Under Riemann's hypothesis, it is proved that c(Nk) is bounded and explicit bounds are given while, if Riemann's hypothesis fails, c(Nk) is not bounded above or below.
After Landau, we define g(n) as the maximal order of a permutation of the symmetric group S(n) on n letters. We give several estimates of the largest prime divisor of g(n).
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.