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 条
  • [21] Computability, Complexity and Randomness
    Downey, Rod
    THEORY OF COMPUTING SYSTEMS, 2013, 52 (01) : 1 - 1
  • [22] Algorithmic complexity and randomness
    Partovi, AH
    BAYESIAN INFERENCE AND MAXIMUM ENTROPY METHODS IN SCIENCE AND ENGINEERING, PT 2, 2001, 568 : 31 - 37
  • [23] COMBINATORICS, COMPLEXITY, AND RANDOMNESS
    KARP, RM
    COMMUNICATIONS OF THE ACM, 1986, 29 (02) : 98 - 109
  • [24] Complexity is not enough for randomness
    Guo, Shiyong
    Sasieta, Martin
    Swingle, Brian
    SCIPOST PHYSICS, 2024, 17 (06):
  • [25] Randomness on Computable Probability Spaces—A Dynamical Point of View
    Peter Gács
    Mathieu Hoyrup
    Cristóbal Rojas
    Theory of Computing Systems, 2011, 48 : 465 - 485
  • [26] Π10 Classes, Peano Arithmetic, Randomness, and Computable Domination
    Diannondstone, David E.
    Dzhafarov, Damir D.
    Soare, Robert I.
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (01) : 127 - 159
  • [27] Asymptotic density, computable traceability, and 1-randomness
    Andrews, Uri
    Cai, Mingzhong
    Diamondstone, David
    Jockusch, Carl
    Lempp, Steffen
    FUNDAMENTA MATHEMATICAE, 2016, 234 (01) : 41 - 54
  • [28] ON THE COMPLEXITY OF COMPUTABLE REAL SEQUENCES
    TORAN, J
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1987, 21 (02): : 175 - 180
  • [29] The Complexity of Decomposability of Computable Rings
    Wu, Huishan
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2023, 64 (01) : 1 - 14
  • [30] On the complexity of categoricity in computable structures
    White, WM
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (06) : 603 - 614