Turing degrees of multidimensional SFTs

Emmanuel Jeandel, Pascal Vanier

Research output: Contribution to journalArticlepeer-review

Abstract

In this paper, we are interested in computability aspects of subshifts and in particular Turing degrees of two-dimensional subshifts of finite type (SFTs) (i.e., tilings). To be more precise, we prove that, given any Π10 class P of {0,1}N, there is an SFT X such that P×Z2 is recursively homeomorphic to Xâ̂-U, where U is a computable set of points. As a consequence, if P contains a computable member, P and X have the exact same set of Turing degrees. On the other hand, we prove that, if X contains only non-computable members, some of its members always have different but comparable degrees. This gives a fairly complete study of Turing degrees of SFTs.

Original languageEnglish
Pages (from-to)81-92
Number of pages12
JournalTheoretical Computer Science
Volume505
DOIs
Publication statusPublished - 1 Jan 2013
Externally publishedYes

Keywords

  • Subshift of finite type
  • Tilings
  • Turing degree
  • Undecidability
  • Π 1 0 classes

Fingerprint

Dive into the research topics of 'Turing degrees of multidimensional SFTs'. Together they form a unique fingerprint.

Cite this