Vertex-colored graphs, bicycle spaces and Mahler measure
Abstract
The space 𝒞 of conservative vertex colorings (over a field 𝔽) of a countable, locally finite graph G is introduced. When G is connected, the subspace 𝒞0 of based colorings is shown to be isomorphic to the bicycle space of the graph. For graphs G with a cofinite free ℤd-action by automorphisms, 𝒞 is dual to a finitely generated module over the polynomial ring 𝔽[x±11,…,x±1d]. Polynomial invariants for this module, the Laplacian polynomials Δk,k≥0, are defined, and their properties are discussed. The logarithmic Mahler measure of Δ0 is characterized in terms of the growth of spanning trees.