Tutte–Coxeter graph
   HOME

TheInfoList



OR:

In the
mathematical Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
field of
graph theory In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, the Tutte–Coxeter graph or Tutte eight-cage or Cremona–Richmond graph is a 3-
regular graph In graph theory, a regular graph is a graph where each vertex has the same number of neighbors; i.e. every vertex has the same degree or valency. A regular directed graph must also satisfy the stronger condition that the indegree and outdegr ...
with 30 vertices and 45 edges. As the unique smallest
cubic graph In the mathematical field of graph theory, a cubic graph is a graph in which all vertices have degree three. In other words, a cubic graph is a 3-regular graph. Cubic graphs are also called trivalent graphs. A bicubic graph is a cubic bi ...
of
girth Girth may refer to: ;Mathematics * Girth (functional analysis), the length of the shortest centrally symmetric simple closed curve on the unit sphere of a Banach space * Girth (geometry), the perimeter of a parallel projection of a shape * Girth ...
8, it is a cage and a
Moore graph In graph theory, a Moore graph is a regular graph whose girth (the shortest cycle length) is more than twice its diameter (the distance between the farthest two vertices). If the degree of such a graph is and its diameter is , its girth must ...
. It is
bipartite Bipartite may refer to: * 2 (number) * Bipartite (theology), a philosophical term describing the human duality of body and soul * Bipartite graph, in mathematics, a graph in which the vertices are partitioned into two sets and every edge has an en ...
, and can be constructed as the Levi graph of the
generalized quadrangle In geometry, a generalized quadrangle is an incidence structure whose main feature is the lack of any triangles (yet containing many quadrangles). A generalized quadrangle is by definition a polar space of rank two. They are the with ''n'' = ...
''W''2 (known as the Cremona–Richmond configuration). The graph is named after William Thomas Tutte and
H. S. M. Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...
; it was discovered by Tutte (1947) but its connection to geometric configurations was investigated by both authors in a pair of jointly published papers (Tutte 1958; Coxeter 1958a). All the cubic distance-regular graphs are known. The Tutte–Coxeter is one of the 13 such graphs. It has crossing number 13, book thickness 3 and queue number 2.Wolz, Jessica; ''Engineering Linear Layouts with SAT.'' Master Thesis, University of Tübingen, 2018


Constructions and automorphisms

A particularly simple combinatorial construction of the Tutte–Coxeter graph is due to Coxeter (1958b), based on work by Sylvester (1844). In modern terminology, take a
complete graph In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices is ...
on 6 vertices ''K''6. It has 15 edges and also 15
perfect matching In graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph , a perfect matching in is a subset of edge set , such that every vertex in the vertex set is adjacent to exactl ...
s. Each vertex of the Tutte–Coxeter graph corresponds to an edge or perfect matching of the ''K''6, and each edge of the Tutte–Coxeter graph connects a perfect matching of the ''K''6 to each of its three component edges. By symmetry, each edge of the ''K''6 belongs to three perfect matchings. Incidentally, this partitioning of vertices into edge-vertices and matching-vertices shows that the Tutte-Coxeter graph is bipartite. Based on this construction, Coxeter showed that the Tutte–Coxeter graph is a symmetric graph; it has a group of 1440 automorphisms, which may be identified with the automorphisms of the group of permutations on six elements (Coxeter 1958b). The
inner automorphism In abstract algebra an inner automorphism is an automorphism of a group, ring, or algebra given by the conjugation action of a fixed element, called the ''conjugating element''. They can be realized via simple operations from within the group itse ...
s of this group correspond to permuting the six vertices of the ''K''6 graph; these permutations act on the Tutte–Coxeter graph by permuting the vertices on each side of its bipartition while keeping each of the two sides fixed as a set. In addition, the outer automorphisms of the group of permutations swap one side of the bipartition for the other. As Coxeter showed, any path of up to five edges in the Tutte–Coxeter graph is equivalent to any other such path by one such automorphism.


The Tutte–Coxeter graph as a building

This graph is the spherical building associated to the symplectic group Sp_4(\mathbb_) (there is an exceptional isomorphism between this group and the symmetric group S_6). More specifically, it is the incidence graph of a
generalized quadrangle In geometry, a generalized quadrangle is an incidence structure whose main feature is the lack of any triangles (yet containing many quadrangles). A generalized quadrangle is by definition a polar space of rank two. They are the with ''n'' = ...
. Concretely, the Tutte-Coxeter graph can be defined from a 4-dimensional symplectic vector space V over \mathbb_ as follows: * vertices are either nonzero vectors, or isotropic 2-dimensional subspaces, * there is an edge between a nonzero vector ''v'' and an isotropic 2-dimensional subspace W\subset V if and only if v \in W.


Gallery

File:Tutte-Coxeter graph 2COL.svg , The
chromatic number In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices ...
of the Tutte–Coxeter graph is 2. File:Tutte-Coxeter graph 3color edge.svg, The chromatic index of the Tutte–Coxeter graph is 3.


References

* * * * *


External links

* * * Exoo, G. "Rectilinear Drawings of Famous Graphs.

{{DEFAULTSORT:Tutte-Coxeter graph 1958 introductions Individual graphs Configurations (geometry) Regular graphs