arXiv++ Combinatorics

In this paper we consider connected locally $G$-arc-transitive graphs with vertices of valence 3 and 4, such that the kernel $G_{uv}^{[1]}$ of the action of an edge-stabiliser on the neighourhood $Γ(u) \cup Γ(v)$ is trivial. We find nineteen finitely presented groups with the property that any such group $G$ is a quotient of one of these groups. As an application, we enumerate all connected locally arc-transitive graphs of valence ${3,4}$ on at most 350 vertices whose automorphism group contains a locally arc-transitive subgroup $G$ with $G_{uv}^{[1]} = 1$.

Let $Γ$ be a connected $G$-arc-transitive graph, let $uv$ be an arc of $Γ$ and let $L$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. We study the problem of bounding $|G_{uv}|$ in terms of $L$ and the order of $Γ$.

A graph is called cubic and tetravalent if all of its vertices have valency 3 and 4, respectively. It is called vertex-transitive and arc-transitive if its automorphism group acts transitively on its vertex-set and on its arc- set, respectively. In this paper, we combine some new theoretical results with computer calculations to construct all cubic vertex-transitive graphs of order at most 1280. In the process, we also construct all tetravalent arc-transitive graphs of order at most 640.

Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $L=G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. Then $(Γ,G)$ is said to be \emph{locally-$L$}. A transitive permutation group $L$ is \emph{graph-restrictive} if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and an arc $(u,v)$ of $Γ$, the inequality $|G_{uv}|\leq c(L)$ holds. Using this terminology, the Weiss Conjecture says that primitive groups are graph-restrictive. We propose a very strong generalisation of this conjecture: a group is graph-restrictive if and only if it is semiprimitive. (A transitive permutation group is said to be \emph{semiprimitive} if each of its normal subgroups is either transitive or semiregular.) Our main result is a proof of one of the two implications of this conjecture, namely that graph-restrictive groups are semiprimitive. We also collect the known results and prove some new ones regarding the other implication.

The main result of this paper is that, if $Γ$ is a connected 4-valent $G$-arc-transitive graph and $v$ is a vertex of $Γ$, then either $Γ$ is one of a well understood infinite family of graphs, or $|G_v|\leq 2^43^6$ or $2|G_v|\log_2(|G_v|/2)\leq |\VΓ|$ and that this last bound is tight. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs.

It has long been known that there exist finite connected tetravalent arc-transitive graphs with arbitrarily large vertex-stabilisers. However, beside a well known family of exceptional graphs, related to the lexicographic product of a cycle with an edgeless graph on two vertices, only a few such infinite families of graphs are known. In this paper, we present two more families of tetravalent arc-transitive graphs with large vertex-stabilisers, each significant for its own reason.

We show that a 2-subset-regular self-complementary 3-uniform hypergraph with $n$ vertices exists if and only if $n\ge 6$ and $n$ is congruent to 2 modulo 4.

The number of distinct maps (pre-maps) with a single vertex and valence $d$ is computed for any value of $d$. The types of maps (pre-maps) that we consider depend on whether the underlaying graph (pre-graph) is signed or unsigned and directed or undirected.

We consider random Cayley digraphs of order $n$ with uniformly distributed generating set of size $k$. Specifically, we are interested in the asymptotics of the probability such a Cayley digraph has diameter two as $n\to\infty$ and $k=f(n)$. We find a sharp phase transition from 0 to 1 at around $k = \sqrt{n \log n}$. In particular, if $f(n)$ is asymptotically linear in $n$, the probability converges exponentially fast to 1.