Computable thermodynamic formalism

Abstract: We investigate the theory of thermodynamic formalism from the perspective of computable analysis, with a special focus on the computability of equilibrium states. Specifically, we develop two complementary general approaches to verify the computability of equilibrium states for non-uniformly expanding computable dynamical systems. The first approach applies to dynamical systems whose topological pressure functions admit effective approximations and whose measure-theoretic entropy functions are upper semi-continuous. As a concrete application, we establish the computability of the equilibrium states for Misiurewicz-Thurston rational maps with \holder continuous potentials. The second approach exploits prescribed Jacobians of equilibrium states through a local analysis and applies to settings where the measure-theoretic entropy functions may lack upper semi-continuity.