An infinite family of half-arc-transitive graphs with universal reachability relation

  • Authors:
  • Klavdija Kutnar;Dragan Marušič;Primo Šparl

  • Affiliations:
  • University of Primorska, FAMNIT, Glagoljaška 8, 6000 Koper, Slovenia;University of Primorska, FAMNIT, Glagoljaška 8, 6000 Koper, Slovenia and University of Ljubljana, PEF, Kardeljeva pl. 16, 1000 Ljubljana, Slovenia;University of Ljubljana, IMFM, Jadranska 19, 1000 Ljubljana, Slovenia

  • Venue:
  • European Journal of Combinatorics
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The action of a subgroup G of automorphisms of a graph X is said to be half-arc-transitive if it is vertex-transitive and edge-transitive but not arc-transitive. In this case the graph X is said to be G-half-arc-transitive. In particular, when G=AutX the graph X is said to be half-arc-transitive. Two oppositely oriented digraphs may be associated with any such graph in a natural way. The reachability relation of a graph admitting a half-arc-transitive group action is an equivalence relation defined on either of these two digraphs as follows. An arc e is reachable from an arc e^' if there exists an alternating path starting with e and ending with e^'. The reachability relation is clearly universal for all vertex-primitive half-arc-transitive graphs. The smallest known vertex-primitive half-arc-transitive graphs have valency 14 and no such graphs of valency smaller than 10 exist. The natural framework for the question of the existence of half-arc-transitive graphs with universal reachability relation is therefore the family of vertex-imprimitive half-arc-transitive graphs, and in particular those of valency less than 14. It is known that no such graph of valency 4 exists (see D. Marusic, Half-transitive group actions on finite graphs of valency 4, J. Combin. Theory Ser. B 73 (1998) 41-76). In this paper an infinite family of vertex-imprimitive half-arc-transitive graphs of valency 12 with universal reachability relation is constructed. These graphs have a solvable automorphism group but are not metacirculants.