arxiv: v1 [math.oa] 6 Mar 2013

Transcription

1 arxiv:303.39v [math.oa] 6 Mar 03 Zeta functions for infinite graphs and functional equations Daniele Guido, Tommaso Isola Abstract. The definitions and main properties of the Ihara and Bartholdi zeta functions for infinite graphs are reviewed. The general question of the validity of a functional equation is discussed, and various possible solutions are proposed. 0. Introduction In this paper, we review the main results concerning the Ihara zeta function and the Bartholdi zeta function for infinite graphs. Moreover, we propose various possible solutions to the problem of the validity of a functional equation for those zeta functions. The zeta function associated to a finite graph by Ihara, Sunada, Hashimoto and others, combines features of Riemann s zeta function, Artin L-functions, and Selberg s zeta function, and may be viewed as an analogue of the Dedekind zeta function of a number field [3, 4, 5, 6, 7, 5, 6]. It is defined by an Euler product over proper primitive cycles of the graph. A main result for the Ihara zeta function Z X z) associated with a graph X, is the so called determinant formula, which shows that the inverse of this function can be written, up to a polynomial, as deti Az + Qz ), where A is the adjacency matrix and Q is the diagonal matrix corresponding to the degree minus. As a consequence, for a finite graph, Z X z) is indeed the inverse of a polynomial, hence can be extended meromorphically to the whole plane. A second main result is the fact that, for q + )-regular graphs, namely graphs with degree constantly equal to q + ), Z X, or better its so called completion ξ X, satisfies a functional equation, namely is invariant under the transformation z qz. The first of the mentioned results has been proved for infinite periodic or fractal) graphs in [, 0], by introducing the analytic determinant for operator 000 Mathematics Subject Classification. 05C5; 05C38; 46Lxx; M4. Key words and phrases. Ihara zeta function, Bartholdi zeta function, functional equation, determinant formula. The authors were partially supported by GNAMPA, MIUR, the European Network Quantum Spaces - Noncommutative Geometry HPRN-CT , GDRE GREFI GENCO, and the ERC Advanced Grant 7458 OACFT.

2 DANIELE GUIDO, TOMMASO ISOLA algebras. For first results and discussions about the functional equation we still refer to [, 0] and to [8]. The Bartholdi zeta function Z X z, u) was introduced by Bartholdi in [] as a two-variable generalization of the Ihara zeta function. Such function coincides with the Ihara zeta function for u = 0, and gives the Euler product on all primitive cycles for u =. Bartholdi also showed that some results for the Ihara zeta function extend to this new zeta function. We quote [5, 8, 9, 0] for further results and generalizations of the Bartholdi zeta function. The extension to the case of infinite periodic simple graphs is contained in [], where a functional equation for regular graphs and a determinant formula are proved. Sato [4] generalised the determinant formula to the non simple case, and also proved it for the case of fractal graphs [3]. The aim of this paper is two-fold: on the one hand we illustrate all the mentioned results both for the periodic and the fractal case, using a unified approach in all the statements and also in some proofs, while for others we only treat the fractal case, referring the readers to [] for the periodic case. On the other hand, we analyze the meaning and validity of the functional equation for infinite graphs. Let us recall that the functional equation may be seen as a simple corollary of the determinant formula, which can be written in such a way that the argument of the determinant is itself invariant under the desired transformation of the complex plane. However, for infinite graphs, the determinant is no longer a polynomial, and its zeroes are no longer isolated. As a consequence, the singularities of the Ihara zeta may constitute a barrier to the possibility of extending it analitically to an unbounded domain. In particular, for q + )-regular graphs, the singularities are contained in the curve Ω q which disconnects the plane, hence may confine q q Figure. The set Ω q Z X to the bounded component of Ω c q. In this case the functional equation loses its meaning: one may still use the determinant formula to define Z X in the unbounded component of Ω c q, but in this case the functional equation is not a theorem but a definition. A first solution, due to Clair [8], consists in the observation that in some cases the Ihara zeta naturally extends to a holomorphic function on a branched covering of the complex plane. There, the functional equation holds if we extend the transformation z /qz of C to a transformation of the covering which interchanges the two branches. Another solution, presented here, shows that a small amount of analyticity of the distribution function F given by the trace of the spectral function of the

3 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 3 adjacency operator is sufficient to provide a suitable analytic extension of the Ihara zeta function, which satisfies the functional equation. As we shall see, the problem of the analytic extension does not arise for the Bartholdi zeta function on infinite graphs. Indeed, in the case of q + )-regular graphs, namely graphs with degree constantly equal to q + ), the determinant formula takes the following simpler form: Z X z, u) = u) z ) q )/ det τ + u)q + u)z )I za) ). While the left-hand side is defined only in a suitable neighborhood of the origin in C, the right-hand side is a holomorphic function on an open set whose complement is always contained in a three-dimensional real submanifold Ω of C containing all possible singularities. We show that the complement of Ω is connected, hence the Bartholdi zeta function holomorphically extends to Ω c. Moreover, it satisfies a functional equation on such domain. We shall use such result on the Bartholdi zeta to give a third solution to the analytic extension problem for the Ihara zeta, which now works in full generality, and satisfies the functional equation. The procedure is the following: add a variable to the Ihara zeta so to get the Bartholdi zeta Z X z, u), extend it holomorphically to Ω c and then set u = 0. Such function is the desired extension of the Ihara zeta Z X z) to Ω c q, and satisfies the functional equation.. Zeta functions for infinite graphs.. Preliminaries. In this section, we recall some terminology from graph theory, and introduce the class of geometric operators on an infinite graph. A simple graph X = V X, EX) is a collection V X of objects, called vertices, and a collection EX of unordered pairs of distinct vertices, called edges. The edge e = {u, v} is said to join the vertices u, v, while u and v are said to be adjacent, which is denoted u v. A path of length m) in X from v 0 V X to v m V X, is v 0,..., v m ), where v i V X, v i+ v i, for i = 0,..., m note that m is the number of edges in the path). A path is closed if v m = v 0. We assume that X is countable and connected, i.e. there is a path between any pair of distinct vertices. Denote by degv) the degree of v V X, i.e. the number of vertices adjacent to v. We assume that X has bounded degree, i.e. d := sup v V X degv) <. Denote by ρ the combinatorial distance on V X, that is, for v, w V X, ρv, w) is the length of the shortest path between v and w. If Ω V X, r N, we write B r Ω) := v Ω B r v), where B r v) := {v V X : ρv, v) r}. Recall that the adjacency matrix of X, A = Av, w) ), and the degree v,w V X matrix of X, D = Dv, w) ) are defined by v,w V X.) Av, w) = and.) Dv, w) = { v w 0 otherwise { degv) v = w 0 otherwise. Then, considered as an operator on l V X), A d := sup v V X degv) <, see [], []).

