-
The discrete analogue of the Gaussian
Authors:
Gautam Chinta,
Jay Jorgenson,
Anders Karlsson,
Lejla Smajlović
Abstract:
This paper illustrates the utility of the heat kernel on $\mathbb{Z}$ as the discrete analogue of the Gaussian density function. It is the two-variable function $K_{\mathbb{Z}}(t,x)=e^{-2t}I_{x}(2t)$ involving a Bessel function and variables $x\in\mathbb{Z}$ and real $t\geq 0$. Like its classic counterpart it appears in many mathematical and physical contexts and has a wealth of applications. Some…
▽ More
This paper illustrates the utility of the heat kernel on $\mathbb{Z}$ as the discrete analogue of the Gaussian density function. It is the two-variable function $K_{\mathbb{Z}}(t,x)=e^{-2t}I_{x}(2t)$ involving a Bessel function and variables $x\in\mathbb{Z}$ and real $t\geq 0$. Like its classic counterpart it appears in many mathematical and physical contexts and has a wealth of applications. Some of these will be reviewed here, concerning Bessel integrals, trigonometric sums, hypergeometric functions and asymptotics of discrete models appearing in statistical and quantum physics. Moreover, we prove a new local limit theorem for sums of integer-valued random variables, obtain novel special values of the spectral zeta function of Bethe lattices, and provide a discussion on how $e^{-2t}I_{x}(2t)$ could be useful in differential privacy.
△ Less
Submitted 22 September, 2024;
originally announced September 2024.
-
Constructing heat kernels on infinite graphs
Authors:
Jay Jorgenson,
Anders Karlsson,
Lejla Smajlović
Abstract:
Let $G$ be an infinite, edge- and vertex-weighted graph with certain reasonable restrictions. We construct the heat kernel of the associated Laplacian using an adaptation of the parametrix approach due to Minakshisundaram-Pleijel in the setting of Riemannian geometry. This is partly motivated by the wish to relate the heat kernels of a graph and a subgraph, or of a domain and a discretization of i…
▽ More
Let $G$ be an infinite, edge- and vertex-weighted graph with certain reasonable restrictions. We construct the heat kernel of the associated Laplacian using an adaptation of the parametrix approach due to Minakshisundaram-Pleijel in the setting of Riemannian geometry. This is partly motivated by the wish to relate the heat kernels of a graph and a subgraph, or of a domain and a discretization of it. As an application, assuming that the graph is locally finite, we express the heat kernel $H_G(x,y;t)$ as a Taylor series with the lead term being $a(x,y)t^r$, where $r$ is the combinatorial distance between $x$ and $y$ and $a(x,y)$ depends (explicitly) upon edge and vertex weights. In the case $G$ is the regular $(q+1)$-tree with $q\geq 1$, our construction reproves different explicit formulas due to Chung-Yau and to Chinta-Jorgenson-Karlsson. Assuming uniform boundedness of the combinatorial vertex degree, we show that a dilated Gaussian depending on any distance metric on $G$, which is uniformly bounded from below can be taken as a parametrix in our construction. Our work extends in part the recent articles [LNY21, CJKS23] in that the graphs are infinite and weighted.
△ Less
Submitted 8 September, 2024; v1 submitted 17 April, 2024;
originally announced April 2024.
-
On the functional equation of twisted Ruelle zeta function and Fried's conjecture
Authors:
Jay Jorgenson,
Min Lee,
Lejla Smajlovic
Abstract:
Let $M$ be a finite volume hyperbolic Riemann surface with arbitrary signature, and let $χ$ be an arbitrary $m$-dimensional multiplier system of weight $k$. Let $R(s,χ)$ be the associated Ruelle zeta function, and $\varphi(s,χ)$ the determinant of the scattering matrix. We prove the functional equation that $R(s,χ)\varphi(s,χ) = R(-s,χ)\varphi(s,χ)H(s,χ)$ where $H(s,χ)$ is a meromorphic function o…
▽ More
Let $M$ be a finite volume hyperbolic Riemann surface with arbitrary signature, and let $χ$ be an arbitrary $m$-dimensional multiplier system of weight $k$. Let $R(s,χ)$ be the associated Ruelle zeta function, and $\varphi(s,χ)$ the determinant of the scattering matrix. We prove the functional equation that $R(s,χ)\varphi(s,χ) = R(-s,χ)\varphi(s,χ)H(s,χ)$ where $H(s,χ)$ is a meromorphic function of order one explicitly determined using the topological data of $M$ and of $χ$, and the trigonometric function $\sin(s)$. From this, we determine the order of the divisor of $R(s,χ)$ at $s=0$ and compute the lead coefficient in its Laurent expansion at $s=0$. When combined with results by Kitano and by Yamaguchi, we prove further instances of the Fried conjecture, which states that the R-torsion of the above data is simply expressed in terms of $R(0,χ)$.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
The parametrix construction of the heat kernel on a graph
Authors:
Gautam Chinta,
Jay Jorgenson,
Anders Karlsson,
Lejla Smajlović
Abstract:
In this paper we develop the parametrix approach for constructing the heat kernel on a graph $G$. In particular, we highlight two specific cases. First, we consider the case when $G$ is embedded in a Eulidean domain or manifold $Ω$, and we use a heat kernel associated to $Ω$ to obtain a formula for the heat kernel on $G$. Second, we consider when $G$ is a subgraph of a larger graph…
▽ More
In this paper we develop the parametrix approach for constructing the heat kernel on a graph $G$. In particular, we highlight two specific cases. First, we consider the case when $G$ is embedded in a Eulidean domain or manifold $Ω$, and we use a heat kernel associated to $Ω$ to obtain a formula for the heat kernel on $G$. Second, we consider when $G$ is a subgraph of a larger graph $\widetilde{G}$, and we obtain a formula for the heat kernel on $G$ from the heat kernel on $\widetilde{G}$ restricted to $G$.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
The resolvent kernel on the discrete circle and twisted cosecant sums
Authors:
Jay Jorgenson,
Anders Karlsson,
Lejla Smajlović
Abstract:
Let $X_m$ denote the discrete circle with $m$ vertices. For $x,y\in X_{m}$ and complex $s$, let $G_{X_m,χ_β}(x,y;s)$ be the resolvent kernel associated to the combinatorial Laplacian which acts on the space of functions on $X_{m}$ that are twisted by a character $χ_β$. We will compute $G_{X_m,χ_β}(x,y;s)$ in two different ways. First, using the spectral expansion of the Laplacian, we show that…
▽ More
Let $X_m$ denote the discrete circle with $m$ vertices. For $x,y\in X_{m}$ and complex $s$, let $G_{X_m,χ_β}(x,y;s)$ be the resolvent kernel associated to the combinatorial Laplacian which acts on the space of functions on $X_{m}$ that are twisted by a character $χ_β$. We will compute $G_{X_m,χ_β}(x,y;s)$ in two different ways. First, using the spectral expansion of the Laplacian, we show that $G_{X_m,χ_β}(x,y;s)$ is a generating function for certain trigonometric sums involving powers of the cosecant function; by choosing $β$ or $s$ appropriately, the sums in question involve powers of the secant function. Second, by viewing $X_{m}$ as a quotient space of $\mathbb{Z}$, we prove that $G_{X_m,χ_β}(x,y;s)$ is a rational function which is given in terms of Chebyshev polynomials. From the existence and uniqueness of $G_{X_m,χ_β}(x,y;s)$, these two evaluations are equal. From the resulting identity, we obtain a means by which one can obtain explicit evaluations of cosecant and secant sums. The identities we prove depend on a number of parameters, and when we specialize the values of these parameters we obtain several previously known formulas. Going further, we derive a recursion formula for special values of the $L$-functions associated to the cycle graph $X_{m}$, thus answering a question from arXiv:2212.13687v1.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Discrete diffusion-type equation on regular graphs and its applications
Authors:
Carlos A. Cadavid,
Paulina Hoyos,
Jay Jorgenson,
Lejla Smajlović,
Juan D. Vélez
Abstract:
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further…
▽ More
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.
△ Less
Submitted 23 March, 2023; v1 submitted 24 August, 2022;
originally announced August 2022.
-
On an approach for evaluating certain trigonometric character sums using the discrete time heat kernel
Authors:
Carlos A. Cadavid,
Paulina Hoyos,
Jay Jorgenson,
Lejla Smajlović,
Juan D. Vélez
Abstract:
In this article we develop a general method by which one can explicitly evaluate certain sums of $n$-th powers of products of $d\geq 1$ elementary trigonometric functions evaluated at $\mathbf{m}=(m_1,\ldots,m_d)$-th roots of unity. Our approach is to first identify the individual terms in the expression under consideration as eigenvalues of a discrete Laplace operator associated to a graph whose…
▽ More
In this article we develop a general method by which one can explicitly evaluate certain sums of $n$-th powers of products of $d\geq 1$ elementary trigonometric functions evaluated at $\mathbf{m}=(m_1,\ldots,m_d)$-th roots of unity. Our approach is to first identify the individual terms in the expression under consideration as eigenvalues of a discrete Laplace operator associated to a graph whose vertices form a $d$-dimensional discrete torus $G_{\mathbf{m}}$ which depends on $\mathbf{m}$. The sums in question are then related to the $n$-th step of a Markov chain on $G_{\mathbf{m}}$. The Markov chain admits the interpretation as a particular random walk, also viewed as a discrete time and discrete space heat diffusion, so then the sum in question is related to special values of the associated heat kernel. Our evaluation follows by deriving a combinatorial expression for the heat kernel, which is obtained by periodizing the heat kernel on the infinite lattice $\mathbb{Z}^{d}$ which covers $G_{\mathbf{m}}$.
△ Less
Submitted 23 October, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
An integer factorization algorithm which uses diffusion as a computational engine
Authors:
Carlos A. Cadavid,
Paulina Hoyos,
Jay Jorgenson,
Lejla Smajlović,
Juan D. Vélez
Abstract:
In this article we develop an algorithm which computes a divisor of an integer $N$, which is assumed to be neither prime nor the power of a prime. The algorithm uses discrete time heat diffusion on a finite graph. If $N$ has $m$ distinct prime factors, then the probability that our algorithm runs successfully is at least $p(m) = 1-(m+1)/2^{m}$. We compute the computational complexity of the algori…
▽ More
In this article we develop an algorithm which computes a divisor of an integer $N$, which is assumed to be neither prime nor the power of a prime. The algorithm uses discrete time heat diffusion on a finite graph. If $N$ has $m$ distinct prime factors, then the probability that our algorithm runs successfully is at least $p(m) = 1-(m+1)/2^{m}$. We compute the computational complexity of the algorithm in terms of classical, or digital, steps and in terms of diffusion steps, which is a concept that we define here. As we will discuss below, we assert that a diffusion step can and should be considered as being comparable to a quantum step for an algorithm which runs on a quantum computer. With this, we prove that our factorization algorithm uses at most $O((\log N)^{2})$ deterministic steps and at most $O((\log N)^{2})$ diffusion steps with an implied constant which is effective. By comparison, Shor's algorithm is known to use at most $O((\log N)^{2}\log (\log N) \log (\log \log N))$ quantum steps on a quantum computer.
As an example of our algorithm, we simulate the diffusion computer algorithm on a desktop computer and obtain factorizations of $N=33$ and $N=1363$.
△ Less
Submitted 23 January, 2023; v1 submitted 23 April, 2021;
originally announced April 2021.
-
Kronecker limit functions and an extension of the Rohrlich-Jensen formula
Authors:
James Cogdell,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
In 1984 Rohrlich proved a modular analogue of Jensen's formula. Under certain conditions, the Rohrlich-Jensen formula expresses an integral of the log-norm $\log \Vert f \Vert$ of a $\text{\rm PSL}(2,\ZZ)$ modular form $f$ in terms of the Dedekind Delta function evaluated at the divisor of $f$. Recently, Bringmann-Kane re-interpreted the Rohrlich-Jensen formula as evaluating a regularized inner pr…
▽ More
In 1984 Rohrlich proved a modular analogue of Jensen's formula. Under certain conditions, the Rohrlich-Jensen formula expresses an integral of the log-norm $\log \Vert f \Vert$ of a $\text{\rm PSL}(2,\ZZ)$ modular form $f$ in terms of the Dedekind Delta function evaluated at the divisor of $f$. Recently, Bringmann-Kane re-interpreted the Rohrlich-Jensen formula as evaluating a regularized inner product of $\log \Vert f \Vert$ and extended the result to compute a regularized inner product of $\log \Vert f \Vert$ with what amounts to powers of the Hauptmoduli of $\text{\rm PSL}(2,\ZZ)$. In the present article, we revisit the Rohrlich-Jensen formula and prove that it can be viewed as a regularized inner product of special values of two Poincaré series, one of which is the Niebur-Poincaré series and the other is the resolvent kernel of the Laplacian. The regularized inner product can be seen as a type of Maass-Selberg relation. In this form, we develop a Rohrlich-Jensen formula associated to any Fuchsian group $Γ$ of the first kind with one cusp by employing a type of Kronecker limit formula associated to the resolvent kernel. We present two examples of our main result: First, when $Γ$ is the full modular group $\text{\rm PSL}(2,\ZZ)$, thus reproving the theorems from \cite{BK19}; and second when $Γ$ is an Atkin-Lehner group $Γ_{0}(N)^+$, where explicit computations are given for certain genus zero, one and two levels.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
Evaluating the Mahler measure of linear forms via Kronecker limit formulas on complex projective space
Authors:
James Cogdell,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
In Cogdell et al., \it LMS Lecture Notes Series \bf 459, \rm 393--427 (2020), \rm the authors proved an analogue of Kronecker's limit formula associated to any divisor $\mathcal D$ which is smooth in codimension one on any smooth Kähler manifold $X$. In the present article, we apply the aforementioned Kronecker limit formula in the case when $X$ is complex projective space $\CC\PP^n$ for…
▽ More
In Cogdell et al., \it LMS Lecture Notes Series \bf 459, \rm 393--427 (2020), \rm the authors proved an analogue of Kronecker's limit formula associated to any divisor $\mathcal D$ which is smooth in codimension one on any smooth Kähler manifold $X$. In the present article, we apply the aforementioned Kronecker limit formula in the case when $X$ is complex projective space $\CC\PP^n$ for $n \geq 2$ and $\mathcal D$ is a hyperplane, meaning the divisor of a linear form $P_D({z})$ for ${z} = (\mathcal{Z}_{j}) \in \CC\PP^n$. Our main result is an explicit evaluation of the Mahler measure of $P_{D}$ as a convergent series whose each term is given in terms of rational numbers, multinomial coefficients, and the $L^{2}$-norm of the vector of coefficients of $P_{D}$.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
Spectral construction of non-holomorphic Eisenstein-type series and their Kronecker limit formulas
Authors:
James Cogdell,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
Let $X$ be a smooth, compact, projective Kähler variety and $D$ be a divisor of a holomorphic form $F$, and assume that $D$ is smooth up to codimension two. Let $ω$ be a Kähler form on $X$ and $K_{X}$ the corresponding heat kernel which is associated to the Laplacian that acts on the space of smooth functions on $X$. Using various integral transforms of $K_{X}$, we will construct a meromorphic fun…
▽ More
Let $X$ be a smooth, compact, projective Kähler variety and $D$ be a divisor of a holomorphic form $F$, and assume that $D$ is smooth up to codimension two. Let $ω$ be a Kähler form on $X$ and $K_{X}$ the corresponding heat kernel which is associated to the Laplacian that acts on the space of smooth functions on $X$. Using various integral transforms of $K_{X}$, we will construct a meromorphic function in a complex variable $s$ whose special value at $s=0$ is the log-norm of $F$ with respect to $μ$. In the case when $X$ is the quotient of a symmetric space, then the function we construct is a generalization of the so-called elliptic Eisenstein series which has been defined and studied for finite volume Riemann surfaces.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
Super-zeta functions and regularized determinants associated to cofinite Fuchsian groups with finite-dimensional unitary representations
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $χ$ denote a finite dimensional unitary representation of the fundamental group of $M$. Let $Δ$ denote the hyperbolic Laplacian which acts on smooth sections of the flat bundle over $M$ associated to $χ$. From the spectral theory of $Δ$, there are three distinct sequences of numbers: Th…
▽ More
Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $χ$ denote a finite dimensional unitary representation of the fundamental group of $M$. Let $Δ$ denote the hyperbolic Laplacian which acts on smooth sections of the flat bundle over $M$ associated to $χ$. From the spectral theory of $Δ$, there are three distinct sequences of numbers: The first coming from the eigenvalues of $L^{2}$ eigenfunctions, the second coming from resonances associated to the continuous spectrum, and the third being the set of negative integers. Using these sequences of spectral data, we employ the super-zeta approach to regularization and introduce two super-zeta functions, $\Z_-(s,z)$ and $\Z_+(s,z)$ that encode the spectrum of $Δ$ in such a way that they can be used to define the regularized determinant of $Δ-z(1-z)I$. The resulting formula for the regularized determinant of $Δ-z(1-z)I$ in terms of the Selberg zeta function, see Theorem 5.3, encodes the symmetry $z\leftrightarrow 1-z$, which could not be seen in previous works, due to a different definition of the regularized determinant.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
Transformation laws for generalized Dedekind sums associated to Fuchsian groups
Authors:
Claire Burrin,
Jay Jorgenson,
Cormac O'Sullivan,
Lejla Smajlović
Abstract:
We establish transformation laws for generalized Dedekind sums associated to the Kronecker limit function of non-holomorphic Eisenstein series and their higher-order variants. These results apply to general Fuchsian groups of the first kind, and examples are provided in the cases of the Hecke triangle groups, the Hecke congruence groups $Γ_0(N)$, and the non-congruence arithmetic groups…
▽ More
We establish transformation laws for generalized Dedekind sums associated to the Kronecker limit function of non-holomorphic Eisenstein series and their higher-order variants. These results apply to general Fuchsian groups of the first kind, and examples are provided in the cases of the Hecke triangle groups, the Hecke congruence groups $Γ_0(N)$, and the non-congruence arithmetic groups $Γ_0(N)^+$.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Effective sup-norm bounds on average for cusp forms of even weight
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Jürg Kramer
Abstract:
Let $Γ\subset\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d_{2k}$-dimensional space of cusp forms $\mathcal{S}_{2k}^Γ$ of weight $2k$ for $Γ$, and let $\{f_{1},\ldots,f_{d_{2k}}\}$ be an orthonormal basis of $\mathcal{S}_{2k}^Γ$ with respect to the Petersson inner product. In this paper we will give effective uppe…
▽ More
Let $Γ\subset\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d_{2k}$-dimensional space of cusp forms $\mathcal{S}_{2k}^Γ$ of weight $2k$ for $Γ$, and let $\{f_{1},\ldots,f_{d_{2k}}\}$ be an orthonormal basis of $\mathcal{S}_{2k}^Γ$ with respect to the Petersson inner product. In this paper we will give effective upper and lower bounds for the supremum of the quantity $S_{2k}^Γ(z):=\sum_{j=1}^{d_{2k}}\vert f_{j}(z)\vert^{2}\,\mathrm{Im}(z)^{2k}$ as $z$ ranges through $\mathbb{H}$.
△ Less
Submitted 17 January, 2018;
originally announced January 2018.
-
On the evaluation of singular invariants for canonical generators of certain genus one arithmetic groups
Authors:
Jay Jorgenson,
Lejla Smajlović,
Holger Then
Abstract:
Let $N$ be a positive square-free integer such that the discrete group $Γ_{0}(N)^{+}$ has genus one. In a previous article, we constructed canonical generators $x_{N}$ and $y_{N}$ of the holomorphic function field associated to $Γ_{0}(N)^{+}$ as well as an algebraic equation $P_{N}(x_{N},y_{N}) = 0$ with integer coefficients satisfied by these generators. In the present paper, we study the singula…
▽ More
Let $N$ be a positive square-free integer such that the discrete group $Γ_{0}(N)^{+}$ has genus one. In a previous article, we constructed canonical generators $x_{N}$ and $y_{N}$ of the holomorphic function field associated to $Γ_{0}(N)^{+}$ as well as an algebraic equation $P_{N}(x_{N},y_{N}) = 0$ with integer coefficients satisfied by these generators. In the present paper, we study the singular moduli problem corresponding to $x_{N}$ and $y_{N}$, by which we mean the arithmetic nature of the numbers $x_{N}(τ)$ and $y_{N}(τ)$ for any CM point $τ$ in the upper half plane $\mathbb{H}$. If $τ$ is any CM point which is not equivalent to an elliptic point of $Γ_{0}(N)^{+}$, we prove that the complex numbers $x_{N}(τ)$ and $y_{N}(τ)$ are algebraic integers. Going further, we characterize the algebraic nature of $x_{N}(τ)$ as the generator of a certain ring class field of $\mathbb{Q}(τ)$ of prescribed order and discriminant depending on properties of $τ$ and level $N$. The theoretical considerations are supplemented by computational examples. As a result, several explicit evaluations are given for various $N$ and $τ$, and further arithmetic consequences of our analysis are presented. In one example, we explicitly construct a set of minimal polynomials for the Hilbert class field of $\mathbb{Q}(\sqrt{-74})$ whose coefficients are less than $2.2\times 10^{4}$, whereas the minimal polynomials obtained from the Hauptmodul of $\textrm{PSL}(2,\mathbb{Z})$ has coefficients as large as $6.6\times 10^{73}$.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
Superzeta functions, regularized products, and the Selberg zeta function on hyperbolic manifolds with cusps
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
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…
▽ More
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 the case $f$ admits a Dirichlet series expansion in some right half-plane, we derive the meromorphic continuation in $s$ of $\Z_{f}(s,z)$ as an integral transform of $f'/f$. We apply these results to obtain superzeta product evaluations of Selberg zeta function associated to finite volume hyperbolic manifolds with cusps.
△ Less
Submitted 20 December, 2018; v1 submitted 24 January, 2017;
originally announced January 2017.
-
Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series
Authors:
Jay Jorgenson,
Cormac O'Sullivan,
Lejla Smajlović
Abstract:
Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$. The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on…
▽ More
Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$. The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on work of Goldstein, we extend these results from the modular group to more general Fuchsian groups $Γ$. The analogue of the eta function has a multiplier system that may be expressed in terms of a map $S:Γ\to {\mathbb R}$ which we call a modular Dedekind symbol. We obtain detailed properties of these symbols by means of the limit formula.
Twisting the usual Eisenstein series with powers of additive homomorphisms from $Γ$ to ${\mathbb C}$ produces higher-order Eisenstein series. These series share many of the properties of $E(z,s)$ though they have a more complicated automorphy condition. They satisfy a Kronecker limit formula and produce higher-order Dedekind symbols $S^*:Γ\to {\mathbb R}$. As an application of our general results, we prove that higher-order Dedekind symbols associated to genus one congruence groups $Γ_0(N)$ are rational.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
-
An evaluation of the central value of the automorphic scattering determinant
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $φ(s)$ denote the automorphic scattering determinant. From the known functional equation $φ(s)φ(1-s)=1$ one concludes that $φ(1/2)^{2} = 1$. However, except for the relatively few instances when $φ(s)$ is explicitly computable, one does not know $φ(1/2)$. In this article we address this…
▽ More
Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $φ(s)$ denote the automorphic scattering determinant. From the known functional equation $φ(s)φ(1-s)=1$ one concludes that $φ(1/2)^{2} = 1$. However, except for the relatively few instances when $φ(s)$ is explicitly computable, one does not know $φ(1/2)$. In this article we address this problem and prove the following result. Let $N$ and $P$ denote the number of zeros and poles, respectively, of $φ(s)$ in $(1/2,\infty)$, counted with multiplicities. Let $d(1)$ be the coefficient of the leading term from the Dirichlet series component of $φ(s)$. Then $φ(1/2)=(-1)^{N+P} \cdot \mathrm{sgn}(d(1))$.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
The determinant of the Lax-Phillips scattering operator
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Lejla Smajlovic
Abstract:
Let $M$ denote a finite volume, non-compact Riemann surface without elliptic points, and let $B$ denote the Lax-Phillips scattering operator. Using the superzeta function approach due to Voros, we define a Hurwitz-type zeta function $ζ^{\pm}_{B}(s,z)$ constructed from the resonances associated to $zI -[ (1/2)I \pm B]$. We prove the meromorphic continuation in $s$ of $ζ^{\pm}_{B}(s,z)$ and, using t…
▽ More
Let $M$ denote a finite volume, non-compact Riemann surface without elliptic points, and let $B$ denote the Lax-Phillips scattering operator. Using the superzeta function approach due to Voros, we define a Hurwitz-type zeta function $ζ^{\pm}_{B}(s,z)$ constructed from the resonances associated to $zI -[ (1/2)I \pm B]$. We prove the meromorphic continuation in $s$ of $ζ^{\pm}_{B}(s,z)$ and, using the special value at $s=0$, define a determinant of the operators $zI -[ (1/2)I \pm B]$. We obtain expressions for Selberg's zeta function and the determinant of the scattering matrix in terms of the operator determinants.
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
-
Heat kernel asymptotics on sequences of elliptically degenerating Riemann surfaces
Authors:
Daniel Garbin,
Jay Jorgenson
Abstract:
This is the first of two articles in which we define an elliptically degenerating family of hyperbolic Riemann surfaces and study the asymptotic behavior of the associated spectral theory. Our study is motivated by a result from \cite{He 83}, which Hejhal attributes to Selberg, proving spectral accumulation for the family of Hecke triangle groups. In this article, we prove various results regardin…
▽ More
This is the first of two articles in which we define an elliptically degenerating family of hyperbolic Riemann surfaces and study the asymptotic behavior of the associated spectral theory. Our study is motivated by a result from \cite{He 83}, which Hejhal attributes to Selberg, proving spectral accumulation for the family of Hecke triangle groups. In this article, we prove various results regarding the asymptotic behavior of heat kernels and traces of heat kernels for both real and complex time. In \cite{GJ 16}, we will use the results from this article and study the asymptotic behavior of numerous spectral functions through elliptic degeneration, including spectral counting functions, Selberg's zeta function, Hurwitz-type zeta functions, determinants of the Laplacian, wave kernels, spectral projections, small eigenfunctions, and small eigenvalues. The method of proof we employ follows the template set in previous articles which study spectral theory on degenerating families of finite volume Riemann surfaces (\cite{HJL 95}, \cite{HJL 97}, \cite{JoLu 97a}, and \cite{JoLu 97b}) and on degenerating families of finite volume hyperbolic three manifolds (\cite{DJ 98}). Although the types of results developed here and in \cite{GJ 16} are similar to those in existing articles, it is necessary to thoroughly present all details in the setting of elliptic degeneration in order to uncover all nuances in this setting.
△ Less
Submitted 4 March, 2016;
originally announced March 2016.
-
Spectral asymptotics on sequences of elliptically degenerating Riemann surfaces
Authors:
Daniel Garbin,
Jay Jorgenson
Abstract:
This is the second in a series of two articles where we study various aspects of the spectral theory associated to families of hyperbolic Riemann surfaces obtained through elliptic degeneration. In the first article, we investigate the asymptotics of the trace of the heat kernel both near zero and infinity and we show the convergence of small eigenvalues and corresponding eigenfunctions. Having ob…
▽ More
This is the second in a series of two articles where we study various aspects of the spectral theory associated to families of hyperbolic Riemann surfaces obtained through elliptic degeneration. In the first article, we investigate the asymptotics of the trace of the heat kernel both near zero and infinity and we show the convergence of small eigenvalues and corresponding eigenfunctions. Having obtained necessary bounds for the trace, this second article presents the behavior of several spectral invariants. Some of these invariants, such as the Selberg zeta function and the spectral counting functions associated to small eigenvalues below 1/4, converge to their respective counterparts on the limiting surface. Other spectral invariants, such as the spectral zeta function and the logarithm of the determinant of the Laplacian diverge. In these latter cases, we identify diverging terms and remove their contributions, thus regularizing convergence of these spectral invariants. Our study is motivated by a result from \cite{He 83}, which D. Hejhal attributes to A. Selberg, proving spectral accumulation for the family of Hecke triangle groups. In this article, we obtain a quantitative result to Selberg's remark.
△ Less
Submitted 4 March, 2016;
originally announced March 2016.
-
The Hauptmodul at elliptic points of certain arithmetic groups
Authors:
Jay Jorgenson,
Lejla Smajlović,
Holger Then
Abstract:
Let $N$ be a square-free integer such that the arithmetic group $Γ_0(N)^+$ has genus zero; there are $44$ such groups. Let $j_N$ denote the associated Hauptmodul normalized to have residue equal to one and constant term equal to zero in its $q$-expansion. In this article we prove that the Hauptmodul at any elliptic point of the surface associated to $Γ_0(N)^+$ is an algebraic integer. Moreover, fo…
▽ More
Let $N$ be a square-free integer such that the arithmetic group $Γ_0(N)^+$ has genus zero; there are $44$ such groups. Let $j_N$ denote the associated Hauptmodul normalized to have residue equal to one and constant term equal to zero in its $q$-expansion. In this article we prove that the Hauptmodul at any elliptic point of the surface associated to $Γ_0(N)^+$ is an algebraic integer. Moreover, for each such $N$ and elliptic point $e$, we show how to explicitly evaluate $j_{N}(e)$ and provide the list of generating polynomials (with small coefficients) of the class fields or their subfields corresponding to the orders over the imaginary quadratic extension of rationals stemming from the elliptic points under consideration.
△ Less
Submitted 5 July, 2017; v1 submitted 24 February, 2016;
originally announced February 2016.
-
Certain aspects of holomorphic function theory on some genus zero arithmetic groups
Authors:
Jay Jorgenson,
Lejla Smajlovic,
Holger Then
Abstract:
There are a number of fundamental results in the study of holomorphic function theory associated to the discrete group PSL(2,Z) including the following statements: The ring of holomorphic modular forms is generated by the holomorphic Eisenstein series of weight four and six; the smallest weight cusp form Delta has weight twelve and can be written as a polynomial in E4 and E6; and the Hauptmodul j…
▽ More
There are a number of fundamental results in the study of holomorphic function theory associated to the discrete group PSL(2,Z) including the following statements: The ring of holomorphic modular forms is generated by the holomorphic Eisenstein series of weight four and six; the smallest weight cusp form Delta has weight twelve and can be written as a polynomial in E4 and E6; and the Hauptmodul j can be written as a multiple of E4 cubed divided by Delta. The goal of the present article is to seek generalizations of these results to some other genus zero arithmetic groups, namely those generated by Atkin-Lehner involutions of level N with square-free level N.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
On the wave representation of hyperbolic, elliptic, and parabolic Eisenstein series
Authors:
Jay Jorgenson,
Anna-Maria von Pippich,
Lejla Smajlovic
Abstract:
We develop a unified approach to the construction of the hyperbolic and elliptic Eisenstein series on a finite volume hyperbolic Riemann surface. Specifically, we derive expressions for the hyperbolic and elliptic Eisenstein series as integral transforms of the kernel of a wave operator. Established results in the literature relate the wave kernel to the heat kernel, which admits explicit construc…
▽ More
We develop a unified approach to the construction of the hyperbolic and elliptic Eisenstein series on a finite volume hyperbolic Riemann surface. Specifically, we derive expressions for the hyperbolic and elliptic Eisenstein series as integral transforms of the kernel of a wave operator. Established results in the literature relate the wave kernel to the heat kernel, which admits explicit construction from various points of view. Therefore, we obtain a sequence of integral transforms which begins with the heat kernel, obtains a Poisson and wave kernel, and then yields the hyperbolic and elliptic Eisenstein series. In the case of a non-compact finite volume hyperbolic Riemann surface, we finally show how to express the parabolic Eisenstein series in terms of the integral transform of a wave operator.
△ Less
Submitted 11 May, 2015;
originally announced May 2015.
-
Applications of Kronecker's limit formula for elliptic Eisenstein series
Authors:
Jay Jorgenson,
Anna-Maria von Pippich,
Lejla Smajlovic
Abstract:
We develop two applications of the Kronecker's limit formula associated to elliptic Eisenstein series: A factorization theorem for holomorphic modular forms, and a proof of Weil's reciprocity law. Several examples of the general factorization results are computed, specifically for certain moonshine groups, congruence subgroups, and, more generally, non-compact subgroups with one cusp. In particula…
▽ More
We develop two applications of the Kronecker's limit formula associated to elliptic Eisenstein series: A factorization theorem for holomorphic modular forms, and a proof of Weil's reciprocity law. Several examples of the general factorization results are computed, specifically for certain moonshine groups, congruence subgroups, and, more generally, non-compact subgroups with one cusp. In particular, we explicitly compute the Kronecker limit function associated to certain elliptic points for a few small level moonshine groups.
△ Less
Submitted 11 May, 2015;
originally announced May 2015.
-
Effective bounds for Faltings's delta function
Authors:
J. Jorgenson,
J. Kramer
Abstract:
We obtain bounds for the Faltings's delta function for any Riemann surface of genus greater than one. The bounds are in terms of the genus of the surface and two basic quantities coming from hyperbolic geometry: The length of the shortest closed geodesic, and the smallest non-zero eigenvalue of the Laplacian which acts on smooth functions. In the case when the surface in question is a finite degre…
▽ More
We obtain bounds for the Faltings's delta function for any Riemann surface of genus greater than one. The bounds are in terms of the genus of the surface and two basic quantities coming from hyperbolic geometry: The length of the shortest closed geodesic, and the smallest non-zero eigenvalue of the Laplacian which acts on smooth functions. In the case when the surface in question is a finite degree cover of a fixed base surface, then bounds are given in terms of the degree of the curve and data associated to the base surface.
△ Less
Submitted 9 December, 2013;
originally announced December 2013.
-
Kronecker's limit formula, holomorphic modular functions and $q$-expansions on certain moonshine groups
Authors:
Jay Jorgenson,
Lejla Smajlović,
Holger Then
Abstract:
For any square-free integer $N$ such that the "moonshine group" $Γ_0(N)^+$ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmoduli of $Γ_0(N)^+$ to certain McKay-Thompson series associated to the representation theory of the Fischer-Griess monster group. In particular, the Hauptmoduli admits a $q$-expansion which has integer coefficients. In this article, we study the holomorphi…
▽ More
For any square-free integer $N$ such that the "moonshine group" $Γ_0(N)^+$ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmoduli of $Γ_0(N)^+$ to certain McKay-Thompson series associated to the representation theory of the Fischer-Griess monster group. In particular, the Hauptmoduli admits a $q$-expansion which has integer coefficients. In this article, we study the holomorphic function theory associated to higher genus moonshine groups $Γ_0(N)^+$. For all moonshine groups of genus up to and including three, we prove that the corresponding function field admits two generators whose $q$-expansions have integer coefficients, has lead coefficient equal to one, and has minimal order of pole at infinity. As corollary, we derive a polynomial relation which defines the underlying projective curve, and we deduce whether $i\infty$ is a Weierstrass point. Our method of proof is based on modular forms and includes extensive computer assistance, which, at times, applied Gauss elimination to matrices with thousands of entries, each one of which was a rational number whose numerator and denominator were thousands of digits in length.
△ Less
Submitted 15 January, 2014; v1 submitted 3 September, 2013;
originally announced September 2013.
-
Uniform sup-norm bounds on average for cusp forms of higher weights
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Jurg Kramer
Abstract:
Let $Γ\subseteq\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d$-dimensional space of cusp forms $\mathcal{S}_{k}^Γ$ of weight $2k$ for $Γ$, and let $\{f_{1},\ldots,f_{d}\}$ be an orthonormal basis of $\mathcal{S}_{k}^Γ$ with respect to the Petersson inner product. In this paper we show that the sup-norm of the quan…
▽ More
Let $Γ\subseteq\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d$-dimensional space of cusp forms $\mathcal{S}_{k}^Γ$ of weight $2k$ for $Γ$, and let $\{f_{1},\ldots,f_{d}\}$ be an orthonormal basis of $\mathcal{S}_{k}^Γ$ with respect to the Petersson inner product. In this paper we show that the sup-norm of the quantity $S_{k}^Γ(z):=\sum_{j=1}^{d}| f_{j}(z)|^{2}\,\mathrm{Im}(z)^{2k}$ is bounded as $O_Γ(k)$ in the cocompact setting, and as $O_Γ(k^{3/2})$ in the cofinite case, where the implied constants depend solely on $Γ$. We also show that the implied constants are uniform if $Γ$ is replaced by a subgroup of finite index.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
On the distribution of zeros of the derivative of Selberg's zeta function associated to finite volume Riemann surfaces
Authors:
Jay Jorgenson,
Lejla Smajlovic
Abstract:
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 distributi…
▽ More
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 distribution of zeros of the derivative of the Selberg zeta function associated to a non-compact, finite volume hyperbolic Riemann surface. There are numerous difficulties which exist in the non-compact case that are not present in the compact setting, beginning with the fact that in the non-compact case the Selberg zeta function does not satisfy the analogue of the Riemann hypothesis. To be more specific, we actually study the zeros of the derivative of ZH, where Z is the Selberg zeta function and H is the Dirichlet series component of the scattering matrix, both associated to an arbitrary finite-volume hyperbolic Riemann surface. Our main results address finiteness of zeros in the half plane to the left of the critical line, an asymptotic count for the vertical distribution of zeros, and an asymptotic count for the horizontal distance of zeros.
△ Less
Submitted 26 February, 2013; v1 submitted 24 February, 2013;
originally announced February 2013.
-
Heat kernels on regular graphs and generalized Ihara zeta function formulas
Authors:
Gautam Chinta,
Jay Jorgenson,
Anders Karlsson
Abstract:
We establish a new formula for the heat kernel on regular trees in terms of classical I-Bessel functions. Although the formula is explicit, and a proof is given through direct computation, we also provide a conceptual viewpoint using the horocyclic transform on regular trees. From periodization, we then obtain a heat kernel expression on any regular graph. From spectral theory, one has another exp…
▽ More
We establish a new formula for the heat kernel on regular trees in terms of classical I-Bessel functions. Although the formula is explicit, and a proof is given through direct computation, we also provide a conceptual viewpoint using the horocyclic transform on regular trees. From periodization, we then obtain a heat kernel expression on any regular graph. From spectral theory, one has another expression for the heat kernel as an integral transform of the spectral measure. By equating these two formulas and taking a certain integral transform, we obtain several generalized versions of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. Our approach to the Ihara zeta function and determinant formula through heat kernel analysis follows a similar methodology which exists for quotients of rank one symmetric spaces.
△ Less
Submitted 19 February, 2013;
originally announced February 2013.
-
On the distribution of eigenvalues of Maass forms on certain moonshine groups
Authors:
Jay Jorgenson,
Lejla Smajlović,
Holger Then
Abstract:
In this paper we study, both analytically and numerically, questions involving the distribution of eigenvalues of Maass forms on the moonshine groups $Γ_0(N)^+$, where $N>1$ is a square-free integer. After we prove that $Γ_0(N)^+$ has one cusp, we compute the constant term of the associated non-holomorphic Eisenstein series. We then derive an "average" Weyl's law for the distribution of eigenvalue…
▽ More
In this paper we study, both analytically and numerically, questions involving the distribution of eigenvalues of Maass forms on the moonshine groups $Γ_0(N)^+$, where $N>1$ is a square-free integer. After we prove that $Γ_0(N)^+$ has one cusp, we compute the constant term of the associated non-holomorphic Eisenstein series. We then derive an "average" Weyl's law for the distribution of eigenvalues of Maass forms, from which we prove the "classical" Weyl's law as a special case. The groups corresponding to $N=5$ and $N=6$ have the same signature; however, our analysis shows that, asymptotically, there are infinitely more cusp forms for $Γ_0(5)^+$ than for $Γ_0(6)^+$. We view this result as being consistent with the Phillips-Sarnak philosophy since we have shown, unconditionally, the existence of two groups which have different Weyl's laws. In addition, we employ Hejhal's algorithm, together with recently developed refinements from [31], and numerically determine the first $3557$ of $Γ_0(5)^+$ and the first $12474$ eigenvalues of $Γ_0(6)^+$. With this information, we empirically verify some conjectured distributional properties of the eigenvalues.
△ Less
Submitted 26 April, 2017; v1 submitted 8 January, 2013;
originally announced January 2013.
-
Complexity and heights of tori
Authors:
Gautam Chinta,
Jay Jorgenson,
Anders Karlsson
Abstract:
We prove detailed asymptotics for the number of spanning trees, called complexity, for a general class of discrete tori as the parameters tend to infinity. The proof uses in particular certain ideas and techniques from an earlier paper. Our asymptotic formula provides a link between the complexity of these graphs and the height of associated real tori, and allows us to deduce some corollaries on t…
▽ More
We prove detailed asymptotics for the number of spanning trees, called complexity, for a general class of discrete tori as the parameters tend to infinity. The proof uses in particular certain ideas and techniques from an earlier paper. Our asymptotic formula provides a link between the complexity of these graphs and the height of associated real tori, and allows us to deduce some corollaries on the complexity thanks to certain results from analytic number theory. In this way we obtain a conjectural relationship between complexity and regular sphere packings.
△ Less
Submitted 31 October, 2011;
originally announced October 2011.
-
An effective bound for the Huber constant for cofinite Fuchsian groups
Authors:
Joshua S. Friedman,
Jay Jorgenson,
Jurg Kramer
Abstract:
Let $Γ$ be a cofinite Fuchsian group acting on hyperbolic two-space $\HH.$ Let $M=Γ\setminus \HH $ be the corresponding quotient space. For $γ,$ a closed geodesic of $M$, let $l(γ)$ denote its length. The prime geodesic counting function $π_{M}(u)$ is defined as the number of $Γ$-inconjugate, primitive, closed geodesics $γ$ such that $e^{l(γ)} \leq u.$ The \emph{prime geodesic theorem} implies:…
▽ More
Let $Γ$ be a cofinite Fuchsian group acting on hyperbolic two-space $\HH.$ Let $M=Γ\setminus \HH $ be the corresponding quotient space. For $γ,$ a closed geodesic of $M$, let $l(γ)$ denote its length. The prime geodesic counting function $π_{M}(u)$ is defined as the number of $Γ$-inconjugate, primitive, closed geodesics $γ$ such that $e^{l(γ)} \leq u.$ The \emph{prime geodesic theorem} implies:
$$π_{M}(u)=\sum_{0 \leq λ_{M,j} \leq 1/4} \text{li}(u^{s_{M,j}}) + O_{M}(\frac{u^{3/4}}{\log{u}}), $$ where $0=λ_{M,0} < λ_{M,1} <...$ are the eigenvalues of the hyperbolic Laplacian acting on the space of smooth functions on $M$ and $s_{M,j} = \frac{1}{2}+\sqrt{\frac{1}{4} - λ_{M,j}}. $ Let $C_{M}$ be smallest implied constant so that $$|π_{M}(u)-\sum_{0 \leq λ_{M,j} \leq 1/4} \text{li}(u^{s_{M,j}})|\leq C_{M}\frac{u^{3/4}}{\log{u}} \quad \text{\text{for all} $u > 1.$}$$
We call the (absolute) constant $C_{M}$ the Huber constant. The objective of this paper is to give an effectively computable upper bound of $C_{M}$ for an arbitrary cofinite Fuchsian group. As a corollary we estimate the Huber constant for $\PSL(2,\ZZ),$ we obtain $C_{M} \leq 16,607,349,020,658 \approx \exp(30.44086643)$.
△ Less
Submitted 8 March, 2010;
originally announced March 2010.
-
Zeta functions, heat kernels and spectral asymptotics on degenerating families of discrete tori
Authors:
G. Chinta,
J. Jorgenson,
A. Karlsson
Abstract:
By a discrete torus we mean the Cayley graph associated to a finite product of finite cycle groups with generating set given by choosing a generator for each cyclic factor. In this article we study the spectral theory of the combinatorial Laplacian for sequences of discrete tori when the orders of the cyclic factors tend to infinity at comparable rates. First we show that the sequence of heat ke…
▽ More
By a discrete torus we mean the Cayley graph associated to a finite product of finite cycle groups with generating set given by choosing a generator for each cyclic factor. In this article we study the spectral theory of the combinatorial Laplacian for sequences of discrete tori when the orders of the cyclic factors tend to infinity at comparable rates. First we show that the sequence of heat kernels corresponding to the degenerating family converges, after re-scaling, to the heat kernel on an associated real torus. We then establish an asymptotic expansion, in the degeneration parameter, of the determinant of the combinatorial Laplacian. The zeta-regularized determinant of the Laplacian of the limiting real torus appears as the constant term in this expansion. On the other hand, using a classical theorem by Kirchhoff the determinant of the combinatorial Laplacian of a finite graph divided by the number of vertices equals the number of spanning trees, called the complexity, of the graph. As a result, we establish a precise connection between the complexity of the Cayley graphs of finite abelian groups and heights of real tori. It is also known that spectral determinants on discrete tori can be expressed using trigonometric functions and that spectral determinants on real tori can be expressed using modular forms on general linear groups. Another interpretation of our analysis is thus to establish a link between limiting values of certain products of trigonometric functions and modular forms. The heat kernel analysis which we employ uses a careful study of I-Bessel functions. Our methods extend to prove the asymptotic behavior of other spectral invariants through degeneration, such as special values of spectral zeta functions and Epstein-Hurwitz type zeta functions.
△ Less
Submitted 2 November, 2009; v1 submitted 12 June, 2008;
originally announced June 2008.
-
On the appearance of Eisenstein series through degeneration
Authors:
Dan Garbin,
Jay Jorgenson,
Michael Munn
Abstract:
Let $Γ$ be a Fuchsian group of the first kind acting on the hyperbolic upper half plane $\mathbb H$, and let $M = Γ\backslash \mathbb H$ be the associated finite volume hyperbolic Riemann surface. If $γ$ is parabolic, there is an associated (parabolic) Eisenstein series, which, by now, is a classical part of mathematical literature. If $γ$ is hyperbolic, then, following ideas due to Kudla-Millso…
▽ More
Let $Γ$ be a Fuchsian group of the first kind acting on the hyperbolic upper half plane $\mathbb H$, and let $M = Γ\backslash \mathbb H$ be the associated finite volume hyperbolic Riemann surface. If $γ$ is parabolic, there is an associated (parabolic) Eisenstein series, which, by now, is a classical part of mathematical literature. If $γ$ is hyperbolic, then, following ideas due to Kudla-Millson, there is a corresponding hyperbolic Eisenstein series. In this article, we study the limiting behavior of parabolic and hyperbolic Eisenstein series on a degenerating family of finite volume hyperbolic Riemann surfaces. In particular, we prove the following result. If $γ\in Γ$ corresponds to a degenerating hyperbolic element, then a multiple of the associated hyperbolic Eisenstein series converges to parabolic Eisenstein series on the limit surface.
△ Less
Submitted 23 January, 2008;
originally announced January 2008.
-
Unipotent vector bundles and higher-order non-holomorphic Eisenstein series
Authors:
Jay Jorgenson,
Cormac O'Sullivan
Abstract:
Higher-order non-holomorphic Eisenstein series associated to a Fuchsian group $Γ$ are defined by twisting the series expansion for classical non-holomorphic Eisenstein series by powers of modular symbols. Their functional identities include multiplicative and additive factors, making them distinct from classical Eisenstein series. Here we prove the meromorphic continuation of these series and es…
▽ More
Higher-order non-holomorphic Eisenstein series associated to a Fuchsian group $Γ$ are defined by twisting the series expansion for classical non-holomorphic Eisenstein series by powers of modular symbols. Their functional identities include multiplicative and additive factors, making them distinct from classical Eisenstein series. Here we prove the meromorphic continuation of these series and establish their functional equations. In addition, we construct high rank vector bundles $\cal V$ from certain unipotent representations $π$ of $Γ$ and show that higher-order non-holomorphic Eisenstein series can be viewed as components of certain eigensections, $\mathbb E$, of $\cal V$. With this viewpoint the functional identities of these higher-order series are formally identical to the classical case. Going further, we prove bounds for the Fourier coefficients of the higher-order non-holomorphic Eisenstein series.
△ Less
Submitted 23 November, 2006;
originally announced November 2006.
-
Convolution Dirichlet series and a Kronecker limit formula for second-order Eisenstein series
Authors:
Jay Jorgenson,
Cormac O'Sullivan
Abstract:
The classical Kronecker limit formula gives the constant term of the non-holomorphic Eisenstein series E(z,s) for SL(2,Z) at s=1 in terms of the Dedekind eta function. Here we compute the analagous formula for an Eisenstein series twisted by modular symbols (periods of weight two holomorphic cusp forms) for general Fuchsian groups of the first kind.
The classical Kronecker limit formula gives the constant term of the non-holomorphic Eisenstein series E(z,s) for SL(2,Z) at s=1 in terms of the Dedekind eta function. Here we compute the analagous formula for an Eisenstein series twisted by modular symbols (periods of weight two holomorphic cusp forms) for general Fuchsian groups of the first kind.
△ Less
Submitted 31 March, 2004;
originally announced April 2004.
-
Ample Divisors, Automorphic Forms and Shafarevich's Conjecture
Authors:
Andrey Todorov,
Jay Jorgenson
Abstract:
In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite.…
▽ More
In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite.
In this paper we give a general approach to such types of problems. The main observation is the following; suppose that the moduli space of a fixed type of algebraic polarized variety exists and suppose that in some projective smooth compactification of the coarse moduli the discriminant divisor supports an ample one, then it is not difficult to see that this fact implies the analogue of Shafarevich's conjecture.
In this article we apply this method to certain polarized algebraic K3 surfaces and also to Enriques surfaces.
△ Less
Submitted 19 April, 2000; v1 submitted 7 April, 2000;
originally announced April 2000.
-
On an Analog of Selberg's Eigenvalue Conjecture for SL_3(Z)
Authors:
Sultan Catto,
Jonathan Huntley,
Jay Jorgenson,
David Tepper
Abstract:
Let H be the homogeneous space associated to the group PGL_3(R). Let X=Γ/H where Γ=SL_3(Z) and consider the first non-trivial eigenvalue λ_1 of the Laplacian on L^2(X). Using geometric considerations, we prove the inequality λ_1<pi^2/10. Since the continuous spectrum is represented by the band [1,\infty), our bound on λ_1 can be viewed as an analogue of Selberg's eigenvalue conjecture for quotie…
▽ More
Let H be the homogeneous space associated to the group PGL_3(R). Let X=Γ/H where Γ=SL_3(Z) and consider the first non-trivial eigenvalue λ_1 of the Laplacian on L^2(X). Using geometric considerations, we prove the inequality λ_1<pi^2/10. Since the continuous spectrum is represented by the band [1,\infty), our bound on λ_1 can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.
△ Less
Submitted 26 November, 1998;
originally announced November 1998.
-
On the Asymptotic Behavior of Counting Functions Associated to Degenerating Hyperbolic Riemann Surfaces
Authors:
Jonathan Huntley,
Jay Jorgenson,
Rolf Lundelius
Abstract:
We develop an asymptotic expansion of the spectral measures on a degenerating family of hyperbolic Riemann surfaces of finite volume. As an application of our results, we study the asymptotic behavior of weighted counting functions, which, if $M$ is compact, is defined for $w \geq 0$ and $T > 0$ by $$N_{M,w}(T) = \sum\limits_{λ_n \leq T}(T-λ_n)^w $$ where $\{λ_n\}$ is the set of eigenvalues of t…
▽ More
We develop an asymptotic expansion of the spectral measures on a degenerating family of hyperbolic Riemann surfaces of finite volume. As an application of our results, we study the asymptotic behavior of weighted counting functions, which, if $M$ is compact, is defined for $w \geq 0$ and $T > 0$ by $$N_{M,w}(T) = \sum\limits_{λ_n \leq T}(T-λ_n)^w $$ where $\{λ_n\}$ is the set of eigenvalues of the Laplacian which acts on the space of smooth functions on $M$. If $M$ is non-compact, then the weighted counting function is defined via the inverse Laplace transform. Now let $M_{\ell}$ denote a degenerating family of compact or non-compact hyperbolic Riemann surfaces of finite volume which converges to the non-compact hyperbolic surface $M_{0}$. As an example of our results, we have the following theorem: There is an explicitly defined function $G_{\ell,w}(T)$ which depends solely on $\ell$, $w$, and $T$ such that for $w > 3/2$ and $T>0$, we have $$N_{M_{\ell},w}(T) = G_{\ell,w}(T) +N_{M_{0},w}(T) +o(1)$$ for $\ell \to 0$. We also consider the setting when $w < 3/2$, and we obtain a new proof of the continuity of small eigenvalues on degenerating hyperbolic Riemann surfaces of finite volume.
△ Less
Submitted 13 December, 1994;
originally announced December 1994.
