English

On Countable SFT Covers of Sparse Multidimensional Shift Spaces

Dynamical Systems 2025-10-20 v2 Formal Languages and Automata Theory

Abstract

A multidimensional sofic shift is called countably covered if it has an SFT cover containing only countably many configurations. In contrast to the one-dimensional setting, not all countable sofic shifts are countably covered. We investigate the existence of countable covers for gap width shifts, where the number of nonzero symbols in a configuration is bounded by a function of the minimum distance between two such symbols. As our main results, we characterize those one-dimensional gap width shifts whose two-dimensional lift is a countably covered sofic shift, and show that a large class of two-dimensional gap width shifts are countably covered.

Keywords

Cite

@article{arxiv.2409.14967,
  title  = {On Countable SFT Covers of Sparse Multidimensional Shift Spaces},
  author = {Ilkka Törmä},
  journal= {arXiv preprint arXiv:2409.14967},
  year   = {2025}
}

Comments

38 pages, 9 figures

R2 v1 2026-06-28T18:53:38.714Z