arXiv++ Combinatorics

We consider voltage digraphs, here referred to as graphs, whose edges are labeled with elements from a given group, and explore their derived graphs. Given two voltage graphs, with voltages in abelian groups, we establish a necessary and sufficient condition for their two derived graphs to be isomorphic. This condition requires: (1) the existence of a voltage graph that covers both given graphs, and (2) when the two sets of voltages are lifted to the common cover, the correspondence between these sets of voltages determines an isomorphism between the groups generated by these voltages. We show that conditions (1) and (2) are decidable, and provide a method for constructing the common cover and for lifting the voltage assignments.

We introduce a notion of genus range as a set of values of genera over all surfaces into which a graph is embedded cellularly, and we study the genus ranges of a special family of four-regular graphs with rigid vertices that has been used in modeling homologous DNA recombination. We show that the genus ranges are sets of consecutive integers. For any positive integer $n$, there are graphs with $2n $ vertices that have genus range ${m,m+1,...,m'}$ for all $0\le m<m'\le n$, and there are graphs with $2n-1$ vertices with genus range ${m,m+1,...,m'}$ for all $0\le m<m' <n$ or $0<m<m'\le n$. Further, we show that for every $n$ there is $k<n$ such that ${h}$ is a genus range for graphs with $2n-1$ and $2n$ vertices for all $h\le k$. It is also shown that for every $n$, there is a graph with $2n$ vertices with genus range ${0,1,...,n}$, but there is no such a graph with $2n-1$ vertices.