my-server
← Wiki

Gosset graph

The Gosset graph, named after Thorold Gosset, is a specific regular graph with 56 vertices and valency 27. It is the 1-skeleton of the 7-dimensional 3<sub>21</sub> polytope.

Construction

The Gosset graph can be explicitly constructed as follows: the 56 vertices are the vectors in R<sup>8</sup> obtained by permuting the coordinates and possibly taking the opposite of the vector (3,&nbsp;3,&nbsp;&minus;1,&nbsp;&minus;1,&nbsp;&minus;1,&nbsp;&minus;1,&nbsp;&minus;1,&nbsp;&minus;1). Two such vectors are adjacent when their inner product is&nbsp;8, or equivalently when their distance is .

An alternative construction is based on the 8-vertex complete graph K<sub>8</sub>. The vertices of the Gosset graph can be identified with two copies of the set of edges of K<sub>8</sub>. Two vertices of the Gosset graph that come from different copies are adjacent if they correspond to disjoint edges of K<sub>8</sub>; two vertices that come from the same copy are adjacent if they correspond to edges that share a single vertex.

Properties

In the vector representation of the Gosset graph, two vertices are at distance two when their inner product is &minus;8 and at distance three when their inner product is &minus;24 (which is only possible if the vectors are each other's opposite). In the representation based on the edges of K<sub>8</sub>, two vertices of the Gosset graph are at distance three if and only if they correspond to different copies of the same edge of K<sub>8</sub>. The Gosset graph is distance-regular with diameter three.

The induced subgraph of the neighborhood of any vertex in the Gosset graph is isomorphic to the Schläfli graph.

The automorphism group of the Gosset graph is isomorphic to the Coxeter group E<sub>7</sub> and hence has order 2903040. The Gosset 3<sub>21</sub> polytope is a semiregular polytope. Therefore, the automorphism group of the Gosset graph, E<sub>7</sub>, acts transitively upon its vertices, making it a vertex-transitive graph.

The characteristic polynomial of the Gosset graph is

Therefore, this graph is an integral graph.

References

External links