arXiv++ Combinatorics

Building upon the algebraic framework of trace monoids introduced by Giscard and Rochet, we establish a new determinant formula for the Ihara zeta functions of certain digraphs. We present our results through two main theorems. First, at the algebraic level, we show a general determinant formula expressed by a Cayley determinant over the hike monoid ring, which provides a unifying perspective on several known determinant expressions. Second, by evaluating the lengths of hikes through a natural ring homomorphism, we prove that the reciprocal of the Ihara zeta function can be explicitly expressed as a determinant whose dimension is equal to the number of simple cycles of the line digraph without backtrack.

It is shown by Mizuno and Sato that the Bartholdi zeta function of a covering graph is decomposed as a product of Bartholdi zeta functions of a base graph that are associated with representations. In this paper, we extend their result to the case of a hypergraph covering.