A matrix formalism for conjugacies of higher-dimensional shifts of finite type
Volume 110 / 2008
Colloquium Mathematicum 110 (2008), 493-515
MSC: Primary 37B50; Secondary
37B10, 37A35, 37A60, 54H20.
DOI: 10.4064/cm110-2-12
Abstract
We develop a natural matrix formalism for state splittings and amalgamations of higher-dimensional subshifts of finite type which extends the common notion of strong shift equivalence of ${\mathbb Z}^+$-matrices. Using the decomposition theorem every topological conjugacy between two ${\mathbb Z}^d$-shifts of finite type can thus be factorized into a finite chain of matrix transformations acting on the transition matrices of the two subshifts. Our results may be used algorithmically in computer explorations on topological conjugacies and in the search for new conjugacy invariants.