Abstract. A connected graph whose automorphism group acts transitively on the edges and vertices, but not on the set of ordered pairs of adjacent vertices of the graph is called half-arc-transitive. It is well known that the valence of a half-arc-transitive graph is even and at least four. Several infinite families of half-arc-transitive graphs of valence four are known, however, in all except four of the known specimens, the vertex-stabiliser in the automorphism group is abelian. The first example of a half-arc-transitive graph of valence four and with a non-abelian vertex-stabiliser was described in [Conder and Marušič, A tetravalent half-arc-transitive graph with non-abelian vertex stabilizer, J. Combin. Theory Ser. B 88 (2003) 67-76]. This example has 10752 vertices and vertex-stabiliser isomorphic to the dihedral group of order 8. In this paper, we show that no such graphs of smaller order exist, thus answering a frequently asked question.
IntroductionLet Γ be a connected finite graph and G a group of automorphisms of Γ. If G acts transitively on the set of vertices, edges or arcs of the graph (an arc is an ordered pair of adjacent vertices), then Γ is said to be G-vertex-transitive, G-edgetransitive or G-arc-transitive, respectively. Furthermore, if G acts transitively on the vertices, edges, but not arcs of the graph, then Γ is (G, 2 -arc-transitive graphs (and half-arc-transitive graphs in general) were much studied by many authors from different points of view, ranging from purely combinatorial [7,13,17,25,26,27,29], geometrical [15], to permutation group theoretical [1,8,10] and abstract group theoretical [16,21,24].2000 Mathematics Subject Classification. 20B25.