Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


Computability theory

On Hierarchies of Randomness Tests

Reimann Jan, Stephan Frank

Institute for Computer Science (University of Heidelberg) Departments of Mathematics and Computer Science (National University of Singapore)

It is well known that Martin-Loef randomness can be characterized by a number of equivalent test concepts, based either on effective nullsets (Martin-Loef and Solovay tests) or on prefix-free Kolmogorov complexity (lower and upper entropy). These equivalences are not preserved as regards the partial randomness notions induced by effective Hausdorff measures or partial incompressibility. Tadaki [2002] and Calude, Staiger and Terwijn [2004] studied several concepts of partial randomness, but for some of them the exact relations remained unclear. In this paper we will show that they form a proper hierarchy of randomness notions, namely for any measure function r with r(x) being the power of 2 raised to -|x|*s where s is a rational number properly between 0 and 1. In particular, the Martin-Loef r-tests are strictly weaker than Solovay r-tests which in turn are strictly weaker than strong Martin-Loef r-tests. These results also hold for a natural class of similar measure functions.


Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)