Computability of topological pressure for sofic shifts with applications in statistical physics
The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological pressure is a computable function. This result is applied to a certain class of one dimensional spin systems in statistical physics. As a consequence, the specific free energy of these spin systems is computable. Finally, phase transitions of these systems are considered. It turns out that the critical temperature is recursively approximable.
topological pressure statistical physics shift dynamical systems type-2 computability