On relational complexity and base size of finite primitive groups

Veronica Kelsey, Colva M. Roney-Dougal

In this paper we show that if $G$ is a primitive subgroup of $S_n$ that is not large base, then any irredundant base for $G$ has size at most $5\log n$. This is the first logari…