Petersen graph

Petersen graph
Petersen graph
	The Petersen graph is most commonly drawn as a pentagon with a pentagram inside, with five spokes.
Named after	Julius Petersen
Vertices	10
Edges	15
Radius	2
Diameter	2
Girth	5
Automorphisms	120 (S5)
Chromatic number	3
Chromatic index	4
Fractional chromatic index	3
Genus	1
Properties	Cubic; Strongly regular; Distance-transitive; Snark
	Table of graphs and parameters

In the mathematical field of graph theory, the Petersen graph is an undirected graph with 10 vertices and 15 edges. It is a small graph that serves as a useful example and counterexample for many problems in graph theory. The Petersen graph is named after Julius Petersen, who in 1898 constructed it to be the smallest bridgeless cubic graph with no three-edge-coloring.^[1]^[2]

Although the graph is generally credited to Petersen, it had in fact first appeared 12 years earlier, in a paper by A. B. Kempe (1886). Kempe observed that its vertices can represent the ten lines of the Desargues configuration, and its edges represent pairs of lines that do not meet at one of the ten points of the configuration.^[3]

Donald Knuth states that the Petersen graph is "a remarkable configuration that serves as a counterexample to many optimistic predictions about what might be true for graphs in general."^[4]

The Petersen graph also makes an appearance in tropical geometry. The cone over the Petersen graph is naturally identified with the moduli space of five-pointed rational tropical curves.

Constructions

Petersen graph as Kneser graph

KG_{5,2}

The Petersen graph is the complement of the line graph of $K_{5}$ . It is also the Kneser graph $KG_{5,2}$ ; this means that it has one vertex for each 2-element subset of a 5-element set, and two vertices are connected by an edge if and only if the corresponding 2-element subsets are disjoint from each other. As a Kneser graph of the form $KG_{2n-1,n-1}$ it is an example of an odd graph.

Geometrically, the Petersen graph is the graph formed by the vertices and edges of the hemi-dodecahedron, that is, a dodecahedron with opposite points, lines and faces identified together.

Embeddings

The Petersen graph is nonplanar. Any nonplanar graph has as minors either the complete graph $K_{5}$ , or the complete bipartite graph $K_{3,3}$ , but the Petersen graph has both as minors. The $K_{5}$ minor can be formed by contracting the edges of a perfect matching, for instance the five short edges in the first picture. The $K_{3,3}$ minor can be formed by deleting one vertex (for instance the central vertex of the 3-symmetric drawing) and contracting an edge incident to each neighbor of the deleted vertex.

The Petersen graph has crossing number 2 and is 1-planar.

The most common and symmetric plane drawing of the Petersen graph, as a pentagram within a pentagon, has five crossings. However, this is not the best drawing for minimizing crossings; there exists another drawing (shown in the figure) with only two crossings. Because it is nonplanar, it has at least one crossing in any drawing, and if a crossing edge is removed from any drawing it remains nonplanar and has another crossing; therefore, its crossing number is exactly 2. Each edge in this drawing is crossed at most once, so the Petersen graph is 1-planar. On a torus the Petersen graph can be drawn without edge crossings; it therefore has orientable genus 1.

The Petersen graph is a unit distance graph: it can be drawn in the plane with each edge having unit length.

The Petersen graph can also be drawn (with crossings) in the plane in such a way that all the edges have equal length. That is, it is a unit distance graph.

The simplest non-orientable surface on which the Petersen graph can be embedded without crossings is the projective plane. This is the embedding given by the hemi-dodecahedron construction of the Petersen graph (shown in the figure). The projective plane embedding can also be formed from the standard pentagonal drawing of the Petersen graph by placing a cross-cap within the five-point star at the center of the drawing, and routing the star edges through this cross-cap; the resulting drawing has six pentagonal faces. This construction forms a regular map and shows that the Petersen graph has non-orientable genus 1.

The Petersen graph and associated map embedded in the projective plane. Opposite points on the circle are identified, yielding a closed surface of non-orientable genus 1.

Symmetries

The Petersen graph is strongly regular (with signature srg(10,3,0,1)). It is also symmetric, meaning that it is edge transitive and vertex transitive. More strongly, it is 3-arc-transitive: every directed three-edge path in the Petersen graph can be transformed into every other such path by a symmetry of the graph.^[5] It is one of only 13 cubic distance-regular graphs.^[6]

