Source author record

Veronica Kelsey

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
3close collaborators

Published work

3 publications

preprint2021arXiv

On relational complexity and base size of finite primitive groups

In this paper we show that if GG is a primitive subgroup of SnS_{n} that is not large base, then any irredundant base for GG has size at most 5log⁡n5 \log n. This is the first logarithmic bound on the size of an irredundant base for such groups, and is best possible up to a small constant. As a corollary, the relational complexity of GG is at most 5log⁡n+15 \log n+1, and the maximal size of a minimal base and the height are both at most 5log⁡n.5 \log n. Furthermore, we deduce that a base for GG of size at most 5log⁡n5 \log n can be computed in polynomial time.

preprint2020arXiv

Maximal Cocliques in the Generating Graphs of the Alternating and Symmetric Groups

The generating graph Γ(G)Γ(G) of a finite group GG has vertex set the non-identity elements of GG, with two elements connected exactly when they generate GG. A coclique in a graph is an empty induced subgraph, so a coclique in Γ(G)Γ(G) is a subset of GG such that no pair of elements generate GG. A coclique is maximal if it is contained in no larger coclique. It is easy to see that the non-identity elements of a maximal subgroup of GG form a coclique in Γ(G)Γ(G), but this coclique need not be maximal. In this paper we determine when the intransitive maximal subgroups of Sn\textrm{S}_n and An\textrm{A}_n are maximal cocliques in the generating graph. In addition, we prove a conjecture of Cameron, Lucchini, and Roney-Dougal [3] in the case of G=AnG = \textrm{A}_n and Sn\textrm{S}_n, when n is prime and n≠(qd−1)(q−1)n \neq \frac{(q^d -1)}{(q-1)} for all prime powers qq and d≥2d \geq 2. Namely, we show that two elements of GG have identical sets of neighbours in Γ(G)Γ(G) if and only if they belong to exactly the same maximal subgroups.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.