Hoffman–Singleton graph - Alchetron, the free social encyclopedia

Vertices 50 Radius 2 Girth 5		Edges 175 Diameter 2

Named after Alan J. HoffmanRobert R. Singleton

In the mathematical field of graph theory, the Hoffman–Singleton graph is a 7-regular undirected graph with 50 vertices and 175 edges. It is the unique strongly regular graph with parameters (50,7,0,1). It was constructed by Alan Hoffman and Robert Singleton while trying to classify all Moore graphs, and is the highest order Moore graph known to exist. Since it is a Moore graph where each vertex has degree 7, and the girth is 5, it is a (7,5)-cage.

Construction

Here are two constructions of the Hoffman–Singleton graph.

Construction from pentagons and pentagrams

Take five pentagons P_h and five pentagrams Q_i, so that vertex j of P_h is adjacent to vertices j-1 and j+1 of P_h and vertex j of Q_i is adjacent to vertices j-2 and j+2 of Q_i. Now join vertex j of P_h to vertex h·i+j of Q_i. (All indices are modulo 5.)

Construction from Fano planes

Any set of seven points (as abstract mathematical objects) can be made into a Fano plane by adding seven lines to them. The number of distinct ways to do this is 30 = 7!/168. Here 7! is the number of permutations of the seven points. 168 is the number of symmetries of the Fano plane, and therefore the number of permutations that preserve any given set of lines that form a Fano plane. Among these 30 different Fano planes on the same points, each subset of three points is used as a line in 6 out of 30 of the planes. For any one of these 30 Fano planes, there are 14 others that share at least one line with it. The same set of seven points also has 35 different three-element subsets ("triads"), counted by the binomial coefficient ( 7 3 ) = 35 . The Hoffman–Singleton graph can then be built from two sets of vertices:

one for each Fano plane in a set of 15 Fano planes formed by choosing one arbitrarily and selecting the 14 others that share a line with it, and

one for each triad.

These vertices are connected by edges of two types:

between each selected Fano plane and the 7 triads that correspond to its lines, and

between triads with no point in common.

Algebraic properties

The automorphism group of the Hoffman–Singleton graph is a group of order 252,000 isomorphic to PΣU(3,5²) the semidirect product of the projective special unitary group PSU(3,5²) with the cyclic group of order 2 generated by the Frobenius automorphism. It acts transitively on the vertices, on the edges and on the arcs of the graph. Therefore, the Hoffman–Singleton graph is a symmetric graph. The stabilizer of a vertex of the graph is isomorphic to the symmetric group S₇ on 7 letters. The setwise stabilizer of an edge is isomorphic to Aut(A₆)=A₆.2², where A₆ is the alternating group on 6 letters. Both of the two types of stabilizers are maximal subgroups of the whole automorphism group of the Hoffman–Singleton graph.

The characteristic polynomial of the Hoffman–Singleton graph is equal to ( x − 7 ) ( x − 2 ) 28 ( x + 3 ) 21 . Therefore, the Hoffman–Singleton graph is an integral graph: its spectrum consists entirely of integers.

Subgraphs

Using only the fact that the Hoffman–Singleton graph is a strongly regular graph with parameters (50,7,0,1), it can be shown that there are 1260 5-cycles contained in the Hoffman–Singleton graph.

Additionally, the Hoffman–Singleton graph contains 525 copies of the Petersen graph. Removing any one of these leaves a copy of the unique (6,5) cage.

References

Hoffman–Singleton graph Wikipedia

(Text) CC BY-SA