English

Algorithmically random functions and effective capacities

Logic 2015-03-24 v1

Abstract

We continue the investigation of algorithmically random functions and closed sets, and in particular the connection with the notion of capacity. We study notions of random continuous functions given in terms of a family of computable measures called symmetric Bernoulli measures. We isolate one particular class of random functions that we refer to as online random functions FF, where the value of y(n)y(n) for y=F(x)y = F(x) may be computed from the values of x(0),,x(n)x(0),\dots,x(n). We show that random online functions are neither onto nor one-to-one. We give a necessary condition on the members of the ranges of online random functions in terms of initial segment complexity and the associated computable capacity. Lastly, we introduce the notion of online \emph{partial} Martin-L\"of random function on 2ω2^\omega and give a family of online partial random functions the ranges of which are precisely the random closed sets introduced by Barmpalias, Brodhead, Cenzer, Dashti, and Weber.

Keywords

Cite

@article{arxiv.1503.06328,
  title  = {Algorithmically random functions and effective capacities},
  author = {Douglas Cenzer and Christopher P. Porter},
  journal= {arXiv preprint arXiv:1503.06328},
  year   = {2015}
}

Comments

TAMC 2015

R2 v1 2026-06-22T08:58:42.948Z