On Resource-bounded versions of the van Lambalgen theorem

April 04, 2017 ยท The Ethereal ยท ๐Ÿ› Theory and Applications of Models of Computation

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla arXiv ID 1704.01101 Category cs.CC: Computational Complexity Cross-listed cs.IT Citations 3 Venue Theory and Applications of Models of Computation Last Checked 6 months ago
Abstract
The van Lambalgen theorem is a surprising result in algorithmic information theory concerning the symmetry of relative randomness. It establishes that for any pair of infinite sequences $A$ and $B$, $B$ is Martin-Lรถf random and $A$ is Martin-Lรถf random relative to $B$ if and only if the interleaved sequence $A \uplus B$ is Martin-Lรถf random. This implies that $A$ is relative random to $B$ if and only if $B$ is random relative to $A$ \cite{vanLambalgen}, \cite{Nies09}, \cite{HirschfeldtBook}. This paper studies the validity of this phenomenon for different notions of time-bounded relative randomness. We prove the classical van Lambalgen theorem using martingales and Kolmogorov compressibility. We establish the failure of relative randomness in these settings, for both time-bounded martingales and time-bounded Kolmogorov complexity. We adapt our classical proofs when applicable to the time-bounded setting, and construct counterexamples when they fail. The mode of failure of the theorem may depend on the notion of time-bounded randomness.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Computational Complexity