Translator Disclaimer
June 2013 Shift-complex sequences
Mushfeq Khan
Bull. Symbolic Logic 19(2): 199-215 (June 2013). DOI: 10.2178/bsl.1902020


A Martin-Löf random sequence is an infinite binary sequence with the property that every initial segment $\sigma$ has prefix-free Kolmogorov complexity $K(\sigma)$ at least $|\sigma| - c$, for some constant $c \in \omega$. Informally, initial segments of Martin-Löf randoms are highly complex in the sense that they are not compressible by more than a constant number of bits. However, all Martin-Löf randoms necessarily have contiguous substrings of arbitrarily low complexity. If we demand that all substrings of a sequence be uniformly complex, then we arrive at the notion of shift-complex sequences. In this paper, we collect some of the existing results on these sequences and contribute two new ones. Rumyantsev showed that the measure of oracles that compute shift-complex sequences is zero. We strengthen this result by proving that the Martin-Löf random sequences that do not compute shift-complex sequences are exactly the incomplete ones, in other words, the ones that do not compute the halting problem. In order to do so, we make use of the characterization by Franklin and Ng of the class of incomplete Martin-Löf randoms via a notion of randomness called difference randomness. Turning to the power of shift-complex sequences as oracles, we show that there are shift-complex sequences that do not compute Martin-Löf random (or even Kurtz random) sequences.


Download Citation

Mushfeq Khan. "Shift-complex sequences." Bull. Symbolic Logic 19 (2) 199 - 215, June 2013.


Published: June 2013
First available in Project Euclid: 16 May 2013

zbMATH: 1285.03057
MathSciNet: MR3099746
Digital Object Identifier: 10.2178/bsl.1902020

Primary: 03D28, 03D32, 68Q30

Rights: Copyright © 2013 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.19 • No. 2 • June 2013
Back to Top