The Riemann hypothesis for certain integrals of Eisenstein series
Jeffrey C. Lagarias, Masatoshi Suzuki
备注：
23 pages; corrected residues of functions in theorem 1 and 2, added reference; v3 small corrections, removed uncited references; v4 more small corrections
This paper studies the non-holomorphic Eisenstein series E(z,s) for the modular surface, and shows that integration with respect to certain non-negative measures gives meromorphic functions of s that have all their zeros on the critical line Re(s) = 1/2. For the constant term of the Eisenstein series it shows that all zeros are on the critical line for fixed y= Im(z) \ge 1, except possibly for two real zeros, which are present if and only if y > 4 πe^{-γ} = 7.0555+. It shows the Riemann hypothesis holds for all truncation integrals with truncation parameter T \ge 1. For T=1 this proves the Riemann hypothesis for a zeta function recently introduced by Lin Weng, attached to rank 2 semistable lattices over the rationals.
New expressions are given for the Fourier expansions of non-holomorphic Eisenstein series with weight $k$. Among other applications, this leads to non-holomorphic analogs of formulas of Ramanujan, Grosswald and Berndt containing Eichler integrals of holomorphic Eisenstein series.
We develop a unified approach to the construction of the hyperbolic and elliptic Eisenstein series on a finite volume hyperbolic Riemann surface. Specifically, we derive expressions for the hyperbolic and elliptic Eisenstein series as integral transforms of the kernel of a wave operator. Established results in the literature relate the wave kernel to the heat kernel, which admits explicit construction from various points of view. Therefore, we obtain a sequence of integral transforms which begins with the heat kernel, obtains a Poisson and wave kernel, and then yields the hyperbolic and ellipt…
Let $Γ$ be a Fuchsian group of the first kind acting on the hyperbolic upper half plane $\mathbb H$, and let $M = Γ\backslash \mathbb H$ be the associated finite volume hyperbolic Riemann surface. If $γ$ is parabolic, there is an associated (parabolic) Eisenstein series, which, by now, is a classical part of mathematical literature. If $γ$ is hyperbolic, then, following ideas due to Kudla-Millson, there is a corresponding hyperbolic Eisenstein series. In this article, we study the limiting behavior of parabolic and hyperbolic Eisenstein series on a degenerating family of finite volume hyperbol…
This paper provides an introduction to Eisenstein measures, a powerful tool for constructing certain $p$-adic $L$-functions. First seen in Serre's realization of $p$-adic Dedekind zeta functions associated to totally real fields, Eisenstein measures provide a way to extend the style of congruences Kummer observed for values of the Riemann zeta function (so-called {\em Kummer congruences}) to certain other $L$-functions. In addition to tracing key developments, we discuss some challenges that arise in more general settings, concluding with some that remain open.
We give some estimates for the asymptotic orders of degenerating Eisenstein series for some families of degenerating punctured Riemann surfaces, which is motivated by the question identifying $L_{2}$-cohomology of the Takhtajan-Zograf metric that is originally asked by To and Weng.
Let $Γ\subset\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting by fractional linear transformations on the upper half-plane $\mathbb{H}$, and let $M=Γ\backslash\mathbb{H}$ be the associated finite volume hyperbolic Riemann surface. Associated to any cusp of $M$, there is the classically studied non-holomorphic (parabolic) Eisenstein series. In 1979, Kudla and Millson studied non-holomorphic (hyperbolic) Eisenstein series associated to any closed geodesic on $Γ\backslash\mathbb{H}$. In 2004, Jorgenson and Kramer introduced so-called elliptic Eisenstein series associa…
We show that an asymptotic property of the determinants of certain matrices whose entries are finite sums of cotangents with rational arguments is equivalent to the GRH for odd Dirichlet characters. This is then connected to the existence of certain quantum modular forms related to Maass Eisenstein series.
Asymptotic expansions for a class of generalized holomorphic Eisenstein series, Ramanujan's formula for $ζ(2k+1)$, Weierstrass' elliptic and allied functions
We have shown in a preceeding paper how to normalize intertwining operators for classical groups using the twisted endoscopy lifting. In this paper, we prove that the image of such an operator in the cases interesting in the theory of Eisenstein Series, is either 0 or an irreducible representation. As a consequence we compute explicitly the points where Eisenstein Series for square integrable representations are not holomorphic under some hypothesis at the archimedean places: at that places we mainly assume that the infinitesimal character is integral and regular.
Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight $k$ and level $Γ_0(\ell)$ at the maximal Eisenstein ideal containing $p$. We give a necessary and sufficient condition for the $\mathbb{Z}_p$-rank of this Hecke algebra to be greater than $1$ in terms of vanishing of the cup products of certain global Galois cohomology classes. We also recover some of the results proven by Wake and Wang-Erickson for …
Let $k$ be even. We consider two series $F_k(x)= \sum_{n=1}^\infty \frac{σ_{k-1}(n)}{n^{k+1}} \sin(2πn x)$ and $G_k(x)= \sum_{n=1}^\infty \frac{σ_{k-1}(n)}{n^{k+1}} \cos(2πn x)$, where $σ_{k-1}$ is the divisor function. They converge on $\mathbb{R}$ to continuous functions. In this paper, we examine the differentiability of $F_k$ and $G_k$. These functions are related to Eisenstein series and their (quasi-)modular properties allow us to apply the method proposed by Itatsu in 1981 in the study of the Riemann series. We focus on the case $k=2$ and we show that the sine series exhibits different …
We consider the $t$-hook functions on partitions $f_{a,t}: \mathcal{P}\rightarrow \mathbb{C}$ defined by $$ f_{a,t}(λ):=t^{a-1} \sum_{h\in \mathcal{H}_t(λ)}\frac{1}{h^a}, $$ where $\mathcal{H}_t(λ)$ is the multiset of partition hook numbers that are multiples of $t$. The Bloch-Okounkov $q$-brackets $\langle f_{a,t}\rangle_q$ include Eichler integrals of the classical Eisenstein series. For even $a\geq 2$, we show that these $q$-brackets are natural pieces of weight $2-a$ sesquiharmonic and harmonic Maass forms, while for odd $a\leq -1,$ we show that they are holomorphic quantum modular forms. …
We prove that Riemann's xi function is strictly increasing (respectively, strictly decreasing) in modulus along every horizontal half-line in any zero-free, open right (respectively, left) half-plane. A corollary is a reformulation of the Riemann Hypothesis.
We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.
In this note, we give an equivalent condition for a self-dual weight enumerator of genus three to satisfy the Riemann hypothesis. We also observe the truth and falsehood of the Riemann hypothesis for some families of invariant polynomials.
We study the $L^2$ norm of the Eisenstein series $E(z,1/2+iT)$ restricted to a segment of a geodesic connecting infinity and an arbitrary real. We conjecture that on slightly thickened geodesics of this form, the Eisenstein series satifies restricted QUE. We prove a lower bound that matches this predicted asymptotic. We also prove an upper bound that nearly matches the lower bound assuming the Riemann Hypothesis (unconditionally, the sharp upper bound holds for almost all $T$). Finally, we show the restricted QUE conjecture for geodesics with rational endpoints.
The authors modify the Balazard-Saias criterion for the Riemann hypothesis by changing the cutoff of the Dirichlet series. They establish some asymptotic results related to the modified criterion.
The number of zeros and the distribution of the real part of non-real zeros of the derivatives of the Riemann zeta function have been investigated by Berndt, Levinson, Montgomery, and Akatsuka. Berndt, Levinson, and Montgomery investigated the general case, meanwhile Akatsuka gave sharper estimates for the first derivative of the Riemann zeta function under the truth of the Riemann hypothesis. In this paper, we extend the results of Akatsuka to the second derivative of the Riemann zeta function.
In this short note I present a tauberian conjecture that I consider to be the simplest and the best tauberian reformulation of RH using good variation theory. The method applies also to the Grand Riemann Hypothesis.
We prove that a good average order on the Goldbach generating function implies that the real parts of the non-trivial zeros of the Riemann zeta function are strictly less than 1. This together with existing results establishes an equivalence between such asymptotics and the Riemann Hypothesis.
We verify numerically, in a rigorous way using interval arithmetic, that the Riemann hypothesis is true up to height $3\cdot10^{12}$. That is, all zeroes $β+ iγ$ of the Riemann zeta-function with $0<γ\leq 3\cdot 10^{12}$ have $β= 1/2$.
The Riemann hypothesis (RH) is well known. In this paper we would show some sufficient conditions for the RH. The first condition is related with the sum of divisors function and another one is related with the Chebyshev's function.
We prove that assuming the Generalized Riemann Hypothesis every even integer larger than $\exp(\exp(15.85))$ can be written as the sum of a prime number and a number that has at most two prime factors.
We prove an explicit error term for the $ψ(x,χ)$ function assuming the Generalized Riemann Hypothesis. Using this estimate, we prove a conditional explicit bound for the number of primes in arithmetic progressions.
In this mainly expository article, we revisit some formal aspects of B{á}ez-Duarte's criterion for the Riemann hypothesis. In particular, starting from Weingartner's formulation of the criterion, we define an arithmetical function $ν$, which is equal to the M{ö}bius function if, and only if the Riemann hypothesis is true. We record the basic properties of the Dirichlet series of $ν$, and state a few questions. KEYWORDS: Riemann hypothesis, arithmetical functions, Dirichlet series, Hilbert space
In this short note, we give a proof of the Riemann hypothesis for Goss $v$-adic zeta function $ζ_{v}(s)$, when $v$ is a prime of $\mathbb{F}_{q}[t]$ of degree one.
The paper presents several new sufficient conditions, as well as new equivalent criteria for the classical Riemann Hypothesis. Noteworthy are also other statements and remarks about $ζ$ to be found throughout the paper.
Zeta functions for linear codes were defined by Iwan Duursma in 1999. They were generalized to the case of some invariant polynomials by the preset author. One of the most important problems is whether extremal weight enumerators satisfy the Riemann hypothesis. In this article, we show there exist extremal polynomials of the weight enumerator type which are invariant under the MacWilliams transform and do not satisfy the Riemann hypothesis.
This short note presents a peculiar generalization of the Riemann hypothesis, as the action of the permutation group on the elements of continued fractions. The problem is difficult to attack through traditional analytic techniques, and thus this note focuses on providing a numerical survey. These results indicate a broad class of previously unexamined functions may obey the Riemann hypothesis in general, and even share the non-trivial zeros in particular.
Four propositions are considered concerning the relationship between the zeros of two combinations of the Riemann zeta function and the function itself. The first is the Riemann hypothesis, while the second relates to the zeros of a derivative function. It is proved that these are equivalent, and that, if the Riemann hypothesis holds, then all zeros of the zeta function on the critical line are simple. The Riemann hypothesis is then shown to imply the third proposition holds, this being a new necessary condition for the Riemann hypothesis. The third proposition is shown to be equivalent to the…
The authors assume the Deep Riemann Hypothesis to prove that a weighted sum of Ramanujan's $τ$-function has a bias to being positive. This phenomenon is an analogue of Chebyshev's bias.
We present a conjecture about the asymptotic representation of certain series. The conjecture implies the Riemann hypothesis and it would also indicate the simplicity of the non-trivial zeros of the zeta-function.
An alternative way of looking at the Riemann hypothesis from the viewpoint of mathematical control theory is considered. A control theoretic transfer function is constructed by inverting the values of the Riemann zeta-function from which the unstable pole at s=1 has been stripped off. A series expansion is developed for the impulse response of the control system via inverse Laplace transformation. If the series converges and the unproved growth conjecture of the impulse response is true, then the Riemann hypothesis is also true.
In the present paper we obtain a necessary and sufficient condition to prove the Riemann hypothesis in terms of certain properties of local extrema of the function $Ξ(t)=ξ(\tfrac{1}{2}+it)$. First, we prove that positivity of all local maxima and negativity of all local minima of $Ξ(t)$ form a necessary condition for the Riemann hypothesis to be true. After showing that any extremum point of $Ξ(t)$ is a saddle point of the function $\Re\{ξ(s)\}$, we prove that the above properties of local extrema of $Ξ(t)$ are also a sufficient condition for the Riemann hypothesis to hold at $t\gg 1$. We pres…
Assuming the Riemann Hypothesis, we provide explicit upper bounds for moduli of $S(t)$, $S_1(t)$, and $ζ\left(1/2+\mathrm{i}t\right)$ while comparing them with recently proven unconditional ones. As a corollary we obtain a conditional explicit bound on gaps between consecutive zeros of the Riemann zeta-function.
The number of zeros and the distribution of the real part of non-real zeros of the derivatives of the Riemann zeta function have been investigated by Berndt, Levinson, Montgomery, and Akatsuka. Berndt, Levinson, and Montgomery investigated the general case, meanwhile Akatsuka gave sharper estimates for the first derivative of the Riemann zeta function under the truth of the Riemann hypothesis. In this paper, we generalize the results of Akatsuka to the $k$-th derivative (for positive integer $k$) of the Riemann zeta function.
Assuming the Riemann Hypothesis, we provide effective upper and lower estimates for $\left|ζ(s)\right|$ right to the critical line. As an application we make explicit Titchmarsh's conditional bound for the Mertens function and Montgomery--Vaughan's conditional bound for the number of $k$-free numbers.
In 1999, Iwan Duursma defined the zeta function for a linear code as a generating function of its Hamming weight enumerator. It can also be defined for other homogeneous polynomials not corresponding to existing codes. If the homogeneous polynomial is invariant under the MacWilliams transform, then its zeta function satisfies a functional equation and we can formulate an analogue of the Riemann hypothesis. As far as existing codes are concerned, the Riemann hypothesis is believed to be closely related to the extremal property. In this article, we show there are abundant polynomials invariant b…
Let $\vfi$ be Euler's function, $\ga$ be Euler's constant and $N_k$ 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(N_k)$ is bounded and explicit bounds are given while, if Riemann's hypothesis fails, $c(N_k)$ is not bounded above or below.
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.
We make plausible the existence of counterexamples to the Riemann hypothesis located in the neighbourhood of unusually large peaks of $\vert ζ\vert$. The main ingredient in our argument is an identity which links the zeros of a function $f$ defined on the interval $[-a,a]$ and the values of its derivatives of odd order at $\pm a$.
Several arguments against the truth of the Riemann hypothesis are extensively discussed. These include the Lehmer phenomenon, the Davenport-Heilbronn zeta-function, large and mean values of $|ζ(1/2+it)|$ on the critical line, and zeros of a class of convolution functions. The first two topics are classical, and the remaining ones are connected with the author's research.
We use subsequence and moving average ergodic theorems applied to Boole's transformation and its variants and their invariant measures on the real line to give new characterisations of the Lindelh{ö}f Hypothesis and the Riemann hypothesis. These ideas are then used to study the value distribution of Dirichlet L series, and the zeta functions of Dedekind, Hurwitz and Riemann and their derivatives. This builds on earlier work of R. L. using Birkhoff's ergodic theorem and probability theory.
Balazard, Saias, and Yor proved that the Riemann Hypothesis is equivalent to a certain weighted integral of the logarithm of the Riemann zeta-function along the critical line equaling zero. Assuming the Riemann Hypothesis, we investigate the rate at which a truncated version of this integral tends to zero, answering a question of Borwein, Bradley, and Crandall and disproving a conjecture of the same authors. A simple modification of our techniques gives a new proof of a classical Omega theorem for the function S(t) in the theory of the Riemann zeta-function.
The purpose of the present paper is to provide a general overview of a variety of results related to a category of cotangent sums which have been proven to be associated to the so-called Nyman-Beurling criterion for the Riemann Hypothesis. These sums are also related to the Estermann Zeta function.
A square-free integer is a positive integer that is not divisible by the square of any prime. Merten's function, $M(x)$ is defined as the difference between the number of square free integers with an even number of prime factors and the number of those with an odd number of prime factors up to $x$. It's well known that $M(x)=O(x^{1/2+ε})$ is equivalent to Riemann Hypothesis. In this paper, we derive a new equation involving Merten's function that leads to a promising technique for Riemann Hypothesis.
