An introduction to symbolic dynamics and coding
An introduction to symbolic dynamics and coding
Computable analysis: an introduction
Computable analysis: an introduction
A Guide to Monte Carlo Simulations in Statistical Physics
A Guide to Monte Carlo Simulations in Statistical Physics
Computing the Topological Entropy of Shifts
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |
The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for shift dynamical systems of finite type, 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 not computable without further information on the system.