Morris, Joy

Permanent URI for this collection

Browse

Recent Submissions

Now showing 1 - 5 of 21
  • Item
    On generalised Petersen graphs of girth 7 that have cop number 4
    (University of Primorska, 2022) Morris, Harmony; Morris, Joy
    We show that if n = 7k/i with i ∈ {1, 2, 3} then the cop number of the generalised Petersen graph GP(n,k) is 4, with some small previously-known exceptions. It was previously proved by Ball et al. (2015) that the cop number of any generalised Petersen graph is at most 4. The results in this paper explain all of the known generalised Petersen graphs that actually have cop number 4 but were not previously explained by Morris et al. in a recent preprint, and places them in the context of infinite families. (More precisely, the preprint by Morris et al. explains all known generalised Petersen graphs with cop number 4 and girth 8, while this paper explains those that have girth 7.)
  • Item
    Cayley graphs on abelian and generalized dihedral groups
    (University of Primorska, 2023) Morris, Joy; Skelton, Adrian
    A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. In this paper we give conditions for when a Cayley graph on an abelian group can be represented as a Cayley graph on a generalized dihedral group, and conditions for when the converse is true.
  • Item
    Non-Cayley-Isomorphic Cayley graphs from non-Cayley-Isomorphic Cayley digraphs
    (Centre for Discrete Mathematics and Computing, 2024) Morris, Dave W.; Morris, Joy
    A finite group G is said to be a non-DCI group if there exist subsets S1 and S2 of G, such that the associated Cayley digraphs C−→ay(G; S1) and C−→ay(G; S2) are isomorphic, but no automorphism of G carries S1 to S2. Furthermore, G is said to be a non-CI group if the subsets S1 and S2 can be chosen to be closed under inverses, so we have undirected Cayley graphs Cay(G; S1) and Cay(G; S2). We show that if p is a prime number, and the elementary abelian p- group (Zp)r is a non-DCI group, then (Zp)r+3 is a non-CI group. In most cases, we can also show that (Zp)r+2 is a non-CI group. In particular, from Pablo Spiga’s proof that (Z3)8 is a non-DCI group, we conclude that (Z3)10 is a non-CI group. This is the first example of a non-CI elementary abelian 3-group.
  • Item
    ℤ_3^8 is not a CI-group
    (University of Primorska, 2024) Morris, Joy
    A Cayley graph Cay(G, S) has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay(G, T), there is a group automorphism α of G such that Sα = T. The DCI (Directed Cayley Isomorphism) property is defined analogously on digraphs. A group G is a CI-group if every Cayley graph on G has the CI property, and is a DCI-group if every Cayley digraph on G has the DCI property. Since a graph is a special type of digraph, this means that every DCI-group is a CI-group, and if a group is not a CI-group then it is not a DCI-group. In 2009, Spiga showed that ℤ38 is not a DCI-group, by producing a digraph that does not have the DCI property. He also showed that ℤ35 is a DCI-group (and therefore also a CI-group). Until recently the question of whether there are elementary abelian 3-groups that are not CI-groups remained open. In a recent preprint with Dave Witte Morris, we showed that ℤ310 is not a CI-group. In this paper we show that with slight modifications, the underlying undirected graph of order 38 described by Spiga is does not have the CI property, so ℤ38 is not a CI-group.
  • Item
    Groups with elements of order 8 do not have the DCI property
    (University of Primorska, 2025) Dobson, Ted; Morris, Joy; Spiga, Pablo
    Let k be odd, and n an odd multiple of 3. Although this can also be deduced from known results, we provide a new proof that Ck ⋊ C₈ and (Cn × C₃) ⋊ C₈ do not have the Directed Cayley Isomorphism (DCI) property. When k is prime, Ck ⋊ C₈ had previously been proved to have the Cayley Isomorphism (CI) property. To the best of our knowledge, the groups Cp ⋊ C₈ (where p is an odd prime) are only the second known infinite family of groups that have the CI property but do not have the DCI property. This also provides a new proof of the result (which follows from known results but was not explicitly published) that no group with an element of order 8 has the DCI property. One piece of our proof is a new result that may prove to be of independent interest: we show that if a permutation group has a regular subgroup of index 2 then it must be 2-closed.