Graph theoretic structure of maps of the Cantor space

In this paper we develop unifying graph theoretic techniques to study the dynamics and the structure of spaces H({0,1}N)H({0,1}N) and C({0,1}N)C({0,1}N), the space of homeomorphisms and the space of self-maps of the Cantor space, respectively. Using our methods, we give characterizations which determine when two homeomorphisms of the Cantor space are conjugate to each other. We also give a new characterization of the comeager conjugacy class of the space H({0,1}N)H({0,1}N). The existence of this class was established by Kechris and Rosendal and a specific element of this class was described concretely by Akin, Glasner and Weiss. Our characterization readily implies many old and new dynamical properties of elements of this class. For example, we show that no element of this class has a Li–Yorke pair, implying the well known Glasner–Weiss result that there is a comeager subset of H({0,1}N)H({0,1}N) each element of which has topological entropy zero. Our analogous investigation in C({0,1}N)C({0,1}N) yields a surprising result: there is a comeager subset of C({0,1}N)C({0,1}N) such that any two elements of this set are conjugate to each other by an element of H({0,1}N)H({0,1}N). Our description of this class also yields many old and new results concerning dynamics of a comeager subset of C({0,1}N)C({0,1}N).