4 4 DANIELE GUIDO, TOMMASO ISOLA... Periodic graphs. In this section, we introduce the classes of periodic graphs and operators, see [9, 0] for more details. Let Γ be a countable discrete subgroup of automorphisms of X, which acts freely on X i.e. any γ Γ, γ id doesn t have fixed points), and with finite quotient B := X/Γ observe that B needn t be a simple graph). Denote by F V X a set of representatives for V X/Γ, the vertices of the quotient graph B. Let us define a unitary representation of Γ on l V X) by λγ)f)x) := fγ x), for γ Γ, f l V X), x V X). Then the von Neumann algebra NX, Γ) := {λγ) : γ Γ} of bounded operators on l V X) commuting with the action of Γ inherits a trace given by Tr Γ T ) = x F T x, x), for T NX, Γ). It is easy to see that A, D NX, Γ).... Self-similar graphs. In this section, we introduce the class of self-similar graphs and the geometric operators over them see [] for more details). This class contains many examples of what are usually called fractal graphs, see e.g. [, 3]. If K is a subgraph of X, we call frontier of K, and denote by FK), the family of vertices in V K having distance from the complement of V K in V X. Definition. Local Isomorphisms). A local isomorphism of the graph X is a triple ).3) Sγ), Rγ), γ, where Sγ), Rγ) are subgraphs of X and γ : Sγ) Rγ) is a graph isomorphism. Definition. Amenable graphs). A countably infinite graph with bounded degree X is amenable if it has an amenable exhaustion, namely, an increasing family of finite subgraphs {K n : n N} such that n N K n = X and FK n ) 0 as n, where stands for V K n and denotes the cardinality. Definition.3 Self-similar graphs). A countably infinite graph with bounded degree X is self-similar if it has an amenable exhaustion {K n } such that the following conditions i) and ii) hold: i) For every n N, there is a finite set of local isomorphisms Gn, n + ) such that, for all γ Gn, n + ), one has Sγ) = K n,.4) γk n ) = K n+, γ Gn,n+) and moreover, if γ, γ Gn, n + ) with γ γ,.5) V γk n ) V γ K n ) = FγK n ) Fγ K n ). ii) We then define Gn, m), for n < m, as the set of all admissible products γ m γ n, γ i Gi, i + ), where admissible means that, for each term of the product, the range of γ j is contained in the source of γ j+. We also let Gn, n) consist of the identity isomorphism on K n, and Gn) := m n Gn, m). We can now define the G-invariant frontier of K n : F G K n ) = γ FγK n ), γ Gn)

5 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 5 and we require that.6) F G K n ) 0 as n. In the rest of the paper, we denote by G the family of all local isomorphisms which can be written as admissible) products γ ε γε...γε k k, where γ i n N Gn), ε i {, }, for i =,..., k and k N. We refer to [] for several examples of self-similar graphs...3. The C -algebra of geometric operators. Definition.4 Finite propagation operators). A bounded linear operator A on l V X) has finite propagation r = ra) 0 if, for all v V X, we have suppav) B r v) and suppa v) B r v), where we use v to mean the function which is on the vertex v and 0 otherwise, and A is the Hilbert space adjoint of A. Definition.5 Geometric Operators). A local isomorphism γ of the graph X defines a partial isometry Uγ) : l V X) l V X), by setting { γv) v V Sγ)) Uγ)v) := 0 v V Sγ)), and extending by linearity. A bounded operator T acting on l V X) is called geometric if there exists r N such that T has finite propagation r and, for any local isomorphism γ, any v V X such that B r v) Sγ) and B r γv) Rγ), one has.7) T Uγ)v = Uγ)T v, T Uγ)v = Uγ)T v. Proposition.6. Geometric operators form a -algebra containing the adjacency operator A and the degree operator D. Theorem.7. Let X be a self-similar graph, and let AX) be the C -algebra defined as the norm closure of the -algebra of geometric operators. Then, on AX), there is a well-defined trace state Tr G given by.8) Tr G T ) = lim n Tr P K n )T ) Tr P K n ) ), where P K n ) is the orthogonal projection of l V X) onto its closed subspace l V K n )... Combinatorial results. The Bartholdi zeta function is defined by means of equivalence classes of primitive cycles. Therefore, we need to introduce some terminology from graph theory, following [5] with some modifications. Definition.8 Types of closed paths). i) A path C = v 0,..., v m ) in X has backtracking if v i = v i+, for some i {,..., m }. We also say that C has a bump at v i. Then, the bump count bcc) of C is the number of bumps in C. Moreover, if C is a closed path of length m, the cyclic bump count is cbcc) := {i Z m : v i = v i+ }, where the indices are considered in Z m, and Z m is the cyclic group on m elements. ii) A closed path is primitive if it is not obtained by going k times around some other closed path.

