Randomness for computable measures and initial segment complexity

被引:3
|
作者
Hoelzl, Rupert [1 ]
Porter, Christopher P. [2 ]
机构
[1] Univ Bundeswehr Munchen, Fac Comp Sci, Inst 1, Werner Heisenberg Weg 39, D-85577 Neubiberg, Germany
[2] Drake Univ, Dept Math & Comp Sci, Des Moines, IA 50311 USA
基金
美国国家科学基金会;
关键词
Computable measures; Random sequences; Complex sequences; Atomic measures; Trivial measures; Diminutive measures; EFFECTIVELY CLOSED-SETS;
D O I
10.1016/j.apal.2016.10.014
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We study the possible growth rates of the Kolmogorov complexity of initial segments of sequences that are random with respect to some computable measure on 2(omega) the so-called proper sequences. Our main results are as follows: (1) We show that the initial segment complexity of a proper sequence X is bounded from below by a computable function (that is, X is complex) if and only if X is random with respect to some computable, continuous measure. (2) We prove that a uniform version of the previous result fails to hold: there is a family of complex sequences that are random with respect to a single computable measure such that for every computable, continuous measure mu, some sequence in this family fails to be random with respect to mu. (3) We show that there are proper sequences with extremely slow-growing initial segment complexity, that is, there is a proper sequence the initial segment complexity of which is infinitely often below every computable function, and even a proper sequence the initial segment complexity of which is dominated by all computable functions. (4) We prove various facts about the Turing degrees of such sequences and show that they are useful in the study of certain classes of pathological measures on 2(omega), namely diminutive measures and trivial measures. (C) 2016 Elsevier B.V. All rights reserved.
引用
收藏
页码:860 / 886
页数:27
相关论文
共 50 条
  • [1] Randomness and initial segment complexity for measures
    Nies, Andre
    Stephan, Frank
    THEORETICAL COMPUTER SCIENCE, 2022, 900 : 1 - 19
  • [2] Randomness and Initial Segment Complexity for Probability Measures
    Nies, Andre
    Stephan, Frank
    37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020), 2020, 154
  • [3] On initial segment complexity and degrees of randomness
    Miller, Joseph S.
    Yu, Liang
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2008, 360 (06) : 3193 - 3210
  • [4] Effective Randomness for Computable Probability Measures
    Bienvenu, Laurent
    Merkle, Wolfgang
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 167 : 117 - 130
  • [5] RANDOMNESS FOR NON-COMPUTABLE MEASURES
    Day, Adam R.
    Miller, Joseph S.
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2013, 365 (07) : 3575 - 3591
  • [6] ALGORITHMIC RANDOMNESS AND MEASURES OF COMPLEXITY
    Barmpalias, George
    BULLETIN OF SYMBOLIC LOGIC, 2013, 19 (03) : 318 - 350
  • [7] Initial Segment Complexities of Randomness Notions
    Hoelzl, Rupert
    Kraeling, Thorsten
    Stephan, Frank
    Wu, Guohua
    THEORETICAL COMPUTER SCIENCE, 2010, 323 : 259 - +
  • [8] Initial segment complexities of randomness notions
    Hoelzl, Rupert
    Kraeling, Thorsten
    Stephan, Frank
    Wu, Guohua
    INFORMATION AND COMPUTATION, 2014, 234 : 57 - 67
  • [9] Single-scale measures for randomness and complexity
    Kinsner, W.
    PROCEEDINGS OF THE SIXTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, 2007, : 554 - +
  • [10] Computable randomness and betting for computable probability spaces
    Rute, Jason
    MATHEMATICAL LOGIC QUARTERLY, 2016, 62 (4-5) : 335 - 366