×

The decomposition theorem for two-dimensional shifts of finite type. (English) Zbl 0921.58012

Summary: A one-dimensional shift of finite type can be described as the collection of bi-infinite “walks” along an edge graph. The decomposition theorem states that every conjugacy between two shifts of finite type can be broken down into a finite sequence of splittings and amalgamations of their edge graphs. When dealing with two-dimensional shifts of finite type, the appropriate edge graph description is not as clear; we turn to Nasu’s notion of a “textile system” for such a description and show that all two-dimensional shifts of finite type can be so described. We then define textile splittings and amalgamations and prove that every conjugacy between two-dimensional shifts of finite type can be broken down into a finite sequence of textile splittings, textile amalgamations, and a third operation called an inversion.

MSC:

37E99 Low-dimensional dynamical systems
Full Text: DOI