Digraph3 Data Set

The Tutte-Coxeter (Levi) graph

Data type

Arc-transitive (symmetric) graph

Problematics

Kernel equation system solution space symmetries, conjecture on kernel numbers, clustering

Description

The Tutte-Coxeter (or Levi graph) is a famous cubic graph on 30 with girth 8. It is constructed from X = {0,1, ..., 9} and its circulants {-1,1}, and {-4,4}.

The Tutte-Coxeter graph (also called Tutte's 8-cage or Levi Graph) is a generalized polygon as it is the point/line incidence graph of a generalized quadrangle. It is a 4-arc transitive cubic graph, first discovered by Tutte (1947).

The Tutte-Coxeter graph supports 3264 different kernels, among them obviously the set of 0-circulant (pink coloured) nodes of cardinality 10.

The unlabelled kernel number of the Tutte-Coxeter graph is 15.

Proof

The nauty program, a software package for computing the automorhism group of a graph, reveals us that Tutte-Coxeter supports four automorphic actions, very similar to the Coxeter graph:

  1. a bilateral reflection: (5 14)(6 24)(7 27)(8 20)(9 10)(15 19)(16 21)(18 23)(25 29)(26 28),
  2. a bilateral reflection: (4 13)(5 23)(6 26)(7 29)(8 19)(14 18)(15 20)(17 22)(24 28)(25 27),
  3. a bilateral reflection: (1 10)(2 15)(3 5)(6 13)(7 18)(11 20)(12 25)(16 23)(17 28)(21 27),
  4. a synchronized central rotation of the three circulants: (0 1 2 3 4 5 6 7 8 9)(10 11 12 13 14 15 16 17 18 19)(20 21 22 23 24 25 26 27 28 29).
The total order of the automorphism group generated with these actions is 1440.

The four generators of the Tutte-Coxeter graph automorphism group map on the kernel equation system solution space 15 disjoint orbits with the following representatively labelled choices, in increasing cardinalities of the choice and the corresponding orbit:
#Labelled choiceChoice cardinalityOrbit cardinality
1['2', '4', '8', '10', '13', '16', '27', '28', '29']9 90
2[ '2', '4', '8', '10', '16', '17', '19', '21', '23', '25'] 1072
3['1', '4', '7', '9', '15', '16', '18', '20', '21', '22'] 10120
4['4', '7', '9', '10', '11', '12', '18', '25', '26', '27'] 10 360
5['1', '3', '5', '7', '10', '19', '22', '26', '27', '28'] 10 360
6['2', '4', '7', '9', '15', '16', '18', '20', '21', '22'] 10720
7['0', '2', '4', '6', '8', '13', '21', '25', '27', '29']10 720
8[ '1', '3', '8', '6', '12', '15', '19', '20', '24', '26', '28'] 11 30
9['0', '4', '6', '8', '12', '13', '15', '19', '20', '21', '26'] 11 120
10['1', '3', '5', '7', '12', '18', '19', '20', '24', '25', '26'] 11180
11['0', '2', '5', '7', '11', '18', '19', '20', '22', '24', '26'] 11360
12['0', '2', '4', '7', '15', '16', '18', '19', '21', '22', '23', '27']1210
13['1', '3', '5', '7', '9', '10', '12', '16', '24', '23', '28', '29'] 1290
14['0', '3', '6', '8', '11', '15', '17', '19', '20', '22', '24', '26', '28']13 30
15['0', '2', '4', '6', '8', '11', '13', '15', '17', '19', '20', '22', '24', '26', '28']152

Some of the representative solutions listed above are shown in the next Figure.

Files

References

Digraph3 Data Sets

All Digraph3 data sets.