The automorphism group of the Petersen graph is the symmetric group $S_{5}$ ; the action of $S_{5}$ on the Petersen graph follows from its construction as a Kneser graph. The Petersen graph is a core: every homomorphism of the Petersen graph to itself is an automorphism.^[7] As shown in the figures, the drawings of the Petersen graph may exhibit five-way or three-way symmetry, but it is not possible to draw the Petersen graph in the plane in such a way that the drawing exhibits the full symmetry group of the graph.

Despite its high degree of symmetry, the Petersen graph is not a Cayley graph. It is the smallest vertex-transitive graph that is not a Cayley graph.^[a]

Hamiltonian paths and cycles

The Petersen graph is hypo-Hamiltonian: by deleting any vertex, such as the center vertex in the drawing, the remaining graph is Hamiltonian. This drawing with order-3 symmetry is the one given by Kempe (1886).

The Petersen graph has a Hamiltonian path but no Hamiltonian cycle. It is the smallest bridgeless cubic graph with no Hamiltonian cycle. It is hypohamiltonian, meaning that although it has no Hamiltonian cycle, deleting any vertex makes it Hamiltonian, and is the smallest hypohamiltonian graph.

As a finite connected vertex-transitive graph that does not have a Hamiltonian cycle, the Petersen graph is a counterexample to a variant of the Lovász conjecture, but the canonical formulation of the conjecture asks for a Hamiltonian path and is verified by the Petersen graph.

Only five connected vertex-transitive graphs with no Hamiltonian cycles are known: the complete graph K₂, the Petersen graph, the Coxeter graph and two graphs derived from the Petersen and Coxeter graphs by replacing each vertex with a triangle.^[6] If G is a 2-connected, r-regular graph with at most 3r + 1 vertices, then G is Hamiltonian or G is the Petersen graph.^[8]

To see that the Petersen graph has no Hamiltonian cycle, consider the edges in the cut disconnecting the inner 5-cycle from the outer one. If there is a Hamiltonian cycle C, it must contain an even number of these edges. If it contains only two of them, their end-vertices must be adjacent in the two 5-cycles, which is not possible. Hence, it contains exactly four of them. Assume that the top edge of the cut is not contained in C (all the other cases are the same by symmetry). Of the five edges in the outer cycle, the two top edges must be in C, the two side edges must not be in C, and hence the bottom edge must be in C. The top two edges in the inner cycle must be in C, but this completes a non-spanning cycle, which cannot be part of a Hamiltonian cycle. Alternatively, we can also describe the ten-vertex 3-regular graphs that do have a Hamiltonian cycle and show that none of them is the Petersen graph, by finding a cycle in each of them that is shorter than any cycle in the Petersen graph. Any ten-vertex Hamiltonian 3-regular graph consists of a ten-vertex cycle C plus five chords. If any chord connects two vertices at distance two or three along C from each other, the graph has a 3-cycle or 4-cycle, and therefore cannot be the Petersen graph. If two chords connect opposite vertices of C to vertices at distance four along C, there is again a 4-cycle. The only remaining case is a Möbius ladder formed by connecting each pair of opposite vertices by a chord, which again has a 4-cycle. Since the Petersen graph has girth five, it cannot be formed in this way and has no Hamiltonian cycle.

Coloring

A 4-coloring of the Petersen graph's edges

A 3-coloring of the Petersen graph's vertices

The Petersen graph has chromatic number 3, meaning that its vertices can be colored with three colors — but not with two — such that no edge connects vertices of the same color. It has a list coloring with 3 colors, by Brooks' theorem for list colorings.

The Petersen graph has chromatic index 4; coloring the edges requires four colors. As a connected bridgeless cubic graph with chromatic index four, the Petersen graph is a snark. It is the smallest possible snark, and was the only known snark from 1898 until 1946. The snark theorem, a result conjectured by W. T. Tutte and announced in 2001 by Robertson, Sanders, Seymour, and Thomas,^[9] states that every snark has the Petersen graph as a minor.

Additionally, the graph has fractional chromatic index 3, proving that the difference between the chromatic index and fractional chromatic index can be as large as 1. The long-standing Goldberg-Seymour Conjecture proposes that this is the largest gap possible.

The Thue number (a variant of the chromatic index) of the Petersen graph is 5.

The Petersen graph requires at least three colors in any (possibly improper) coloring that breaks all of its symmetries; that is, its distinguishing number is three. Except for the complete graphs, it is the only Kneser graph whose distinguishing number is not two.^[10]

Other properties

The Petersen graph:

is 3-connected and hence 3-edge-connected and bridgeless. See the glossary.
has independence number 4 and is 3-partite. See the glossary.
is cubic, has domination number 3, and has a perfect matching and a 2-factor.
has 6 distinct perfect matchings.
is the smallest cubic graph of girth 5. (It is the unique $(3,5)$ -cage. In fact, since it has only 10 vertices, it is the unique $(3,5)$ -Moore graph.)^[11]
every cubic bridgeless graph without Petersen minor has a cycle double cover.^[12]
is the smallest cubic graph with Colin de Verdière graph invariant μ = 5.^[13]
is the smallest graph of cop number 3.^[14]
has radius 2 and diameter 2. It is the largest cubic graph with diameter 2.^[b]
has 2000 spanning trees, the most of any 10-vertex cubic graph.^[15]^[16]^[c]
has chromatic polynomial $t(t-1)(t-2)\left(t^{7}-12t^{6}+67t^{5}-230t^{4}+529t^{3}-814t^{2}+775t-352\right)$ .^[17]
has characteristic polynomial $(t-1)^{5}(t+2)^{4}(t-3)$ , making it an integral graph—a graph whose spectrum consists entirely of integers.

Petersen coloring conjecture

An Eulerian subgraph of a graph $G$ is a subgraph consisting of a subset of the edges of $G$ , touching every vertex of $G$ an even number of times. These subgraphs are the elements of the cycle space of $G$ and are sometimes called cycles. If $G$ and $H$ are any two graphs, a function from the edges of $G$ to the edges of $H$ is defined to be cycle-continuous if the pre-image of every cycle of $H$ is a cycle of $G$ . A conjecture of Jaeger asserts that every bridgeless graph has a cycle-continuous mapping to the Petersen graph. Jaeger showed this conjecture implies the 5-cycle-double-cover conjecture and the Berge-Fulkerson conjecture."^[18]

Related graphs

The Petersen family.

The generalized Petersen graph $G(n,k)$ is formed by connecting the vertices of a regular n-gon to the corresponding vertices of a star polygon with Schläfli symbol {n/k}.^[19]^[20] For instance, in this notation, the Petersen graph is $G(5,2)$ : it can be formed by connecting corresponding vertices of a pentagon and five-point star, and the edges in the star connect every second vertex. The generalized Petersen graphs also include the n-prism $G(n,1)$ the Dürer graph $G(6,2)$ , the Möbius-Kantor graph $G(8,3)$ , the dodecahedron $G(10,2)$ , the Desargues graph $G(10,3)$ and the Nauru graph $G(12,5)$ .

The Petersen family consists of the seven graphs that can be formed from the Petersen graph by zero or more applications of Δ-Y or Y-Δ transforms. The complete graph K₆ is also in the Petersen family. These 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.^[21]

The Clebsch graph contains many copies of the Petersen graph as induced subgraphs: for each vertex v of the Clebsch graph, the ten non-neighbors of v induce a copy of the Petersen graph.

Notes

^ As stated, this assumes that Cayley graphs need not be connected. Some sources require Cayley graphs to be connected, making the two-vertex empty graph the smallest vertex-transitive non-Cayley graph; under the definition given by these sources, the Petersen graph is the smallest connected vertex-transitive graph that is not Cayley.
^ This follows from the fact that it is a Moore graph, since any Moore graph is the largest possible regular graph with its degree and diameter.^[11]
^ The cubic graphs with 6 and 8 vertices maximizing the number of spanning trees are Möbius ladders.

References

