19d2141e8f14db39.tex
1: \begin{abstract}
2: It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$;
3: these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$.
4:  For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$,
5: we construct an infinite family of finite connected $6$-valent graphs $\{\Gamma_n\}_{n\in \NN}$ and arc-transitive groups $G_n \le \Aut(\Gamma_n)$ such that the permutation group 
6: %$(G_n)_v^{\Gamma_n(v)}$ 
7: induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permutation isomorphic to $L$, and such that $|(G_n)_v|$ is exponential in $|\V(\Gamma_n)|$.
8: %
9: These three groups were the only transitive permutation groups of degree at most $7$ for which the existence of such a family was undecided.
10: %
11: In the process, we construct an infinite family of cubic $2$-arc-transitive graphs such that the dimension of
12: the $1$-eigenspace over the field of order $2$ of the adjacency matrix of the graph grows linearly with the order of the graph.
13: \end{abstract}