Related papers: Formalizing zeta and L-functions in Lean

We consider computing the Riemann zeta function $\zeta(s)$ and Dirichlet $L$-functions $L(s,\chi)$ to $p$-bit accuracy for large $p$. Using the approximate functional equation together with asymptotically fast computation of the incomplete…

By generalizing the classical Selberg-Chowla formula, we establish the analytic continuation and functional equation for a large class of Epstein zeta functions. This continuation is studied in order to provide new classes of theorems…

We have established novel integral representations of the Riemann zeta-function and Dirichlet eta-function based on powers of trigonometric functions and digamma function, and then use these representations to find close forms of Laurent…

We numerically study the statistical properties of differences of zeros of Riemann zeta function and L-functions predicted by the theory of the e\~ne product. In particular, this provides a simple algorithm that computes any non-real…

In this paper we prove that the Dirichlet $L$-functions $L(1/2+ix,\chi_q)$, where $\chi_q$ is uniformly random Dirichlet character modulo $q$ and $x\in \mathbb{R}$, converges to a random Schwartz distribution $\zeta_{\mathrm{rand}}$, which…

In this note we examine Littlewood's proof of the prime number theorem. We show that this can be extended to provide an equivalence between the prime number theorem and the non-vanishing of Riemann's zeta-function on the one-line. Our…

Assuming the Generalized Riemann Hypothesis, we provide uniform upper and lower bounds with explicit main terms for $\log{\left|\cL(s)\right|}$ for $\sigma \in (1/2,1)$ and for functions in the Selberg class. In particular, we focus on the…

We establish sharp upper bounds for shifted moments of quadratic Dirichlet $L$-function under the generalized Riemann hypothesis. Our result is then used to prove bounds for moments of quadratic Dirichlet character sums.

We exhibit large values of the Dedekind zeta function of a cyclotomic field on the critical line. This implies a dichotomy whereby one either has improved lower bounds for the maximum of the Riemann zeta function, or large values of…

Classically, Euler developed the theory of the Riemann zeta - function using as his starting point the exponential and partial fraction forms of cot(z) . In this paper we wish to develop the theory of $L$-functions of elliptic curves…

Using as starting point a classical integral representation of a L-function we define a familly of two variables extended functions which are eigenfunctions of a Hermitian operator (having imaginary part of zeros as eigenvalues). This…

We study some "density function" related to the value-distribution of $L$-functions. The first example of such a density function was given by Bohr and Jessen in 1930s for the Riemann zeta-function. In this paper, we construct the density…

This paper continues a series of investigations on converging representations for the Riemann Zeta function. We generalize some identities which involve Riemann's zeta function, and moreover we give new series and integrals for the zeta…

In this work we apply the techniques that were developed in [Lalin: An algebraic integration for Mahler measure] in order to study several examples of multivariable polynomials whose Mahler measure is expressed in terms of special values of…

In this paper, we give an analogue of Wilton's product formula for Dirichlet series that satisfy Hecke's functional equation. We apply our results to obtain identities for Hecke series, L-functions associated to modular forms, Ramanujan's…

The Dirichlet eta function can be divided into $n$-th partial sum $\eta_{n}(s)$ and remainder term $R_{n}(s)$. We focus on the remainder term which can be approximated by the expression for $n$. And then, to increase reliability, we make…

The Mahler measures of some n-variable polynomial families are given in terms of special values of the Riemann zeta function and a Dirichlet L-series, generalizing the results of \cite{L}. The technique introduced in this work also…

In this paper, we calculate the absolute tensor square of the Dirichlet $L$-functions and show that it is expressed as an Euler product over pairs of primes. The method is to construct an equation to link primes to a series which has the…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

We study the conditional upper bounds and extreme values of derivatives of the Riemann zeta function and Dirichlet $L$-functions near the 1-line. Let $\ell$ be a fixed natural number. We show that, if $|\sigma-1|\ll1/\log_2t$, then…