In graph theory, the Petersen family is a set of seven undirected graphs that includes the Petersen graph and the complete graph . The Petersen family is named after Danish mathematician Julius Petersen, the namesake of the Petersen graph.
Any of the graphs in the Petersen family can be transformed into any other graph in the family by YΔ- and ΔY-transformations, operations in which a triangle is replaced by a degree-three vertex or vice versa. These seven graphs form the forbidden minors for linklessly embeddable graphs, graphs that can be embedded into three-dimensional space in such a way that no two cycles in the graph are linked. They are also among the forbidden minors for the YΔY-reducible graphs.
The form of YΔ- and ΔY-transformations used to define the Petersen family is as follows:
These transformations are so called because of the Δ shape of a triangle in a graph and the Y shape of a degree-three vertex. Although these operations can in principle lead to multigraphs, that does not happen within the Petersen family. Because these operations preserve the number of edges in a graph, there are only finitely many graphs or multigraphs that can be formed from a single starting graph by combinations of ΔY- and YΔ-transforms.
The Petersen family then consists of every graph that can be reached from the Petersen graph by a combination of ΔY- and YΔ-transforms. There are seven graphs in the family, including the complete graph on six vertices, the eight-vertex graph formed by removing a single edge from the complete bipartite graph, and the seven-vertex complete tripartite graph .
A minor of a graph G is another graph formed from G by contracting and removing edges. As the Robertson–Seymour theorem shows, many important families of graphs can be characterized by a finite set of forbidden minors: for instance, according to Wagner's theorem, the planar graphs are exactly the graphs that have neither the complete graph K5 nor the complete bipartite graph K3,3 as minors.
Neil Robertson, Paul Seymour, and Robin Thomas used the Petersen family as part of a similar characterization of linkless embeddings of graphs, embeddings of a given graph into Euclidean space in such a way that every cycle in the graph is the boundary of a disk that is not crossed by any other part of the graph.[1] Horst Sachs had previously studied such embeddings, shown that the seven graphs of the Petersen family do not have such embeddings, and posed the question of characterizing the linklessly embeddable graphs by forbidden subgraphs.[2] Robertson et al. solved Sachs' question by showing that the linkless embeddable graphs are exactly the graphs that do not have a member of the Petersen family as a minor.
The Petersen family also form some of the forbidden minors for another family of graphs, the YΔY-reducible graphs. A connected graph is YΔY-reducible if it can be reduced to a single vertex by a sequence of steps, each of which is a ΔY- or YΔ-transform, the removal of a self-loop or multiple adjacency, the removal of a vertex with one neighbor, and the replacement of a vertex of degree two and its two neighboring edges by a single edge. For instance, the complete graph K4 can be reduced to a single vertex by a YΔ-transform that turns it into a triangle with doubled edges, removal of the three doubled edges, a ΔY-transform that turns it into the claw K1,3, and removal of the three degree-one vertices of the claw. Each of the Petersen family graphs forms a minimal forbidden minor for the family of YΔY-reducible graphs.[3] However, Neil Robertson provided an example of an apex graph (a linkless embeddable graph formed by adding one vertex to a planar graph) that is not YΔY-reducible, showing that the YΔY-reducible graphs form a proper subclass of the linkless embeddable graphs and have additional forbidden minors.[3] In fact, as Yaming Yu showed, there are at least 68,897,913,652 forbidden minors for the YΔY-reducible graphs beyond the seven of the Petersen family.[4]