arXiv++ Combinatorics

The infinite grid is the Cayley graph of $\mathbb{Z} \times \mathbb{Z}$ with the usual generators. In this paper, the Ihara zeta function for the infinite grid is computed using elliptic integrals and theta functions. The zeta function of the grid extends to an analytic, multivalued function which satisfies a functional equation. The set of singularities in its domain is finite. The grid zeta function is the first computed example which is non-elementary, and which takes infinitely many values at each point of its domain. It is also the limiting value of the normalized sequence of Ihara zeta functions for square grid graphs and torus graphs.

Suppose $Y$ is a regular covering of a graph $X$ with covering transformation group $π= \mathbb{Z}$. This paper gives an explicit formula for the $L^2$ zeta function of $Y$ and computes examples. When $π= \mathbb{Z}$, the $L^2$ zeta function is an algebraic function. As a consequence it extends to a meromorphic function on a Riemann surface. The meromorphic extension provides a setting to generalize known properties of zeta functions of regular graphs, such as the location of singularities and the functional equation.

The $L^2$-zeta function of an infinite graph Y (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by Y, the normalized zeta functions of the finite graphs converge to the $L^2$-zeta function of Y.

This paper generalizes Bass' work on zeta functions for uniform tree lattices. Using the theory of von Neumann algebras, machinery is developed to define the zeta function of a discrete group of automorphisms of a bounded degree tree. The main theorems relate the zeta function to determinants of operators defined on edges or vertices of the tree. A zeta function associated to a non-uniform tree lattice with appropriate Hilbert representation is defined. Zeta functions are defined for infinite graphs with a cocompact or finite covolume group action.