Homotopy equivalence of isospectral graphs

Abstract

In this paper, we investigate the Quillen model structure defined by Bisson and Tsemo in the category of directed graphs Gph. In particular, we give a precise description of the homotopy category of graphs associated to this model structure. We endow the categories of N-sets and Z-sets with related model structures, and show that their homotopy categories are Quillen equivalent to the homotopy category Ho(Gph). This enables us to show that Ho(Gph) is equivalent to the category cZSet of periodic Z-sets, and to show that two finite directed graphs are almost-isospectral if and only if they are homotopy-equivalent in our sense.