6 6 DANIELE GUIDO, TOMMASO ISOLA iii) A closed path C = v 0,..., v m = v 0 ) has a tail if there is k {,..., [m/] } such that v j = v m j, for j =,..., k. Denote by C the set of closed paths, by C tail the set of closed paths with tail, and by C notail the set of tail-less closed paths. Observe that C = C tail C notail, C tail C notail =. For any m N, u C, let us denote by A m u)x, y) := P ubcp ), where the finite) sum is over all paths P in X, of length m, with initial vertex x and terminal vertex y, for x, y V X. Then A = A. Let A 0 := I and Q := D I. Finally, let U C be a bounded set containing {0, }, and denote by MU) := sup u U max { u, u }, and αu) := d+ d +4MU)d +MU)). Remark.9. In the sequel, in order to unify the notation, we will denote by BX), τ) the pair NX, Γ), Tr Γ ), or AX), Tr G ), as the case may be. Moreover, fx), if X is a periodic graph x F fx) = x X lim n K n fx), if X is a self-similar graph, x K n denotes a mean on the graph. Of course, in the self-similar case, the limit must be shown to exist. Lemma.0. i) A u) = A u)q + I) BX), ii) for m 3, A m u) = A m u)a u)a m Q + ui) BX), iii) sup u U A m u) αu) m, for m 0. Proof. i) If x = y, then A u)x, x) = degx)u = Q + I)x, x)u because there are degx) closed paths of length starting at x, whereas A x, x) = degx) = Q + I)x, x), so that A u)x, x) = A x, x) u)q + I)x, x). If x y, then A x, y) is the number of paths of length from x to y, so A u)x, y) = A x, y) = A x, y) u)q + I)x, y). ii) For x, y V X, consider all the paths P = v 0,..., v m ) of length m, with v 0 = x and v m = y. They can also be considered as obtained from a path P of length m going from x v 0 to v m, followed by a path of length from v m to y v m. There are four types of such paths: a) those P for which y v m v m, v m v m 3, so that bcp ) = bcp ); b) those P for which y v m v m, v m = v m 3, so that bcp ) = bcp ) + ; c) those P for which y v m = v m, but v m v m 3, so that bcp ) = bcp )+; d) those P for which y v m = v m and v m = v m 3, so that bcp ) = bcp ) +. Therefore, the terms corresponding to those four types in A m u)x, y) are u bcp ), u bcp )+, u bcp )+, and u bcp )+, respectively. On the other hand, the sum z V X A m u)x, z)az, y) assigns, to those four types, respectively the values u bcp ), u bcp )+, u bcp ), and u bcp )+. Hence we need to introduce corrections for paths of types c) and d). Therefore A m u)x, y) = z V X A m u)x, z)az, y)+a m u)x, y)degy) )u ) + A m u)x, y)u u), where the second summand takes into account paths of type c), and the third is for paths of type d). The statement follows. iii) We have A u) = A d αu), A u) d + MU)d αu), and A m u) d A m u) + MU)d + MU)) A m u), from which the claim follows by induction.

7 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 7 We now want to count the closed paths of length m which have a tail. Lemma.. For m N, let t m u) := x X C=x,...) C tail m u bcc) Then i) in the self-similar case, the above mean exists and is finite, ii) t u) = 0, t u) = uτq + I), t 3 u) = 0, iii) for m 4, t m u) = τ Q u)i)a m u) ) + u) t m u), iv) for any m N, t m u) = τ Q u)i) ) u) j A m j u) [ m ] j= { m is even where δ even m) = 0 m is odd. v) sup u U t m u) 4mαU) m. + δ even m)u u) m τq + I), Proof. We consider only the case of self-similar graphs, for the periodic case see []. Denote by C, v) the closed path C with the origin in v V X. i) For n N, n > m, let Ω n := V K n ) \ B m F G K n )), Ω n := V K n ) B m F G K n )). Then, for all p N, V K n+p ) = γ Gn,n+p) ) γω n γ Gn,n+p) Let t m x, u) := C=x,...) C tail ubcc) so that t m x, u) d m MU) m. Then m t m x, u) t m x, u) K n+p x K n+p x K n Gn, n + p) t m x, u) t m x, u) K n+p + t m γx, u) K n+p x Ω n x K n γ Gn,n+p) x Ω n Gn, n + p) Gn, n + p) K n+p t m x, u) + t m x, u) K n+p x K n x B mf G K n)) + t m γx, u) K n+p γ Gn,n+p) x Ω n K n Gn, n + p) K n+p dm MU) m + K n Gn, n + p) B m F G K n )) d m MU) m K n+p 6d m d + ) m MU) m ε n 0, as n, where, in the last inequality, we used [] equations 3.), 3.8) [with r = ], and the fact that ε n = F GK n ) 0. γω n ).

8 8 DANIELE GUIDO, TOMMASO ISOLA ii) is easy to prove. iii) Let us define Ω := {v V X : v K n, ρv, K n ) = } B F G K n )). We have Since and we obtain y Ω x K n,x y x K n y x C=x,y,...) C tail m = C=x,y,...) C tail m y K n x Ω,x y + y K n x y u bcc) = y Ω x K n,x y C=x,y,...) C tail m y K n x Ω,x y u bcc) C=x,y,...) C tail m C=x,y,...) C tail m u bcc) u bcc). u bcc) F GK n ) d+)d m MU) m 0 C=x,y,...) C tail m = t m = lim n u bcc) = y F G K n) x Ω,x y C=x,y,...) C tail m F GK n ) d m MU) m 0, = lim n = lim n x K n x K n y x C=x,...) C tail m y K n x y u bcc) C=x,y,...) C tail m C=x,y,...) C tail m u bcc) u bcc). u bcc) A path C in the last set goes from x to y, then over a closed path D = y, v,..., v m 3, y) of length m, and then back to x. There are two kinds of closed paths D at y: those with tails and those without. Case : D does not have a tail. Then C can be of two types: a) C, where x v and x v m 3 ; b) C, where x = v or x = v m 3. Hence, bcc ) = bcd), and bcc ) = bcd) +, and there are degy) possibilities for x to be adjacent to y in C, and possibilities in C. Case : D has a tail.

