Realizing semicomputable simplices by computable dynamical systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2022

Realizing semicomputable simplices by computable dynamical systems

Résumé

We study the computability of the set of invariant measures of a computable dynamical system. It is known to be semicomputable but not computable in general, and we investigate which semicomputable simplices can be realized in this way. We prove that every semicomputable finite-dimensional simplex can be realized, and that every semicomputable finite-dimensional convex set is the projection of the set of invariant measures of a computable dynamical system. In particular, there exists a computable system having exactly two ergodic measures, none of which is computable. Moreover, all the dynamical systems that we build are minimal Cantor systems.
Fichier principal
Vignette du fichier
article.pdf (341.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03339422 , version 1 (09-09-2021)

Licence

Paternité

Identifiants

Citer

Daniel Coronel, Alexander Frank, Mathieu Hoyrup, Cristóbal Rojas. Realizing semicomputable simplices by computable dynamical systems. Theoretical Computer Science, 2022, 933, pp.43-54. ⟨10.1016/j.tcs.2022.09.001⟩. ⟨hal-03339422⟩
77 Consultations
86 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More