1. Estimates of Kolmogorov complexity in approximating cantor sets
- Author
-
Jean-René Chazottes, Pierre Collet, Claudio Bonanno, Dipartimento di Matematica [Pisa], University of Pisa - Università di Pisa, Centre de Physique Théorique [Palaiseau] (CPHT), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), and Chazottes, Jean-René
- Subjects
Cantor's theorem ,[MATH.MATH-PR] Mathematics [math]/Probability [math.PR] ,[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS] ,[MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS] ,scaling function ,C^k Cantor sets ,Mathematics::General Topology ,General Physics and Astronomy ,iterated function system ,Combinatorics ,symbols.namesake ,[MATH.MATH-MG] Mathematics [math]/Metric Geometry [math.MG] ,random Cantor sets ,Naive set theory ,[MATH.MATH-MG]Mathematics [math]/Metric Geometry [math.MG] ,Mathematical Physics ,Mathematics ,Discrete mathematics ,Kolmogorov complexity ,Applied Mathematics ,Statistical and Nonlinear Physics ,Cantor function ,[MATH.MATH-PR]Mathematics [math]/Probability [math.PR] ,Cantor set ,box counting dimension ,Kolmogorov structure function ,Sierpinski carpet ,symbols ,Cantor's diagonal argument - Abstract
International audience; Our aim is to quantify how complex is a Cantor set as we approximate it better and better. We formalize this by asking what is the shortest program, running on a universal Turing machine, which produces this set at the precision ε in the sense of Hausdorff distance. This is the Kolmogorov complexity of the approximated Cantor set, that we call the "ε-distortion complexity". How does this quantity behave as ε tends to 0? And, moreover, how does this behaviour relates to other characteristics of the Cantor set? This is the subject of the present work: we estimate this quantity for several types of Cantor sets on the line generated by iterated function systems (IFS's) and exhibit very different behaviours. For instance, the ε-distortion complexity of a C^k Cantor set is proven to behave like ε^{−D/k}, where D is its box counting dimension.
- Published
- 2011