Moser, Philippe (2020) Polylog depth, highness and lowness for E. Information and Computation, 271. p. 104483. ISSN 0890-5401
Preview
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (349kB) | Preview
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
Share and Export
Share and Export