Abstract
We formulate the conditional Kolmogorov complexity of x given y at precision r, where x and y are points in Euclidean spaces and r is a natural number. We demonstrate the utility of this notion in two ways;
(1) We prove a point-to-set principle that enables one to use the (relativized, constructive) dimension of a single point in a set E in a Euclidean space to establish a lower bound on the (classical) Hausdorff dimension of E. We then use this principle, together with conditional Kolmogorov complexity in Euclidean spaces, to give a new proof of the known, two-dimensional case of the Kakeya conjecture. This theorem of geometric measure theory, proved by Davies in 1971, says that every plane set containing a unit line segment in every direction has Hausdorff dimension 2.
(2)We use conditional Kolmogorov complexity in Euclidean spaces to develop the lower and upper conditional dimensions dim(x|y) and Dim(x|y) of x given y, where x and y are points in Euclidean spaces. Intuitively, these are the lower and upper asymptotic algorithmic information densities of x conditioned on the information in y. We prove that these conditional dimensions are robust and that they have the correct information-theoretic relationships with the well-studied dimensions dim(x) and Dim(x) and the mutual dimensions mdim(x : y) and Mdim(x : y).
- K. B. Athreya, J. M. Hitchcock, J. H. Lutz, and E. Mayordomo. 2007. Effective strong dimension in algorithmic information and computational complexity. SIAM J. Comput. 37, 3, 671--705. Google Scholar
Digital Library
- A. S. Besicovitch. 1919. Sur deux questions d’intégrabilité des fonctions. J. Soc. Phys. Math. l’Univ. Perm 2, 105--123.Google Scholar
- A. S. Besicovitch. 1928. On Kakeya’s problem and a similar one. Math. Zeitschr. 27, 312--320.Google Scholar
Cross Ref
- A. Case and J. H. Lutz. 2015a. Mutual dimension. ACM Trans. Comput. Theory 7, 3, 12. Google Scholar
Digital Library
- A. Case and J. H. Lutz. 2015b. Mutual dimension and random sequences. In Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 9235. Springer, 199--210.Google Scholar
- G. J. Chaitin. 1966. On the length of programs for computing finite binary sequences. J. ACM 13, 4, 547--569. Google Scholar
Digital Library
- G. J. Chaitin. 1969. On the length of programs for computing finite binary sequences: statistical considerations. J. ACM 16, 1, 145--159. Google Scholar
Digital Library
- T. R. Cover and J. A. Thomas. 2006. Elements of Information Theory (2nd ed.). Wiley. Google Scholar
Digital Library
- R. O. Davies. 1971. Some remarks on the Kakeya problem. Proc. Cambr. Phil. Soc. 69, 417--421.Google Scholar
Cross Ref
- R. Dougherty, J. H. Lutz, R. D. Mauldin, and J. Teutsch. 2014. Translating the Cantor set by a random real. Trans. Am. Math. Soc. 366, 3027--3041.Google Scholar
Cross Ref
- R. Downey and D. Hirschfeldt. 2010. Algorithmic Randomness and Complexity. Springer-Verlag. Google Scholar
Digital Library
- Z. Dvir. 2009. On the size of Kakeya sets in finite fields. J. Am. Math. Soc. 22, 1093--1097.Google Scholar
Cross Ref
- K. Falconer. 2014. Fractal Geometry: Mathematical Foundations and Applications (3rd ed.). Wiley.Google Scholar
- X. Gu, J. H. Lutz, and E. Mayordomo. 2006. Points on computable curves. In Proceedings of the IEEE Symposium on Foundations of Computer Science (FOCS’06). IEEE, Los Alamitos, CA, 469--474. Google Scholar
Digital Library
- X. Gu, J. H. Lutz, E. Mayordomo, and P. Moser. 2014. Dimension spectra of random subfractals of self-similar fractals. Ann. Pure Appl. Logic 165, 11, 1707--1726.Google Scholar
Cross Ref
- F. Hausdorff. 1919. Dimension und äusseres Mass. Math. Ann. 79, 157--179.Google Scholar
Cross Ref
- A. N. Kolmogorov. 1965. Three approaches to the quantitative definition of information. Probl. Inf. Transmiss. 1, 1, 1--7.Google Scholar
- L. A. Levin. 1973. On the notion of a random sequence. Sov. Math Dokl. 14, 5, 1413--1416.Google Scholar
- L. A. Levin. 1974. Laws of information conservation (nongrowth) and aspects of the foundation of probability theory. Probl. Pered. Inf. 10, 3, 30--35.Google Scholar
- M. Li and P. M. Vitányi. 2008. An Introduction to Kolmogorov Complexity and Its Applications (3rd ed.). Springer. Google Scholar
Digital Library
- J. H. Lutz. 2003a. Dimension in complexity classes. SIAM J. Comput. 32, 5, 1236--1259. Google Scholar
Digital Library
- J. H. Lutz. 2003b. The dimensions of individual strings and sequences. Inf. Comput. 187, 1, 49--79. Google Scholar
Digital Library
- J. H. Lutz and N. Lutz. 2015. Lines missing every random point. Computability 4, 2, 85--102.Google Scholar
Cross Ref
- J. H. Lutz and E. Mayordomo. 2008. Dimensions of points in self-similar fractals. SIAM J. Comput. 38, 3, 1080--1112. Google Scholar
Digital Library
- J. H. Lutz and K. Weihrauch. 2008. Connectivity properties of dimension level sets. Math. Logic Quart. 54, 483--491.Google Scholar
Cross Ref
- J. M. Marstrand. 1954. Some fundamental geometrical properties of plane sets of fractional dimensions. Proc. Lond. Math. Soc. 4, 3, 257--302.Google Scholar
Cross Ref
- P. Martin-Löf. 1966. The definition of random sequences. Inf. Contr. 9, 6, 602--619.Google Scholar
Cross Ref
- E. Mayordomo. 2002. A Kolmogorov complexity characterization of constructive Hausdorff dimension. Inf. Process. Lett. 84, 1, 1--3. Google Scholar
Digital Library
- A. Nies. 2009. Computability and Randomness. Oxford University Press, New York, NY. Google Scholar
Digital Library
- C. E. Shannon. 1948. A mathematical theory of communication. Bell Syst. Techn. J. 27, 3--4, 379--423, 623--656.Google Scholar
Cross Ref
- R. J. Solomonoff. 1964. A formal theory of inductive inference. Inf. Contr. 7, 1--2, 1--22, 224--254.Google Scholar
Cross Ref
- E. M. Stein and R. Shakarchi. 2005. Real Analysis: Measure Theory, Integration, and Hilbert Spaces. Princeton Lectures in Analysis. Princeton University Press, Princeton, NJ.Google Scholar
Cross Ref
- T. Tao. 2000. From rotating needles to stability of waves: emerging connections between combinatorics, analysis, and PDE. Not. Am. Math. Soc. 48, 294--303.Google Scholar
- A. M. Turing. 1937. On computable numbers, with an application to the Entscheidungsproblem. A correction. Proc. Lond. Math. Soc. 43, 2, 544--546.Google Scholar
- K. Weihrauch. 2000. Computable Analysis: An Introduction. Springer. Google Scholar
Cross Ref
- T. Wolff. 1996. Recent work connected with the Kakeya problem. In Prospects in Mathematics. American Mathematical Society, Princeton, NJ, 129--162.Google Scholar
Index Terms
Algorithmic Information, Plane Kakeya Sets, and Conditional Dimension
Recommendations
Fractal Intersections and Products via Algorithmic Dimension
Algorithmic fractal dimensions quantify the algorithmic information density of individual points and may be defined in terms of Kolmogorov complexity. This work uses these dimensions to bound the classical Hausdorff and packing dimensions of ...
Mutual Dimension
We define the lower and upper mutual dimensions mdim(x: y) and Mdim(x: y) between any two points x and y in Euclidean space. Intuitively, these are the lower and upper densities of the algorithmic information shared by x and y. We show that these ...
Effective Strong Dimension in Algorithmic Information and Computational Complexity
The two most important notions of fractal dimension are Hausdorff dimension, developed by Hausdorff [Math. Ann., 79 (1919), pp. 157-179], and packing dimension, developed independently by Tricot [Math. Proc. Cambridge Philos. Soc., 91 (1982), pp. 57-74] ...






Comments