Clebsch graph

The dimension-5 folded cube graph (the 5-regular Clebsch graph) may be constructed by adding edges between opposite pairs of vertices in a 4-dimensional hypercube graph. (In an n-dimensional hypercube, a pair of vertices are opposite if the shortest path between them has n edges.) Alternatively, it can be formed from a 5-dimensional hypercube graph by identifying together (or contracting) every opposite pair of vertices.

Another construction, leading to the same graph, is to create a vertex for each element of the finite field GF(16), and connect two vertices by an edge whenever the difference between the corresponding two field elements is a perfect cube.[6]

The dimension-5 halved cube graph (the 10-regular Clebsch graph) is the complement of the 5-regular graph. It may also be constructed from the vertices of a 5-dimensional hypercube, by connecting pairs of vertices whose Hamming distance is exactly two. This construction is an instance of the construction of Frankl–Rödl graphs. It produces two subsets of 16 vertices that are disconnected from each other; both of these half-squares of the hypercube are isomorphic to the 10-regular Clebsch graph. Two copies of the 5-regular Clebsch graph can be produced in the same way from a 5-dimensional hypercube, by connecting pairs of vertices whose Hamming distance is exactly four.

The 5-regular Clebsch graph is a strongly regular graph of degree 5 with parameters ${\displaystyle (v,k,\lambda ,\mu )=(16,5,0,2)}$.[7][8] Its complement, the 10-regular Clebsch graph, is therefore also a strongly regular graph,[1][4] with parameters ${\displaystyle (16,10,6,6)}$.

The 5-regular Clebsch graph is Hamiltonian, non planar and non Eulerian. It is also both 5-vertex-connected and 5-edge-connected. The subgraph that is induced by the ten non-neighbors of any vertex in this graph forms an isomorphic copy of the Petersen graph.

It has book thickness 4 and queue number 3.[9]

K₁₆ 3-coloured as three Clebsch graphs.

The edges of the complete graph K₁₆ may be partitioned into three disjoint copies of the 5-regular Clebsch graph. Because the Clebsch graph is a triangle-free graph, this shows that there is a triangle-free three-coloring of the edges of K₁₆; that is, that the Ramsey number R(3,3,3) describing the minimum number of vertices in a complete graph without a triangle-free three-coloring is at least 17. Greenwood & Gleason (1955) used this construction as part of their proof that R(3,3,3) = 17.[5][10]

The 5-regular Clebsch graph may be colored with four colors, but not three: its largest independent set has five vertices, not enough to partition the graph into three independent color classes. It contains as an induced subgraph the Grötzsch graph, the smallest triangle-free four-chromatic graph, and every four-chromatic induced subgraph of the Clebsch graph is a supergraph of the Grötzsch graph. More strongly, every triangle-free four-chromatic graph with no induced path of length six or more is an induced subgraph of the Clebsch graph and an induced supergraph of the Grötzsch graph.[11]

The 5-regular Clebsch graph is the Keller graph of dimension two, part of a family of graphs used to find tilings of high-dimensional Euclidean spaces by hypercubes no two of which meet face-to-face.

The 5-regular Clebsch graph can be embedded as a regular map in the orientable manifold of genus 5, forming pentagonal faces; and in the non-orientable surface of genus 6, forming tetragonal faces.

• 
  The Clebsch graph is Hamiltonian.
• 
  The achromatic number of the Clebsch graph is 8.
• 
  The chromatic number of the Clebsch graph is 4.
• 
  The chromatic index of the Clebsch graph is 5.
• 
  Construction of the Clebsch graph from a hypercube graph.