Computable thermodynamic formalism
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908716903694336 |
|---|---|
| author | Binder, Ilia He, Qiandu Li, Zhiqiang Shi, Xianghui |
| author_facet | Binder, Ilia He, Qiandu Li, Zhiqiang Shi, Xianghui |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_01259 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Computable thermodynamic formalism Binder, Ilia He, Qiandu Li, Zhiqiang Shi, Xianghui Dynamical Systems Complex Variables Logic Primary: 03D78, 37D35, Secondary: 37D25, 37F15 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. |
| title | Computable thermodynamic formalism |
| topic | Dynamical Systems Complex Variables Logic Primary: 03D78, 37D35, Secondary: 37D25, 37F15 |
| url | https://arxiv.org/abs/2512.01259 |