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

Wiles' work on Fermat's last Theorem highlighted the power of $p$-adic methods to prove the existence of analytic continuations of $\zeta$ and $L$ functions. These methods have become considerably more sophisticated in recent years, and…

We give a proof of the irrationality of the $p$-adic zeta-values $\zeta_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an…

This short note for non-experts means to demystify the tasks of evaluating the Riemann Zeta Function at non-positive integers and at even natural numbers, both initially performed by Leonhard Euler. Treading in the footsteps of G. H. Hardy…

Quantization of the Riemann zeta-function is proposed. We treat the Riemann zeta-function as a symbol of a pseudodifferential operator and study the corresponding classical and quantum field theories. This approach is motivated by the…

Maximon has recently given an excellent summary of the properties of the Euler dilogarithm function and the frequently used generalizations of the dilogarithm, the most important among them being the polylogarithm function $Li_(z)$. The…

For every triple F,K,p where F is a classical elliptic eigenform, K is a quadratic imaginary field and p> 3 is a prime integer which is not split in K, we attach a p-adic L function which interpolates the algebraic parts of the special…

The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special…

We interpolate cohomology classes attached to families of Hilbert modular forms. Using this we construct a two variable $p$-adic L-function which interpolates one variable $p$-adic L-functions.

We generalize techniques of Addison to a vastly larger context. We obtain integral representations in terms of the first periodic Bernoulli polynomial for a number of important special functions including the Lerch zeta, polylogarithm,…

In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…

In this paper we treat the classical Riemann zeta function as a function of three variables: one is the usual complex $\adyn$-dimensional, customly denoted as $s$, another two are complex infinite dimensional, we denote it as $\b =…

Hybrid Euler-Hadamard products have previously been studied for the Riemann zeta function on its critical line and for Dirichlet L-functions in the context of the calculation of moments and connections with Random Matrix Theory. According…

In 2014, Darmon and Rotger defined the Garrett-Rankin triple product $p$-adic $L$- function and related it to the image of certain diagonal cycles under the $p$-adic Abel- Jacobi map. We introduce a new $p$-adic triple symbol based on this…

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…

We construct the five-variable $p$-adic $L$-function attached to Hida families on $\mathrm U(2,1)\times\mathrm U(1,1)$, interpolating the square-root of Rankin-Selberg $L$-values in the \emph{shifted piano} range. Our construction relies on…

In this report, we present a proof of Levinson's theorem, following the ideas of Matthew P. Young in 2010, which states that one-third of the non-trivial zeros of the Riemann zeta function lie on the critical line, i.e. the line Re(s) =…

This paper shows the Fermi-Dirac Integrals expressed in terms of Riemann and Hurwitz Zeta functions. This is done by defining an auxiliar function that permits rewrite the Fermi-Dirac integral in terms of simpler and known integrals…

For Hurwitz Zeta function,we consider its Taylor series expansion about various points as an analytic function of second variable in appropriate discs.We show that these Taylor are all polynomials in second variable for a non positive…

A connection between the theory of formal groups and arithmetic number theory is established. In particular, it is shown how to construct general Almkvist--Meurman--type congruences for the universal Bernoulli polynomials that are related…

Let $G$ be a profinite group. A strongly admissible smooth representation $\rho$ of $G$ over $\mathbb{C}$ decomposes as a direct sum $\rho \cong \bigoplus_{\pi \in \mathrm{Irr}(G)} m_\pi(\rho) \, \pi$ of irreducible representations with…