Abstract:We prove that for all integers $2\leq m\leq d-1$, there exists doubling measures on $\mathbb{R}^d$ with full support that are $m$-rectifiable and purely $(m-1)$-unrectifiable in the sense of Federer (i.e. without assuming $\mu\ll\mathcal{H}^m$). The corresponding result for 1-rectifiable measures is originally due to Garnett, Killip, and Schul (2010). Our construction of higher-dimensional Lipschitz images is informed by a simple observation about square packing in the plane: $N$ axis-parallel squares of side length $s$ pack inside of a square of side length $\lceil N^{1/2}\rceil s$. The approach is robust and when combined with standard metric geometry techniques allows for constructions in complete Ahlfors regular metric spaces. One consequence of the main theorem is that for each $m\in\{2,3,4\}$ and $s<m$, there exist doubling measures $\mu$ on the Heisenberg group $\mathbb{H}^1$ and Lipschitz maps $f:E\subset\mathbb{R}^m\rightarrow\mathbb{H}^1$ such that $\mu\ll\mathcal{H}^{s-\epsilon}$ for all $\epsilon>0$, $f(E)$ has Hausdorff dimension $s$, and $\mu(f(E))>0$. This is striking, because $\mathcal{H}^m(f(E))=0$ for every Lipschitz map $f:E\subset\mathbb{R}^m\rightarrow\mathbb{H}^1$ by a theorem of Ambrosio and Kirchheim (2000). Another application of the square packing construction is that every compact metric space $\mathbb{X}$ of Assouad dimension strictly less than $m$ is a Lipschitz image of a compact set $E\subset[0,1]^m$. Of independent interest, we record the existence of doubling measures on complete Ahlfors regular metric spaces with prescribed lower and upper Hausdorff and packing dimensions.

On the uniformity and size of microsets

On distance sets, box-counting and Ahlfors-regular sets

Nonempty interior of configuration sets via microlocal partition optimization

On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

On Almost-Equidistant Sets - II

Pinned distances of planar sets with low dimension

Square packings and rectifiable doubling measures

On the dimension of $αβ$-sets

On the number of sets with small sumset

On the coincidence of the Hausdorff and box dimensions for some affine-invariant sets

Dimensions of projected sets and measures on typical self-affine sets

Regularity of non-autonomous self-similar sets

On the dimension of iterated sumsets

Random zero sets with local growth guarantees

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

Effective results on the size and structure of sumsets

The Assouad dimension of Kakeya sets in $\mathbb{R}^3$

On volumes determined by subsets of Euclidean space

Ahlfors regularity of continua that minimize maxitive set functions

On almost-equidistant sets