Related papers: Formalization of $p$-adic $L$-functions in Lean 3

We give an explicit formula for the subalgebra zeta function of a general 3-dimensional Lie algebra over the p-adic integers $\mathbb{Z}_p$. To this end, we associate to such a Lie algebra a ternary quadratic form over $\mathbb{Z}_p$. The…

In previous work it was shown that if certain series based on sums over primes of non-principal Dirichlet characters have a conjectured random walk behavior, then the Euler product formula for its $L$-function is valid to the right of the…

In this work we study $p$-adic continuous functions in several variables taking values on $\mathbb{Z}_p$. We describe the orthonormal van der Put base of these functions and study various Lipschitz conditions in several variables,…

We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…

Recently, $\lambda$-Bernoulli and $\lambda$-Euler numbers are studied in [5, 10]. The purpose of this paper is to present a systematic study of some families of the $q$-extensions of the $\lambda$-Bernoulli and the $\lambda$-Euler numbers…

We introduce $ L $-functions attached to negative definite plumbed manifolds as the Mellin transforms of homological blocks. We prove that they are entire functions and their values at $ s=0 $ are equal to the Witten--Reshetikhin--Turaev…

Assuming the Riemann hypothesis, we show that a certain vertical distribution of the nontrivial zeros of the Riemann zeta-function is equivalent to the generalized Riemann hypothesis for Dirichlet $L$-functions. Furthermore, under both the…

We review generalized zeta functions built over the Riemann zeros (in short: "superzeta" functions). They are symmetric functions of the zeros that display a wealth of explicit properties, fully matching the much more elementary Hurwitz…

We develop a formal group--theoretic framework for the Riemann zeta function by treating its Euler product as an element of the multiplicative formal group $\widehat{\mathbb{G}}_m$ and its logarithm as the associated formal group logarithm.…

Let $K$ be a quadratic field, and let $\zeta_K$ its Dedekind zeta function. In this paper we introduce a factorization of $\zeta_K$ into two functions, $L_1$ and $L_2$, defined as partial Euler products of $\zeta_K$, which lead to a…

We construct the two-variable $p$-adic $q$-$L$-function which interpolates the generalized $q$-Bernoulli polynomials associated with primitive Dirichlet character $\chi$. Indeed, this function is the $q$-extension of two-variable $p$-adic…

Assuming the generalized Riemann hypothesis, we rediscover and sharpen some of the best known results regarding the distribution of low-lying zeros of Dirichlet $L$-functions. This builds upon earlier work of Omar, which relies on the…

This paper treats about one of the most remarkable achievements by Riemann, that is the symmetric form of the functional equation for {\zeta}(s). We present here, after showing the first proof of Riemann, a new, simple and direct proof of…

In this note we define L-functions of finite graphs and study the particular case of finite cycles in the spirit of a previous paper that studied spectral zeta functions of graphs. The main result is a suggestive equivalence between an…

We construct a $p$-adic Rankin-Selberg $L$-function associated to the product of two families of modular forms, where the first is an ordinary (Hida) family, and the second an arbitrary universal-deformation family (without any ordinarity…

This paper studies the connections between the zeros and their distribution functions for two particular Dirichlet $L$ functions: the Riemann zeta function, and the Catalan beta function, also known as the Dirichlet beta function. It is…

In this paper, we construct a family of generalized $L$-functions, one for each point $z$ in the upper half-plane. We prove that as $z$ approaches $i\infty$, these generalized $L$-functions converge to an $L$-function which can be written…

The calculation, by L.\ Euler, of the values at positive even integers of the Riemann zeta function, in terms of powers of $\pi$ and rational numbers, was a watershed event in the history of number theory and classical analysis. Since then…

By using $q$-Volkenborn integration and uniform differentiable on $\mathbb{Z}%_{p}$, we construct $p$-adic $q$-zeta functions. These functions interpolate the $q$-Bernoulli numbers and polynomials. The value of $p$-adic $q$-zeta functions…

The article is dedicated to the memory of George Voronoi. It is concerned with ($p$-adic) $L$-functions (in partially ($p$-adic) zeta functions) and cyclotomic ($p$-adic) (multiple) zeta values. The beginning of the article contains a short…