Graphe de Hoffman-Singleton

Le graphe de Hoffman-Singleton est une (7,5)-cage, c'est-à-dire un graphe minimal en nombres de sommets ayant une maille de 5 et étant un graphe régulier de degré 7. Il s'agit de l'unique (3,7)-cage et sa taille coïncide avec la borne de Moore, une borne inférieure sur le nombre de sommets que peut avoir une cage. Un tel graphe est qualifié de graphe de Moore.

Le diamètre du graphe de Hoffman-Singleton, l'excentricité maximale de ses sommets, ainsi que son rayon, l'excentricité minimale de ses sommets, sont tous deux égaux à 2. Cela entraine que tous ses sommets appartiennent à son centre.

Le graphe de Hoffman-Singleton est 7-sommet-connexe et 7-arête-connexe, c'est-à-dire qu'il est connexe et que pour le rendre déconnecté il faut le priver au minimum de 7 sommets ou de 7 arêtes. Comme il est régulier de degré 7 ce nombre est optimal. Le graphe de Hoffman-Singleton est donc un graphe optimalement connecté.

Il est également hamiltonien, c'est-à-dire qu'il possède un cycle passant par tous les sommets une et une seule fois. .

Le nombre chromatique du graphe de Hoffman-Singleton est 4. C'est-à-dire qu'il est possible de le colorer avec 4 couleurs de telle façon que deux sommets reliés par une arête soient toujours de couleurs différentes. Ce nombre est minimal[3].

L'indice chromatique du graphe de Hoffman-Singleton est 7. Il existe donc une 7-coloration des arêtes du graphe telle que deux arêtes incidentes à un même sommet soient toujours de couleurs différentes. Ce nombre est minimal[4].

Le groupe d'automorphismes du graphe de Hoffman-Singleton est d'ordre 252 000. Il agit transitivement sur les sommets, les arêtes et les arcs. Le graphe d'Hoffman-Singleton est donc un graphe symétrique[5].

Le polynôme caractéristique de la matrice d'adjacence du graphe de Hoffman-Singleton est : ${\displaystyle (x-7)(x-2)^{28}(x+3)^{21}}$. Ce polynôme caractéristique n'admet que des racines entières. Le graphe de Hoffman-Singleton est donc un graphe intégral, un graphe dont le spectre est constitué d'entiers. C'est aussi le seul graphe avec ce polynôme caractéristique ce qui fait de lui un graphe déterminé de façon unique par son spectre, c'est-à-dire l'ensemble des valeurs propres de sa matrice d'adjacence.