Higher Selberg Zeta Functions

In the paper [KW2] we introduced a new type of Selberg zeta function for establishing a certain identity among the non-trivial zeroes of the Selberg zeta function and of the Riemann zeta function. We shall call this zeta function a higher Selberg zeta function. The purpose of this paper is to study the analytic properties of the higher Selberg zeta function z(s), especially to obtain the functional equation. We also describe the gamma factor of z(s) in terms of the triple sine function explicitly and, further, determine the complete higher Selberg zeta function with having a discussion of a certain generalized zeta regularization.Work in part supported by Grant-in Aid for Scientific Research (B) No.11440010, and by Grant-in Aid for Exploratory Research No.13874004, Japan Society for the Promotion of Science     

Hierarchy of the Selberg Zeta Functions

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.Mathematics Subject Classifications (2000). Primary 11M36, Secondary 33B15     

Special Temporal Functions on Globally Hyperbolic Manifolds

In this article, existence results concerning temporal functions with additional properties on a globally hyperbolic manifold are obtained. These properties are certain bounds on geometric quantities as lapse and shift. The results are linked to completeness properties and the existence of closed isometric embeddings in Minkowski spaces.     

On the Asymptotic Behavior of the Hyperbolic Brownian Motion

The main results in this paper concern large and moderate deviations for the radial component of a $n$ -dimensional hyperbolic Brownian motion (for $n\ge 2$ ) on the Poincaré half-space. We also investigate the asymptotic behavior of the hitting probability $P_\eta (T_{\eta _1}^{(n)}<\infty )$ of a ball of radius $\eta _1$ , as the distance $\eta $ of the starting point of the hyperbolic Brownian motion goes to infinity.     

The Selberg Zeta Function for Convex Co-Compact Schottky Groups

We give a new upper bound on the Selberg zeta function for a convex co-compact Schottky group acting on the hyperbolic space ⁿ⁺¹: in strips parallel to the imaginary axis the zeta function is bounded by exp (C|s|) where is the dimension of the limit set of the group. This bound is more precise than the optimal global bound exp (C|s|ⁿ⁺¹) , and it gives new bounds on the number of resonances (scattering poles) of \ⁿ⁺¹ . The proof of this result is based on the application of holomorphic L²-techniques to the study of the determinants of the Ruelle transfer operators and on the quasi-self-similarity of limit sets. We also study this problem numerically and provide evidence that the bound may be optimal. Our motivation comes from molecular dynamics and we consider \ⁿ⁺¹ as the simplest model of quantum chaotic scattering.     

An Algorithm for the Computation of Eigenvalues, Spectral Zeta Functions and Zeta-Determinants on Hyperbolic Surfaces

We present a rigorous scheme that makes it possible to compute eigenvalues of the Laplace operator on hyperbolic surfaces within a given precision. The method is based on an adaptation of the method of particular solutions to the case of locally symmetric spaces and on explicit estimates for the approximation of eigenfunctions on hyperbolic surfaces by certain basis functions. It can be applied to check whether or not there is an eigenvalue in an ε-neighborhood of a given number λ > 0. This makes it possible to find all the eigenvalues in a specified interval, up to a given precision with rigorous error estimates. The method converges exponentially fast with the number of basis functions used. Combining the knowledge of the eigenvalues with the Selberg trace formula we are able to compute values and derivatives of the spectral zeta function again with error bounds. As an example we calculate the spectral determinant and the Casimir energy of the Bolza surface and other surfaces.     

Rigidity of Asymptotically Hyperbolic Manifolds

In this paper, we prove a rigidity theorem of asymptotically hyperbolic manifolds only under the assumptions on curvature. Its proof is based on analyzing asymptotic structures of such manifolds at infinity and a volume comparison theorem.The first author’s research is partially supported by NSF grant of China.The second author’s research is partially supported by an NSF grant and a Simon fund.     

A Volume Comparison Theorem for Asymptotically Hyperbolic Manifolds

We define a notion of renormalized volume of an asymptotically hyperbolic manifold. Moreover, we prove a sharp volume comparison theorem for metrics with scalar curvature at least ?6. Finally, we show that the inequality is strict unless the metric is isometric to one of the Anti-deSitter–Schwarzschild metrics.     

Local Smoothing for Scattering Manifolds with Hyperbolic Trapped Sets

We prove a resolvent estimate for the Laplace-Beltrami operator on a scattering manifold with a hyperbolic trapped set, and as a corollary deduce local smoothing. We use a result of Nonnenmacher-Zworski to provide an estimate near the trapped region, a result of Burq and Cardoso-Vodev to provide an estimate near infinity, and the microlocal calculus on scattering manifolds to combine the two.     

Zeta Functions for the Spectrum of the Non-Commutative Harmonic Oscillators

This paper investigates the spectral zeta function of the non-commutative harmonic oscillator studied in [PW1, 2]. It is shown, as one of the basic analytic properties, that the spectral zeta function is extended to a meromorphic function in the whole complex plane with a simple pole at s=1, and further that it has a zero at all non-positive even integers, i.e. at s=0 and at those negative even integers where the Riemann zeta function has the so-called trivial zeros. As a by-product of the study, both the upper and the lower bounds are also given for the first eigenvalue of the non-commutative harmonic oscillator.Work in part supported by Grant-in Aid for Scientific Research (B) No. 16340038, Japan Society for the promotion of ScienceWork in part supported by Grant-in Aid for Scientific Research (B) No. 15340012, Japan Society for the promotion of Science     

Zeta Function Resummation of Spectral Functions

