A little over 10 years ago, M. Baker and S. Norine wrote a terrific paper on harmonic morphisms between simple, connected graphs (see “Harmonic morphisms and hyperelliptic graphs” – you can find a downloadable pdf on the internet of you google for it). Roughly speaking, a harmonic function on a graph is a function in the kernel of the graph Laplacian. A harmonic morphism between graphs is, roughly speaking, a map from one graph to another that preserves harmonic functions.
They proved quite a few interesting results but one of the most interesting, I think, is their graph-theoretic analog of the Riemann-Hurwitz formula. We define the genus of a simple connected graph to be
It represents the minimum number of edges that must be removed from the graph to make it into a tree (so, a tree has genus 0).
Riemann-Hurwitz formula (Baker and Norine): Let be a harmonic morphism from a graph to a graph . Then
I’m not going to define them here but denotes the horizontal multiplicity and denotes the vertical multiplicity.
I simply want to record a very easy corollary to this, assuming is -regular and is -regular.
Corollary: Let be a non-trivial harmonic morphism from a connected -regular graph
to a connected -regular graph.
Then