Martin-Löf randomness and Galton-Watson processes
arXiv:1408.2875 · doi:10.1016/j.apal.2011.06.010
Abstract
The members of Martin-Löf random closed sets under a distribution studied by Barmpalias et al. are exactly the infinite paths through Martin-Löf random Galton--Watson trees with survival parameter . To be such a member, a sufficient condition is to have effective Hausdorff dimension strictly greater than , and a necessary condition is to have effective Hausdorff dimension greater than or equal to .
Preliminary version: Members of random closed sets, Computability in Europe, Lecture Notes in Computer Science, vol. 5635, Springer, Berlin, 2009, pp. 144--153