๐ฎ
๐ฎ
The Ethereal
On Resource-bounded versions of the van Lambalgen theorem
April 04, 2017 ยท The Ethereal ยท ๐ Theory and Applications of Models of Computation
"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 Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Computational Complexity
๐ฎ
๐ฎ
The Ethereal
An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
๐ฎ
๐ฎ
The Ethereal
The Parallelism Tradeoff: Limitations of Log-Precision Transformers
๐ฎ
๐ฎ
The Ethereal
The Hardness of Approximation of Euclidean k-means
๐ฎ
๐ฎ
The Ethereal
Slightly Superexponential Parameterized Problems
๐ฎ
๐ฎ
The Ethereal