Finite characterization of the coarsest balanced coloring of a network

Abstract

Balanced colorings of networks correspond to flow-invariant synchrony spaces. It is known that the coarsest balanced coloring is equivalent to nodes having isomorphic infinite input trees, but this condition is not algorithmic. We provide an algorithmic characterization: two nodes have the same color for the coarsest balanced coloring if and only if their (n - 1)th input trees are isomorphic, where n is the number of nodes. Here n - 1 is the best possible. The proof is analogous to that of Leighton's theorem in graph theory, using the universal cover of the network and the notion of a symbolic adjacency matrix to set up a partition refinement algorithm whose output is the coarsest balanced coloring. The running time of the algorithm is cubic in n.