Conde de Hoffman-Singleton | |
---|---|
Lleva el nombre de |
Alan Hoffman Robert R. Singleton |
picos | cincuenta |
costillas | 175 |
Radio | 2 |
Diámetro | 2 [1] |
Circunferencia | 5 [1] |
automorfismos |
252.000 ( fuente de alimentación(3.5 2 ):2) [2] |
Número cromático | cuatro |
índice cromático | 7 [3] |
Género | 29 [4] |
Propiedades |
Gráfico de Moore de jaula de enteros hamiltonianos simétricos fuertemente regulares |
Archivos multimedia en Wikimedia Commons |
El gráfico de Hoffman-Singleton es un gráfico no dirigido homogéneo de 7 con 50 vértices y 175 aristas. El gráfico es el único gráfico fuertemente regular con parámetros [5] . El gráfico fue construido por Alan Hoffman y Robert Singleton cuando intentaban clasificar todos los gráficos de Moore , y es el gráfico de Moore de orden más alto que se sabe que existe [6] . Dado que el gráfico es un gráfico de Moore , en el que cada vértice tiene un grado 7 y la circunferencia del gráfico es 5, el gráfico es una celda .
Hay muchas formas de construir gráficos de Hoffman-Singleton.
Tomemos 5 pentágonos y 5 pentagramas para que el vértice del pentágono sea adyacente a los vértices de y el pentágono y el vértice del pentagrama sea adyacente a los vértices de y el pentagrama . Conectemos la parte superior del gráfico con la parte superior del gráfico . (Todos los índices se toman módulo 5.)
Tome un avión Fano y considere permutar sus 7 puntas para obtener 30 aviones Fano. Elijamos uno de estos aviones. Hay otros 14 aviones Fano que tienen exactamente una triple ("línea") común con el avión elegido. Tome estos 15 aviones Fano y deseche los 15 restantes. Considere 7 C 3 = 35 tripletes de 7 números. Ahora conectamos (mediante un borde) un triple con los planos de Fano que contienen este triple, y también conectamos triples que no se intersecan entre sí. El grafo resultante es un grafo de Hoffman-Singleton, consta de 50 vértices correspondientes a 35 tripletes y 15 planos de Fano, y cada vértice tiene grado 7. Los vértices correspondientes a los planos de Fano están conectados a 7 tripletes por definición, ya que el plano de Fano tiene 7 líneas. Cada terna está asociada a 3 planos diferentes de Fano que lo incluyen, ya otras 4 ternas con las que no se cruza.
El grupo de automorfismos del grafo de Hoffman-Singleton es un grupo de orden 252000 y es isomorfo a PΣU(3,5 2 ), el producto semidirecto del grupo unitario especial proyectivo y el grupo cíclico de orden 2 generado por el endomorfismo de Frobenius . Un automorfismo actúa transitivamente sobre los vértices y las aristas de un gráfico. Por lo tanto, el gráfico de Hoffman-Singleton es un gráfico simétrico . El estabilizador de vértice del gráfico es isomorfo al grupo simétrico de 7 letras. El estabilizador del juego de bordes es isomorfo a , donde hay un grupo alterno de 6 letras. Ambos tipos de estabilizadores son subgrupos máximos del grupo de automorfismos completo del gráfico de Hoffman-Singleton.
El polinomio característico del gráfico de Hoffman-Singleton es . Por lo tanto, el gráfico de Hoffman-Singleton es entero : su espectro consiste completamente en números enteros.
Usando solo el hecho de que el gráfico de Hoffman-Singleton es estrictamente regular con parámetros , podemos mostrar que hay 1260 ciclos de longitud 5 en él.
Además, el Conde Hoffman-Singleton contiene 525 copias del Conde Petersen . Al eliminar uno de ellos, se obtiene una copia de la única celda [ 7] .