I recently uploaded a paper solving the dimension spectrum conjecture. I wanted to write a post explaining some of the intuition behind the proof.
The theme of the conjecture is to better understand the randomness of points on a line. Let (a, b) be a slope-intercept pair. The dimension spectrum of a line (a,b) is set of all effective dimensions of points on that line, i.e.,
.
In the early 2000s, Jack Lutz conjectured that the dimension spectrum of any line in the plane contains a unit interval.
Remark: This is the best one could hope for, in general. There are lines whose dimension spectrum is exactly an interval of length one. This is the case, for example, whenever (a, b) is ML-random (when considered as a point in ).
In my paper, I showed that Lutz’s conjecture is true. I proved that, for any line (a, b),
,
where . Specifically, I proved that, for any line (a, b) and any real s in [0, 1], there is a point x such that
and
where .
My proof makes essential use of the framework Neil Lutz and I developed (described in my previous post). I will assume familiarity with these ideas, and describe the new ideas needed for the dimension spectrum conjecture.
Key difficulty
We have a general method for proving lower bounds on the dimension of a point on a line. Unfortunately, this method only works when the dimension of x is at least as large as the dimension of (a, b). To see where this breaks down for points of low dimension, recall our intersection bound
,
for any line (u, v) intersecting (x, ax + b), where
.
As previously described, if we consider only lines (u, v) of complexity at most dr, the intersection bound tells us that
,
where d is the dimension of (a, b). Let s be the dimension of x, relative to (a, b). When s is greater than d, we saw that intersection bound gives us a contradiction unless r – t is very small. However, when s is less than d, the intersection bound tells us essentially nothing:
,
which is just true.
Constructing the point (for lines of low dimension)
In this section, I will describe how to construct a point of low complexity which overcomes the obstacle described in the previous section. Fix a line (a, b) of effective dimension d. For now, we will assume that d < 1. For simplicity, I will describe how to define x up to a fixed precision r. Let r be a precision such that
.
Note that infinitely many such precisions r exist. Our goal is to define the first r bits of x such that
and
.
The key idea needed to overcome the obstacle of the previous section is to encode information of the line into our point. Specifically, we define x = yz, the concatenation of strings where
- y is a string of length sr which is random relative to (a, b), and
- z is the string consisting of the first r – sr bits of the binary representation of the slope a.
It is not difficult to see that the complexity of x relative to (a, b) is sr. In fact, since the first sr bits of x are random relative to (a, b), for any t < sr,
To see why this is useful, consider any line (u, v) of complexity at most dr which intersects (x, ax + b). Our intersection bound implies that
Note that when (u, v) is close to (a, b), i.e., when
,
we have r – t < sr. In this case, x is random at precision r – t, and so the intersection bound implies that
Note that this is false unless r – t is o(r). In other words, when (u, v) is close to (a, b) we are essentially in the high complexity case we know how to deal with.
Thus, to complete the proof that
it suffices to show that we only have to consider candidate lines within of (a, b). To see why this is true, notice that, given (x, ax + b) we know
- The first r bits of x, and thus the first r – sr bits of a.
- The first r bits of ax + b, which combined with the first r – sr bits of x and the first r – sr bits of a, gives the first r – sr bits of b.
Thus, we can compute the first r – sr bits of (a, b), and we can restrict our search to lines (u, v) within of (a, b). This shows that, given (x, ax + b) and sublinear number of extra bits, we can compute (x, a, b), i.e.,
It is easy to see that the RHS is (d + s)r – o(r). Moreover, since
we have the equality we needed.
Remark: For the full proof, we need to construct a point x (an infinite binary sequence), not just a finite string. To do this, we take a sufficiently fast growing sequence of precisions
such that the complexity of (a, b) at precision each precision is
We do the same procedure described above at each such precision. Of course, we need to prove the lower bound
,
for every precision r, not just at the precisions of our chosen sequence. This takes a bit of work, but follows essentially from the techniques described in the previous post.
Lines of high dimension
The previous section described the proof for lines of low dimension. While the key idea of encoding the information of the line into the point is still useful, there is further obstacle in this case. Informally, the problem is that, when dim(a, b) > 1, we don’t get the upper bound
for free. Thus, if we followed the same proof as the previous section, we would prove that
,
but not the equality needed to establish our theorem. I won’t go into the full details of the proof for this case, but the general idea is to use a non-constructive argument.
Let (a, b) be a line with dimension d > 1. Let r be a precision such that the complexity of (a, b) is minimized, i.e.,
.
Let y be a string of length sr which is random relative to (a, b). When we take x to be y concatenated with the string of r – sr zeros, we have the upper bound we want:
When we take x to be the string y concatenated with the string of the first r – sr bits of a, we have the lower bound we want:
Since the Kolmogorov complexity function is “continuous” we can use (an approximate, discrete version of) the MVT to show that there is some x which contains a subset of the information of a which satisfies the equality we need.