9 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 9 Then C can be of two types: c) C 3, where v = v m 3 x; d) C 4, where v = v m 3 = x. Hence, bcc 3 ) = bcd), and bcc 4 ) = bcd) +, and there are degy) possibilities for x to be adjacent to y in C 3, and possibility in C 4. Therefore, x y so that C=x,y,...) C tail m = degy) ) u bcc) + degy) ) = degy) + u) D=y,...) C notail m D=y,...) C tail m t m u) = lim n u bcd) + u u bcd) + u D=y,...) C notail m u bcd) D=y,...) C tail m D=y,...) C m u bcd) + u + u ) y K n + u) u bcd) D=y,...) C tail m Qy, y) + u) A m u)y, y) D=y,...) C tail m u bcd)) = Tr G Q u)i)am u) ) + u) t m u). u bcd), iv) Follows from iii), and the fact that Tr G Q u)i)a) = 0. v) Let us first observe that MU) < αu), so that, from iv) we obtain, with α := αu), M := MU), t m u) Q u)i d + M) [ m ] j= [ m ] j= [ m d + M) [ m Lemma.. Let us define u j A m j u) + u u m d M j α m j + M m d ] α m + M m d ] 3α m + α m) 4mα m. N m u) := x X C=x,...) C m u cbcc). Then, for all m N, i) in the self-similar case, the above mean exists and is finite, ii) N m u) = τa m u)) u)t m, iii) N m u) KmαU) m+, where K > 0 is independent of m. Proof. We consider only the case of self-similar graphs, for the periodic case see [].

10 0 DANIELE GUIDO, TOMMASO ISOLA i) the existence of lim n K n x K n C,x) C m u cbcc) can be proved as in Lemma. i). ii) Therefore, N m u) = lim n = lim n = lim n = lim n u cbcc) x K n C,x) C m x K n C,x) C notail m x K n u bcc) + C,x) C m u bcc) + u ) C,x) C tail m x K n A m u)x, x) + u ) lim n = Tr G A m u)) + u )t m. iii) This follows from ii). C,x) C tail m u bcc)+ ) x K n u bcc) ) C=x,...) C tail m Remark.3. Observe that in the self-similar case we can also write.9) N m u) = lim cbcc). n Indeed, 0 u cbcc) C,x) C m x K n u cbcc) C,x) C m,c K n x K n u C C m C K n cbcc) u C C m C K n {C, x) C m : x B m F G K n ))} MU) m = MU)m x B mf G K n)) MU) m A m ) B mf G K n )) A m )x, x) = MU)m Tr P B m F G K n )))A m ) ) MU) m αu) m d + ) m F GK n ) u bcc) 0, as n..3. The Zeta function. In this section, we define the Bartholdi zeta function for a periodic graph and for a self-similar graph, and prove that it is a holomorphic function in a suitable open set. In the rest of this work, U C will denote a bounded open set containing {0, }. Definition.4 Cycles). We say that two closed paths C = v 0,..., v m = v 0 ) and D = w 0,..., w m = w 0 ) are equivalent, and write C o D, if there is an integer k such that w j = v j+k, for all j, where the addition is taken modulo m, that is, the origin of D is shifted k steps with respect to the origin of C. The equivalence class of C is denoted [C] o. An equivalence class is also called a cycle. Therefore, a closed path is just a cycle with a specified origin. Denote by K the set of cycles, and by P K the subset of primitive cycles.

11 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS Definition.5 Equivalence relation between cycles). Given C, D K, we say that C and D are G-equivalent, and write C G D, if there is a local isomorphism γ G such that D = γc). We denote by [K] G the set of G-equivalence classes of cycles, and analogously for the subset P. The notion of Γ-equivalence is analogous see [] for details), and we denote by [ ] G also a Γ-equivalence class. We recall from [] and [] several quantities associated to a cycle. Definition.6. Let C K, and call i) effective length of C, denoted lc) N, the length of the primitive cycle D underlying C, i.e. such that C = D k, for some k N, whereas the length of C is denoted by C, ii) if C is contained in a periodic graph, stabilizer of C in Γ the subgroup Γ C = {γ Γ : γc) = C}, whose order divides lc), ii) if C is contained in a self-similar graph, size of C, denoted sc) N, the least m N such that C γk m ), for some local isomorphism γ Gm), iii) average multiplicity of C, the number in [0, ) given by µc) := { Γ C lim n, if C is contained in a periodic graph, GsC),n) K n, if C is contained in a self-similar graph. That the limit actually exists is the content of the following Proposition.7. Let X, G) be a self-similar graph. i) Let C K, then the following limit exists and is finite: lim n GsC), n), ii) sc), lc), and µc) only depend on [C] G [K] G ; moreover, if C = D k for some D P, k N, then sc) = sd), lc) = ld), µc) = µd). Proof. See [] Proposition 6.4. Proposition.8. For m N, N m u) = µc)lc)u cbcc), [C] G [K m] G where, as above, the subscript m corresponds to cycles of length m. Proof. We prove only the self-similar case, for the periodic case see []. We have successively: cbcc) N m u) = lim n = lim u C C m C K n n [C] G [K m] G = lim = n [C] G [K m] G lc) [C] G [K m] G µc)lc)u cbcc), D K m,d G C D K n cbcd) u lc) GsC), n) ucbcc) where, in the last equality, we used dominated convergence.

