Higman-Sims grafigi - Higman–Sims graph

Higman-Sims grafigi
Higman Sims Graph.svg
Pol R. Xafner qurilishi asosida rasm chizish.[1]
NomlanganDonald G. Xigman
Charlz S.Sims
Vertices100
Qirralar1100
Radius2
Diametri2
Atrof4
Automorfizmlar88,704,000 (HS:2)
XususiyatlariJuda muntazam
O'tkir
Hamiltoniyalik
Evleriya
Grafiklar va parametrlar jadvali
Xafner qurilishining ajratilgan qismlari.

Matematikada grafik nazariyasi, Higman-Sims grafigi 22-muntazam yo'naltirilmagan grafik 100 ta tepalik va 1100 ta qirralar bilan. Bu noyobdir qat'iy muntazam grafik srg (100,22,0,6), ya'ni hech bir qo'shni tepalik jufti umumiy qo'shni va har bir qo'shni bo'lmagan tepalik oltita umumiy qo'shni bilan bo'lishmaydi.[2] Bu birinchi tomonidan qurilgan Mesner (1956) va 1968 yilda Donald G. Xigman va Charlz C. Sims tomonidan qayta kashf etilgan Higman-Sims guruhi, va bu guruh kichik guruhdir indeks Higman-Sims grafasining avtomorfizmlari guruhida ikkitasi.[3]

Qurilish

M22 grafigidan

Oling M22 grafigi, a qat'iy muntazam grafik srg (77,16,0,4) va uni S (3,6,22) nuqtalariga mos keladigan 22 ta yangi tepaliklar bilan to'ldiring, har bir blok o'z nuqtalariga ulangan va yana bitta vertikal C 22 punktga ulangan.

Hoffman – Singleton grafigidan

100 bor mustaqil to'plamlar o'lchamdagi 15 o'lchamdagi Hoffman - Singleton grafigi. Mos keladigan 100 ta tepalikka ega bo'lgan yangi grafika yarating va tegishli mustaqil to'plamlari to'liq 0 yoki 8 ta elementga ega bo'lgan tepaliklarni ulang. Natijada Xigman-Sims grafigi ikkita nusxada bo'linishi mumkin. Hoffman - Singleton grafigi 352 usulda.

Kubdan

000, 001, 010, ..., 111 etiketli tepaliklari bo'lgan kubni oling. Mumkin bo'lgan barcha 70 ta to'rtburchak to'plamni oling va faqatgina XOR 000 ga baho beradi; 6 ta yuzga + 6 ta diagonal-to'rtburchaklar + 2 pariteli tetraedrga mos keladigan 14 ta shunday 4 to'plam mavjud. Bu 3- (8,4,1) blok dizayni 8 nuqtada, 4 blok o'lchamdagi 14 ta blok bilan, har bir nuqta 7 ta blokda, har bir juft nuqta 3 marta, har bir uch ochko bir marta to'g'ri keladi. 8 ta vertikalga ruxsat bering! = 40320 usul va takroriy nusxalarni olib tashlang. Keyin tepaliklarni qayta nomlashning 30 xil usuli mavjud (ya'ni, nuqtalarning o'rnini bosish yo'li bilan bir-biriga izomorf bo'lgan 30 xil dizayn). Buning sababi 1344 ta avtomorfizmlar va 40320/1344 = 30.