^ Brouwer, Andries E., The Petersen graph
^ Petersen, Julius (1898), "Sur le théorème de Tait", L'Intermédiaire des Mathématiciens, 5: 225–227
^ Kempe, A. B. (1886), "A memoir on the theory of mathematical form", Philosophical Transactions of the Royal Society of London, 177: 1–70, doi:10.1098/rstl.1886.0002, S2CID 108716533
^ Knuth, Donald E., The Art of Computer Programming; volume 4, pre-fascicle 0A. A draft of section 7: Introduction to combinatorial searching
^ Babai, László (1995), "Automorphism groups, isomorphism, reconstruction", in Graham, Ronald L.; Grötschel, Martin; Lovász, László (eds.), Handbook of Combinatorics, vol. I, North-Holland, pp. 1447–1540, Corollary 1.8, archived from the original on 2010-06-11.
^ ^a ^b Royle, G. "Cubic Symmetric Graphs (The Foster Census)." Archived 2008-07-20 at the Wayback Machine
^ Cameron, Peter J. (2004), "Automorphisms of graphs", in Beineke, Lowell W.; Wilson, Robin J. (eds.), Topics in Algebraic Graph Theory, Encyclopedia of Mathematics and its Applications, vol. 102, Cambridge University Press, Cambridge, pp. 135–153, doi:10.1017/CBO9780511529993, ISBN 0-521-80197-4, MR 2125091; see in particular p. 153
^ Holton, D. A.; Sheehan, J. (1993), The Petersen Graph, Cambridge University Press, p. 32, ISBN 0-521-43594-3
^ Pegg, Ed Jr. (2002), "Book Review: The Colossal Book of Mathematics" (PDF), Notices of the American Mathematical Society, 49 (9): 1084–1086, Bibcode:2002ITED...49.1084A, doi:10.1109/TED.2002.1003756
^ Albertson, Michael O.; Boutin, Debra L. (2007), "Using determining sets to distinguish Kneser graphs", Electronic Journal of Combinatorics, 14 (1): R20, doi:10.37236/938, MR 2285824.
^ ^a ^b Hoffman, Alan J.; Singleton, Robert R. (1960), "Moore graphs with diameter 2 and 3" (PDF), IBM Journal of Research and Development, 5 (4): 497–504, doi:10.1147/rd.45.0497, MR 0140437.
^ Alspach, Brian; Zhang, Cun-Quan (1993), "Cycle covers of cubic multigraphs", Discrete Math., 111 (1–3): 11–17, doi:10.1016/0012-365X(93)90135-G.
^ László Lovász, Alexander Schrijver (1998), "A Borsuk theorem for antipodal links and a spectral characterization of linklessly embeddable graphs" (PDF), Proceedings of the American Mathematical Society, 126 (5): 1275–1285, doi:10.1090/S0002-9939-98-04244-0, S2CID 7790459
^ Baird, William; Beveridge, Andrew; Bonato, Anthony; Codenotti, Paolo; Maurer, Aaron; McCauley, John; Valeva, Silviya (2014), "On the minimum order of $k$ -cop-win graphs", Contributions to Discrete Mathematics, 9 (1): 70–84, arXiv:1308.2841, doi:10.11575/cdm.v9i1.62207, MR 3265753
^ Jakobson, Dmitry; Rivin, Igor (1999), On some extremal problems in graph theory, arXiv:math.CO/9907050, Bibcode:1999math......7050J
^ Valdes, L. (1991), "Extremal properties of spanning trees in cubic graphs", Congressus Numerantium, 85: 143–160.
^ Biggs, Norman (1993), Algebraic Graph Theory (2nd ed.), Cambridge: Cambridge University Press, ISBN 0-521-45897-8
^ DeVos, Matt; Nešetřil, Jaroslav; Raspaud, André (2007), "On edge-maps whose inverse preserves flows or tensions", Graph theory in Paris, Trends Math., Basel: Birkhäuser, pp. 109–138, doi:10.1007/978-3-7643-7400-6_10, ISBN 978-3-7643-7228-6, MR 2279171.
^ Coxeter, H. S. M. (1950), "Self-dual configurations and regular graphs", Bulletin of the American Mathematical Society, 56 (5): 413–455, doi:10.1090/S0002-9904-1950-09407-5.
^ Watkins, Mark E. (1969), "A Theorem on Tait Colorings with an Application to the Generalized Petersen Graphs", Journal of Combinatorial Theory, 6 (2): 152–164, doi:10.1016/S0021-9800(69)80116-X
^ Bailey, Rosemary A. (1997), Surveys in Combinatorics, Cambridge University Press, p. 187, ISBN 978-0-521-59840-8

External links

[8] As stated, this assumes that Cayley graphs need not be connected. Some sources require Cayley graphs to be connected, making the two-vertex empty graph the smallest vertex-transitive non-Cayley graph; under the definition given by these sources, the Petersen graph is the smallest connected vertex-transitive graph that is not Cayley.

[16] This follows from the fact that it is a Moore graph, since any Moore graph is the largest possible regular graph with its degree and diameter.^[11]

[19] The cubic graphs with 6 and 8 vertices maximizing the number of spanning trees are Möbius ladders.

[1] Brouwer, Andries E., The Petersen graph

[2] Petersen, Julius (1898), "Sur le théorème de Tait", L'Intermédiaire des Mathématiciens, 5: 225–227

[3] Kempe, A. B. (1886), "A memoir on the theory of mathematical form", Philosophical Transactions of the Royal Society of London, 177: 1–70, doi:10.1098/rstl.1886.0002, S2CID 108716533

