1: \begin{abstract}

2: We prove a Lefschetz formula $L(T) = \sum_{x \in \F} i_T(x)$ 

3: for graph endomorphisms $T: G \to G$, where $G$

4: is a general finite simple graph and $\F$ is the set of simplices fixed by $T$.

5: The degree $i_T(x)$ of $T$ at the simplex $x$ is defined as 

6: $(-1)^{\dim(x)} \sign(T|x)$, a graded

7: sign of the permutation of $T$ restricted to the simplex. The Lefschetz number $L(T)$ is 

8: defined similarly as in the continuum as $L(T) = \sum_k (-1)^k \tr(T_k)$,

9: where $T_k$ is the map induced on the $k$'th cohomology group $H^k(G)$ of $G$. 

10: A special case is the identity map $T$, where the formula reduces to the Euler-Poincar\'e formula 

11: equating the Euler characteristic with the cohomological Euler characteristic. 

12: The theorem assures that if $L(T)$ is nonzero, then $T$ has a fixed clique. A special

13: case is the discrete Brouwer fixed point theorem for graphs: if $T$ is a graph endomorphism of a 

14: connected graph $G$, which is star-shaped in the sense that only the zero'th cohomology group 

15: is nontrivial, like for connected trees or triangularizations of star shaped Euclidean domains, 

16: then there is clique $x$ which is fixed by $T$. If $\A$ is the automorphism group of a graph, 

17: we look at the average Lefschetz number $L(G)$. We prove that this is the Euler characteristic 

18: of the graph $G/\A$ and especially an integer. We also show that as 

19: a consequence of the Lefschetz formula, the zeta function 

20: $\zeta_T(z) = \exp(\sum_{n=1}^{\infty} L(T^n) \frac{z^n}{n})$ is a product

21: of two dynamical zeta functions and therefore has an analytic continuation as a rational function.

22: This explicitly computable product formula involves the dimension and the signature of prime orbits. 

23: \end{abstract}

24: