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 of there is a SFT such that is recursively homeomorphic to where is a computable set of points. As a consequence, if contains a recursive member, and have the exact same set of Turing degrees. On the other hand, we prove that if 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.
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