Jarl af Hoffman-Singleton | |
---|---|
Opkaldt efter |
Alan Hoffman Robert R. Singleton |
Toppe | halvtreds |
ribben | 175 |
Radius | 2 |
Diameter | 2 [1] |
Omkreds | 5 [1] |
Automorfismer |
252.000 ( PSU(3,5 2 ):2) [2] |
Kromatisk tal | fire |
Kromatisk indeks | 7 [3] |
Slægt | 29 [4] |
Ejendomme |
Stærkt regulær symmetrisk Hamiltonian Heltal Cage Moore Graph |
Mediefiler på Wikimedia Commons |
Hoffman-Singleton-grafen er en 7 - homogen urettet graf med 50 hjørner og 175 kanter. Grafen er den eneste stærkt regulære graf med parametre [5] . Grafen blev konstrueret af Alan Hoffman og Robert Singleton, da de forsøgte at klassificere alle Moore-grafer , og det er den højeste ordens Moore-graf, som en sådan graf er kendt for at eksistere [6] . Da grafen er en Moore-graf , hvor hvert toppunkt har grad 7, og omkredsen af grafen er 5, er grafen en celle .
Der er mange måder at konstruere Hoffman-Singleton-grafer på.
Lad os tage 5 femkanter og 5 femkanter , så toppunktet af femkanten støder op til toppunkterne på og femkanten og toppunktet på pentagrammet støder op til toppunkterne på og pentagrammet . Lad os forbinde toppen af grafen med toppen af grafen . (Alle indeks er taget modulo 5.)
Tag et Fano-fly og overvej at permutere dets 7 point for at få 30 Fano-fly. Lad os vælge et af disse fly. Der er 14 andre Fano-fly, der har præcis én fælles tripel ("linje") med det valgte fly. Tag disse 15 Fano-fly og kasser de resterende 15. Overvej 7 C 3 = 35 trillinger af 7 tal. Nu forbinder vi (ved en kant) en tripel med Fano-planerne, der indeholder denne tripel, og forbinder også ikke-skærende tripler med hinanden. Den resulterende graf er en Hoffman-Singleton-graf, den består af 50 toppunkter svarende til 35 tripletter og 15 Fano-planer, og hvert toppunkt har grad 7. De toppunkter, der svarer til Fano-planerne, er per definition forbundet med 7 tripletter, da Fano-planet har 7 linjer. Hver triple er forbundet med 3 forskellige Fano-fly, der inkluderer den, og med 4 andre tripler, som den ikke krydser.
Automorfigruppen i Hoffman-Singleton-grafen er en gruppe af størrelsesordenen 252000 og er isomorf til PΣU(3,5 2 ), det halvdirekte produkt af den projektive specielle enhedsgruppe og den cykliske gruppe af orden 2 genereret af Frobenius endomorphism . En automorfi virker transitivt på spidserne og kanterne af en graf. Hoffman-Singleton-grafen er således en symmetrisk graf . Grafens toppunktstabilisator er isomorf i forhold til den symmetriske gruppe på 7 bogstaver. Kantsætstabilisatoren er isomorf til , hvor er en vekslende gruppe på 6 bogstaver. Begge typer stabilisatorer er maksimale undergrupper af den fulde automorfi-gruppe af Hoffman-Singleton-grafen.
Det karakteristiske polynomium for Hoffman-Singleton-grafen er . Hoffman-Singleton-grafen er således heltal - dens spektrum består udelukkende af heltal.
Ved kun at bruge det faktum, at Hoffman-Singleton-grafen er strengt regelmæssig med parametre , kan vi vise, at der er 1260 cyklusser med længde 5 i den.
Desuden indeholder Hoffman-Singleton-greven 525 eksemplarer af Petersen-greven . Fjernelse af en af dem giver en kopi af den eneste celle [ 7] .