Realizing semicomputable simplices by computable dynamical systems
| dc.contributor.author | Coronel, Daniel | |
| dc.contributor.author | Frank, Alexander | |
| dc.contributor.author | Hoyrup, Mathieu | |
| dc.contributor.author | Rojas, Cristóbal | |
| dc.date.accessioned | 2023-06-27T15:28:25Z | |
| dc.date.available | 2023-06-27T15:28:25Z | |
| dc.date.issued | 2022-10-14 | |
| dc.description | Indexación: Scopus. | es |
| dc.description.abstract | 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. © 2022 Elsevier B.V. | es |
| dc.description.uri | https://www-sciencedirect-com.recursosbiblioteca.unab.cl/science/article/pii/S030439752200528X?via%3Dihub | |
| dc.identifier.citation | Theoretical Computer Science, Volume 933, Pages 43 - 54, 14 October 2022 | es |
| dc.identifier.doi | 10.1016/j.tcs.2022.09.001 | |
| dc.identifier.issn | 0304-3975 | |
| dc.identifier.uri | https://repositorio.unab.cl/xmlui/handle/ria/51084 | |
| dc.language.iso | en | es |
| dc.publisher | Elsevier B.V. | es |
| dc.rights.license | Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | Bratteli-Vershik system | es |
| dc.subject | Computable analysis | es |
| dc.subject | Computable dynamical system | es |
| dc.subject | Semicomputable simplex | es |
| dc.title | Realizing semicomputable simplices by computable dynamical systems | es |
| dc.type | Artículo | es |
Archivos
Bloque original
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- Coronel_Realizing_semicomputable_simplices_by_computable.pdf
- Tamaño:
- 371.35 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- TEXTO COMPLETO EN INGLES
Bloque de licencias
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- license.txt
- Tamaño:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: