Publication
Generating Infinite Digraphs by Derangements
Publisher:
Oxford University Press (OUP)
Date:
03-12-2020
DOI:
10.1093/QMATH/HAAA055
Abstract: A set $\\mathcal{S}$ of derangements (fixed-point-free permutations) of a set V generates a digraph with vertex set V and arcs $(x,x^{\\,\\sigma})$ for x ∈ V and $\\sigma\\in\\mathcal{S}$. We address the problem of characterizing those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in an earlier work by the second and third authors. A criterion is given for derangement generation which resembles the criterion given by De Bruijn and Erdős for vertex colourings of graphs in that the property for an infinite digraph is determined by properties of its finite sub-digraphs. The derangement generation property for a digraph is linked with the existence of a finite 1-factor cover for an associated bipartite (undirected) graph.