Šámal: Highly arc-transitive digraphs – counterexamples and structure arXiv:1110.2945v1 [math.CO]13

We resolve two problems of [Cameron, Praeger, and Wormald – Infi-nite highly arc transitive digraphs and universal covering digraphs, Com-binatorica 1993]. First, we construct a locally finite highly arc-transitive digraph with universal reachability relation. Second, we provide construc-tions of 2-ended highly arc transitive digraphs where each ‘building block’ is a finite bipartite graph that is not a disjoint union of complete bipar-tite graphs. This was conjectured impossible in the above paper. We also describe the structure of 2-ended highly arc transitive digraphs in more generality, although complete characterization remains elusive.