Algorithmic Information Bounds for Distances and Orthogonal Projections

Abstract

We introduce a new technique for proving bounds on the Kolmogorov complexity of geometric objects in Euclidean space, such as points and lines. We apply this technique to prove two theorems on algorithmic information theory, both of which have consequences for well-known problems in geometric measure theory. First, we show that for any point $x$ in the plane and any other point $y$ sufficiently independent of $x$, the distance between $x$ and $y$ retains at least half the complexity of the original point $x$. By the point-to-set principle of J. Lutz and N. Lutz, this yields an improved lower bound on the Hausdorff dimension of pinned distance sets, a topic closely related to Falconer's distance set conjecture. Second, we prove an analogous result for orthogonal projections: for any point $x$ in the plane and any line through the origin which is sufficiently independent of $x$, the projection of $x$ onto that line retains at least half the complexity of $x$. As a consequence, we obtain a generalization of a theorem of Bourgain on exceptional sets for orthogonal projections.