Finite groups with geodetic Cayley graphs

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Elder, Murray, Piggott, Adam, Stober, Florian, Thumm, Alexander, Weiß, Armin
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866913770874339328
author Elder, Murray
Piggott, Adam
Stober, Florian
Thumm, Alexander
Weiß, Armin
author_facet Elder, Murray
Piggott, Adam
Stober, Florian
Thumm, Alexander
Weiß, Armin
contents A connected undirected graph is called \emph{geodetic} if for every pair of vertices there is a unique shortest path connecting them. It has been conjectured that for finite groups, the only geodetic Cayley graphs are odd cycles and complete graphs. In this article we present a series of theoretical results which contribute to a computer search verifying this conjecture for all groups of size up to 1024. The conjecture is also verified for several infinite families of groups including dihedral and some families of nilpotent groups. Two key results which enable the computer search to reach as far as it does are: if the center of a group has even order, then the conjecture holds (this eliminates all $2$-groups from our computer search); if a Cayley graph is geodetic then there are bounds relating the size of the group, generating set and center (which significantly cuts down the number of generating sets which must be searched).
format Preprint
id arxiv_https___arxiv_org_abs_2406_00261
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Finite groups with geodetic Cayley graphs
Elder, Murray
Piggott, Adam
Stober, Florian
Thumm, Alexander
Weiß, Armin
Group Theory
Discrete Mathematics
05C12, 05C25, 20F05
A connected undirected graph is called \emph{geodetic} if for every pair of vertices there is a unique shortest path connecting them. It has been conjectured that for finite groups, the only geodetic Cayley graphs are odd cycles and complete graphs. In this article we present a series of theoretical results which contribute to a computer search verifying this conjecture for all groups of size up to 1024. The conjecture is also verified for several infinite families of groups including dihedral and some families of nilpotent groups. Two key results which enable the computer search to reach as far as it does are: if the center of a group has even order, then the conjecture holds (this eliminates all $2$-groups from our computer search); if a Cayley graph is geodetic then there are bounds relating the size of the group, generating set and center (which significantly cuts down the number of generating sets which must be searched).
title Finite groups with geodetic Cayley graphs
topic Group Theory
Discrete Mathematics
05C12, 05C25, 20F05
url https://arxiv.org/abs/2406.00261