Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type
Abstract
Using a deterministic version of the self-similar (or hierarchical, or fixed-point ) method for constructing 2-dimensional subshifts of finite type (SFTs), we construct aperiodic 2D SFTs with a unique direction of non-expansiveness and prove that the emptiness problem of SFTs is undecidable even in this restricted case. As an additional application of our method, we characterize the sets of directions that can be the set of non-expansive directions of 2D SFTs.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.