arXiv++ Combinatorics

We prove that if $Γ$ is a finite connected vertex-transitive cubic graph, then either $|VΓ| \le 90$, or $Γ$ is a split Praeger--Xu graph, or there exist two vertices $α$ and $β$ such that the identity is the only automorphism of $Γ$ fixing both $α$ and $β$.

Given a finite group $R$, we investigate the base size of the action of the automorphism group of $R$ on the lattice of subgroups of $R$. Our main result shows that this base size is $1$ if and only if $R$ is cyclic. Our motivation arises from a conjecture of Babai on the problem of representing groups as automorphism groups of lattices with a bounded number of orbits.

The orbit dimension $σ(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $Ω$ is the minimum cardinality of a subset $S \subseteq Ω$ such that, for any two distinct elements $ω,ω'\in Ω$, there exists $α\in S$ for which $ω$ and $ω'$ lie in distinct orbits of the stabilizer $G_α$. In this paper, we first observe that if $G$ is transitive, then $σ(G)\le |Ω|-r+1$, where $r$ is the rank of $G$, and we obtain strong structural information on the groups for which equality holds. Next, we investigate the orbit dimension in the case where $G$ is the symmetric group of degree $n$, acting on the set of $k$-subsets of $\{1,\ldots,n\}$. In this case, this invariant equals the metric dimension of Johnson graphs.

We explicitly determine all CI-groups with respect to ternary relational structures that have the form $C \times D$, where $C$ is cyclic and $D$ is either a dicyclic group whose order is not divisible by $3$ or a dihedral group. Such groups are also CI-groups with respect to graphs and digraphs.

We prove an equivalence between a conjecture of Neumann and Praeger on Kronecker classes in algebraic number fields, and a conjecture on cliques of derangement graphs in combinatorics.

A string group generated by involutions, or SGGI, is a pair $Γ=(G, S)$, where $G$ is a group and $S=\{ρ_0,\ldots, ρ_{r-1}\}$ is an ordered set of involutions generating $G$ and satisfying the commuting property: $$\forall i,j\in\{0,\ldots, r-1\}, \;|i-j|\ne 1\Rightarrow (ρ_iρ_j)^2=1.$$ When $S$ is an independent set, the rank of $Γ$ is the cardinality of $S$. We determine an upper bound for the rank of an SGGI over the alternating group of degree $n$. Our bound is tight when $n\equiv 0,1,4\pmod 5$.

Given a permutation group $G$, the derangement graph of $G$ is defined with vertex set $G$, where two elements $x$ and $y$ are adjacent if and only if $xy^{-1}$ is a derangement. We establish that, if $G$ is transitive with degree exceeding 30, then the derangement graph of $G$ contains a complete subgraph with four vertices. As a consequence, if $G$ is a normal subgroup of $A$ such that $|A : G| = 3$, and if $U$ is a subgroup of $G$ satisfying $G = \bigcup_{a \in A} U^a$, then $|G : U| \leq 10$. This result provides support for a conjecture by Neumann and Praeger concerning Kronecker classes.

For a group $G$, a subgroup $U \leq G$ and a group $\mathrm{Inn}(G) \leq A \leq \mathrm{Aut}(G)$, we say that $U$ is an $A$-covering group of $G$ if $G = \bigcup_{a\in A}U^a$. A theorem of Jordan (1872) implies that if $G$ is a finite group, $A = \mathrm{Inn}(G)$ and $U$ is an $A$-covering group of $G$, then $U = G$. Motivated by a question concerning Kronecker classes of field extensions, Neumann and Praeger (1988) conjectured that, more generally, there is an integer function $f$ such that if $G$ is a finite group and $U$ is an $A$-covering subgroup of $G$, then $|G:U| \leq f(|A:\mathrm{Inn}(G)|)$. A key piece of evidence for this conjecture is a theorem of Praeger (1994), which asserts that there is a two-variable integer function $g$ such that if $G$ is a finite group and $U$ is an $A$-covering subgroup of $G$, then $|G:U|\leq g(|A:\mathrm{Inn}(G)|,c)$ where $c$ is the number of $A$-chief factors of~$G$. Unfortunately, the proof of this result contains an error. In this paper, using a different argument, we give a correct proof of this theorem.

Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. The minimal cardinality of a base is said to be the base size of $G$. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. In this paper, we classify the finite almost simple primitive IBIS groups whose base size is at least $6$.

Given a finite connected graph $Γ$ and a group $G$ acting transitively on the vertices of $Γ$, we prove that the number of vertices of $Γ$ and the cardinality of $G$ are bounded above by a function depending only on the cardinality of $Γ$ and on the exponent of $G$. We also prove that the number of generators of a group $G$ acting transitively on the arcs of a finite graph $Γ$ cannot be bounded by a function of the valency alone.

This paper represents a significant leap forward in the problem of enumerating vertex-transitive graphs. Recent breakthroughs on symmetry of Cayley (di)graphs show that almost all finite Cayley (di)graphs have the smallest possible automorphism group. Extending the scope of these results, we enumerate (di)graphs admitting a fixed semiregular group of automorphisms with m orbits. Moreover, we consider the more intricate inquiry of prohibiting arcs within each orbit, where the special case m = 2 is known as the problem of finding Haar graphical representations (HGRs). We significantly advance the understanding of HGRs by proving that the proportion of HGRs among Haar graphs of a finite nonabelian group approaches 1 as the group order grows. As a corollary, we obtain an improved bound on the proportion of DRRs among Cayley digraphs in the solution of Morris and the second author to the Babai-Godsil conjecture.

Let $k$ be odd, and $n$ an odd multiple of $3$. We prove that $C_k \rtimes C_8$ and $(C_n \times C_3)\rtimes C_8$ do not have the Directed Cayley Isomorphism (DCI) property. When $k$ is also prime, $C_k \rtimes C_8$ had previously been proved to have the Cayley Isomorphism (CI) property. To the best of our knowledge, the groups $C_p \rtimes C_8$ (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 shows that no group with an element of order $8$ has the DCI property.

Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be adjacent if and only if $yx^{-1}\in S$. The name Haar graph was coined by Tomaž Pisanski in one of the first investigations on this class of graphs. For every $g\in R$, the mapping $ρ_g:(x,\varepsilon)\mapsto (xg,\varepsilon)$, $\forall (x,\varepsilon)\in R\times\{-1,1\}$, is an automorphism of $\mathrm{Haar}(R,S)$. In particular, the set $\hat{R}:=\{ρ_g\mid g\in R\}$ is a subgroup of the automorphism group of $\mathrm{Haar}(R,S)$ isomorphic to $R$. In the case that the automorphism group of $\mathrm{Haar}(R,S)$ equals $\hat{R}$, the Haar graph $\mathrm{Haar}(R,S)$ is said to be a Haar graphical representation of the group $R$. Answering a question of Feng, Kovács, Wang, and Yang, we classify the finite groups admitting a Haar graphical representation. Specifically, we show that every finite group admits a Haar graphical representation, with abelian groups and ten other small groups as the only exceptions. Our work on Haar graphs allows us to improve a 1980 result of Babai concerning representations of groups on posets, achieving the best possible result in this direction. An improvement to Babai's related result on representations of groups on distributive lattices follows.

Garonzi and Lucchini~\cite{GL} explored finite groups $G$ possessing a normal $2$-covering, where no proper quotient of $G$ exhibits such a covering. Their investigation offered a comprehensive overview of these groups, delineating that such groups fall into distinct categories: almost simple, affine, product action, or diagonal. In this paper, we focus on the family falling under the diagonal type. Specifically, we present a thorough classification of finite diagonal groups possessing a normal $2$-covering, with the attribute that no proper quotient of $G$ has such a covering.

Given a finite group $G$, the Engel graph of $G$ is a directed graph $Γ(G)$ encoding pairs of elements satisfying some Engel word. Namely, $Γ(G)$ is the directed graph, where the vertices are the non-hypercentral elements of $G$ and where there is an arc from $x$ to $y$ if and only if $[x,_ n y] = 1$ for some $n \in \mathbb{N}$. From previous work, it is known that, except for a few exceptions, $Γ(G)$ is strongly connected. In this paper, we give an absolute upper bound on the diameter of $Γ(G)$, when $Γ(G)$ is strongly connected.

Given a finite permutation group $G$ with domain $Ω$, we associate two subsets of natural numbers to $G$, namely $\mathcal{I}(G,Ω)$ and $\mathcal{M}(G,Ω)$, which are the sets of cardinalities of all the irredundant and minimal bases of $G$, respectively. We prove that $\mathcal{I}(G)$ is an interval of natural numbers, whereas $\mathcal{M}(G,Ω)$ may not necessarily form an interval. Moreover, for a given subset of natural numbers $X \subseteq \mathbb{N}$, we provide some conditions on $X$ that ensure the existence of both intransitive and transitive groups $G$ such that $\mathcal{I}(G,Ω) = X$ and $\mathcal{M}(G,Ω) = X$.

Given two positive integers $n$ and $k$, we obtain a formula for the base size of the symmetric group of degree $n$ in its action on $k$-subsets. Then, we use this formula to compute explicitly the base size for each $n$ and for each $k\le 14$.

We prove that, if $Γ$ is a finite connected cubic vertex-transitive graph, then either there exists a semiregular automorphism of $Γ$ of order at least $6$, or the number of vertices of $Γ$ is bounded above by an absolute constant.

Cayley maps are combinatorial structures built upon Cayley graphs on a group. As such the original group embeds in their group of automorphisms, and one can ask in which situation the two coincide (one then calls the Cayley map a mapical regular representation or MRR) and with what probability. The first question was answered by Jajcay. In this paper we tackle the probabilistic version, and prove that as groups get larger the proportion of MRRs among all Cayley Maps approaches 1.

Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$. We prove that the weak normal covering number of every non-abelian simple group is at least $2$ and we classify the non-abelian simple groups attaining $2$. As an application, we classify the non-abelian simple groups having normal covering number $2$. We also show that the weak normal covering number of an almost simple group is at least two up to one exception. We determine the weak normal covering number and the normal covering number of the almost simple groups having socle a sporadic simple group. Using similar methods we find the clique number of the invariably generating graph of the almost simple groups having socle a sporadic simple group.