A Central Limit Theorem for Martin-Löf Random Numbers

03/31/2020
by   Anton Vuerinckx, et al.
0

We prove a Central Limit Theorem (CLT) for Martin-Löf Random (MLR) sequences. Martin-Löf randomness attempts to capture what it means for a sequence of bits to be "truly random". By contrast, CLTs do not make assertions about the behavior of a single random sequence, but only on the distributional behavior of a sequence of random variables. Semantically, we usually interpret CLTs as assertions about the collective behavior of infinitely many sequences. Yet, our intuition is that if a sequence of bits is "truly random", then it should provide a "source of randomness" for which CLT-type results should hold. We tackle this difficulty by using a sampling scheme that generates an infinite number of samples from a single binary sequence. We show that when we apply this scheme to a Martin-Löf random sequence, the empirical moments and cumulative density functions (CDF) of these samples tend to their corresponding counterparts for the normal distribution.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/03/2020

A counterexample to the central limit theorem for pairwise independent random variables having a common arbitrary margin

The Central Limit Theorem (CLT) is one of the most fundamental results i...
research
09/20/2009

Random scattering of bits by prediction

We investigate a population of binary mistake sequences that result from...
research
01/03/2023

On a probabilistic extension of the Oldenburger-Kolakoski sequence

The Oldenburger-Kolakoski sequence is the only infinite sequence over th...
research
01/21/2023

A central limit theorem for a sequence of conditionally centered and α-mixing random fields

A central limit theorem is established for a sum of random variables bel...
research
12/23/2020

Strong laws of large numbers for Fréchet means

For 1 ≤ p < ∞, the Fréchet p-mean of a probability distribution μ on a m...
research
01/07/2021

A generalization of the Von Neumann extractor

An iterative randomness extraction algorithm which generalized the Von N...

Please sign up or login with your details

Forgot password? Click here to reset