arXiv++ Combinatorics

We construct connected $2$-arc-transitive covers of complete graphs with non-abelian characteristically simple transformation groups. This solves the existence problem for non-solvable $2$-arc-transitive covers of complete graphs.

We construct connected $2$-arc-transitive covers of the Petersen graph with non-solvable transformation groups, solving the long-standing problem for the existence of such covers.

A coset geometry representation of regular dessins is established, and employed to describe quotients and coverings of regular dessins and surfaces. A characterization is then given of face-quasiprimitive regular dessins as coverings of unicellular regular dessins. It shows that there are exactly three O'Nan-Scott-Praeger types of face-quasiprimitive regular dessins which are smooth coverings of unicellular regular dessins, leading to new constructions of interesting families of regular dessins. Finally, a problem of determining smooth Schur covering of simple groups is initiated by studying coverings between $\SL(2,p)$ and $\PSL(2,p)$, giving rise to interesting regular dessins like Fibonacci coverings.

We first characterize all faithful arc-transitive covers of complete graphs and we give a general construction of such covers. For a counterpart of cover, we say a graph $Γ$ is a pseudocover of its quotient $Σ$ if they have the same valency and $Γ$ is not a cover of $Σ$.As the second result of this paper, we prove that the complete graph $\K_n$ has a connected arc-transitive pseudocover if and only if $n-1$ is not a prime.

We introduce the concept of pseudocover, which is a counterpart of cover, for symmetric graphs. The only known example of pseudocovers of symmetric graphs so far was given by Praeger, Zhou and the first-named author a decade ago, which seems technical and hard to extend to obtain more examples. In this paper, we present a criterion for a symmetric extender of a symmetric graph to be a pseudocover, and then apply it to produce various examples of pseudocovers, including (1) with a single exception, each Praeger-Xu's graph is a pseudocover of a wreath graph; (2) each connected tetravalent symmetric graph with vertex stabilizer of size divisible by $32$ has connected pseudocovers.