Coxeter Graph
   HOME

TheInfoList



OR:

In the
mathematical Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
field of
graph theory In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
, the Coxeter graph is a 3-
regular graph In graph theory, a regular graph is a Graph (discrete mathematics), graph where each Vertex (graph theory), vertex has the same number of neighbors; i.e. every vertex has the same Degree (graph theory), degree or valency. A regular directed graph ...
with 28 vertices and 42 edges. It is one of the 13 known
cubic Cubic may refer to: Science and mathematics * Cube (algebra), "cubic" measurement * Cube, a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex ** Cubic crystal system, a crystal system w ...
distance-regular graph In the mathematical field of graph theory, a distance-regular graph is a regular graph such that for any two vertices and , the number of vertices at distance from and at distance from depends only upon , , and the distance between and . ...
s. It is named after
Harold Scott MacDonald Coxeter Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century. Coxeter was born in England and educated ...
.


Properties

The Coxeter graph has
chromatic number In graph theory, graph coloring is a methodic assignment of labels traditionally called "colors" to elements of a graph. The assignment is subject to certain constraints, such as that no two adjacent elements have the same color. Graph coloring i ...
3,
chromatic index In graph theory, a proper edge coloring of a Graph (discrete mathematics), graph is an assignment of "colors" to the edges of the graph so that no two incident edges have the same color. For example, the figure to the right shows an edge colorin ...
3, radius 4, diameter 4 and
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 ...
7. It is also a 3- vertex-connected graph and a 3- edge-connected graph. It has
book thickness In graph theory, a book embedding is a generalization of planar embedding of a graph to embeddings in a ''book'', a collection of half-planes all having the same line as their boundary. Usually, the vertices of the graph are required to lie on ...
3 and
queue number In the mathematical field of graph theory, the queue number of a Graph (discrete mathematics), graph is a graph invariant defined analogously to book thickness, stack number (book thickness) using Queue (abstract data type), first-in first-out (q ...
2. The Coxeter graph is hypohamiltonian: it does not itself have a Hamiltonian cycle but every graph formed by removing a single vertex from it is Hamiltonian. It has rectilinear crossing number 11, and is the smallest cubic graph with that crossing number .


Construction

The simplest construction of a Coxeter graph is from a
Fano plane In finite geometry, the Fano plane (named after Gino Fano) is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and ...
. Take the 7C3 = 35 possible 3-combinations on 7 objects. Discard the 7 triplets that correspond to the lines of the Fano plane, leaving 28 triplets. Link two triplets if they are disjoint. The result is the Coxeter graph. (See
image An image or picture is a visual representation. An image can be Two-dimensional space, two-dimensional, such as a drawing, painting, or photograph, or Three-dimensional space, three-dimensional, such as a carving or sculpture. Images may be di ...
.)
This construction exhibits the Coxeter graph as an
induced subgraph In graph theory, an induced subgraph of a graph is another graph, formed from a subset of the vertices of the graph and ''all'' of the edges, from the original graph, connecting pairs of vertices in that subset. Definition Formally, let G=(V,E) ...
of the
odd graph In the mathematics, mathematical field of graph theory, the odd graphs are a family of symmetric graphs defined from certain set systems. They include and generalize the Petersen graph. The odd graphs have high odd girth, meaning that they conta ...
O4, also known as the
Kneser graph Kneser is a surname. Notable people with the surname include: * Adolf Kneser (1862–1930), mathematician * Hellmuth Kneser (1898–1973), mathematician, son of Adolf Kneser * Martin Kneser (1928–2004), mathematician, son of Hellm ...
. The Coxeter graph may also be constructed from the smaller distance-regular
Heawood graph In the mathematical field of graph theory, the Heawood graph is an undirected graph with 14 vertices and 21 edges, named after Percy John Heawood. Combinatorial properties The graph is cubic, and all cycles in the graph have six or more edges. ...
by constructing a vertex for each 6-cycle in the Heawood graph and an edge for each disjoint pair of 6-cycles. The Coxeter graph may be derived from the Hoffman-Singleton graph. Take any vertex ''v'' in the Hoffman-Singleton graph. There is an independent set of size 15 that includes ''v''. Delete the 7 neighbors of ''v'', and the whole independent set including ''v'', leaving behind the Coxeter graph.


Algebraic properties

The automorphism group of the Coxeter graph is a group of order 336. It acts transitively on the vertices, on the edges and on the arcs of the graph. Therefore, the Coxeter graph is a
symmetric graph In the mathematical field of graph theory, a graph is symmetric or arc-transitive if, given any two ordered pairs of adjacent vertices (u_1,v_1) and (u_2,v_2) of , there is an automorphism :f : V(G) \rightarrow V(G) such that :f(u_1) = u_2 a ...
. It has automorphisms that take any vertex to any other vertex and any edge to any other edge. According to the ''Foster census'', the Coxeter graph, referenced as F28A, is the only cubic symmetric graph on 28 vertices. The Coxeter graph is also uniquely determined by its graph spectrum, the set of graph eigenvalues of its
adjacency matrix In graph theory and computer science, an adjacency matrix is a square matrix used to represent a finite graph (discrete mathematics), graph. The elements of the matrix (mathematics), matrix indicate whether pairs of Vertex (graph theory), vertices ...
. As a finite connected vertex-transitive graph that contains no
Hamiltonian cycle In the mathematics, mathematical field of graph theory, a Hamiltonian path (or traceable path) is a path (graph theory), path in an undirected or directed graph that visits each vertex (graph theory), vertex exactly once. A Hamiltonian cycle (or ...
, the Coxeter graph is a counterexample to a variant of the
Lovász conjecture In graph theory, the Lovász conjecture (1969) is a classical problem on Hamiltonian paths in graphs. It says: : Every finite connected vertex-transitive graph contains a Hamiltonian path. Originally László Lovász stated the problem in the opp ...
, but the canonical formulation of the conjecture asks for an Hamiltonian path and is verified by the Coxeter graph. Only five examples of vertex-transitive graph with no Hamiltonian cycles are known : the
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 i ...
''K''2, the
Petersen graph 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 i ...
, the Coxeter graph and two graphs derived from the Petersen and Coxeter graphs by replacing each vertex with a triangle.Royle, G
"Cubic Symmetric Graphs (The Foster Census)."
The
characteristic polynomial In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The ...
of the Coxeter graph is (x-3) (x-2)^8 (x+1)^7 (x^2+2 x-1)^6. It is the only graph with this characteristic polynomial, making it a graph determined by its spectrum.


Gallery


Layouts

These are different representations of the Coxeter graph, using the same vertex labels. There are four colors, and seven vertices of each color.
Each red, green or blue vertex is connected with two vertices of the same color (thin edges forming 7-cycles) and to one white vertex (thick edges).


Properties


References

* Coxeter, H. S. M. "My Graph." Proc. London Math. Soc. 46, 117-136, 1983. {{Authority control Individual graphs Regular graphs