Increasing the Gap between Descriptional Complexity and Algorithmic Probability

The coding theorem is a fundamental result of algorithmic information theory. A well known theorem of G´acs shows that the analog of the coding theorem fails for continuous sample spaces. This means that descriptional monotonic complexity does not coincide within an additive constant with the negative logarithm of algorithmic probability. G´acs’s proof provided a lower bound on the difference between these values. He showed that for infinitely many finite binary strings, this difference was greater than a version of the inverse Ackermann function applied to string length. This paper establishes that this lower bound can be substantially improved. The inverse Ackermann function can be replaced with a function O(log(log(x))). This shows that in continuous sample spaces, descriptional monotonic complexity and algorithmic probability are very different. While this proof builds on the original work by G´acs, it does have a number of new features, in particular, the algorithm at th...

• Type: Conference
• Year: 2009
• Where: COCO
• Authors: Adam R. Day
• Keywords: COCO 2009, Continuous Sample Spaces, Descriptional Monotonic Complexity, Inverse Ackermann Function, Theoretical Computer Science