arXiv++ Combinatorics

In 2020, Siemons and Zalesski [On the second eigenvalue of some Cayley graphs of the symmetric group. {\it arXiv preprint arXiv:2012.12460}, 2020] determined the second eigenvalue of the Cayley graph $Γ_{n,k} = \operatorname{Cay}(\operatorname{Sym}(n), C(n,k))$ for $k = 0$ and $k=1$, where $C(n,k)$ is the conjugacy class of $(n-k)$-cycles. In this paper, it is proved that for any $n\geq 3$ and $k\in \mathbb{N}$ relatively small compared to $n$, the second eigenvalue of $Γ_{n,k}$ is the eigenvalue afforded by the irreducible character of $\operatorname{Sym}(n)$ that corresponds to the partition $[n-1,1]$. As a byproduct of our method, the result of Siemons and Zalesski when $k \in \{0,1\}$ is retrieved. Moreover, we prove that the second eigenvalue of $Γ_{n,n-5}$ is also equal to the eigenvalue afforded by the irreducible character of the partition $[n-1,1]$.

Given a finite transitive permutation group $G\leq \operatorname{Sym}(Ω)$, with $|Ω|\geq 2$, the derangement graph $Γ_G$ of $G$ is the Cayley graph $\operatorname{Cay}(G,\operatorname{Der}(G))$, where $\operatorname{Der}(G)$ is the set of all derangements of $G$. Meagher et al. [On triangles in derangement graphs, {\it J. Combin. Theory Ser. A}, 180:105390, 2021] recently proved that $\operatorname{Sym}(2)$ acting on $\{1,2\}$ is the only transitive group whose derangement graph is bipartite and any transitive group of degree at least three has a triangle in its derangement graph. They also showed that there exist transitive groups whose derangement graphs are complete multipartite. This paper gives two new families of transitive groups with complete multipartite derangement graphs. In addition, we prove that if $p$ is an odd prime and $G$ is a transitive group of degree $2p$, then the independence number of $Γ_{G}$ is at most twice the size of a point-stabilizer of $G$.

Given a permutation group $G$, the derangement graph $Γ_G$ of $G$ is the Cayley graph with connection set the set of all derangements of $G$. We prove that, when $G$ is transitive of degree at least $3$, $Γ_G$ contains a triangle. The motivation for this work is the question of how large can be the ratio of the independence number of $Γ_G$ to the size of the stabilizer of a point in $G$. We give examples of transitive groups where this ratio is maximum.