Computable thermodynamic formalism
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 nonuniformly 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 semicontinuous. As a concrete application, we establish the computability of the equilibrium states for Misiurewicz-Thurston rational maps with Hölder 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 semicontinuity.