In this post I will describe the Ihara zeta function and some of its basic properties.

The Ihara function presented by Ihara in 1966, can be considered as an analogue of the Dedekind zeta functions defined over a number field. So in a way it carries the ‘good’ properties of the classical zeta functions and as a result it has an Euler product and an analytic continuation to a meromorphic function which satisfies a functional equation. Generally speaking, each graph is associated with the Ihara zeta function, which is defined over the primes walks of the associated graph. The graphs are considered to be finite, though work of Grigorchuk and Zuk has been made towards the infinite graph direction. So lets begin to formalize the Ihara zeta function.

We consider graphs of the form where is the set of vertices and is the set of edges of the graph. When we are saying that the graph is finite,we imply that the sets are finite. Next we consider two maps the one is and the other is which satisfy the following conditions for every . We shall call the vertex the origin of and the terminus of . A graph is called simple if and , and . We will only consider simple graphs. If an edge connects two vertices , then we will say that and are adjacent and we will use the symbol . A path of length in the graph G from vertex to vertex we will be considered as a sequence of vertices with the property for . The length of a path will be denoted as and will be considered to be the number of edges between the vertices of the path. A path is closedif and a graph is said to be connected if there is a path between to pairs of any distinct vertices of the graph.

Having these definitions in mind we shall define proper closed paths in the graph.

Definition 1 {Proper closed paths} i) Backtracking: A path in has backtracking if for some . A path with no backtracking is also called proper. Denote by the set of proper closed paths.

ii) A proper closed path is said to have tail if there exists a such as , for . Denote with the set of all closed proper paths with tail in , and with the set of all tail-less proper closed paths in which are also called reduced closed paths. Note that with .

iii) A reduced closed path is primitive if it is not obtained by going times around another closed path.

Definition 2 {Cycles} Given closed paths , , we say that and are equivalent and write if there exists such as for all , where the addition is taken mod . The equivalence class of is denoted by . An equivalence class is also called a cycle. Denote finally by the set of reduced cycles and by the subset of primitive reduced cycles which are also called prime cycles.

We are finally ready to define the Ihara zeta function of the graph .

Definition 3 (Ihara zeta function)

.

A very interesting property of the Ihara zeta function which was discovered by Bass, is that it can be written as the inverse of a polynomial.

where is the adjacency matrix of , is a diagonal matrix with elements equal to the degree of vertex , and the number of vertices and edges of the graph respectively.

Another interesting property is that we can consider the graph to have minimum degree at least 2. This means the minimum number of edges for very vertex in the graph should be two or more. This is because Ihara zeta function depends only on the primitive prime walks and vertices with degree 0 add no nonzero length paths to the graph. Similarly vertices with degree 1 add either zero length paths either paths with tail. So remains unchanged and as a final remark it is of no harm to consider from now on graphs to have minimum degree at least 2.

I will continue with some lemmas and theorems which indicate how Ihara zeta function determines the structure of the graph.

Lemma 4 If has minimum degree at least 2, then the number of edges of is given by .

Proof:

Firstly since has minimum degree at least 2. By the previous formula given by Bass we have that the degree of is .

I shall discuss further properties in another post.

References

[1] H. Bass. The Ihara-Selberg zeta function of a tree lattice. Int. J. Math., 3:717 – 797, 1992.

[2] Cooper Yaim, Properties Determined by the Ihara zeta function of a Graph, The electronic journal of combinatorics 16 (2009), # R84

[3] Guid Daniele, Isola Tomasso, Lapidus Michel, Ihara zeta function for periodic simple graphs, http://arxiv.org/abs/math/0605753v3

[4] Y. Ihara. On discrete subgroups of the two by two projective linear group over p-adic fields. J. Math. Soc. Japan, 18:219 – 235, 1966.

## Leave a Reply