A discrete Lefschetz formula

A Lefschetz formula is given that relates loops in a regular finite graph to traces of a certain representation. As an application the vanishing orders of the Ihara/Bass zeta function are expressed as dimensions of global section spaces of locally constant sheaves.