30 ta dizaynning har biri uchun va har bir dizaynning har bir satri uchun tepalik yarating (jami 70 ta bunday satr mavjud, ularning har biri 4 ta 8 ta to'plam bo'lib, 6 ta dizaynda ko'rinadi). Har bir dizaynni 14 qatorga ulang. Ajratilgan dizaynlarni bir-biriga ulang (har bir dizayn 8 ta boshqalar bilan ajralib turadi). Agar ular umumiy bitta elementga ega bo'lsa (4x4 = 16 shunday qo'shnilar mavjud bo'lsa) qatorlarni bir-biriga ulang. Olingan grafik Higman-Sims grafigi. Qatorlar 16 ta boshqa qatorga va 6 ta dizaynga == daraja 22. Dizaynlar 14 qatorga va 8 ta ajratilgan dizaynlarga == daraja 22 ga ulangan. Shunday qilib, barcha 100 ta tepaliklarning har biri 22-darajaga ega.

Algebraik xususiyatlar

The avtomorfizm guruhi Xigman-Sims grafigining 88,704,000 tartib izomorfik guruhidir yarim yo'nalishli mahsulot ning Higman-Sims guruhi bilan 44,352,000 buyurtma tsiklik guruh 2-tartib.[4] U Xigman-Sims grafigini an-ga aylantirib, har qanday chekkani boshqa chetga olib chiqadigan avtomorfizmlarga ega chekka o'tish davri grafigi.[5]

Higman-Sims grafigining xarakterli polinomlari (x − 22)(x − 2)77(x + 8)22. Shuning uchun Higman-Sims grafigi an integral grafik: uning spektr butunlay butun sonlardan iborat. Bundan tashqari, bu o'ziga xos polinomga ega yagona grafik bo'lib, uni spektri bilan belgilanadigan grafikka aylantiradi.

Suluk panjarasining ichida

Suluk panjarasi ichidagi Xigman-Sims grafasining proektsiyasi.

Higman-Sims grafigi tabiiy ravishda sodir bo'ladi ichida Suluk panjarasi: agar X, Y va Z Suluk panjarasidagi uchta nuqta shundayki, masofalar XY, XZ va YZ bor navbati bilan, unda 100 ta Suluk panjarasi mavjud T shunday qilib barcha masofalar XT, YT va ZT 2 ga teng, va agar ikkita shunday nuqtani birlashtirsak T va TThem ular orasidagi masofa bo'lganda , natijada olingan grafik Higman-Sims grafigi uchun izomorfdir. Bundan tashqari, Suluk panjarasining barcha avtomorfizmlari to'plami (ya'ni uni o'rnatuvchi Evklidning muvofiqliklari) X, Y va Z bu Higman-Sims guruhi (agar biz almashinuvga yo'l qo'ysak X va Y, barcha graf avtomorfizmlarining 2-tartib kengaytmasi olingan). Bu Xigman-Sims guruhi ichida joylashganligini ko'rsatadi Konvey guruhlari Co2 (uning buyrug'i 2 kengaytmasi bilan) va Co.3, va shuning uchun ham Co1.[6]

Adabiyotlar

  1. ^ Hafner, P. R. (2004). "Gofman-Singleton va Xigman-Sims grafikalarida" (PDF). Kombinatorika elektron jurnali. 11 (1): R77 (1-32). doi:10.37236/1830. Tashqi havola | jurnal = (Yordam bering).
  2. ^ Vayshteyn, Erik V. "Xigman-Sims grafigi". MathWorld.
  3. ^ Xigman, Donald G.; Sims, Charlz S. (1968). "44,352,000 buyurtmaning oddiy guruhi" (PDF). Mathematische Zeitschrift. 105 (2): 110–113. doi:10.1007 / BF01110435. hdl:2027.42/46258..
  4. ^ Brouwer, Andris E. "Higman-Sims grafigi".
  5. ^ Brouwer, A. E. va Haemers, W. H. "Gewirtz grafigi: Grafika spektrlari nazariyasida mashq". Evro. J. Kombin. 14, 397-407, 1993 y.
  6. ^ Konvey, Jon H.; Sloan, Nil J. A. Sfera qadoqlari, panjaralari va guruhlari. Grundlehren derhematischen Wissenschaften (3-nashr). Springer-Verlag. ISBN  1-4419-3134-1. 10-bob (Jon X.Konvey, "Istisno guruhlari to'g'risida uchta ma'ruza"), §3.5 ("Xigman-Sims va Maklaughlin guruhlari"), 292–293-betlar.
  • Mesner, Deyl Marsh (1956), Qisman muvozanatlashgan to'liqsiz blokli eksperimental konstruktsiyalar va assotsiatsiya sxemalarining ayrim kombinator xususiyatlarini o'rganish, lotin kvadrati va shunga o'xshash turlarning dizaynlarini batafsil o'rganish bilan., Doktorlik dissertatsiyasi, Michigan shtati universiteti statistika bo'limi, JANOB  2612633