12 DANIELE GUIDO, TOMMASO ISOLA Definition.9 Zeta function). Z X z, u) := z C u cbcc) ) µc), z, u C. [C] G [P] G Proposition.0. i) Z X z, u) := [C] [P] G z C u cbcc) ) µc) defines a holomorphic function in { z, u) C : z < αu) },, u U ii) z zz X z,u) Z X z,u) = m= N mu)z m, where N m u) is defined in Lemma., iii) Z X z, u) = exp m= N mu) m zm ). Proof. Let us observe that, for any u U, and z C such that z < αu), N m u)z m = µc)lc)u cbcc) z m m= [C] G [K m] G = µc)lc)u cbcc) z C [C] G [K] G m= = [C] G [P] G m= = [C] G [P] G µc) = µc) C u cbccm) z Cm C z C m u cbcc)m m= µc) z z [C] G [P] G = z C m u cbcc)m m= m [C] G [P] G µc) z z log z C u cbcc) ) = z z log Z Xz, u), where, { in the last equality we} used uniform convergence on compact subsets of z, u) C : u U, z < αu). The proof of the remaining statements is now clear..4. The determinant formula. In this section, we prove the main result in the theory of Bartholdi zeta functions, which says that the reciprocal of Z is, up to a factor, the determinant of a deformed Laplacian on the graph. We first need some technical results. Let us recall that d := sup v V X degv), U C is a bounded open set containing {0, }, MU) := sup u U max { u, u }, and α αu) := d+ d +4MU)d +MU)). Lemma.. For any u U, z < α, one has ) I i) m 0 A mu)z ) m Az + u)q + ui)z = u) z )I, [m/] ) ) I ii) m 0 k=0 u)k A m k u) z ) m Az + u)q + ui)z = I.

13 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 3 Proof. i) From Lemma.0, we obtain that ) I A m u)z m Az + u)q + ui)z ) m 0 = A m u)z m m 0 m 0 A m u)az m+ + m 0 = A 0 u) + A u)z + A u)z + m 3 A 0 u)az A u)az m 3 + u)a 0 u)q + ui)z + m 3 A m u)z m A m u)az m u)a m u)q + ui)z m+ u)a m Q + ui)z m ii) = I + Az + A u)q + I) ) z Az A z + u)q + ui)z = u) z )I. ) I I = u) z ) A m u)z m Az + u)q + ui)z ) m 0 ) ) I = A m u)z m u) j z j Az + u)q + ui)z ) m 0 k 0 j=0 j=0 ) I = A k u) u) j z k+j Az + u)q + ui)z ) = m 0 [m/] j=0 A m j u) u) j )z m ) I Az + u)q + ui)z ). Lemma.. Define B 0 u) := I, B u) := A, B m u) := A m u) Q u)i) [m/] k= u)k A m k u), m. Then i) B m u) BX), ii) B m u) = A m u) + u) Q u)i ) A m u) Q u)i ) [m/] k=0 u) k A m k u), iii) iv) m τb m u)) = { N m u) u) m τq I) N m u) m even m odd, B m u)z m = Au u)q + ui)z ) I Az + u)q + ui)z ), u U, z < α.

14 4 DANIELE GUIDO, TOMMASO ISOLA Proof. i) and ii) follow from computations involving bounded operators. iii) It follows from Lemma. ii) that, if m is odd, whereas, if m is even, τb m u)) = τa m u)) u)t m u) = N m u), τb m u)) = τa m u)) u) m τq u)i) u)t m u) + u) m uτq + I) = N m u) u) m τq I). iv) Using ii) we obtain B m u)z )I m Az + u)q + ui)z ) m 0 I = + u) Q u)i) ) A m u)z m by Lemma.) u) Q u)i) m 0 m 0 [m/] j=0 A m j u) u) j z m )I Az + u)q + ui)z ) = I + u) Q u)i) ) u) z )I u) Q u)i) = u) z )I u)q u)i)z. Since B 0 u) = I, we get B m u)z )I m Az + u)q + ui)z ) m = u) z )I u)q u)i)z B 0 u)i Az + u)q + ui)z ) = Az u)q + ui)z. Lemma.3. [] Let f : z B ε {z C : z < ε} fz) BX), be a C - function such that f0) = 0 and fz) <, for all z B ε. Then τ ddz ) logi fz)) = τ f z)i fz)) ). Corollary.4. τ B m u)z m = τ m z ) z logi Az + u)q + ui)z ), u U, z < α. Proof. It follows from Lemma. iv) that ) τ B m u)z m = τ Az u)q + ui)z )I Az + u)q + ui)z ) ) m

15 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 5 and using the previous lemma with fz) := Az u)q + ui)z = τ z ) z logi Az + u)q + ui)z ). We now recall the definition and main properties of the analytic determinant on tracial C -algebras studied in [] Definition.5. Let A, τ) be a C -algebra endowed with a trace state, and consider the subset A 0 := {A A : 0 conv σa)}, where σa) denotes the spectrum of A and conv σa) its convex hull. For any A A 0 we set ) det τ A) = exp τ log λλ A) dλ, πi where Γ is the boundary of a connected, simply connected region Ω containing conv σa), and log is a branch of the logarithm whose domain contains Ω. Since two Γ s as above are homotopic in C \ conv σa), we have Corollary.6. The determinant function defined above is well-defined and analytic on A 0. We collect several properties of our determinant in the following result. Proposition.7. Let A, τ) be a C -algebra endowed with a trace state, and let A A 0. Then i) det τ za) = zdet τ A), for any z C \ {0}, ii) if A is normal, and A = UH is its polar decomposition, det τ A) = det τ U)det τ H), iii) if A is positive, then we have det τ A) = DetA), where the latter is the Fuglede Kadison determinant. We now recall from [] the notion of average Euler Poincaré characteristic of a self-similar graph, and from [4] that of L -Euler characteristic of a periodic graph. Lemma.8. Let X be a self-similar graph. The following limit exists and is finite: χk n ) χ av X) := lim = n Tr GQ I), where χk n ) = V K n EK n is the Euler Poincaré characteristic of the subgraph K n. The number χ av X) is called the average Euler Poincaré characteristic of the self-similar graph X. Definition.9. Let X, Γ) be a periodic graph. Then χ ) X) := Γ v v F 0 Γ e is the L -Euler Poincaré characteristic of X, Γ). e F Remark.30. ) It was proved in [] that χ av X) = Tr GQ I). ) It is easy to prove that χ ) X) = Tr ΓQ I) = χx/γ). Γ

