Source author record

Jay Jorgenson

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

21works
13topics
4close collaborators

Published work

21 publications

preprint2026arXiv

Diffusion Computation versus Quantum Computation: A Comparative Model for Order Finding and Factoring

We study a hybrid computational model for integer factorization in which the only non-classical resource is access to an \emph{iterated diffusion process} on a finite graph. Concretely, a \emph{diffusion step} is defined to be one application of a symmetric stochastic matrix (the half-lazy walk operator) to an ℓ1\ell^{1}--normalized state vector, followed by an optional readout of selected coordinates. Let N≥3N\ge 3 be an odd integer which is neither prime nor a prime power, and let b∈(Z/NZ)∗b\in(\mathbb{Z}/N\mathbb{Z})^\ast have odd multiplicative order r=ordN(b)r={\rm ord}_N(b). We construct, without knowing rr in advance, a weighted Cayley graph whose vertex set is the cyclic subgroup ⟨b⟩\langle b\rangle and whose edges correspond to the powers b±2tb^{\pm 2^t} for t≤⌊log⁡2N⌋+1t\le \lfloor \log_2 N\rfloor+1. Using an explicit spectral decomposition together with an elementary doubling lemma, we show that rr can be recovered from a single heat-kernel value after at most O((log⁡2N)2)O((\log_2 N)^2) diffusion steps, with an effective bound. We then combine this order-finding model with the standard reduction from factoring to order finding (in the spirit of Shor's framework) to obtain a randomized factorization procedure whose success probability depends only on the number mm of distinct prime factors of NN. Our comparison with Shor's algorithm is \emph{conceptual and model-based}. We replace unitary ℓ2\ell^2 evolution by Markovian ℓ1\ell^1 evolution, and we report complexity in two cost measures: digital steps and diffusion steps. Finally, we include illustrative examples and discussion of practical implementations.

preprint2025arXiv

An explicit construction of heat kernels and Green's functions in measure spaces

We explicitly construct a heat kernel as a Neumann series for certain function spaces, such as L1L^{1}, L2L^{2}, and Hilbert spaces, associated to a locally compact Hausdorff space X\mathfrak{X} with Borel σσ-algebra B\mathcal{B}, and endowed with additional measure-theoretic data. Our approach is an adaptation of classical work due to Minakshishundaram and Pleijel, and it requires as input a parametrix or small time approximation to the heat kernel. The methodology developed in this article applies to yield new instances of heat kernel constructions, including normalized Laplacians on finite and infinite graphs as well as Hilbert spaces with reproducing kernels.

preprint2021arXiv

Evaluating the Mahler measure of linear forms via Kronecker limit formulas on complex projective space

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 D\mathcal D which is smooth in codimension one on any smooth Kähler manifold XX. In the present article, we apply the aforementioned Kronecker limit formula in the case when XX is complex projective space $\CC\PP^n$ for n≥2n \geq 2 and D\mathcal D is a hyperplane, meaning the divisor of a linear form PD(z)P_D({z}) for ${z} = (\mathcal{Z}_{j}) \in \CC\PP^n$. Our main result is an explicit evaluation of the Mahler measure of PDP_{D} as a convergent series whose each term is given in terms of rational numbers, multinomial coefficients, and the L2L^{2}-norm of the vector of coefficients of PDP_{D}.

preprint2021arXiv

Kronecker limit functions and an extension of the Rohrlich-Jensen formula

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⁡∥f∥\log \Vert f \Vert of a $\text{\rm PSL}(2,\ZZ)$ modular form ff in terms of the Dedekind Delta function evaluated at the divisor of ff. Recently, Bringmann-Kane re-interpreted the Rohrlich-Jensen formula as evaluating a regularized inner product of log⁡∥f∥\log \Vert f \Vert and extended the result to compute a regularized inner product of log⁡∥f∥\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)+Γ_{0}(N)^+, where explicit computations are given for certain genus zero, one and two levels.

preprint2021arXiv

Spectral construction of non-holomorphic Eisenstein-type series and their Kronecker limit formulas

Let XX be a smooth, compact, projective Kähler variety and DD be a divisor of a holomorphic form FF, and assume that DD is smooth up to codimension two. Let ωω be a Kähler form on XX and KXK_{X} the corresponding heat kernel which is associated to the Laplacian that acts on the space of smooth functions on XX. Using various integral transforms of KXK_{X}, we will construct a meromorphic function in a complex variable ss whose special value at s=0s=0 is the log-norm of FF with respect to μμ. In the case when XX 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.