[4] Knuth, Donald E., The Art of Computer Programming; volume 4, pre-fascicle 0A. A draft of section 7: Introduction to combinatorial searching

[5] Babai, László (1995), "Automorphism groups, isomorphism, reconstruction", in Graham, Ronald L.; Grötschel, Martin; Lovász, László (eds.), Handbook of Combinatorics, vol. I, North-Holland, pp. 1447–1540, Corollary 1.8, archived from the original on 2010-06-11.

[foster-6] Royle, G. "Cubic Symmetric Graphs (The Foster Census)." Archived 2008-07-20 at the Wayback Machine

[7] Cameron, Peter J. (2004), "Automorphisms of graphs", in Beineke, Lowell W.; Wilson, Robin J. (eds.), Topics in Algebraic Graph Theory, Encyclopedia of Mathematics and its Applications, vol. 102, Cambridge University Press, Cambridge, pp. 135–153, doi:10.1017/CBO9780511529993, ISBN 0-521-80197-4, MR 2125091; see in particular p. 153

[9] Holton, D. A.; Sheehan, J. (1993), The Petersen Graph, Cambridge University Press, p. 32, ISBN 0-521-43594-3

[10] Pegg, Ed Jr. (2002), "Book Review: The Colossal Book of Mathematics" (PDF), Notices of the American Mathematical Society, 49 (9): 1084–1086, Bibcode:2002ITED...49.1084A, doi:10.1109/TED.2002.1003756

[11] Albertson, Michael O.; Boutin, Debra L. (2007), "Using determining sets to distinguish Kneser graphs", Electronic Journal of Combinatorics, 14 (1): R20, doi:10.37236/938, MR 2285824.

[hs60-12] Hoffman, Alan J.; Singleton, Robert R. (1960), "Moore graphs with diameter 2 and 3" (PDF), IBM Journal of Research and Development, 5 (4): 497–504, doi:10.1147/rd.45.0497, MR 0140437.

[13] Alspach, Brian; Zhang, Cun-Quan (1993), "Cycle covers of cubic multigraphs", Discrete Math., 111 (1–3): 11–17, doi:10.1016/0012-365X(93)90135-G.

[14] László Lovász, Alexander Schrijver (1998), "A Borsuk theorem for antipodal links and a spectral characterization of linklessly embeddable graphs" (PDF), Proceedings of the American Mathematical Society, 126 (5): 1275–1285, doi:10.1090/S0002-9939-98-04244-0, S2CID 7790459

[15] Baird, William; Beveridge, Andrew; Bonato, Anthony; Codenotti, Paolo; Maurer, Aaron; McCauley, John; Valeva, Silviya (2014), "On the minimum order of $k$ -cop-win graphs", Contributions to Discrete Mathematics, 9 (1): 70–84, arXiv:1308.2841, doi:10.11575/cdm.v9i1.62207, MR 3265753

[17] Jakobson, Dmitry; Rivin, Igor (1999), On some extremal problems in graph theory, arXiv:math.CO/9907050, Bibcode:1999math......7050J

[18] Valdes, L. (1991), "Extremal properties of spanning trees in cubic graphs", Congressus Numerantium, 85: 143–160.

[biggs-20] Biggs, Norman (1993), Algebraic Graph Theory (2nd ed.), Cambridge: Cambridge University Press, ISBN 0-521-45897-8

[21] DeVos, Matt; Nešetřil, Jaroslav; Raspaud, André (2007), "On edge-maps whose inverse preserves flows or tensions", Graph theory in Paris, Trends Math., Basel: Birkhäuser, pp. 109–138, doi:10.1007/978-3-7643-7400-6_10, ISBN 978-3-7643-7228-6, MR 2279171.

[22] Coxeter, H. S. M. (1950), "Self-dual configurations and regular graphs", Bulletin of the American Mathematical Society, 56 (5): 413–455, doi:10.1090/S0002-9904-1950-09407-5.

[23] Watkins, Mark E. (1969), "A Theorem on Tait Colorings with an Application to the Generalized Petersen Graphs", Journal of Combinatorial Theory, 6 (2): 152–164, doi:10.1016/S0021-9800(69)80116-X

[Bailey1997-24] Bailey, Rosemary A. (1997), Surveys in Combinatorics, Cambridge University Press, p. 187, ISBN 978-0-521-59840-8

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[a]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[b]

[15]

[16]

[c]

[17]

[18]

[19]

[20]

[21]