Cookies?
Library Header Image
LSE Research Online LSE Library Services

Chaitin's halting probability and the compression of strings using oracles

Barmpalias, George and Lewis, Andrew E. M. (2011) Chaitin's halting probability and the compression of strings using oracles. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 467 (2134). pp. 2912-2926. ISSN 1364-5021

Full text not available from this repository.

Identification Number: 10.1098/rspa.2011.0031

Abstract

If a computer is given access to an oracle—the characteristic function of a set whose membership relation may or may not be algorithmically calculable—this may dramatically affect its ability to compress information and to determine structure in strings, which might otherwise appear random. This leads to the basic question, ‘given an oracle A, how many oracles can compress information at most as well as A?’ This question can be formalized using Kolmogorov complexity. We say that B≤LKA if there exists a constant c such that KA(σ)<KB(σ)+c for all strings σ, where KX denotes the prefix-free Kolmogorov complexity relative to oracle X. The formal counterpart to the previous question now is, ‘what is the cardinality of the set of ≤LK-predecessors of A?’ We completely determine the number of oracles that compress at most as well as any given oracle A, by answering a question of Miller (Notre Dame J. Formal Logic, 2010, 50, 381–391), which also appears in Nies (Computability and randomness. Oxford, UK: Oxford University Press, 2009. Problem 8.1.13); the class of ≤LK-predecessors of a set A is countable if and only if Chaitin's halting probability Ω is Martin-Löf random relative to A.

Item Type: Article
Official URL: http://rspa.royalsocietypublishing.org/
Additional Information: © 2011 The Royal Society
Subjects: Q Science > QA Mathematics
Sets: Departments > Mathematics
Date Deposited: 06 Aug 2013 11:49
Last Modified: 24 Feb 2016 09:43
URI: http://eprints.lse.ac.uk/id/eprint/51455

Actions (login required)

View Item View Item