Turing degrees of reals of positive effective packing dimension

被引:17
作者
Downey, Rod [1 ]
Greenberg, Noam [1 ]
机构
[1] Victoria Univ Wellington, Sch Math Stat & Comp Sci, Wellington, New Zealand
关键词
Theory of computation; Effective packing dimension; Array nonrecursive degrees;
D O I
10.1016/j.ipl.2008.05.028
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A relatively longstanding question in algorithmic randomness is jail Reimann's question whether there is a Turing cone of broken dimension. That is, is there a real A Such that {B: B <= T A} contains no 1-random real, yet contains elements of nonzero effective Hausdorff dimension? We show that the answer is affirmative if HaLlSdorff dimension is replaced by its inner analogue packing dimension. We construct a minimal degree of effective packing dimension 1. This leads us to examine the Turing degrees of reals with positive effective packing dimension. Unlike effective Hausdorff dimension, this is a notion of complexity which is shared by both random and sufficiently generic reals. We provide a characterization of the c.e. array noncomputable degrees in terms of effective packing dimension. (c) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码:298 / 303
页数:6
相关论文
共 30 条
[1]   Effective strong dimension in algorithmic information and computational complexity [J].
Athreya, Krishna B. ;
Hitchcock, John M. ;
Lutz, Jack H. ;
Mayordomo, Elvira .
SIAM JOURNAL ON COMPUTING, 2007, 37 (03) :671-705
[2]  
BARZDIN J, 1968, SOV MATH DOKL, V9, P1251
[3]  
BIENVENU L, 2007, LECT NOTES COMPUTER, V4497
[4]  
CONIDIS C, THESIS U CHICAGO
[5]  
DOTY D, 2006, LECT NOTES COMPUTER
[6]  
DOWNEY R, 1990, LECT NOTES MATH, V1432, P141
[7]  
DOWNEY R, ALGORITHMIC IN PRESS
[8]  
DOWNEY R, 2006, B SYMB LOG, V3, P411
[9]  
DOWNEY R, 1996, LONDON MATH SOC LECT, V224, P93
[10]  
FALCONER K, 1992, FRACTAL GEOMETRY MAT