MURAL - Maynooth University Research Archive Library



    Polylog depth, highness and lowness for E


    Moser, Philippe (2020) Polylog depth, highness and lowness for E. Information and Computation, 271. p. 104483. ISSN 0890-5401

    Abstract

    We study the relations between the notions of highness, lowness and logical depth in the setting of complexity theory. We introduce a new notion of polylog depth based on time bounded Kolmogorov complexity. We show polylog depth satisfies all basic logical depth properties, namely sets in P are not polylog deep, sets with (time bounded)-Kolmogorov complexity greater than polylog are not polylog deep, and only polylog deep sets can polynomially Turing compute a polylog deep set. We prove that if NP does not have p-measure zero, then NP contains polylog deep sets. We show that every high set for E contains a polylog deep set in its polynomial Turing degree, and that there exist Low(E, EXP) polylog deep sets.
    Item Type: Article
    Keywords: algorithmic information theory; Kolmogorov complexity; Bennett logical depth;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 20864
    Identification Number: 10.1016/j.ic.2019.104483
    Depositing User: IR Editor
    Date Deposited: 25 Nov 2025 16:44
    Journal or Publication Title: Information and Computation
    Publisher: Elsevier
    Refereed: Yes
    Related URLs:
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Downloads

    Downloads per month over past year

    Origin of downloads

    Altmetric Badge

    Repository Staff Only (login required)

    Item control page
    Item control page