Realizing semicomputable simplices by computable dynamical systems

Simple item page
dc.catalogadoraba
dc.contributor.authorCoronel Soto, Álvaro Daniel
dc.contributor.authorFrank, Alexander
dc.contributor.authorHoyrup, Mathieu
dc.contributor.authorRojas González, Luis Cristóbal
dc.date.accessioned2023-08-29T19:27:14Z
dc.date.available2023-08-29T19:27:14Z
dc.date.issued2022
dc.description.abstractWe 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. (C) 2022 Elsevier B.V. All rights reserved.
dc.fechaingreso.objetodigital2023-08-29
dc.fuente.origenWOS
dc.identifier.doi10.1016/j.tcs.2022.09.001
dc.identifier.eissn1879-2294
dc.identifier.issn0304-3975
dc.identifier.urihttps://doi.org/10.1016/j.tcs.2022.09.001
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/74550
dc.identifier.wosidWOS:000934337300003
dc.information.autorucFacultad de Matemáticas; Coronel Soto, Álvaro Daniel; S/I; 1007840
dc.information.autorucInstituto de Ingeniería Matemática y Computacional; Rojas González, Luis Cristóbal; 0000-0002-9037-6102; 1182858
dc.language.isoen
dc.nota.accesoContenido parcial
dc.pagina.final54
dc.pagina.inicio43
dc.revistaTheoretical Computer Science
dc.rightsacceso restringido
dc.subjectComputable dynamical system
dc.subjectSemicomputable simplex
dc.subjectBratteli-Vershik system
dc.subjectComputable analysis
dc.subject.ddc510
dc.subject.deweyMatemática física y químicaes_ES
dc.titleRealizing semicomputable simplices by computable dynamical systems
dc.typeartículo
dc.volumen933
sipa.codpersvinculados1007840
sipa.codpersvinculados1182858
sipa.indexWOS
sipa.trazabilidadWOS;2023-07-06
sipa.trazabilidadORCID;2023-08-28
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Realizing semicomputable.pdf
Size:
371.35 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Artículos de revistas