Advertisement

Turing Degree Spectra of Minimal Subshifts

  • Michael Hochman
  • Pascal Vanier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10304)

Abstract

Subshifts are shift invariant closed subsets of \(\varSigma ^{\mathbb {Z}^d}\), with \(\varSigma \) a finite alphabet. Minimal subshifts are subshifts in which all points contain the same patterns. It has been proved by Jeandel and Vanier that the Turing degree spectra of non-periodic minimal subshifts always contain the cone of Turing degrees above any of its degrees. It was however not known whether each minimal subshift’s spectrum was formed of exactly one cone or not. We construct inductively a minimal subshift whose spectrum consists of an uncountable number of cones with incomparable bases.

Keywords

Turing Machine Finite Type Computable Point Finite Alphabet Turing Degree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [AS13]
    Aubrun, N., Sablik, M.: Simulation of effective subshifts by two-dimensional subshifts of finite type. Acta Applicandae Mathematicae 126(1), 35–63 (2013). ISSN: 1572–9036. 1007, doi: 10.1007/s10440-013-9808-5, http://dx.doi.org/10.1007/s10440-013-9808-5
  2. [Bir12]
    Birkhoff, M.-G.D.: Quelques théorèmes sur le mouvement des systèmes dynamiques. Bulletin de la SMF 40, 305–323 (1912)Google Scholar
  3. [BJ10]
    Ballier, A., Jeandel, E.: Computing (or not) quasi-periodicity functions of tilings. In: Second Symposium on Cellular Automata (JAC) (2010)Google Scholar
  4. [CDK08]
    Cenzer, D., Dashti, A., King, J.L.F.: Computable symbolic dynamics. Math. Logic Q. 54(5), 460–469 (2008). doi: 10.1002/malq.200710066 MathSciNetCrossRefzbMATHGoogle Scholar
  5. [CDTW10]
    Cenzer, D., Dashti, A., Toska, F., Wyman, S.: Computability of countable subshifts. In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol. 6158, pp. 88–97. Springer, Heidelberg (2010). doi: 10.1007/978-3-642-13962-8_10 CrossRefGoogle Scholar
  6. [CDTW12]
    Cenzer, D., Dashti, A., Toska, F., Wyman, S.: Computability of countable subshifts in one dimension. Theory Comput. Syst. 51, 352–371 (2012). doi: 10.1007/s00224-011-9358-z
  7. [DRS10]
    Durand, B., Romashchenko, A., Shen, A.: Effective closed subshifts in 1D can be implemented in 2D. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 208–226. Springer, Heidelberg (2010). doi: 10.1007/978-3-642-15025-8_12 CrossRefGoogle Scholar
  8. [FS12]
    Fernique, T., Sablik, M.: Local rules for computable planar tilings. In: Formenti, E. (ed.) Proceedings 18th International Workshop on Cellular Automata and Discrete Complex Systems and 3rd International Symposium Journées Automates Cellulaires (AUTOMATA & JAC 2012), La Marana, Corsica, 19–21 September 2012, vol. 90, EPTCS, pp. 133–141. doi: 10.4204/EPTCS.90.11, http://dx.doi.org/10.4204/EPTCS.90.11
  9. [Han74]
    Hanf, W.: Non recursive tilings of the plane I. J. Symb. Logic 39(2), 283–285 (1974)MathSciNetCrossRefzbMATHGoogle Scholar
  10. [HM10]
    Hochman, M., Meyerovitch, T.: A characterization of the entropies of multidimensional shifts of finite type. Ann. Math. 171(3), 2011–2038 (2010). doi: 10.4007/annals.2010.171.2011 MathSciNetCrossRefzbMATHGoogle Scholar
  11. [Hoc09]
    Hochman, M.: On the dynamics, recursive properties of multidimensional symbolic systems. Inventiones Mathematicae 176, 131 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  12. [JV10]
    Jeandel, E., Vanier, P.: Slopes of tilings. In: Kari, J. (ed.) JAC, pp. 145–155. Turku Center for Computer Science (2010). ISBN: 978-952-12-2503-1Google Scholar
  13. [JV13]
    Jeandel, E., Vanier, P.: Turing degrees of multidimensional SFTs. In: Theoretical Computer Science 505.0. Theory and Applications of Models of Computation 2011, pp. 81–92 (2013). ISBN: 0304-3975. http://dx.doi.org/10.1016/j.tcs.2012.08.027, http://www.sciencedirect.com/science/article/pii/S0304397512008031
  14. [KL10]
    Kent, T., Lewis, A.E.M.: On the degree spectrum of a \({\varPi }^{0}_{1}\) class. Trans. Am. Math. Soc. 362, 5283–5319 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  15. [LM95]
    Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, New York (1995)CrossRefzbMATHGoogle Scholar
  16. [MH40]
    Morse, H.M., Hedlund, G.A.: Symbolic dynamics II. Sturmian trajectories. Am. J. Math. 62(1), 1–42 (1940)MathSciNetCrossRefzbMATHGoogle Scholar
  17. [Mil12]
    Miller, J.S.: Two notes on subshifts. Proc. Am. Math. Soc. 140(5), 1617–1622 (2012). doi: 10.1090/S0002-9939-2011-11000-1 MathSciNetCrossRefzbMATHGoogle Scholar
  18. [Mye74]
    Myers, D.: Non recursive tilings of the plane II. J. Symbol. Logic 39(2), 286–294 (1974)MathSciNetCrossRefzbMATHGoogle Scholar
  19. [Rog87]
    Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge (1987)zbMATHGoogle Scholar
  20. [Sim11]
    Simpson, S.G.: Medvedev degrees of 2-dimensional subshifts of finite type. In: Ergodic Theory and Dynamical Systems (2011)Google Scholar
  21. [SS16]
    Sablik, M., Schraudner, M.: Algorithmic complexity for the realization of an effective subshift by a sofic. In: Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y., Sangiorgi, D. (eds.) 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol. 55, pp. 110:1–110:14. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2016). ISBN: 978-3-95977-013-2, http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.110, http://drops.dagstuhl.de/opus/volltexte/2016/6245
  22. [Wil90]
    Williams, S.: Notes on renewal systems. Proc. Am. Math. Soc. 110(3), 851–853 (1990)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Einstein Institute of MathematicsHebrew University of JerusalemJerusalemIsrael
  2. 2.Laboratoire d’Algorithmique, Complexité et Logique, Université de Paris-Est, LACL, UPECCréteilFrance

Personalised recommendations