Skip to main content Accessibility help
×
Home

Schnorr dimension

  • RODNEY DOWNEY (a1), WOLFGANG MERKLE (a2) and JAN REIMANN (a2)

Abstract

Following Lutz's approach to effective (constructive) dimension, we define a notion of dimension for individual sequences based on Schnorr's concept(s) of randomness. In contrast to computable randomness and Schnorr randomness, the dimension concepts defined via computable martingales and Schnorr tests coincide, that is, the Schnorr Hausdorff dimension of a sequence always equals its computable Hausdorff dimension. Furthermore, we give a machine characterisation of the Schnorr dimension, based on prefix-free machines whose domain has computable measure. Finally, we show that there exist computably enumerable sets that are Schnorr (computably) irregular: while every c.e. set has Schnorr Hausdorff dimension 0, there are c.e. sets of computable packing dimension 1, which is, from Barzdiņš' Theorem, an impossible property for the case of effective (constructive) dimension. In fact, we prove that every hyperimmune Turing degree contains a set of computable packing dimension 1.

Copyright

Related content

Powered by UNSILO

Schnorr dimension

  • RODNEY DOWNEY (a1), WOLFGANG MERKLE (a2) and JAN REIMANN (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.