It is known that the Selberg zeta function for the modular group has an expression in terms of the class numbers and the fundamental units of the indefinite binary quadratic forms. In the present paper, we generalize such a expression to any congruence subgroup of the modular groups in SL(2,R) and SL(2,C).
As a generalization of the results [KW3],we study the functional equation of the higher Selberg zeta function for congruence subgroups. To obtain the gamma factor of this function, we introduce a higher Dirichlet $L$-function. Then we determine the gamma factor explicitly in terms of the Barnes triple gamma function and the higher Dirichlet $L$-function.
In Sarnak's paper, it was proved that the Selberg zeta function for SL(2,Z) is expressed in terms of the fundamental units and the class numbers of the primitive indefinite binary quadratic forms. The aim of this paper is to obtain similar arithmetic expressions of the logarithmic derivatives of the Selberg zeta functions for congruence subgroups of SL(2,Z). As applications, we study the Brun-Titchmarsh type prime geodesic theorem, the asymptotic behavior of the sum of the class number.
We present the first example of the Selberg type zeta function for noncompact higher rank locally symmetric spaces. We study certain Selberg type zeta functions and Ruelle type zeta functions attached to the Hilbert modular group of a real quadratic field. We show that they have meromorphic extensions to the whole complex plane and satisfy functional equations. The method is based on considering the differences among several Selberg trace formulas with different weights for the Hilbert modular group. Besides as an application of the differences of the Selberg trace formula, we also obtain an a…
By a similar idea for the construction of Milnor's gamma functions, we introduce "higher depth determinants" of the Laplacian on a compact Riemann surface of genus greater than one. We prove that, as a generalization of the determinant expression of the Selberg zeta function, this higher depth determinant can be expressed as a product of multiple gamma functions and what we call a Milnor-Selberg zeta function. It is shown that the Milnor-Selberg zeta function admits an analytic continuation, a functional equation and, remarkably, has an Euler product.
In this note we prove that the Selberg zeta-function associated to a compact Riemann surface is pseudo-prime and right-prime in the sense of a decomposition.
For a compact Riemann surface $M$ of genus $g\ge 2$, we study the functional equations of the Selberg zeta functions attached with the Tate motives $f$. We prove that certain functional equations hold if and only if $f$ has the absolute automorphy.
We prove that for a compact locally symmetric Riemannian space $M$ of rank 1 there exist infinitely many automorphic Tate motives $f$ such that the generalized Selberg zeta function $Z_{M(f)}(s)$ satisfies a simple functional equation in the sense that it has no gamma factors.
For cofinite Kleinian groups, with finite-dimensional unitary representations, we derive the Selberg trace formula. As an application we define the corresponding Selberg zeta-function and compute its divisor, thus generalizing results of Elstrodt, Grunewald and Mennicke to non-trivial unitary representations. We show that the presence of cuspidal elliptic elements sometimes adds ramification point to the zeta function. In fact, if D is the ring of Eisenstein integers, then the Selberg zeta-function of PSL(2,D) contains ramification points.
For cofinite Kleinian groups, with finite-dimensional unitary representations, we derive the Selberg trace formula. As an application we define the corresponding Selberg zeta-function and compute its divisor, thus generalizing results of Elstrodt, Grunewald and Mennicke to non-trivial unitary representations. We show that the presence of cuspidal elliptic elements sometimes adds ramification point to the zeta function. In fact, if D is the ring of Eisenstein integers, then the Selberg zeta-function of PSL(2,D) contains ramification points and is the sixth-root of a meromorphic function.
In one of his final research papers, Alan Turing introduced a method to certify the completeness of a purported list of zeros of the Riemann zeta-function. In this paper we consider Turing's method in the analogous setting of Selberg zeta-functions, and we demonstrate that it can be carried out rigorously in the prototypical case of the modular surface.
We introduce a Selberg type zeta function of two variables which interpolates several higher Selberg zeta functions. The analytic continuation, the functional equation and the determinant expression of this function via the Laplacian on a Riemann surface are obtained.
In this paper, a heuristic method to compute the Selberg zeta function for Hecke triangle groups, $G_q$ ($q>=3$) is described. The algorithm is based on the transfer operator method and an overview of the relevant background is given. We give numerical support for the claim that the method works and can be used to compute the Selberg Zeta function for $G_q$ to any desired precision. We also present some numerical results obtained by implementing the algorithm.
Levinson and Montgomery proved that the Riemann zeta-function $ζ(s)$ and its derivative have approximately the same number of non-real zeros left of the critical line. R. Spira showed that $ζ'(1/2+it)=0$ implies $ζ(1/2+it)=0$. Here we obtain that in small areas located to the left of the critical line and near it the functions $ζ(s)$ and $ζ'(s)$ have the same number of zeros. We prove our result for more general zeta-functions from the extended Selberg class $S$. We also consider zero trajectories of a certain family of zeta-functions from $S$.
We study the local zeta integrals attached to a pair of generic representations $(π,τ)$ of $GL_n\times GL_m$, $n>m$, over a $p$-adic field. Through a process of unipotent averaging we produce a pair of corresponding Whittaker functions whose zeta integral is non-zero, and we express this integral in terms of the Langlands parameters of $π$ and $τ$. In many cases, these Whittaker functions also serve as a test vector for the associated Rankin-Selberg (local) $L$-function.
The present paper is a report on joint work with Alessandro Languasco and Alberto Perelli on our recent investigations on the Selberg integral and its connections to Montgomery's pair-correlation function. We introduce a more general form of the Selberg integral and connect it to a new pair-correlation function, emphasising its relations to the distribution of prime numbers in short intervals.
This is an expanded version of the author's lecture at the XX Congresso U.M.I., held in Siena in September 2015. After a brief review of L-functions, we turn to the classical converse theorems of H.Hamburger, E.Hecke and A.Weil, and to some later developments. Finally we present several results on converse theorems in the framework of the Selberg class of L-functions.
We study the asymptotic behavior of zeros of the Selberg zeta-function for the congruence subgroup $Γ_0(4)$ as a function of a one-parameter family of characters tending to the trivial character. The motivation for the study comes from observations based on numerical computations. Some of the observed phenomena lead to precise theorems that we prove and compare with the original numerical results.
We initiate the study of Selberg zeta functions $Z_{Γ,χ}$ for geometrically finite Fuchsian groups $Γ$ and finite-dimensional representations $χ$ with non-expanding cusp monodromy. We show that for all choices of $(Γ,χ)$, the Selberg zeta function $Z_{Γ,χ}$ converges on some half-plane in $\mathbb{C}$. In addition, under the assumption that $Γ$ admits a strict transfer operator approach, we show that $Z_{Γ,χ}$ extends meromorphically to all of $\mathbb{C}$.
For Kleinian groups acting on hyperbolic three-space, we prove factorization formulas for both the Selberg zeta-function and the automorphic scattering matrix. We extend results of Venkov and Zograf from Fuchsian groups, to Kleinian groups, and we give a proof that is simple and extendable to more general groups.
Let $Γ\backslash\mathbb H^3$ be a finite-volume quotient of the upper-half space, where $Γ\subset {\rm SL}(2,\mathbb C)$ is a discrete subgroup. To a finite dimensional unitary representation $χ$ of $Γ$ one associates the Selberg zeta function $Z(s;Γ;χ)$. In this paper we prove the Artin formalism for the Selberg zeta function. Namely, if $\tildeΓ$ is a finite index group extension of $Γ$ in ${\rm SL}(2,\mathbb C)$, and $π={\rm Ind}_Γ^{\tildeΓ}χ$ is the induced representation, then $Z(s;Γ;χ)=Z(s;\tildeΓ;π)$. In the second part of the paper we prove by a direct method the analogous identity for…
We deeply appreciate the papers of Ivić on the links between the $2k-$th moments of the Riemann zeta function and, say, $d_k$, the $k-$divisor function. More specifically, both the one bounding the $2k-$th moment with a simple average of correlations of the $d_k$ (Palanga 1996 Conference Proceedings) and the more recent (arXiv:0708.1601v2 to appear on JTNB), which bounds the Selberg integral of $d_k$ applying the $2k-$th moment of the zeta. Building on the former paper, we apply an elementary approach (based on arithmetic averages) in order to get information on the reverse link to the second …
W. Luo has investigated the distribution of zeros of the derivative of the Selberg zeta function associated to compact hyperbolic Riemann surfaces. In essence, the main results in Luo's article involve the following three points: Finiteness for the number of zeros in the half plane to the left of the critical line; an asymptotic expansion for the counting function measuring the vertical distribution of zeros; and an asymptotic expansion for the counting function measuring the horizontal distance of zeros from the critical line. In the present article, we study the more complicated setting of d…
Let $\CmZ_{Y_0(N)}$ be the constant term of the logarithmic derivative at $s=1$ of the Selberg zeta function of the modular curve $Y_0(N)$. Jorgenson and Kramer established the bound $\CmZ_{Y_0(N)}=O_ε(N^ε)$, $ε>0$ by relating it to geometric invariants. In this article we give, for $N$ prime, another proof via $L$-functions and exponential sums improving on a previous approach by Abbes-Ullmo and Michel-Ullmo. We further derive a power of $\log N$ bound along the same line.
We provide an explicit construction of a cross section for the geodesic flow on infinite-area Hecke triangle surfaces which allows us to conduct a transfer operator approach to the Selberg zeta function. Further we construct closely related cross sections for the billiard flow on the associated triangle surfaces and endow the arising discrete dynamical systems and transfer operator families with two weight functions which presumably encode Dirichlet respectively Neumann boundary conditions. The Fredholm determinants of these transfer operator families constitute dynamical zeta functions, which…
We characterize Maass cusp forms for any cofinite Hecke triangle group as 1-eigenfunctions of appropriate regularity of a transfer operator family. This transfer operator family is associated to a certain symbolic dynamics for the geodesic flow on the orbifold arising as the orbit space of the action of the Hecke triangle group on the hyperbolic plane. Moreover we show that the Selberg zeta function is the Fredholm determinant of the transfer operator family associated to an acceleration of this symbolic dynamics.
Over the last few years Pohl (partly jointly with coauthors) developed dual `slow/fast' transfer operator approaches to automorphic functions, resonances, and Selberg zeta functions for a certain class of hyperbolic surfaces $Γ\backslash\mathbb{H}$ with cusps and all finite-dimensional unitary representations $χ$ of $Γ$. The eigenfunctions with eigenvalue $1$ of the fast transfer operators determine the zeros of the Selberg zeta function for $(Γ,χ)$. Further, if $Γ$ is cofinite and $χ$ is the trivial one-dimensional representation then highly regular eigenfunctions with eigenvalue $1$ of the s…
Using Hecke triangle surfaces of finite and infinite area as examples, we present techniques for thermodynamic formalism approaches to Selberg zeta functions with unitary finite-dimensional representations $(V,χ)$ for hyperbolic surfaces (orbifolds) $Γ\backslash\mathbb{H}$ as well as transfer operator techniques to develop period-like functions for $(Γ,χ)$-automorphic cusp forms. This leads to several natural conjectures. We further show how to extend these results to the billiard flow on the underlying triangle surfaces, and study the convergence of transfer operators along sequences of Hecke…
A celebrated theorem of Selberg states that for congruence subgroups of SL(2,Z) there are no exceptional eigenvalues below 3/16. We prove a generalization of Selberg's theorem for infinite index "congruence" subgroups of SL(2,Z). Consequently we obtain sharp upper bounds in the affine linear sieve, where in contrast to \cite{BGS} we use an archimedean norm to order the elements.
In this note, we prove Selberg's announced result on $r$-gaps between zeros of the Riemann zeta-function $ζ$. Our proof uses a result on variations of $\argζ$ by Tsang based on Selberg's method. The same result with explicit constants under the Riemann Hypothesis has been obtained by Conrey and Turnage-Butterbaugh using a different method. We explain how to obtain explicit constants under the Riemann Hypothesis using our approach which is based on Selberg's and Tsang's arguments.
We prove that there is an isomorphism between the Hopf Algebra of Feynman diagrams and the Hopf algebra corresponding to the Homogenous Multiple Zeta Value ring H in C<<X,Y>> . In other words, Feynman diagrams evaluate to Multiple Zeta Values in all cases. This proves a recent conjecture of Connes-Kreimer, and others including Broadhurst and Kontsevich. The key step of our theorem is to present the Selberg integral as discussed in Terasoma [22] as a Functional from the Rooted Trees Operad to the Hopf algebra of Multiple Zeta Values. This is a new construction which provides illumination to the…
In this paper, we will give a certain formula for the Riemann zeta function that expresses the Riemann zeta function by an infinte series consisting of $K$-Bessel functions. Such an infinite series expression can be regarded as an analogue of the Chowla-Selberg formula. Roughly speaking, the Chowla-Selberg formula is the formula that expresses the Epstein zeta-function by an infinite series consisting of $K$-Bessel functions. In addition, we also give certain analogues of the Chowla-Selberg formula for Dirichlet $L$-functions and $L$-functions associated with holomorphic cusp forms. Moreover, …
Let $Λ= \{λ_{k}\}$ denote a sequence of complex numbers and assume that that the counting function $#\{λ_{k} \in Λ: | λ_{k}| < T\} =O(T^{n})$ for some integer $n$. From Hadamard's theorem, we can construct an entire function $f$ of order at most $n$ such that $Λ$ is the divisor $f$. In this article we prove, under reasonably general conditions, that the superzeta function $\Z_{f}(s,z)$ associated to $Λ$ admits a meromorphic continuation. Furthermore, we describe the relation between the regularized product of the sequence $z-Λ$ and the function $f$ as constructed as a Weierstrass product. In t…
Riemann zeta values are generalized to multiple zeta values (MZVs) by use of nested sums, and MZVs are generalized to regularized multiple zeta values (RMZVs) by regularization of divergent infinite series. In the present paper, we prove congruence identities of RMZVs of depth $n$ involving a pair of index sets; the congruence relation is given by the vector space spanned by MZVs of depth $n-1$ and products of MZVs. We also obtain a proof of the parity result, and a congruence sum formula for MZVs.
We establish a connection between the coefficients of Artin-Mazur zeta-functions and Kummer congruences. This allows to settle positively the question of the existence of a map T such that the number of fixed points of the n-th iterate of T is equal to the absolute value of the 2n-th Euler number. Also we solve a problem of Gabcke related to the coefficients of Riemann-Siegel formula.
In this paper, we partially extend recent results of Wan concerning the relationship between the zeta functions of a Calabi-Yau hypersurface and its (singular) mirror variety.
The author reviews results and conjectures of Selberg on a class of Dirichlet series functions which share properties with the Riemann zeta function, and he relates this work to the theory of Artin L-functions.
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 with the Lazard universal formal group \cite{Tempesta1}-\cite{Tempesta3}. Their role in the theory of $L$--genera for multiplicative sequences is illustrated. As an application, sequences of integer numbers are constructed. New congruences are also obtained, useful to compute special values of a new class of Riemann--Hurwitz--type zeta functions.
We generalize the Ihara-Selberg zeta function to hypergraphs in a natural way. Hashimoto's factorization results for biregular bipartite graphs apply, leading to exact factorizations. For $(d,r)$-regular hypergraphs, we show that a modified Riemann hypothesis is true if and only if the hypergraph is Ramanujan in the sense of Winnie Li and Patrick Solé. Finally, we give an example to show how the generalized zeta function can be applied to graphs to distinguish non-isomorphic graphs with the same Ihara-Selberg zeta function.
Recently, Garunkštis, Laurinčikas, Matsumoto, J. & R. Steuding showed an effective universality-type theorem for the Riemann zeta-function by using an effective multi-dimensional denseness result of Voronin. We will generalize Voronin's effective result and their theorem to the elements of the Selberg class satisfying some conditions.
Multiple zeta values are real numbers defined by an infinite series generalizing values of the Riemann zeta function at positive integers. Finite truncations of this series are called multiple harmonic sums and are known to have interesting arithmetic properties. When the truncation point is one less than a prime $p$, the mod $p$ values of multiple harmonic sums are called finite multiple zeta values. The present work introduces a new class of congruence for multiple harmonic sums, which we call weighted congruences. These congruences can hold modulo arbitrarily large powers of $p$. Unlike res…
The transfer operator for $Γ_0(N)$ and trivial character $χ_0$ possesses a finite group of symmetries generated by permutation matrices $P$ with $P^2=id$. Every such symmetry leads to a factorization of the Selberg zeta function in terms of Fredholm determinants of a reduced transfer operator. These symmetries are related to the group of automorphisms in $GL(2,\mathbb{Z})$ of the Maass wave forms of $Γ_0(N)$ . For the group $Γ_0(4)$ and Selberg's character $χ_α$ there exists just one non-trivial symmetry operator $P$. The eigenfunctions of the corresponding reduced transfer operator with eigen…
We show that Selberg's eigenvalue conjecture concerning small eigenvalues of the automorphic Laplacian for congruence groups is equivalent to a conjecture about the non-existence of residual eigenvalues for a perturbed system. We prove this using a combination of methods from asymptotic perturbation theory and number theory.
Classical multiple zeta values can be viewed as iterated integrals of the differentials $\frac{dt}{t}, \frac{dt}{1-t}$ from $0$ to $1$. In this paper, we reprove Brown's theorem: For $a_i, b_i, c_{ij}\in \mathbb{Z}$, the iterated integral of the form \[ \mathop{\int\cdots \int}\limits_{0<t_1<\cdots<t_N<1}\prod_i t_i^{a_i}(1-t_i)^{b_i} \prod_{i<j}(t_j-t_i)^{c_{ij}}dt_1\cdots dt_N \] is a $\mathbb{Q}$-linear combination of multiple zeta values of weight $\leq N$ if convergent. What is more, we show that if $p_i(t), 1\leq i\leq N, $ are in a $\mathbb{Q}\left[t,1/t, 1/(1-t)\right]$-algebra generat…