English

Turing degrees of multidimensional SFTs

Computational Complexity 2012-06-04 v3 Discrete Mathematics

Abstract

In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset PP of {0,1}\NN\{0,1\}^\NN there is a SFT XX such that P×\ZZ2P\times\ZZ^2 is recursively homeomorphic to XUX\setminus U where UU is a computable set of points. As a consequence, if PP contains a recursive member, PP and XX have the exact same set of Turing degrees. On the other hand, we prove that if XX contains only non-recursive members, some of its members always have different but comparable degrees. This gives a fairly complete study of Turing degrees of SFTs.

Keywords

Cite

@article{arxiv.1108.1012,
  title  = {Turing degrees of multidimensional SFTs},
  author = {Emmanuel Jeandel and Pascal Vanier},
  journal= {arXiv preprint arXiv:1108.1012},
  year   = {2012}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1102.1189

R2 v1 2026-06-21T18:46:22.757Z