Concept

Petersen graph

A graph of ten vertices and fifteen edges, every vertex with three neighbours and no cycle shorter than five. It is the counterexample to many plausible statements about graphs and the best-known member of several small extremal families.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

The Hoffman–Singleton graph: five pentagons, five pentagrams. Fifty vertices of degree seven and girth five, built from five pentagons and five pentagrams joined by the rule j of pentagon h to h·i + j of pentagram i.

As many points as two steps allow

In a graph where every point has d neighbours and every point is within two steps of every other, there can be at most d² + 1 points — one, its d neighbours, and d(d − 1) more reached through them. Graphs that meet the bound exactly are rare to the point of absurdity. The pentagon does it for d = 2, the Petersen graph for d = 3, a fifty-point graph found in 1960 for d = 7, and an eigenvalue argument proves there is nothing else — except possibly one graph with 3,250 points and 57 neighbours each, which nobody has found or ruled out.

discrete · Extremal graphs
The seven graphs of the Petersen family. Seven small graph drawings, K₆, G7, K₃,₃,₁, K₄,₄ minus an edge, G8, G9, Petersen graph, arranged by vertex count with 6 arrows for the triangle-to-star exchanges between them.

Seven graphs that must link

Six points joined in every way cannot be placed in space without two disjoint triangles hooking together. Trade any triangle for a three-pointed star, or a star back for a triangle, and the property survives; doing it in every possible way from K₆ reaches exactly seven graphs, the Petersen graph among them, and stops. Every placement of every one of them links, by the same parity count. Remove any edge from any of them, and placements that link nothing appear at once. The seven are the whole answer: a graph must link exactly when it contains one of them.

topology · Linking number
Petersen's graph and a tour that cannot close. The words of length 5 with 2 ones, joined when disjoint (10 vertices, 15 edges), with an open tour through every vertex drawn heavy.

The symmetric graphs no tour can close

Take the words of five places with two ones and join two when they share no one. The ten words look exactly alike to the graph, and no closed tour runs through them — because every way of leaving out one edge at each word leaves two pentagons. Only four connected graphs this symmetric are known to fail like that, and nobody knows whether a fifth exists.

discrete · Hamiltonian cycles

Named alongside it

The objects these essays reach for when they reach for this one.

Delta y exchangeEigenvalueExhaustive searchExtremal graphFano planeGirthGraph minorHamiltonian cycleIntrinsically linkedKneser graphLinking numberMoore graph

All concepts