Möbius–Cantor gráf | |
---|---|
Valaki után elnevezve | August Ferdinand Möbius és Z. Kantor |
Csúcsok | 16 |
borda | 24 |
Sugár | négy |
Átmérő | négy |
Heveder | 6 |
Automorfizmusok | 96 |
Kromatikus szám | 2 |
Kromatikus index | 3 |
Nemzetség | egy |
Tulajdonságok |
szimmetrikus Hamiltoni bipartite köbös egység távolság Cayley gráf tökéletes egyszerűen tájékozható |
A Möbius-Cantor gráf egy szimmetrikus kétrészes köbös gráf 16 csúcsgal és 24 éllel, August Ferdinand Möbius és Seligman Cantor (1857–1903) nevéhez fűződik. Általánosított Petersen-gráfként definiálható , azaz egy nyolcszögletű csillaghoz kapcsolt nyolcszög csúcsai alkotják, amelyben minden pont a sorban a harmadik ponthoz kapcsolódik .
Möbius 1828-ban [1] felvetette egy olyan sokszögpár létezését, amelyek mindegyikében oldalak vannak, azzal a tulajdonsággal, hogy az egyik sokszög csúcsai a másik oldalain átmenő egyeneseken fekszenek, és fordítva. Ha létezik ilyen pár, akkor ezen sokszögek csúcsainak és oldalainak projektív konfigurációt kell alkotniuk . Az euklideszi síkon ugyanis nincs megoldás , de 1882-ben Kantor [2] talált egy ilyen típusú sokszögpárt a probléma általánosításában, amelyben a pontok és élek a komplex projektív síkhoz tartoznak , vagyis Cantor megoldásában. , a sokszög csúcsainak koordinátái komplex számok . A komplex projektív síkban egymásra írt négyszögpár Cantor-féle megoldását Möbius-Cantor konfigurációnak nevezzük . A Möbius-Kantor gráf a nevét a Möbius-Cantor konfigurációról kapta, mivel ennek a konfigurációnak a Levi gráfja . A gráfnak minden konfigurációs ponthoz egy csúcsa van, és minden hármashoz egy pontja van, és az élek két csúcsot kötnek össze, ha az egyik csúcs egy pontnak, a másik pedig az azt a pontot tartalmazó hármasnak felel meg.
A Möbius-Cantor gráf a négydimenziós hiperkocka gráf részgráfja, és a hiperkocka nyolc élének eltávolításával jön létre [3] . Mivel a hiperkocka egységnyi távolsággráf , ezért a Möbius-Cantor gráf minden egységnyi hosszúságú oldallal is megrajzolható a síkban, bár egy ilyen ábrázolás élek keresztezését eredményezné.
A Möbius-Cantor gráf nem ágyazható síkba metszéspontok nélkül, keresztezési száma 4, és ez a legkisebb köbös gráf ekkora keresztezéssel [4] . Ezenkívül a gráf példát ad egy gráfra, amelynek minden részgráfjában a metszéspontok száma kettő vagy több különbözik magának a gráfnak a metszéspontjainak számától [5] . Azonban toroid alakú – ott van a tóruszba való beágyazódása , amelyben minden lapja hatszög [6] . Ennek a beágyazásnak a kettős gráfja a hiperoktaéder gráf .
Létezik még szimmetrikusabb beágyazása a Möbius-Cantor gráfnak a kettős tóruszba , amely egy szabályos leképezés és hat nyolcszöglappal rendelkezik, amelyben mind a 96 gráfszimmetria megvalósítható beágyazási szimmetriaként [7] . A 96 elemből álló beágyazó szimmetriacsoportnak van a Cayley-gráfja , amely kettős tóruszba ágyazható. 1984-ben kimutatták, hogy ez a kettes nemzetség egyetlen csoportja [8] .
DeWitt Godfrey és Duane Martinez kettős tórusz formájában , beágyazott Möbius-Kantor gráfral alkotott szobrát a Szlovéniai Műszaki Múzeumban állították ki 2007-ben a 6. szlovén nemzetközi gráfelméleti konferencián. 2013-ban a szobor forgó változatát a Colgate Egyetemen állították ki .
A Möbius-Cantor gráf beágyazódik a hármas tóruszba (a harmadik típusú tórusz), ami egy szabályos térképet ad négy 12 szögű lappal; [6] .
2004-ben a lehetséges kémiai szénszerkezetek vizsgálata során a Möbius-Cantor gráf összes beágyazottságának családját tanulmányozták kétdimenziós sokaságban , ennek eredményeként kimutatták, hogy 759 nem egyenértékű beágyazás létezik [9] .
A Möbius-Cantor gráf automorfizmuscsoportja egy 96-os rendű csoport [10] . Tranzitívan hat a csúcsokra és az élekre, így a Möbius-Cantor gráf szimmetrikus . Vannak olyan automorfizmusai, amelyek bármely csúcsot bármely másikhoz, és bármely élt bármely másikhoz leképeznek. Foster listája szerint a Möbius-Cantor gráf az egyetlen 16 csúcsú szimmetrikus gráf és a legkisebb köbös szimmetrikus gráf, amely nem távolságtranzitív [11] . A Möbius-Cantor gráf egyben Cayley gráfja is .
Egy általánosított Petersen -gráf akkor és csak akkor csúcstranzitív, ha és , vagy amikor , és csak az alábbi hét esetben éltranzitív: [12] . Így a Möbius-Cantor gráf a hét éltranzitív általánosított Petersen-gráf egyike. Szimmetrikus beágyazása a kettős tóruszba egyike annak a hét szabályos köbös leképezésnek, amelyeknél a csúcsok teljes száma kétszerese a lapcsúcsok számának [13] . A hét szimmetrikus általánosított Petersen-gráf közé tartozik a köbös gráf , a Petersen -gráf , a dodekaéder gráf , a Desargues-gráf és a Nauru-gráf .
A Möbius-Cantor gráf karakterisztikus polinomja egyenlő: