Temeljni projekt J1-2451
Simetrije na grafih preko rigidnih celic
Naslov projekta: Simetrije na grafih preko rigidnih celic
Vodja projekta: Dragan Marušič.
Šifra projekta: J1-2451.
Tip projekta: temeljni projekt.
Financer: Javna agencija RS za raziskovalno dejavnost (ARRS).
Raziskovalno področje (ARRS): 1.01.00 - Naravoslovno-matematične vede / Matematika.
Trajanje projekta: 1. 9. 2020 - 31. 8. 2023.
Cenovna kategorija projekta: B.
Letni obseg projekta: 1.60 FTE (2.726 raziskovalnih ur).
Sicris profil projekta je dostopen tukaj.
Raziskovalne organizacije v okviru katere se izvaja projekt:
Univerza na Primorskem, Inštitut Andrej Marušič
Univerza na Primorskem, Fakulteta za matematiko, naravoslovje in informacijske tehnologije,
Univerza v Ljubljani, Pedagoška fakulteta.
Člani raziskovalnega projekta:
Marušič Dragan (vodja) (ARRS šifra: 02887)
Dobson Edward Tauscher (ARRS šifra: 34109)
Fernandez Blas (ARRS šifra: 52892)
Hujdurović Ademir (ARRS šifra: 32518)
Kovacs Istvan (ARRS šifra: 25997)
Kudin Sadmir (ARRS šifra: 51980)
Kutnar Klavdija (vodja, ARRS šifra: 24997)
Malnič Aleksander (ARRS šifra: 02507)
Miklavič Štefko (ARRS šifra: 21656)
Morgan Luke (ARRS šifra: 52908)
Pasalic Enes (ARRS šifra: 27777)
Požar Rok (ARRS šifra: 32026)
Rodriguez Rene (ARRS šifra: 52701)
Šparl Primož (ARRS šifra: 23341)
Velkavrh Žiga (ARRS šifra: 50720)
Woodroofe Russell Stephen (ARRS šifra: 50355)
Povzetek projekta:
Pri raziskovanju simetrij v grafih so bile tekom let preučevane različne značilnosti njihovih grup avtomorfizmov. Vzemimo, na primer, dobro znano in še vedno odprto policirkulantno domnevo, ki pravi, da vsak točkovno tranzitiven (di)graf dopušča premikalke (deranžma) praštevilskega reda, to je, avtomorfizem praštevilskega reda, ki nima fiksnih točk. Rezultati, ki so bili dobljeni doslej, nakazujejo, da določene pomembne lastnosti točkovno tranzitivnih grafov izhajajo in se lahko izpeljejo iz takšnih avtomorfizmov. Na drugi skrajnosti pa bi želeli študirati tiste avtomorfizme, ki fiksirajo vsaj eno točko točkovno tranzivnega grafa, torej avtomorfizme, ki pripadajo stabilizatorjem točk. V tem kontekstu se takoj naravno pojavi naslednje vprašanje:
Katere ostale dodatne točke bo fiksiral takšen avtomorfizem? Bolj natančno, kakšna je struktura podgrafa, ki ga inducirajo tiste točke, ki jih ta avtomorfizem fiksira?
To vprašanje je bistvena vsebina predlaganega projekta. Podgrafe, inducirane z množico vseh fiksnih točk danega avtomorfizma, bomo imenovali rigidni podgrafi, povezano komponento takega podgrafa pa imenujemo rigidna celica. Uporabili bomo mešano strategijo pristopa k problemu simetrije s kombiniranjem grupno-teoretičnih in grafovsko-teoretičnih orodij. Pričakujejo se nova spoznanja o notranji strukturi točkovno tranzitivnih in drugih razredov grafov, ki zadoščajo specifičnim simetrijskim pogojem. Naslednji glavni poudarki raziskave bodo zajeti v okviru tega predloga projekta:
- Študij strukture rigidnih celic v točkovno tranzitivnih grafih.
- Študij strukture avtomorfizmov, ki porodijo rigidne celice. Posebej, bo obravnavano naslednje vprašanje: pod kakšnimi pogoji avtomorfizmi istega reda pripadajo istemu konjugiranostnemu razredu v grupi avtomorfizmov?
- Iskanje kombinatoričnih (grafovsko-teoretičnih) odsevov koncepta realih (krepko realnih) elementov grupe (še posebej glede na konsistentne cikle v grafih), kjer je element grupe realen, če pripada istemu konjugiranostnemu razredu kot njegov obrat, in krepko realen, če je konjugiran svojemu obratu glede na neko involucijo.
Končno, v skladu s pogosto izraženo zahtevo matematične skupnosti po omejitvi uporabe Klasifikacije končnih enostavnih grup (CFSG) pri obravnavi problemov algebraične teorije grafov in permutacijskih grup, bomo poskušali poiskati neposredne dokaze nekaterih izrekov iz tega področja, za katerih potrditev je doslej CFSG igrala bistveno vlogo.