Conjugacies for Tiling Dynamical Systems

We consider tiling dynamical systems and topological conjugacies between them. We prove that the criterion of being of finite type is invariant under topological conjugacy. For substitution tiling systems under rather general conditions, including the Penrose and pinwheel systems, we show that substitutions are invertible and that conjugacies are generalized sliding block codes.Research supported in part by NSF Vigre Grant DMS-0091946Research supported in part by NSF Grant DMS-0071643 and Texas ARP Grant 003658-158Acknowledgement The authors are grateful for the support of the Banff International Research Station, at which we formulated and proved Theorem 3.