
arXiv: 1108.1012
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 $P$ of $\{0,1\}^\NN$ there is a SFT $X$ such that $P\times\ZZ^2$ is recursively homeomorphic to $X\setminus U$ where $U$ is a computable set of points. As a consequence, if $P$ contains a recursive member, $P$ and $X$ have the exact same set of Turing degrees. On the other hand, we prove that if $X$ 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.
arXiv admin note: substantial text overlap with arXiv:1102.1189
FOS: Computer and information sciences, Turing degree, Discrete Mathematics (cs.DM), Other Turing degree structures, Symbolic dynamics, tilings, Computational Complexity (cs.CC), Tilings in \(2\) dimensions (aspects of discrete geometry), Computer Science - Computational Complexity, \(\Pi_1^0\) classes, undecidability, subshift of finite type, Computer Science - Discrete Mathematics
FOS: Computer and information sciences, Turing degree, Discrete Mathematics (cs.DM), Other Turing degree structures, Symbolic dynamics, tilings, Computational Complexity (cs.CC), Tilings in \(2\) dimensions (aspects of discrete geometry), Computer Science - Computational Complexity, \(\Pi_1^0\) classes, undecidability, subshift of finite type, Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 12 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
