Morris, Joy

Permanent URI for this collection

https://opus.uleth.ca/handle/10133/4941

Browse

Browsing Morris, Joy by Issue Date

Filter results by year or month
Now showing 1 - 20 of 29
  • Thumbnail Image
    Item
    Toida's conjecture is true
    (Electronic Journal of Combinatorics, 2002) Dobson, Edward; Morris, Joy
    Let S be a subset of the units in Zn. Let Γ be a circulant graph of order n (a Cayley graph of Zn) such that if ij ∈ E(Γ), then i − j (mod n) ∈ S. Toida conjectured that if Γ0 is another circulant graph of order n, then Γ and Γ 0 are isomorphic if and only if they are isomorphic by a group automorphism of Zn. In this paper, we prove that Toida’s conjecture is true. We further prove that Toida’s conjecture implies Zibin’s conjecture, a generalization of Toida’s conjecture.
  • Thumbnail Image
    Item
    Strongly regular edge-transitive graphs
    (Drustvo Matematikov, Fizikov in Astronomov, 2009) Morris, Joy; Praeger, Cheryl E.; Spiga, Pablo
    In this paper, we examine the structure of vertex- and edge-transitive strongly regular graphs,using normal quotient reduction. We show that their reducible graphs in this family have quasi primitive automorphism groups, and prove (using the Classification of Finite Simple Groups) that no graph in this family has a holomorphic simple automorphism group. We also find some constraints on the parameters of the graphs in this family that reduce to complete graphs
  • Thumbnail Image
    Item
    Automorphism groups of wreath product digraphs
    (Electronic Journal of Combinatorics, 2009) Dobson, Edward; Morris, Joy
    We generalize a classical result of Sabidussi that was improved by Hemminger, to the case of directed color graphs. The original results give a necessary and sufficient condition on two graphs, C and D, for the automorphsim group of the wreath product of the graphs, Aut(C o D) to be the wreath product of the automorphism groups Aut(C) o Aut(D). Their characterization generalizes directly to the case of color graphs, but we show that there are additional exceptional cases in which either C or D is an infinite directed graph. Also, we determine what Aut(C o D) is if Aut(C o D) 6= Aut(C) o Aut(D), and in particular, show that in this case there exist vertex-transitive graphs C0 and D0 such that C0 oD0 = C oD and Aut(C oD) = Aut(C0) o Aut(D0).
  • Thumbnail Image
    Item
    Caley graphs of order 16p are hamiltonian
    (Drustvo Matematikov, Fizikov in Astronomov, 2012) Curran, Stephen J.; Morris, Dave W.; Morris, Joy
    Suppose G is a finite group, such that |G| = 16p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
  • Thumbnail Image
    Item
    Hamiltonian cycles in Caley graphs whose order has few prime factors
    (Drustvo Matematikov, Fizikov in Astronomov, 2012) Kutnar, Klavdija; Marusic, Dragan; Morris, Dave W.; Morris, Joy; Sparl, Primoz
    We prove that if Cay(G;S) is a connected Cayley graph with n vertices,and the prime factorization of n is very small, then Cay(G;S) has a hamiltonian cycle. More precisely, if p, q, and r are distinct primes, then n can be of the form kp with 24 6= k < 32, or of the form kpq with k ≤ 5,or of the form pqr,or of the form kp2 with k ≤ 4,or of the form kp3 with k ≤ 2.
  • Thumbnail Image
    Item
    On the automorphism groups of almost all circulant graphs and digraphs
    (University of Primorska, 2014) Bhoumik, Soumya; Dobson, Edward; Morris, Joy
    We attempt to determine the structure of the automorphism group of a generic circulant graph. We first show that almost all circulant graphs have automorphism groups as small as possible. The second author has conjectured that almost all of the remaining circulant (di)graphs (those whose automorphism group is not as small as possible) are normal circulant (di)graphs. We show this conjecture is not true in general, but is true if we consider only those circulant (di)graphs whose order is in a "large" subset of integers. We note that all non-normal circulant (di)graphs can be classified into two natural classes (generalized wreath products, and deleted wreath type), and show that neither of these classes contains almost every non-normal circulant digraph.
  • Thumbnail Image
    Item
    Semiregular automorphisms of cubic vertex-transitive graphs and the abelian normal quotient method
    (Electronic Journal of Combinatorics, 2015) Morris, Joy; Spiga, Pablo; Verret, Gabriel
    We characterise connected cubic graphs admitting a vertex-transitive group of automorphisms with an abelian normal subgroup that is not semiregular. We illustrate the utility of this result by using it to prove that the order of a semiregular subgroup of maximum order in a vertex-transitive group of automorphisms of a connected cubic graph grows with the order of the graph.
  • Thumbnail Image
    Item
    Automorphisms of circulants that respect partitions
    (University of Calgary, Department of Mathematics & Statistics, 2016) Morris, Joy
    In this paper, we begin by partitioning the edge (or arc) set of a circulant (di)graph according to which generator in the connection set leads to each edge. We then further refine the partition by subdividing any part that corresponds to an element of order less than n, according to which of the cycles generated by that element the edge is in. It is known that if the (di)graph is connected and has no multiple edges, then any automorphism that respects the first partition and fixes the vertex corresponding to the group identity must be an automorphism of the group (this is in fact true in the more general context of Cayley graphs). We show that automorphisms that respect the second partition and fix 0 must also respect the first partition, and so are again precisely the group automorphisms of Zn.
  • Thumbnail Image
    Item
    The CI problem for infinite groups
    (Electronic Journal of Combinatorics, 2016) Morris, Joy
    A finite group G is a DCI-group if, whenever S and S0 are subsets of G with the Cayley graphs Cay(G,S) and Cay(G,S0) isomorphic, there exists an automorphism ϕ of G with ϕ(S) = S0. It is a CI-group if this condition holds under the restricted assumption that S = S−1. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CIf-group if the same condition holds under the restricted assumption that S is finite; and an infinite group is a (D)CIf-group if the same condition holds whenever S is both finite and generates G. We prove that an infinite (D)CI-group must be a torsion group that is not locallyfinite. We find infinite families of groups that are (D)CIf-groups but not strongly (D)CIf-groups, and that are strongly (D)CIf-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on Zn. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CIgroup exists.
  • Thumbnail Image
    Item
    On colour-preserving automorphisms of Caley graphs
    (Drustvo Matematikov, Fizikov in Astronomov, 2016) Hujdurovic, Ademir; Kutnar, Klavdija; Morris, Dave W.; Morris, Joy
    We study the automorphisms of a Cayley graph that preserve its natural edge-colouring. More precisely, we are interested in groups G, such that every such automorphism of every connected Cayley graph on G has a very simple form: the composition of a left-translation and a group automorphism. We find classes of groups that have the property, and we determine the orders of all groups that do not have the property. We also have analogous results for automorphisms that permute the colours, rather than preserving them.
  • Thumbnail Image
    Item
    Vertex-transitive digraphs with extra automorphisms that preserve the natural arc-colouring
    (The University of Queensland, Centre for Discrete Mathematics and Computing, 2017) Dobson, Ted; Hujdurovic, Ademir; Kutnar, Klavdija; Morris, Joy
    In a Cayley digraph on a group G, if a distinct colour is assigned to each arc-orbit under the left-regular action of G, it is not hard to show that the elements of the left-regular action of G are the only digraph automorphisms that preserve this colouring. In this paper, we show that the equivalent statement is not true in the most straightforward generalisation to G-vertex-transitive digraphs, even if we restrict the situation to avoid some obvious potential problems. Specifically, we display an infinite family of 2-closed groups G, and a G-arc-transitive digraph on each (without any digons) for which there exists an automorphism of the digraph that is not an element of G (it is an automorphism of G). Since the digraph is G-arc-transitive, the arcs would all be assigned the same colour under the colouring by arc-orbits, so this digraph automorphism is colour-preserving.
  • Thumbnail Image
    Item
    Cyclic m-cycle systems of complete graphs minus a 1-factor
    (The University of Queensland, Centre for Discrete Mathematics and Computing, 2017) Jordan, Heather; Morris, Joy
    In this paper, we provide necessary and sufficient conditions for the existence of a cyclic m-cycle system of Kn −I when m and n are even and m | n.
  • Thumbnail Image
    Item
    On the automorphism groups of almost all circulant graphs and digraphs
    (Drustvo Matematikov, Fizikov in Astronomov, 2018) Bhoumik, Soumya; Dobson, Edward; Morris, Joy
    We attempt to determine the structure of the automorphism group of a generic circulant graph. We first show that almost all circulant graphs have automorphism groups as small as possible. The second author has conjectured that almost all of the remaining circulant (di)graphs (those whose automorphism group is not as small as possible) are normal circulant (di)graphs. We show this conjecture is not true in general, but is true if we consider only those circulant (di)graphs whose order is in a “large” subset of integers. We note that all non-normal circulant (di)graphs can be classified into two natural classes (generalized wreath products, and deleted wreath type), and show that neither of these classes contains almost every non-normal circulant digraph.
  • Thumbnail Image
    Item
    Characterising CCA Sylow cyclic groups whose order is not divisible by four
    (Drustvo Matematikov, Fizikov in Astronomov, 2018) Morgan, Luke; Morris, Joy; Verret, Gabriel
    A Cayley graph on a group G has a natural edge-colouring. We say that such a graph is CCA if every automorphism of the graph that preserves this edge-colouring is an element of the normaliser of the regular representation of G. A group G is then said to be CCA if every connected Cayley graph on G is CCA. Our main result is a characterisation of non-CCA graphs on groups that are Sylow cyclic and whose order is not divisible by four. We also provide several new constructions of non-CCA graphs.
  • Thumbnail Image
    Item
    Most rigid representations and Cayley index
    (University of Primorska, 2018) Morris, Joy; Tymburski, Josh
    For any finite group G, a natural question to ask is the order of the smallest possible automorphism group for a Cayley graph on G. A particular Cayley graph whose automorphism group has this order is referred to as an MRR (Most Rigid Representation), and its Cayley index is a numerical indicator of this value. Study of GRRs showed that with the exception of two infinite families and thirteen individual groups, every group admits a Cayley graph whose MRR is a GRR, so that the Cayley index is 1. The full answer to the question of finding the smallest possible Cayley index for a Cayley graph on a fixed group was almost completed in previous work, but the precise answers for some finite groups and one infinite family of groups were left open. We fill in the remaining gaps to completely answer this question.
  • Thumbnail Image
    Item
    Digraphs with small automorphism groups that are Cayley on two nonisomorphic groups
    (University of Primorska, 2020) Morgan, Luke; Morris, Joy; Verret, Gabriel
    Let Γ = Cay(G, S) be a Cayley digraph on a group G and let A = Aut(Γ). The Cayley index of Γ is |A : G|. It has previously been shown that, if p is a prime, G is a cyclic p-group and A contains a noncyclic regular subgroup, then the Cayley index of Γ is superexponential in p. We present evidence suggesting that cyclic groups are exceptional in this respect. Specifically, we establish the contrasting result that, if p is an odd prime and G is abelian but not cyclic, and has order a power of p at least p3, then there is a Cayley digraph Γ on G whose Cayley index is just p, and whose automorphism group contains a nonabelian regular subgroup.
  • Thumbnail Image
    Item
    Cayley graphs of more than one abelian group
    (University of Primorska, 2021) Dobson, Edward; Morris, Joy
    We show that for certain integers n, the problem of whether or not a Cayley digraph Γ of ℤn is also isomorphic to a Cayley digraph of some other abelian group G of order n reduces to the question of whether or not a natural subgroup of the full automorphism group contains more than one regular abelian group up to isomorphism (as opposed to the full automorphism group). A necessary and sufficient condition is then given for such circulants to be isomorphic to Cayley digraphs of more than one abelian group, and an easy-to-check necessary condition is provided.
  • Thumbnail Image
    Item
    Two new families of non-CCA groups
    (University of Primorska, 2021) Fuller, Brandon; Morris, Joy
    We determine two new infinite families of Cayley graphs that admit colour-preserving automorphisms that do not come from the group action. By definition, this means that these Cayley graphs fail to have the CCA (Cayley Colour Automorphism) property, and the corresponding infinite families of groups also fail to have the CCA property. The families of groups consist of the direct product of any dihedral group of order 2n where n ≥ 3 is odd, with either itself, or the cyclic group of order n. In particular, this family of examples includes the smallest non-CCA group that does not fit into any previous family of known non-CCA groups.
  • Thumbnail Image
    Item
    On the asymptotic enumeration of Cayley graphs
    (Springer, 2021) Morris, Joy; Moscatiello, Mariapia; Spiga, Pablo
    In this paper, we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible auto- morphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is com- plicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR). The strategy for digraphs involved analysing sepa- rately the cases where the regular group R has a nontrivial proper normal subgroup N with the property that the automorphism group of the digraph fixes each N-coset setwise, and the cases where it does not. In this paper, we deal with undirected graphs in the case where the regular group has such a nontrivial proper normal subgroup.
  • Thumbnail Image
    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.)