preprint2020arXiv

Super-zeta functions and regularized determinants associated to cofinite Fuchsian groups with finite-dimensional unitary representations

Let MM 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 MM. Let ΔΔ denote the hyperbolic Laplacian which acts on smooth sections of the flat bundle over MM associated to χχ. From the spectral theory of ΔΔ, there are three distinct sequences of numbers: The first coming from the eigenvalues of L2L^{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)\Z_-(s,z) and Z+(s,z)\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Δ-z(1-z)I. The resulting formula for the regularized determinant of Δ−z(1−z)IΔ-z(1-z)I in terms of the Selberg zeta function, see Theorem 5.3, encodes the symmetry z↔1−zz\leftrightarrow 1-z, which could not be seen in previous works, due to a different definition of the regularized determinant.

preprint2016arXiv

An evaluation of the central value of the automorphic scattering determinant

Let MM be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let ϕ(s)ϕ(s) denote the automorphic scattering determinant. From the known functional equation ϕ(s)ϕ(1−s)=1ϕ(s)ϕ(1-s)=1 one concludes that ϕ(1/2)2=1ϕ(1/2)^{2} = 1. However, except for the relatively few instances when ϕ(s)ϕ(s) is explicitly computable, one does not know ϕ(1/2)ϕ(1/2). In this article we address this problem and prove the following result. Let NN and PP denote the number of zeros and poles, respectively, of ϕ(s)ϕ(s) in (1/2,∞)(1/2,\infty), counted with multiplicities. Let d(1)d(1) be the coefficient of the leading term from the Dirichlet series component of ϕ(s)ϕ(s). Then ϕ(1/2)=(−1)N+P⋅sgn(d(1))ϕ(1/2)=(-1)^{N+P} \cdot \mathrm{sgn}(d(1)).

preprint2016arXiv

Heat kernel asymptotics on sequences of elliptically degenerating Riemann surfaces

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.

preprint2016arXiv

Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series

Let E(z,s)E(z,s) be the non-holomorphic Eisenstein series for the modular group SL(2,Z)SL(2,{\mathbb Z}). The classical Kronecker limit formula shows that the second term in the Laurent expansion at s=1s=1 of E(z,s)E(z,s) is essentially the logarithm of the Dedekind eta function. This eta function is a weight 1/21/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:Γ→RS:Γ\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 C{\mathbb C} produces higher-order Eisenstein series. These series share many of the properties of E(z,s)E(z,s) though they have a more complicated automorphy condition. They satisfy a Kronecker limit formula and produce higher-order Dedekind symbols S∗:Γ→RS^*:Γ\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)Γ_0(N) are rational.

preprint2016arXiv

Spectral asymptotics on sequences of elliptically degenerating Riemann surfaces

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.

preprint2016arXiv

The determinant of the Lax-Phillips scattering operator

Let MM denote a finite volume, non-compact Riemann surface without elliptic points, and let BB denote the Lax-Phillips scattering operator. Using the superzeta function approach due to Voros, we define a Hurwitz-type zeta function ζB±(s,z)ζ^{\pm}_{B}(s,z) constructed from the resonances associated to zI−[(1/2)I±B]zI -[ (1/2)I \pm B]. We prove the meromorphic continuation in ss of ζB±(s,z)ζ^{\pm}_{B}(s,z) and, using the special value at s=0s=0, define a determinant of the operators zI−[(1/2)I±B]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.

preprint2015arXiv

Applications of Kronecker's limit formula for elliptic Eisenstein series

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.

preprint2015arXiv

On the wave representation of hyperbolic, elliptic, and parabolic Eisenstein series

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.

preprint2014arXiv

Kronecker's limit formula, holomorphic modular functions and qq-expansions on certain moonshine groups

For any square-free integer NN such that the "moonshine group" Γ0(N)+Γ_0(N)^+ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmoduli of Γ0(N)+Γ_0(N)^+ to certain McKay-Thompson series associated to the representation theory of the Fischer-Griess monster group. In particular, the Hauptmoduli admits a qq-expansion which has integer coefficients. In this article, we study the holomorphic function theory associated to higher genus moonshine groups Γ0(N)+Γ_0(N)^+. For all moonshine groups of genus up to and including three, we prove that the corresponding function field admits two generators whose qq-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∞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.

