English

Van Lambalgen's theorem fails for some computable measure

Logic 2016-03-15 v5

Abstract

Van Lambalgen's theorem states that a pair (α,β)(\alpha,\beta) of bitsequences is Martin-L\"of random if and only if α\alpha is Martin-L\"of random and β\beta is Martin-L\"of random relative to α\alpha. In [Information and Computation 209.2 (2011): 183-197, Theorem 3.3], Hayato Takahashi generalized van Lambalgen's theorem for computable measures PP on a product of two Cantor spaces; he showed that the equivalence holds for each β\beta for which the conditional probability P(β)P(\cdot | \beta) is computable. He asked whether this computability condition is necessary. We give a positive answer by providing a computable measure for which van Lambalgen's theorem fails. We also present a simple construction of a measure for which conditional measure is not computable. Such measures were first constructed by N. Ackerman, C. Freer and D. Roy in [Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 107-116. IEEE (2011)].

Keywords

Cite

@article{arxiv.1509.02884,
  title  = {Van Lambalgen's theorem fails for some computable measure},
  author = {Bruno Bauwens},
  journal= {arXiv preprint arXiv:1509.02884},
  year   = {2016}
}
R2 v1 2026-06-22T10:53:05.273Z