Abstract
The aim of this article is to find appropriate definitions for shifts of finite type and sofic shifts in a general context of symbolic dynamics, and to study their properties. We start showing that the classical definitions of shifts of finite type and sofic shifts, as they are given in the context of finite-alphabet shift spaces on the one-dimensional monoid \(\mathbb {N}\) or \(\mathbb {Z}\) with the usual addition, do not fit for shift spaces over infinite alphabet or on other monoids. Therefore, by examining the core features in the classical definitions of shifts of finite type and sofic shifts, we propose general definitions that can be used in any context. The alternative definition given for shifts of finite type inspires the definition of a new class of shift spaces which intersects with the class of sofic shifts and includes shifts of finite type. This new class is named finitely defined shifts, and the non-finite-type shifts in it are named shifts of variable length. For the specific case of infinite-alphabet shifts on the lattice \(\mathbb {N}\) or \(\mathbb {Z}\) with the usual addition, shifts of variable length can be interpreted as the topological version of variable length Markov chains.
Similar content being viewed by others
Notes
Even when \(A^\mathbb {M}\) is not metrizable, it is uniformizable, that is, there exists a prodiscrete uniform structure on \(A^\mathbb {M}\)—see Section 1.9 and Appendix B in Ceccherini-Silberstein and Coornaert (2010).
In Romero et al. (2006) this class of maps was not named, although it was used the expression “generalized local rules”. In Sobottka and Gonçalves (2017) this class was designated as “generalized sliding block codes” while in Campos et al. (2021) this class of maps is referred as “extended sliding block codes” (ESBC).
A first version of this result, concerning shift spaces on the lattice \(\mathbb {Z}^d\), was given in (Romero et al. 2006, Theorem 4).
Locally finite-to-one generalized sliding block codes correspond to the “finite degree extended sliding block codes” defined in (Campos et al. 2021, Definition 2.3.ii).
In fact, in Lind and Marcus (1995) sofic shifts where defined as shift spaces generated from a directed labeled graph, which is equivalent to be the image of 1-step shifts by an 1-block SBCs (Lind and Marcus 1995, Definition 3.1.3), and then it was proved that the class of sofic shifts coincides with the class of shifts that are image of any SFT by any SBC (Lind and Marcus 1995, Theorem 3.2.1).
References
Almeida, T.Z., Sobottka, M.: Blur shift spaces. Bull. Sci. Math. 173, 103069 (2021)
Béal, M.-P., Blockelet, M., Dima, C.: Finite-type-Dyck shift spaces (2013). arXiv:1311.4223
Béal, M.-P., Blockelet, M., Dima, C.: Sofic-Dyck shifts. Proc. Int. Symp. on Mathematical Foundations of Computer Science 2014, Part I (Lecture Notes in Computer Science, 8634). Springer, Berlin, pp. 63–74 (2014)
Bühlmann, P., Wyner, A.J.: Variable length Markov chains. Ann. Stat. 27(2), 480–513 (1999)
Campos, J., Romero, N., Vivas, R.: On the image set and reversibility of shift morphisms over discrete alphabets. To appear in Revista de la Unión Matemática Argentina (2021). https://doi.org/10.33044/revuma.1795
Ceccherini-Silberstein, T., Coornaert, M.: Cellular automata and groups. Springer Monographs in Mathematics. Springer (2010)
Darji, U.B., Gonçalves, D., Sobottka, M.: Shadowing, finite order shifts and ultrametric spaces. Adv. Math. 385, 107760 (2021)
Gonçalves, D., Sobottka, M.: Continuous shift commuting maps between ultragraph shift spaces. Discrete Contin. Dyn. Syst. 39(2), 1033–1048 (2019)
Gonçalves, D., Sobottka, M., Starling, C.: Sliding block codes between shift spaces over infinite alphabets. Math. Nachr. 289(17–18), 2178–2191 (2016)
Gonçalves, D., Sobottka, M. and Starling, C.: Two-sided shift spaces over infinite alphabets. J. Aust. Math. Soc., 103(3), 357–386 (2017)
Good, C., Meddaugh, J.: Shifts of finite type as fundamental objects in the theory of shadowing. Invent. Math. 220, 715–736 (2020)
Gurevic, B.M.: Topological entropy of Enumerable Markov chains. Soviet Math. Dokl. 4(10), 911–915 (1969)
Hamachi, T., Inoue, K., Krieger, W.: (2009). Subsystems of finite type and semigroup invariants of subshifts. Journal für die reine und angewandte Mathematik 632, 37–61 (2009)
Hamachi, T. and Krieger, W.:. Construction of subshifts and a class of semigroups. Ergod. Th. Dyn. Syst. (2020). Published online by Cambridge University Press: 22 January 2020. https://doi.org/10.1017/etds.2019.105
Hedlund, G.A.: Endormorphisms and automorphisms of the shift dynamical system. Math. Syst. Theory 3, 320–375 (1969)
Inoue, K.: The Zeta function, Periodic Points and Entropies of the Motzkin Shift (2006). arXiv:math/0602100v3
Kamabe, H.: Combinations of Context-Free Shifts and Shifts of Finite Type, BIOCOMP (2008)
Krieger, W.: On subshift presentations. Ergod. Theory Dynamic. Syst. 37, 1253–1290 (2017)
Lind, D.A., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)
Meddaugh, J., Raines, B.: A characterization of \(\omega \)-limit sets in subshifts of Baire space (2020). arXiv:2006.11464
Romero, N., Rovella, A., Vilamajó, F.: Remark on cellular automata and shift preserving maps. Appl. Math. Lett. 19(6), 576–580 (2006)
Sarig, O.: Thermodynamic formalism for countable Markov shifts. Ergod. Theory Dynamic. Syst. 19, 1565–1593 (1999)
Sobottka, M., Gonçalves, D.: A note on the definition of sliding block codes and the Curtis–Hedlund–Lyndon Theorem. J. Cell. Autom. 12(3–4), 209–215 (2017)
Tomforde, M.: Simplicity of ultragraph algebras. Math. J. 52(4), 901–926 (2003)
Williams, R. F.: Classification of subshifts of finite type. Ann. Math. 98, 120–153 (1973). Errata: Ann. of Math., 99, 380–381
Acknowledgements
This work was supported by the CNPq-Brasil grant 301445/2018-4, and developed while the author was a visiting professor at CAPES-Brasil at the Pacific Institute for the Mathematical Sciences, University of British Columbia. The author thanks Professor Brian Marcus and his research group for their hospitality. The author also thanks Charleen Stroud for her hospitality and for her help in materializing a topological example. M. Sobottka thanks the editor and the anonymous reviewer who generously donated her/his time for in-depth reading the manuscript (twice) making several valuable suggestions that improved it.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Sobottka, M. Some Notes on the Classification of Shift Spaces: Shifts of Finite Type; Sofic Shifts; and Finitely Defined Shifts. Bull Braz Math Soc, New Series 53, 981–1031 (2022). https://doi.org/10.1007/s00574-022-00292-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00574-022-00292-x