In this post I will describe how to use effective dimension to investigate how the fractal dimension of a set changes when projected onto a linear subspace. The first theorem investigating this behavior is the celebrated Marstrand projection theorem.
Theorem (Marstrand’s projection theorem): Let 
where
Filed under Uncategorized
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.,
![\text{sp}(L_{a,b}) = \{\text{dim}(x, ax + b) \, \vert \, x \in [0, 1]\}](https://s0.wp.com/latex.php?latex=%5Ctext%7Bsp%7D%28L_%7Ba%2Cb%7D%29+%3D+%5C%7B%5Ctext%7Bdim%7D%28x%2C+ax+%2B+b%29+%5C%2C+%5Cvert+%5C%2C+x+%5Cin+%5B0%2C+1%5D%5C%7D&bg=ffffff&fg=333333&s=0&c=20201002)
In the early 2000s, Jack Lutz conjectured that the dimension spectrum of any line in the plane contains a unit interval.
Continue readingFiled under Uncategorized
The purpose of this post is to describe the strategy Neil Lutz and I used to prove lower bounds on the effective dimension of points on a line in 
In this post I will focus on the effective dimension of points. However, one of primary motivations of this work is that lower bounds on effective dimension can be converted into lower bounds on the (classical) Hausdorff dimension of sets. For example, Neil and I used the lower bounds on the effective dimension of points on a line to give better bounds on certain classes of Furstenberg sets. In a future post I might describe how to convert effective theorems into classical theorems using the point-to-set principle of Jack and Neil Lutz.
Filed under Uncategorized
Welcome to my Math + CS blog! I plan on using this blog to talk about my research and to post lecture notes.
Quick test of Latex functionality:
Filed under Uncategorized
