Sub-computable Boundedness Randomness

Sub-computable Boundedness Randomness

This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versions of randomness for primitive recursive functions and for PSPACE functions. These new notions are robust in that there are equivalent formulations in terms of (1) Martin-Löf tests, (2) Kolmogorov complexity, and (3)...

Lowness for Computable and Partial Computable Randomness

Ambos-Spies and Kucera [1, Problem 4.8] asked whether there is a non-computable set which is low for the computably random sets. We show that no such set exists. The same result holds for partial computable randomness. Each tally language that is low for polynomial randomness is on a polynomial time tree of bounded width. This research was done in 2003 but has not been published so far.

Randomness for Non-computable Measures

Different approaches have been taken to defining randomness for non-computable probability measures. We will explain the approach of Reimann and Slaman, along with the uniform test approach first introduced by Levin and also used by Gács, Hoyrup and Rojas. We will show that these approaches are fundamentally equivalent. Having clarified what it means to be random for a non-computable probabilit...

Fairness, Computable Fairness, and Randomness

Computable Randomness is Inherently Imprecise

We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define a notion of computable randomness associated with interval, rather than precise, forecasting systems, and study its properties. The richer mathematical structure that thus arises lets us better understand and place existing results for the prec...