| Publication type: |
 |
Conference proceedings |
|
| Subject: |
|
|
|
| Title: |
|
Solovay functions and K-triviality |
|
| Author(s): |
|
Laurent Bienvenu 1, Wolfgang Merkle 2, André Nies 3 |
|
| Laboratory: |
|
|
|
| Abstract: |
|
As part of his groundbreaking work on algorithmic randomness, Solovay demonstrated in the 1970s the remarkable fact that there are computable upper bounds of prefix-free Kolmogorov complexity $K$ that are tight on infinitely many values (up to an additive constant). Such computable upper bounds are called Solovay functions. Recent work of Bienvenu and Downey~[STACS 2009, LIPIcs 3, pp 147-158] indicates that Solovay functions are deeply connected with central concepts of algorithmic randomness such as $\Omega$ numbers, K-triviality, and Martin-L\"{o}f randomess. In what follows, among other results we answer two open problems posed by Bienvenu and Downey about the definition of $K$-triviality and about the Gács-Miller-Yu characterization of Martin-L\"{o}f randomess. The former defines a sequence~$A$ to be K-trivial if $K(A\uhr n) \lep K(n)$, the latter asserts that a sequence~$A$ is Martin-L\"{o}f random iff $C(A\uhr n) \gep n-K(n)$. So both involve the noncomputable function $K$. As our main results we show that in both cases $K(n)$ can be equivalently replaced by any Solovay function, and, what is more, that among all computable functions such a replacement is possible exactly for the Solovay functions. Moreover, similar statements hold for the larger class of all right-c.e.\ in place of the computable functions. These full characterizations, besides having significant theoretical interest on their own, will be useful as tools when working with K-trivial and Martin-L\"{o}f random sequences. |
|
| Fulltext language: |
|
English |
|
|
| Book title: |
|
Leibniz International Proceedings in Informatics (LIPIcs) series |
|
| Volume: |
|
9 |
|
| Page, identifiant, ...: |
|
452-463 |
|
|
| Conference or book title: |
|
Symposium on Theoretical Aspects of Computer Science (STACS2011) |
|
| Conference date: |
|
2011-03-10 |
|
| Conference date (end): |
|
2011-03-12 |
|
| City: |
|
Dortmund |
|
| Country: |
|
Germany |
|
|
| Keyword(s): |
|
Algorithmic randomness – Kolmogorov complexity – K-triviality |
|
|
Export this paper
