6 citations · 22 across the 17 of their papers we have counts for
5 papers · 1 filter
Computable Ergodic Optimisation
Léopoldine Gayral, Mathieu Hoyrup
Links between physicals systems and computability properties have been an active field of investigation in recent years. Inspired by a previous work in the context of positive temp…
Dynamical systems, simulation, abstract computation
Stefano Galatolo, Mathieu Hoyrup, Cristóbal Rojas
We survey an area of recent development, relating dynamics to theoretical computer science. We discuss the theoretical limits of simulation and computation of interesting quantitie…
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
Laurent Bienvenu, Adam Day, Mathieu Hoyrup +2
A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A. We first prov…
Dynamics and abstract computability: computing invariant measures
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions…
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
We consider the dynamical behavior of Martin-Löf random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computa…