Computational Depth of Infinite Strings Revisited

Bennett introduced the notion of logical depth of an object as the amount of time required for an algorithm to derive the object from a shorter description. He also defined logical depth for infinite strings, in particular strongly and weakly deep sequences. Later Lutz, Juedes and Mayordomo have further studied and related these measures. Recently Antunes et al. noted that logical depth, as introduced by Bennett is connected to Kolmogorov and Levin’s notion of “randomness deficiency”. Based on this connection, we revisit the notion of computational depth for infinite strings, introducing the notion of super deep sequences and relate it with other approaches. Classification: Kolmogorov Complexity, Computational Depth.

[1]  Jack H. Lutz,et al.  Weakly useful sequences , 2005, Inf. Comput..

[2]  Bin Ma,et al.  The similarity metric , 2001, IEEE Transactions on Information Theory.

[3]  Charles H. Bennett Logical depth and physical complexity , 1988 .

[4]  Ming Li,et al.  An Introduction to Kolmogorov Complexity and Its Applications , 2019, Texts in Computer Science.

[5]  Jack H. Lutz,et al.  The dimensions of individual strings and sequences , 2002, Inf. Comput..

[6]  Jack H. Lutz,et al.  Computational Depth and Reducibility , 1993, Theor. Comput. Sci..

[7]  Rolf Herken,et al.  The Universal Turing Machine: A Half-Century Survey , 1992 .

[8]  Jack H. Lutz,et al.  Dimension in complexity classes , 2000, Proceedings 15th Annual IEEE Conference on Computational Complexity.

[9]  Leonid A. Levin,et al.  Randomness Conservation Inequalities; Information and Independence in Mathematical Theories , 1984, Inf. Control..

[10]  Elvira Mayordomo,et al.  A Kolmogorov complexity characterization of constructive Hausdorff dimension , 2002, Inf. Process. Lett..

[11]  Jack H. Lutz,et al.  Recursive Computational Depth , 1999, Inf. Comput..

[12]  L. A. Levin A CONCEPT OF INDEPENDENCE WITH APPLICATIONS IN VARIOUS FIELDS OF MATHEMATICS , 1980 .

[13]  Lance Fortnow,et al.  Computational depth: Concept and applications , 2006, Theor. Comput. Sci..

[14]  Lance Fortnow,et al.  Low-Depth Witnesses are Easy to Find , 2007, Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07).

[15]  Lance Fortnow,et al.  Time-Bounded Universal Distributions , 2005, Electron. Colloquium Comput. Complex..