-
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 17 April, 2024;
originally announced April 2024.
-
Relations between Chebyshev, Fibonacci and Lucas polynomials via trigonometric sums
Authors:
Lejla Smajlović,
Zenan Šabanac,
Lamija Šćeta
Abstract:
In this paper we derive some new identities involving the Fibonacci and Lucas polynomials and the Chebyshev polynomials of the first and the second kind. Our starting point is a finite trigonometric sum which equals the resolvent kernel on the discrete circle with $m$ vertices and which can be evaluated in two different ways. An expression for this sum in terms of the Chebyshev polynomials was ded…
▽ More
In this paper we derive some new identities involving the Fibonacci and Lucas polynomials and the Chebyshev polynomials of the first and the second kind. Our starting point is a finite trigonometric sum which equals the resolvent kernel on the discrete circle with $m$ vertices and which can be evaluated in two different ways. An expression for this sum in terms of the Chebyshev polynomials was deduced in \cite{JKS} and the expression in terms of the Fibonacci and Lucas polynomials is deduced in this paper. As a consequence, we establish some further identities involving trigonometric sums and Fibonacci, Lucas, Pell and Pell-Lucas polynomials and numbers, thus providing a "physical" interpretation for those identities. Moreover, the finite trigonometric sum of the type considered in this paper can be related to the effective resistance between any two vertices of the $N$-cycle graph with four nearest neighbors $C_{N}(1,2)$. This yields further identities involving Fibonacci numbers.
△ Less
Submitted 19 March, 2024;
originally announced March 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.
-
Discrete Bessel functions and discrete wave equation
Authors:
Amar Bašić,
Lejla Smajlović,
Zenan Šabanac
Abstract:
In this paper, we study discrete Bessel functions which are solutions to the discretization of Bessel differential equations when the forward and the backward difference replace the time derivative. We focus on the discrete Bessel equations with the backward difference and derive their solutions. We then study the transformation properties of those functions, describe their asymptotic behaviour an…
▽ More
In this paper, we study discrete Bessel functions which are solutions to the discretization of Bessel differential equations when the forward and the backward difference replace the time derivative. We focus on the discrete Bessel equations with the backward difference and derive their solutions. We then study the transformation properties of those functions, describe their asymptotic behaviour and compute Laplace transform. As an application, we study the discrete wave equation on the integers in timescale $T=\mathbb{Z}$ and express its fundamental and general solution in terms of the discrete $J$-Bessel function. Going further, we show that the first fundamental solution of this equation oscillates with the exponentially decaying amplitude as time tends to infinity.
△ Less
Submitted 26 June, 2023;
originally announced June 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.
-
On the Hurwitz-type zeta function associated to the Lucas sequence
Authors:
Lejla Smajlović,
Zenan Šabanac,
Lamija Šćeta
Abstract:
We study the theta function and the Hurwitz-type zeta function associated to the Lucas sequence $U=\{U_n(P,Q)\}_{n\geq 0}$ of the first kind determined by the real numbers $P,Q$ under certain natural assumptions on $P$ and $Q$. We deduce an asymptotic expansion of the theta function $θ_U(t)$ as $t\downarrow 0$ and use it to obtain a meromorphic continuation of the Hurwitz-type zeta function…
▽ More
We study the theta function and the Hurwitz-type zeta function associated to the Lucas sequence $U=\{U_n(P,Q)\}_{n\geq 0}$ of the first kind determined by the real numbers $P,Q$ under certain natural assumptions on $P$ and $Q$. We deduce an asymptotic expansion of the theta function $θ_U(t)$ as $t\downarrow 0$ and use it to obtain a meromorphic continuation of the Hurwitz-type zeta function $ζ_{U}\left( s,z\right) =\sum\limits_{n=0}^{\infty }\left(z+U_{n}\right) ^{-s}$ to the whole complex $s-$plane. Moreover, we identify the residues of $ζ_{U}\left( s,z\right)$ at all poles in the half-plane $\Re(s)\leq 0$.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
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.
-
Construction of Poincaré-type series by generating kernels
Authors:
Yasemin Kara,
Moni Kumari,
Jolanta Marzec,
Kathrin Maurischat,
Andreea Mocanu,
Lejla Smajlović
Abstract:
Let $Γ\subset \textrm{PSL}_2({\mathbb R})$ be a Fuchsian group of the first kind having a fundamental domain with a finite hyperbolic area, and let $\widetildeΓ$ be its cover in $\textrm{SL}_2({\mathbb R})$. Consider the space of twice continuously differentiable, square-integrable functions on the hyperbolic upper half-plane, which transform in a suitable way with respect to a multiplier system o…
▽ More
Let $Γ\subset \textrm{PSL}_2({\mathbb R})$ be a Fuchsian group of the first kind having a fundamental domain with a finite hyperbolic area, and let $\widetildeΓ$ be its cover in $\textrm{SL}_2({\mathbb R})$. Consider the space of twice continuously differentiable, square-integrable functions on the hyperbolic upper half-plane, which transform in a suitable way with respect to a multiplier system of weight $k\in{\mathbb R}$ under the action of $\widetildeΓ$. The space of such functions admits the action of the hyperbolic Laplacian $Δ_k$ of weight $k$. Following an approach of Jorgenson, von Pippich and Smajlović (where $k=0$), we use the spectral expansion associated to $Δ_k$ to construct a wave distribution and then identify the conditions on its test functions under which it represents automorphic kernels and further gives rise to Poincaré-type series. An advantage of this method is that the resulting series may be naturally meromorphically continued to the whole complex plane. Additionally, we derive sup-norm bounds for the eigenfunctions in the discrete spectrum of $Δ_k$.
△ Less
Submitted 20 February, 2020;
originally announced February 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.
-
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.
-
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.
-
On relations equivalent to the generalized Riemann hypothesis for the Selberg class
Authors:
Kamel Mazhouda,
Lejla Smajlović
Abstract:
In this paper we prove that the Generalized Riemann Hypothesis (GRH) for functions in the class $\mathcal{S}^{\sharp\flat}$ containing the Selberg class is equivalent to a certain integral expression of the real part of the generalized Li coefficient $λ_F(n)$ associated to $F\in\mathcal{S}^{\sharp\flat}$, for positive integers $n$. Moreover, we deduce that the GRH is equivalent to a certain expres…
▽ More
In this paper we prove that the Generalized Riemann Hypothesis (GRH) for functions in the class $\mathcal{S}^{\sharp\flat}$ containing the Selberg class is equivalent to a certain integral expression of the real part of the generalized Li coefficient $λ_F(n)$ associated to $F\in\mathcal{S}^{\sharp\flat}$, for positive integers $n$. Moreover, we deduce that the GRH is equivalent to a certain expression of $Re(λ_F(n))$ in terms of the sum of the Chebyshev polynomials of the first kind. Then, we partially evaluate the integral expression and deduce further relations equivalent to the GRH involving the generalized Euler-Stieltjes constants of the second kind associated to $F$. The class $\mathcal{S}^{\sharp\flat}$ unconditionally contains all automorphic $L$-functions attached to irreducible cuspidal unitary representations of $GL_N(\mathbb{Q})$, hence, as a corollary we also derive relations equivalent to the GRH for automorphic $L$-functions.
△ Less
Submitted 14 November, 2015;
originally announced November 2015.
-
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.
-
On generalized Li criterion for a certain class of $L-$functions
Authors:
Anne-Maria Ernvall-Hytönen,
Almasa Odžak,
Lejla Smajlović,
Medina Sušić
Abstract:
We define generalized Li coefficients, called $τ-$Li coefficients for a very broad class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$ of $L-$functions that contains the Selberg class, the class of all automorphic $L-$functions and the Rankin-Selberg $L-$functions, as well as products of suitable shifts of those functions. We prove the generalized Li criterion for zero-free regions of functions belongin…
▽ More
We define generalized Li coefficients, called $τ-$Li coefficients for a very broad class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$ of $L-$functions that contains the Selberg class, the class of all automorphic $L-$functions and the Rankin-Selberg $L-$functions, as well as products of suitable shifts of those functions. We prove the generalized Li criterion for zero-free regions of functions belonging to the class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$, derive an arithmetic formula for the computation of $τ-$Li coefficients and conduct numerical investigation of $τ-$Li coefficients for a certain product of shifts of the Riemann zeta function.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
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.
-
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.
-
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.