On a definition of random sequences with respect to conditional probability

  • Authors:
  • Hayato Takahashi

  • Affiliations:
  • Aihara complexity modelling project, ERATO, JST, The University of Tokyo, 4-6-1 Komaba, Meguro-ku, Tokyo 153-8505, Japan

  • Venue:
  • Information and Computation
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study a universal Martin-Lof test with respect to a computable probability on a product space. Then, we define random sequences with respect to a conditional probability by using a section of the set of random points of product space. We show that (1) our definition is consistent with Fubini's theorem, and (2) it is equivalent to the relative notion of randomness under a condition. This is an extension of Lambalgen's theorem (1987) to a correlated probability.