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 $β$.

We obtain explicit upper and lower bounds for the expected action energy associated with a pair $({\sf A},{\sf Δ})$ of subsets sampled uniformly at random from a permutation group and its domain, respectively. We then specialize these bounds to multiplicative energy in several settings. In particular, we derive sharp asymptotic formulae for the expected energy of pairs of the form $({\sf A},{\sf A})$ and $({\sf A},{\sf A}^{-1})$. Finally, we apply these estimates to derive probabilistic results on the existence of subsets with large growth and to compare the typical behaviour of the cardinalities of the sets $|{\sf A}^{\ast 2}|$ and $|{\sf A}{\sf A}^{-1}|$.

We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.

Let $G$ be a transitive permutation group acting on $Ω$. In this paper, we introduce and study the parameter ${\bf m}(G)$, which denotes the size of the smallest set of points $A$ such that, for every permutation $g\in G$, $A \cap A^g$ is nonempty. In particular, we focus on deriving general bounds for arbitrary transitive groups, and on the asymptotic behaviour of certain families of primitive groups. We also provide a classification of transitive groups with ${\bf m}(G)$ largest possible, namely with ${\bf m}(G)=\lceil (|Ω|+1) / 2 \rceil$.

We prove the existence of a connected flexible $3$-valent vertex-transitive graph of girth $2\ell$ for every integer $\ell$. We also give a constructive proof if $\ell$ is prime.

We prove that, to every abstract group $G$, we can associate a sequence of graphs $Γ_n$ such that the automorphism group of $Γ_n$ is isomorphic to $G$ and the genus of $Γ_n$ is an unbounded function of $n$.

We give a simplified version of the proofs that, outside of their isolated vertices, the complement of the enhanced power graph and of the power graph are connected of diameter at most $3$.

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.

The relative fixity of a digraph $Γ$ is defined as the ratio between the largest number of vertices fixed by a nontrivial automorphism of $Γ$ and the number of vertices of $Γ$. We characterize the vertex-primitive digraphs whose relative fixity is at least $1/3$, and we show that there are only finitely many vertex-primitive digraphs of bounded out-valency and relative fixity exceeding a positive constant.

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.

We prove that, if $Γ$ is a finite connected $3$-valent vertex-transitive, or $4$-valent vertex- and edge-transitive graph, then either $Γ$ is part of a well-understood family of graphs, or every non-identity automorphism of $Γ$ fixes at most $1/3$ of the edges. This answers a question proposed by Primož Potočnik and the third author.

We give a sufficient and necessary condition for a Praeger-Xu graph to be a Cayley graph.