PP-2011-01: Chaitin's halting probability and the compression of strings using oracles

PP-2011-01: Barmpalias, George and Lewis, Andrew E.M. (2011) Chaitin's halting probability and the compression of strings using oracles. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2011-01.text.pdf

Download (256kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2011-01.abstract.txt

Download (1kB)

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 ≤_{LK} A if there exists a constant c such that K^A(σ) <
K^B(σ) + c for all strings σ, where K^X 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 [Mil10,
Section 5] which also appears in Nies [Nie09, 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: Report
Report Nr: PP-2011-01
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: Halting probability; Compression; Cardinality; Computability
Depositing User: gbarmpa1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/405

Actions (login required)

View Item View Item