preprint2013arXiv

Heat kernels on regular graphs and generalized Ihara zeta function formulas

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.

preprint2013arXiv

On the distribution of zeros of the derivative of Selberg's zeta function associated to finite volume Riemann surfaces

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.

preprint2013arXiv

Uniform sup-norm bounds on average for cusp forms of higher weights

Let Γ⊆PSL2(R)Γ\subseteq\mathrm{PSL}_{2}(\mathbb{R}) be a Fuchsian subgroup of the first kind acting on the upper half-plane H\mathbb{H}. Consider the dd-dimensional space of cusp forms SkΓ\mathcal{S}_{k}^Γ of weight 2k2k for ΓΓ, and let {f1,…,fd}\{f_{1},\ldots,f_{d}\} be an orthonormal basis of SkΓ\mathcal{S}_{k}^Γ with respect to the Petersson inner product. In this paper we show that the sup-norm of the quantity SkΓ(z):=∑j=1d∣fj(z)∣2 Im(z)2kS_{k}^Γ(z):=\sum_{j=1}^{d}| f_{j}(z)|^{2}\,\mathrm{Im}(z)^{2k} is bounded as OΓ(k)O_Γ(k) in the cocompact setting, and as OΓ(k3/2)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.

preprint2011arXiv

Complexity and heights of tori

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.

preprint2010arXiv

An effective bound for the Huber constant for cofinite Fuchsian groups

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 MM, let l(γ)l(γ) denote its length. The prime geodesic counting function πM(u)π_{M}(u) is defined as the number of ΓΓ-inconjugate, primitive, closed geodesics γγ such that el(γ)≤u.e^{l(γ)} \leq u. The \emph{prime geodesic theorem} implies: πM(u)=∑0≤λM,j≤1/4li(usM,j)+OM(u3/4log⁡u),π_{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<...0=λ_{M,0} < λ_{M,1} <... are the eigenvalues of the hyperbolic Laplacian acting on the space of smooth functions on MM and sM,j=12+14−λM,j.s_{M,j} = \frac{1}{2}+\sqrt{\frac{1}{4} - λ_{M,j}}. Let CMC_{M} be smallest implied constant so that ∣πM(u)−∑0≤λM,j≤1/4li(usM,j)∣≤CMu3/4log⁡ufor all u>1.|π_{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 CMC_{M} the Huber constant. The objective of this paper is to give an effectively computable upper bound of CMC_{M} for an arbitrary cofinite Fuchsian group. As a corollary we estimate the Huber constant for $\PSL(2,\ZZ),$ we obtain CM≤16,607,349,020,658≈exp⁡(30.44086643)C_{M} \leq 16,607,349,020,658 \approx \exp(30.44086643).

preprint2008arXiv

On the appearance of Eisenstein series through degeneration

Let ΓΓ be a Fuchsian group of the first kind acting on the hyperbolic upper half plane H\mathbb H, and let M=Γ\HM = Γ\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.

preprint1994arXiv

On the Asymptotic Behavior of Counting Functions Associated to Degenerating Hyperbolic Riemann Surfaces

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 MM is compact, is defined for w≥0w \geq 0 and T>0T > 0 by NM,w(T)=∑λn≤T(T−λn)wN_{M,w}(T) = \sum\limits_{λ_n \leq T}(T-λ_n)^w where {λn}\{λ_n\} is the set of eigenvalues of the Laplacian which acts on the space of smooth functions on MM. If MM is non-compact, then the weighted counting function is defined via the inverse Laplace transform. Now let Mℓ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 M0M_{0}. As an example of our results, we have the following theorem: There is an explicitly defined function Gℓ,w(T)G_{\ell,w}(T) which depends solely on ℓ\ell, ww, and TT such that for w>3/2w > 3/2 and T>0T>0, we have NMℓ,w(T)=Gℓ,w(T)+NM0,w(T)+o(1)N_{M_{\ell},w}(T) = G_{\ell,w}(T) +N_{M_{0},w}(T) +o(1) for ℓ→0\ell \to 0. We also consider the setting when w<3/2w < 3/2, and we obtain a new proof of the continuity of small eigenvalues on degenerating hyperbolic Riemann surfaces of finite volume.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.