| Gosset graph | |
| Vertices: | 56 |
| Edges: | 756 |
| Automorphisms: | 2903040 |
| Diameter: | 3 |
| Radius: | 3 |
| Girth: | 3 |
| Properties: | Distance-regular graph Integral Vertex-transitive |
The Gosset graph, named after Thorold Gosset, is a specific regular graph (1-skeleton of the 7-dimensional 321 polytope) with 56 vertices and valency 27.[1]
The Gosset graph can be explicitly constructed as follows: the 56 vertices are the vectors in R8 obtained by permuting the coordinates and possibly taking the opposite of the vector (3, 3, -1, -1, -1, -1, -1, -1). Two such vectors are adjacent when their inner product is 8, or equivalently when their distance is
4\sqrt2
An alternative construction is based on the 8-vertex complete graph K8. The vertices of the Gosset graph can be identified with two copies of the set of edges of K8.Two vertices of the Gosset graph that come from the same copy are adjacent if they correspond to disjoint edges of K8; two vertices that come from different copies are adjacent if they correspond to edges that share a single vertex.[2]
In the vector representation of the Gosset graph, two vertices are at distance two when their inner product is -8 and at distance three when their inner product is -24 (which is only possible if the vectors are each other's opposite). In the representation based on the edges of K8, two vertices of the Gosset graph are at distance three if and only if they correspond to different copies of the same edge of K8.The Gosset graph is distance-regular with diameter three.[3]
The induced subgraph of the neighborhood of any vertex in the Gosset graph is isomorphic to the Schläfli graph.[3]
The automorphism group of the Gosset graph is isomorphic to the Coxeter group E7 and hence has order 2903040. The Gosset 321 polytope is a semiregular polytope. Therefore, the automorphism group of the Gosset graph, E7, acts transitively upon its vertices, making it a vertex-transitive graph.
The characteristic polynomial of the Gosset graph is[4]
(x-27)(x-9)7(x+1)27(x+3)21.
Therefore, this graph is an integral graph.