In the mathematical discipline of graph theory, a graphC is a covering graph of another graph G if there is a covering map from the vertex set of C to the vertex set of G. A covering map f is a surjection and a local isomorphism: the neighbourhood of a vertex v in C is mapped bijectively onto the neighbourhood of f in G. The term lift is often used as a synonym for a covering graph of a connected graph. Though it may be misleading, there is no relationship between covering graph and vertex cover or edge cover. The combinatorial formulation of covering graphs is immediately generalized to the case of multigraphs. If we identify a multigraph with a 1-dimensional cell complex, a covering graph is nothing but a special example of covering spaces of topological spaces, so that the terminology in the theory of covering spaces is available; say covering transformationgroup, universal covering, abelian covering, and maximal abelian covering.
Definition
Let G = and C = be two graphs, and let f: V2 → V1 be a surjection. Then f is a covering map from C to G if for each v ∈ V2, the restriction of f to the neighbourhood of v is a bijection onto the neighbourhood of f in G. Put otherwise, f maps edges incident to v one-to-one onto edges incident to f. If there exists a covering map from C to G, then C is a covering graph, or a lift, of G. An h-lift is a lift such that the covering map f has the property that for every vertex v of G, its fiberf−1 has exactly h elements.
Examples
In the following figure, the graph C is a covering graph of the graph H. The covering map f from C to H is indicated with the colours. For example, both blue vertices of C are mapped to the blue vertex of H. The map f is a surjection: each vertex of H has a preimage in C. Furthermore, f maps bijectively each neighbourhood of a vertex v in C onto the neighbourhood of the vertex f in H. For example, let v be one of the purple vertices in C; it has two neighbours in C, a green vertex u and a blue vertex t. Similarly, let v′ be the purple vertex in H; it has two neighbours in H, the green vertex u′ and the blue vertex t′. The mapping f restricted to is a bijection onto. This is illustrated in the following figure: Similarly, we can check that the neighbourhood of a blue vertex in C is mapped one-to-one onto the neighbourhood of the blue vertex in H:
Double cover
In the above example, each vertex of H has exactly 2 preimages in C. Hence H is a 2-fold cover or a double cover of C. For any graph G, it is possible to construct the bipartite double cover of G, which is a bipartite graph and a double cover of G. The bipartite double cover of G is the tensor product of graphsG × K2: If G is already bipartite, its bipartite double cover consists of two disjoint copies of G. A graph may have many different double covers other than the bipartite double cover.
Universal cover
For any connected graph G, it is possible to construct its universal covering graph. This is an instance of the more general universal cover concept from topology; the topological requirement that a universal cover be simply connected translates in graph-theoretic terms to a requirement that it be acyclic and connected; that is, a tree. The universal covering graph is unique. If G is a tree, then G itself is the universal covering graph of G. For any other finite connected graph G, the universal covering graph of G is a countably infinite tree. The universal covering graph T of a connected graph G can be constructed as follows. Choose an arbitrary vertex r of G as a starting point. Each vertex of T is a non-backtracking walk that begins from r, that is, a sequence w = of vertices of G such that
vi and vi+1 are adjacent in G for all i, i.e., w is a walk
vi-1 ≠ vi+1 for all i, i.e., w is non-backtracking.
Then, two vertices of T are adjacent if one is a simple extension of another: the vertex is adjacent to the vertex. Up to isomorphism, the same tree T is constructed regardless of the choice of the starting point r. The covering map f maps the vertex in T to the vertex r in G, and a vertex in T to the vertex vn in G.
The following figure illustrates the universal covering graph T of a graph H; the colours indicate the covering map. For any k, all k-regular graphs have the same universal cover: the infinite k-regular tree.
Topological crystal
An infinite-fold abelian covering graph of a finite graph is called a topological crystal, an abstraction of crystal structures. For example, the diamond crystal as a graph is the maximal abelian covering graph of the four-edge dipole graph. This view combined with the idea of "standard realizations" turns out to be useful in a systematic design of crystals.
Planar cover
A planar cover of a graph is a finite covering graph that is itself a planar graph. The property of having a planar cover may be characterized by forbidden minors, but the exact characterization of this form remains unknown. Every graph with an embedding in the projective plane has a planar cover coming from the orientable double cover of the projective plane; in 1988, Seiya Nagami conjectured that these are the only graphs with planar covers, but this remains unproven.
Voltage graphs
A common way to form covering graphs uses voltage graphs, in which the darts of the given graph G are labeled with inverse pairs of elements from some group. The derived graph of the voltage graph has as its vertices the pairs where v is a vertex of G and x is a group element; a dart from v to w labeled with the group element y in G corresponds to an edge from to in the derived graph. The universal cover can be seen in this way as a derived graph of a voltage graph in which the edges of a spanning tree of the graph are labeled by the identity element of the group, and each remaining pair of darts is labeled by a distinct generating element of a free group. The bipartite double can be seen in this way as a derived graph of a voltage graph in which each dart is labeled by the nonzero element of the group of order two.