16 6 DANIELE GUIDO, TOMMASO ISOLA In the next Theorem we denote by χx) the average or L - Euler Poincaré characteristic of X, as the case may be. Theorem.3 Determinant formula). Let X be a periodic or self-similar graph. Then Z X z, u) = u) z ) χx) det τ I Az + u)q+ui)z ), u U, z < α. Proof. ) τ B m u)z m = τb m u))z m m m by Lemma. iii)) = N m u)z m m k u) k τq I)z k = N m u)z m u) z τq I) u) z. m Therefore, from Proposition.0 and Corollary.4, we obtain z z log Z Xz, u) = N m u)z m m = τ z ) z logi Az + u)q + ui)z ) z z log u) z )τq I) so that, dividing by z and integrating from z = 0 to z, we get log Z X z, u) = τ logi Az + u)q + ui)z ) ) τq I) log u) z ), which implies that Z X z, u) = u) z ) τq I) exp τ logi Az + u)q + ui)z ), and the thesis follows from Lemma.8 and Definition.5.. Functional equations for infinite graphs.. Functional equations for the Bartholdi zeta function of an infinite graph. In this subsection, we shall prove that a suitable completion of the Bartholdi zeta functions for essentially q + )-regular infinite graphs satisfy a functional equation, where a graph is called essentially q + )-regular if degv) = q + for all but a finite number of vertices, and d sup v V X degv) = q +. The completion considered here is the function ξ X z, u) = u) z ) q )/ q + )z + u)q + u)z )Z X z, u). We shall show that Theorem. Functional equation). Let X be an essentially q + )-regular infinite graph, periodic or self-similar, and set gz, u) = + u)q+u)z z. Then

17 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 7 ) the function ξ X analytically extends to the complement V of the set Ω = {z, u) C : gz, u) [ d, d]}, ) the set V 0 = {z, u) Ω c : z 0, u, u q} is invariant w.r.t. the trasformation ψ : z, u) u)q+u)z, u), 3) the analytic extension of ξ X satisfies the functional equation ξ X z, u) = ξ X ψz, u), z, u) V 0. Lemma.. Let d be a positive number, and consider the set Ω w = {z C : + wz z [ d, d]}, w C. Then Ω w disconnects the complex plane iff w is real and 0 < w d 4. Proof. If w = 0, Ω w consists of the two disjoint half lines, d ], [ d, ). If w 0, the set Ω w is closed and bounded. Moreover, setting z = x + iy and w = a + ib, the equation Im +wz z = 0 becomes.) x + y )ay + bx) y = 0. Let us first consider the case b = 0. If a < 0,.) implies y = 0, therefore Ω w is bounded and contained in a line, thus does not disconnect the plane. If a > 0, Ω w is determined by.).3) ax + y ) )y = 0, x + axx + y ) dx + y ). If a > d 4, condition.3) is incompatible with y = 0, while condition.3) and ax + y ) = 0 give x d a, namely only an upper and a lower portion of the circle x + y = a remain, thus the plane is not disconnected. A simple calculation shows that, when 0 < w d 4, Ω w as a shape similar to Ω q in Figure. Let now b 0. We want to show that the cubic in.) is a simple curve, namely is non-degenerate and has no singular points, see Figure. Figure. The cubic containing Ω w for Im w 0 Up to a rotation, the cubic can be rewritten as a + b )x + y )y ay + bx = 0.

18 8 DANIELE GUIDO, TOMMASO ISOLA The condition for critical points gives the system a + b )x + y )y = ay bx a + b )x + 3y ) = a a + b )xy = b. The first two equations give a +b )y 4 = bxy, which is incompatible with the third equation, namely the cubic curve is simple. Since only a finite portion of the cubic has to be considered, because Ω w is bounded, again the plane is not disconnected by Ω w. Lemma.3. The set Ω does not disconnect C. The function z, u) det τ + u)q + u)z )I za) is a non-vanishing analytic function on V = Ω c. Proof. We first observe that the plane {0} C is contained in V. Set now T = {v C : v)q + v) R, 0 < v)q + v) d 4 }. If u T, any z C : z, u) V is connected to the point 0, u) by the preceding Lemma. Since V is open and T is -dimensional, for any z C : z, u) V there exists a ball centered in z, u) still contained in V, and such a ball contains a z, u ) with u T. This proves that V is connected. We now prove the second statement. For z, u) V, the operator + u)q + u)z )I za is invertible. Indeed this is clearly true for z = 0 and, for z 0, it may be written as z A gz, u)i), which is invertible since the spectrum of A is contained in the interval [ d, d] of the real line see [], []), and the condition z, u) V means gz, u) [ d, d]. Such invertibility implies that the determinant is defined and invertible. Analyticity follows from Corollary.6. Proof of Theorem.. The determinant formula gives Z X z, u) = u) z ) q )/ det τ + u)q + u)z )I za), ξ X z, u) = q + )z + u)q + u)z ) det τ + u)q + u)z )I za). Now the first statement is a consequence of Lemma.3. statements, we have ξ X z, u) = gz, u) q + ) ) det τ gz, u)i A) ), Ω = {z, u) C : gz, u) [ d, d]}, hence the the results follow by the equality g ψ = g. As for the other two.. Functional equations for the Ihara zeta function on infinite graphs. As discussed in the introduction, the possibility of proving functional equations for the Ihara zeta function on regular infinite graphs, relies on the possibility of extending Z X to a domain U which is invariant under the transformation z qz, and then to check the invariance properties under the mentioned transformation. Functional equation may fail for two reasons. The first is that the spectrum of the adjacency operator A may consist of the whole interval [ d, d], and that Z X may be singular in all points of the curve Ω q in Figure, so that no analytical

