The interplay of classes of algorithmically random objects

TL;DR

This paper explores the relationships between different classes of algorithmically random objects such as closed sets, functions, and measures on the Cantor space, using preservation of randomness principles to answer open questions and establish new correspondences.

Contribution

It proves that random closed sets are exactly the zeros of random continuous functions, constructs a measure linking random closed sets and measures, and analyzes the measure of ranges of random functions.

Findings

Random closed sets are zeros of random continuous functions.

The collection of random continuous functions is not closed under composition.

The Lebesgue measure of the range of a random continuous function lies in (0,1).

Abstract

We study algorithmically random closed subsets of $2^\omega$, algorithmically random continuous functions from $2^\omega$ to $2^\omega$, and algorithmically random Borel probability measures on $2^\omega$, especially the interplay between these three classes of objects. Our main tools are preservation of randomness and its converse, the no randomness ex nihilo principle, which say together that given an almost-everywhere defined computable map between an effectively compact probability space and an effective Polish space, a real is Martin-L\"of random for the pushforward measure if and only if its preimage is random with respect to the measure on the domain. These tools allow us to prove new facts, some of which answer previously open questions, and reprove some known results more simply. Our main results are the following. First we answer an open question of Barmapalias, Brodhead, Cenzer, Remmel, and Weber by showing that $\mathcal{X}\subseteq2^\omega$ is a random closed set if and only if it is the set of zeros of a random continuous function on $2^\omega$. As a corollary we obtain the result that the collection of random continuous functions on $2^\omega$ is not closed under composition. Next, we construct a computable measure $Q$ on the space of measures on $2^\omega$ such that $\mathcal{X}\subseteq2^\omega$ is a random closed set if and only if $\mathcal{X}$ is the support of a $Q$-random measure. We also establish a correspondence between random closed sets and the random measures studied by Culver in previous work. Lastly, we study the ranges of random continuous functions, showing that the Lebesgue measure of the range of a random continuous function is always contained in $(0,1)$.