HAL : hal-00613165, version 2

arXiv : 1108.1012

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Versions disponibles :

v1 (04-08-2011)

v2 (25-08-2011)

v3 (01-06-2012)

Turing degrees of multidimensional SFTs

Emmanuel Jeandel 1, Pascal Vanier 1

(03/08/2011)

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.

1 :	Laboratoire d'informatique Fondamentale de Marseille (LIF)
	CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I

Domaine

:

Informatique/Mathématique discrète

Mots Clés : Tilings – Subshift of Finite Type – Undecidability – \pizu classes – Turing degree

hal-00613165, version 2

http://hal.archives-ouvertes.fr/hal-00613165

oai:hal.archives-ouvertes.fr:hal-00613165

Contributeur : Pascal Vanier <>

Soumis le : Jeudi 25 Août 2011, 11:09:01

Dernière modification le : Jeudi 25 Août 2011, 11:37:52