This article continues an extensive analysis of spectral functions such as for both general and explicitly known spectra {λ_m}. In physical applications (which in quantum field theory are numerous) the spectral functions are mode sums. Our main analytic tool is the ζ-function resummation method which expresses f(s|x) in powers of x and perhaps other simple functions of x. Here the general spectrum will be replaced by its asymptotic form λ_m = (const) m^α with α > 0 (Weyl's theorem). This preserves certain global features of the general spectrum problem but enables one to work entirely in terms of known functions. This simplified problem will be fully analysed and certain aspects of it (in particular the continuum limit) studied for the first time. Several mode-sum calculations illustrate physical application of the method.     

Scarring on Invariant Manifolds for Perturbed Quantized Hyperbolic Toral Automorphisms

We exhibit scarring for the quantization of certain nonlinear ergodic maps on the torus. We consider perturbations of hyperbolic toral automorphisms preserving certain co-isotropic submanifolds. The classical dynamics is ergodic, hence, in the semiclassical limit almost all quantum eigenstates converge to the volume measure of the torus. Nevertheless, we show that for each of the invariant submanifolds, there are also eigenstates which localize and converge to the volume measure of the corresponding submanifold.     

Asymptotic Behavior for the Liouville Equations

A new proof of the diffusion approximation for ordinary differential equations is given. It is based on an asymptotic expansion of the solution of the corresponding Liouville partial differential equations. In contrast to previous results obtained for the suspension under Holderian mappings of subshift of finite type or Fourier analysis techniques, our proof relies only on symbolic dynamics.     

Reliability Polynomials and Their Asymptotic Limits for Families of Graphs

We present exact calculations of reliability polynomials R(G,p) for lattice strips G of fixed widths L _y 4 and arbitrarily great length L _x with various boundary conditions. We introduce the notion of a reliability per vertex, r({G},p)=lim_|V|R(G,p)^1/|V| where |V| denotes the number of vertices in G and {G} denotes the formal limit lim_|V|G. We calculate this exactly for various families of graphs. We also study the zeros of R(G,p) in the complex p plane and determine exactly the asymptotic accumulation set of these zeros , across which r({G}) is nonanalytic.     

Asymptotic Behavior of Beta-Integers

Beta-integers (“β-integers”) are those numbers which are the counterparts of integers when real numbers are expressed in an irrational base β > 1. In quasicrystalline studies, β-integers supersede the “crystallographic” ordinary integers. When the number β is a Parry number, the corresponding β-integers realize only a finite number of distances between consecutive elements and are in this sense the most comparable to ordinary integers. In this paper, we point out the similarity of β-integers and ordinary integers in the asymptotic sense, in particular for a subclass of Parry numbers – Pisot numbers for which their Parry and minimal polynomial coincide.     

Transfer Operators and Dynamical Zeta Functions for a Class of Lattice Spin Models

 We investigate the location of zeros and poles of a dynamical zeta function for a family of subshifts of finite type with an interaction function depending on the parameters . The system corresponds to the well known Kac-Baker lattice spin model in statistical mechanics. Its dynamical zeta function can be expressed in terms of the Fredholm determinants of two transfer operators and with the Ruelle operator acting in a Banach space of holomorphic functions, and an integral operator introduced originally by Kac, which acts in the space with a kernel which is symmetric and positive definite for positive β. By relating via the Segal-Bargmann transform to an operator closely related to the Kac operator we can prove equality of their spectra and hence reality, respectively positivity, for the eigenvalues of the operator for real, respectively positive, β. For a restricted range of parameters we can determine the asymptotic behavior of the eigenvalues of for large positive and negative values of β and deduce from this the existence of infinitely many non-trivial zeros and poles of the dynamical zeta functions on the real β line at least for generic . For the special choice , we find a family of eigenfunctions and eigenvalues of leading to an infinite sequence of equally spaced ``trivial' zeros and poles of the zeta function on a line parallel to the imaginary β-axis. Hence there seems to hold some generalized Riemann hypothesis also for this kind of dynamical zeta functions. Received: 14 March 2002 / Accepted: 24 June 2002 Published online: 14 November 2002     

Selberg trace formula for bordered Riemann surfaces: Hyperbolic,elliptic and parabolic conjugacy classes,and determinants of Maass-Laplacians

The Selberg trace formula for automorphic forms of weightm, on bordered Riemann surfaces is developed. The trace formula is formulated for arbitrary Fuchsian groups of the first kind with reflection symmetry which include hyperbolic, elliptic and parabolic conjugacy classes. In the case of compact bordered Riemann surfaces we can explicitly evaluate determinants of Maass-Laplacians for both Dirichlet and Neumann boundary-conditions, respectively. Some implications for the open bosonic string theory are mentioned.Address from August 1993: II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, D-22761 Hamburg, Germany     

Asymptotic Lower Bound for the Relative Disparities of Truncated-Path-Integral Partition Functions

Any truncated-path-integral partition function of a nonrelativistic quantum system in thermodynamic equilibrium—one obtained by means of the Feynman path-integral-procedure using a finite number of such integrals—is known to have a value not less than that of the exact one corresponding to it. A rigorous asymptotic lower bound obtained for the relative disparity in their values—the difference in their values divided by that of the exact partition function— confirms asymptotic positive-definiteness of the original upper bound. Values determined directly for a linear harmonic oscillator agree asymptotically with values of they bound.     

The Asymptotic Behavior of the Takhtajan-Zograf Metric

We obtain the asymptotic behavior of the Takhtajan-Zograf metric on the Teichmüller space of punctured Riemann surfaces. The first author is partially supported by JSPS Grant-in-Aid for Exploratory Research 2005-2007. The second author is partially supported by the research grant R-146-000-106-112 from the National University of Singapore and the Ministry of Education.