The language of self-avoiding walks
Abstract
Let be an infinite, locally finite, connected graph without loops or multiple edges. We consider the edges to be oriented, and is equipped with an involution which inverts the orientation. Each oriented edge is labelled by an element of a finite alphabet . The labelling is assumed to be deterministic: edges with the same initial (resp. terminal) vertex have distinct labels. Furthermore it is assumed that the group of label-preserving automorphisms of acts quasi-transitively. For any vertex of , consider the language of all words over which can be read along self-avoiding walks starting at . We characterize under which conditions on the graph structure this language is regular or context-free. This is the case if and only if the graph has more than one end, and the size of all ends is , or at most , respectively.
Cite
@article{arxiv.1903.02368,
title = {The language of self-avoiding walks},
author = {Christian Lindorfer and Wolfgang Woess},
journal= {arXiv preprint arXiv:1903.02368},
year = {2019}
}
Comments
24 pages, 3 figures