19 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 9 extension is possible outside Ω q. The second is more subtle, and was noticed by B. Clair in [8]. In one of his examples, which we describe below in Example.8, the completion ξ X analytically extends to the whole complex plane, but the points {, } are ramification points for Z X, which lives naturally on a double cover of C. Then the functional equation makes sense only on the double cover, interchanging the two copies, so that it is false on C.... Criteria for analytic extension. We first make a simple observation. Proposition.4. Let X be an infinite q + )-regular graph as above. Denote by Eλ) the spectral family of the adjacency operator A, and set F λ) = τeλ)). If F λ) is constant in a neighborhood of a point x q, q), then Z X extends analytically to a domain U which is invariant under the transformation z qz, and a suitable completion of such extension satisfies the functional equation. Proof. Let z ± be the two solutions of the equation + qz xz = 0. Since df λ) vanishes in a neighborhood of x, the function det τ + qz )I za) = exp log + qz λz) df λ) is analytic in a neighborhood of the points z ±, hence the singularity region {z C : λz + qz = 0, λ σa)} does not disconnect the plane. Its complement U is therefore connected and invariant under the transformation z qz. Consider now the completion σa) ξ X z) = z ) q )/ q + )z + qz )Z X z). The determinant formula in Theorem.3 gives, for z < q, z 0, ξ X z) = q + )z + qz ) det τ + qz )I za) ) = )det z + qz q + ) τ )) z + qz)i A ) ) = z + qz q + ) exp log ) σa) z + qz) λ df λ). As explained above, ξ X analytically extends to the region U, where the functional equation follows by the invariance of the expression z + qz) under the transformation z qz. The following criterion is valid also when there are no holes in the spectrum. A regularity assumption on the spectral measure of A will guarantee that the behaviour of Z X on the critical curve Ω q is not too singular, allowing analytic continuation outside Ω q and the validity of a functional equation for suitable completions. With the notation above, det τ + qz )I za) = exp log + qz λz) df λ) = q + )z + qz ) exp σa) d d z + qz F λ) dλ, λz

20 0 DANIELE GUIDO, TOMMASO ISOLA where we used integration by parts and the fact that σa) [ d, d], hence ) d z.4) ξ X z) = exp + qz F λ) dλ. λz d Theorem.5 Functional equation). Assume there exist ε > 0, σ, τ {, }, and a function ϕ such that ϕ is analytic in {σiz > 0, z τ q < ε}, and F is the boundary value of ϕ on [τ q ε, τ q + ε], Then, there exists a connected domain U containing { z < /q} such that i) ξ X extends analytically to U, ii) U \ {0} is invariant under the transformation z qz, iii) the function ξ X, extended as above, verifies ξ X qz ) = ξ Xz), z U \ {0}. Proof. We give the proof for σ = τ =, the other cases being analogous. Let Γ be the oriented curve in C made of the segment [ d, q ε], the upper semicircle {Iλ 0, λ q = ε}, and the segment [ q+ε, d]. It is not restrictive to assume that ϕ has a continuous extension to the upper semicircle. We have d d z + qz F λ) dλ λz Γ z + qz ϕλ) dλ = λz S z + qz ϕλ) dλ, λz if S is the contour of the semi-disc D = {Iλ > 0, λ q < ε}. If z < /q and ε is small enough, + qz λz does not vanish for λ D, hence the last integrand is analytic, and the contour integral vanishes. As a consequence, for z < /q,.5) ξ X z) = exp Γ z + qz ϕλ) dλ λz We now observe that the singularities of the integral are contained in the set Ω q := {z C : z + qz Γ} shown in Fig. 3, which does not disconnect the plane, and property i) follows. ). Figure 3. The set Ω q for q = 4, ε = 0.

21 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS The definition of Ω q guarantees its invariance under the transformation z qz, i.e. ii) is proved. Property iii) follows directly from equation.5). Remark.6. Let us notice that, when q =, the criterion above is useless. Indeed, since F λ) is constant before and after, analyticity implies it should be constant in a neighborhood of either or, namely already Proposition.4 applies. In particular, the results above do not apply to the Example An extension via Bartholdi zeta function. The extension we discuss here is again based on analytic extension, but in the sense of two-variable functions. Moreover, it does not require either holes in the spectrum or regularity assumptions on the function F λ). As shown above, the Ihara zeta function coincides with the Bartholdi zeta function for u = 0, z < /q, and the latter has a unique analytic extension to the set Ω c. We may therefore extend the Ihara zeta function via.6) Z X z) := Z X z, 0), z, 0) Ω c, where the Bartholdi zeta function has been extended to Ω c. Let us remark that {z C : z, 0) Ω c } = Ω c q, cf. Fig.. The following result follows directly by Theorem.. Corollary.7. Assume X is an infinite graph either periodic or self-similar), which is essentially q + )-regular. Then, the domain Ω c q contains { z < /q} and is invariant under the transformation z qz. Moreover, setting ξ X z) = z ) q )/ q + )z + qz )Z X z). where Z X is extended to Ω c q as above, we have ξz) = ξ qz ), for any z Ωc q. Example.8. Let us consider the graph X = Z, and the group Γ = Z, which acts on X by translations. Using results from [8], we compute the Bartholdi zeta function of X, Γ). We obtain Z X,Γ z, u) = det ΓI Az + u )z ) = exp Log cos ϑ z + u )z ) dϑ T z + u )z ) = z exp Log cos ϑ dϑ T z + u )z ) ) = z exp arcosh log z + u )z ) ) 4 = z + z + u )z) ) = + u )z 4z + + u )z ), which extends to an analytic function on the complement of the set Ω = {z, u) + u )z C : z [ d, d]}. Therefore the Ihara zeta function, extended via the Bartholdi zeta, is defined on the complement of {z C : z = }, where it is given

