Shift spaces on groups : computability and dynamics

Résumé : Les sous-décalages sont des ensembles de coloriages d'un groupe définis en excluant certains motifs, et munis d'une action de décalage. Ces objets apparaissent naturellement comme discrétisations de systèmes dynamiques : à partir d'une partition de l'espace, on associe à chaque point de ce-dernier la suite des partitions visitées sous l'action du système.Plusieurs résultats récents ont mis en évidence la riche interaction entre la dynamique des sous-décalages et leur propriétés algorithmiques. Un exemple remarquable est la classification des entropies des sous-décalages multidimensionnels de type fini comme l'ensemble des nombres récursivement énumérables à droite. Cette thèse s'intéresse aux sous-décalages avec une approche double : d'un côté on s'intéresse à leurs propriétés dynamiques et de l'autre on les étudie comme des modèles de calcul.Cette thèse contient plusieurs résultats : une condition combinatoire suffisante prouvant qu'un sous-décalage dans un groupe dénombrable est non-vide, un théorème de simulation qui réalise une action effective d'un groupe de type fini comme un facteur d'une sous-action d'un sous-décalage de type fini, une caractérisation de l'effectivité à l'aide de machines de Turing généralisées et l'indécidabilité du problème de torsion pour deux groupes, qui sont invariants de systèmes dynamiques.Comme corollaires de nos résultats, nous obtenons d'abord une preuve courte de l'existence de sous-décalages fortement apériodiques sur tout groupe dénombrable. Puis, dans le cas d'un produit semi-direct de la grille bidimensionnelle avec un groupe de type fini avec problème du mot décidable, nous montrons que le sous-décalage obtenu est de type fini.
Type de document :
Thèse
Computation and Language [cs.CL]. Université de Lyon, 2017. English. < NNT : 2017LYSEN021 >
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01563302
Contributeur : Abes Star <>
Soumis le : lundi 17 juillet 2017 - 15:36:06
Dernière modification le : mardi 18 juillet 2017 - 01:13:20

Fichier

BARBIERI_LEMP_Sebastian_A_2017...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01563302, version 1

Collections

Citation

Sebastián Andrés Barbieri Lemp. Shift spaces on groups : computability and dynamics. Computation and Language [cs.CL]. Université de Lyon, 2017. English. < NNT : 2017LYSEN021 >. <tel-01563302>

Partager

Métriques

Consultations de
la notice

59

Téléchargements du document

3