arXiv++ Combinatorics

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.

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$.

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.

This paper discusses the simplest examples of spectral zeta functions, especially those associated with graphs, a subject which has not been much studied. The analogy and the similar structure of these functions, such as their parallel definition in terms of the heat kernel and their functional equations, are emphasized. Another theme is to point out various contexts in which these non-classical zeta functions appear. This includes Eisenstein series, the Langlands program, Verlinde formulas, Riemann hypotheses, Catalan numbers, Dedekind sums, and hypergeometric functions. Several open-ended problems are suggested with the hope of stimulating further research.

We initiate the study of spectral zeta functions $ζ_{X}$ for finite and infinite graphs $X$, instead of the Ihara zeta function, with a perspective towards zeta functions from number theory and connections to hypergeometric functions. The Riemann hypothesis is shown to be equivalent to an approximate functional equation of graph zeta functions. The latter holds at all points where Riemann's zeta function $ζ(s)$ is non-zero. This connection arises via a detailed study of the asymptotics of the spectral zeta functions of finite torus graphs in the critcal strip and estimates on the real part of the logarithmic derivative of $ζ(s)$. We relate $ζ_{\mathbb{Z}}$ to Euler's beta integral and show how to complete it giving the functional equation $ξ_{\mathbb{Z}}(1-s)=ξ_{\mathbb{Z}}(s)$. This function appears in the theory of Eisenstein series although presumably with this spectral intepretation unrecognized. In higher dimensions $d$ we provide a meromorphic continuation of $ζ_{\mathbb{Z}^{d}}(s)$ to the whole plane and identify the poles. From our aymptotics several known special values of $ζ(s)$ are derived as well as its non-vanishing on the line $Re(s)=1$. We determine the spectral zeta functions of regular trees and show it to be equal to a specialization of Appell's hypergeometric function $F_{1}$ via an Euler-type integral formula due to Picard.

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.

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.