22 DANIELE GUIDO, TOMMASO ISOLA by Z X,Γ z) = Z X,Γ z, 0) = z ) ) + z + + z = + z + ) z =, z <, + z + z ) z = z + z, z >. and the completion ξ X,Γ is given by { ξ X,Γ z) = z ) z ), z <, Z X,Γ z) = z ), z >. Defined in this way, ξ X,Γ satisfies the functional equation, but its behaviour outside the disc is not given by the analytic extension on C. References [] M. T. Barlow. Heat kernels and sets with fractal structure, in: Heat Kernels and Analysis on Manifolds, Graphs, and Metric Spaces Paris, 00), Contemp. Math. 338, Amer. Math. Soc., Providence, RI, 003, pp. 40. [] L. Bartholdi, Counting paths in graphs, Enseign. Math ), [3] H. Bass. The Ihara Selberg zeta function of a tree lattice, Internat. J. Math. 3 99), [4] J. Cheeger, M. Gromov. L -cohomology and group cohomology, Topology 5 986), [5] Y. B. Choe, J. H. Kwak, Y. S. Park, I. Sato. Bartholdi zeta and L-functions of weighted digraphs, their coverings and products, Adv. Math ), [6] B. Clair, S. Mokhtari-Sharghi. Zeta functions of discrete groups acting on trees, J. Algebra 37 00), [7] B. Clair, S. Mokhtari-Sharghi. Convergence of zeta functions of graphs, Proc. Amer. Math. Soc ), no. 7, [8] B. Clair. Zeta functions of graphs with Z actions, J. Combin. Theory Ser. B ), [9] D. Guido, T. Isola, M. L. Lapidus. Ihara zeta functions for periodic simple graphs, C -algebras and elliptic theory II, 03, Trends Math., Birkhuser, Basel, 008. [0] D. Guido, T. Isola, M. L. Lapidus. Ihara s zeta function for periodic graphs and its approximation in the amenable case, J. Funct. Anal ), [] D. Guido, T. Isola, M. L. Lapidus. A trace on fractal graphs and the Ihara zeta function, Trans. Amer. Math. Soc ), [] D. Guido, T. Isola, M. L. Lapidus. Bartholdi zeta functions for periodic simple graphs, Analysis on graphs and its applications, 09, Proc. Sympos. Pure Math., 77, Amer. Math. Soc., Providence, RI, 008. [3] B. M. Hambly, T. Kumagai. Heat kernel estimates for symmetric random walks on a class of fractal graphs and stability under rough isometries, in: Fractal Geometry and Applications: A jubilee of Benoit Mandelbrot, Proc. Sympos. Pure Math., 7, Part, Amer. Math. Soc., Providence, RI, 004, pp [4] K. Hashimoto, A. Hori. Selberg Ihara s zeta function for p-adic discrete groups, in Automorphic Forms and Geometry of Arithmetic Varieties, Adv. Stud. Pure Math. 5, Academic Press, Boston, MA, 989, pp [5] K. Hashimoto. Zeta functions of finite graphs and representations of p-adic groups, in Automorphic Forms and Geometry of Arithmetic Varieties, Adv. Stud. Pure Math. 5, Academic Press, Boston, MA, 989, pp. 80. [6] Y. Ihara. On discrete subgroups of the two by two projective linear group over p-adic fields, J. Math. Soc. Japan 8 966), [7] M. Kotani, T. Sunada. Zeta functions of finite graphs, J. Math. Sci. Univ. Tokyo 7 000), 7 5. [8] J. H. Kwak, J. Lee, M. Y. Sohn. Bartholdi zeta functions of graph bundles having regular fibers, European J. Combin ),

23 ZETA FUNCTIONS FOR INFINITE GRAPHS AND FUNCTIONAL EQUATIONS 3 [9] H. Mizuno, I. Sato. Bartholdi zeta functions of graph coverings, J. Combin. Theory Ser. B ), 7 4. [0] H. Mizuno, I. Sato. A new Bartholdi zeta function of a digraph, Linear Algebra Appl ), [] B. Mohar, W. Woess. A survey on spectra of infinite graphs, Bull. London Math. Soc. 989), [] B. Mohar. The spectrum of an infinite graph, Linear Algebra Appl ), [3] I. Sato. Bartholdi zeta functions of fractal graphs, Electron. J. Combin ), Research Paper 30, pp. [4] I. Sato. Bartholdi zeta functions of periodic graphs, Linear Multilinear Algebra 59 0), 4. [5] H. M. Stark, A. A. Terras. Zeta functions of finite graphs and coverings, Adv. Math. 996), [6] T. Sunada. L-functions in geometry and applications, Springer Lecture Notes in Math. 0, 986, pp Dipartimento di Matematica, Università di Roma Tor Vergata, I 0033 Roma, Italy. address: guido@mat.uniroma.it, isola@mat.uniroma.it