Fixed point theorems on partial randomness

In our former work [K. Tadaki, A statistical mechanical interpretation of algorithmic information theory, in: Local Proceedings of Computability in Europe 2008, CiE 2008, pp. 425–434, June 15–20, 2008, University of Athens, Greece. Extended Version Available at ], we developed a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities at temperature , such as free energy , energy , and statistical mechanical entropy , into the theory. These quantities are real functions of real argument . We then discovered that, in the interpretation, the temperature equals to the partial randomness of the values of all these thermodynamic quantities, where the notion of partial randomness is a stronger representation of the compression rate by program-size complexity. Furthermore, we showed that this situation holds for the temperature itself as a thermodynamic quantity. Namely, the computability of the value of partition function gives a sufficient condition for to be a fixed point on partial randomness. In this paper, we show that the computability of each of all the thermodynamic quantities above gives the sufficient condition also. Moreover, we show that the computability of gives completely different fixed points from the computability of .