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.

Banach-Mazur distances between parallelograms and other affinely regular even-gons

On certain extremal Banach-Mazur distances in small dimensions

On the Banach-Mazur Distance in Small Dimensions

On the Banach–Mazur Distance in Small Dimensions

An estimate of the centroid Banach-Mazur distance between planar convex bodies

Non-Euclidean Erdős-Anning Theorems

Relating Symmetrizations of Convex Bodies: Once More the Golden Ratio

From inequalities relating symmetrizations of convex bodies to the diameter-width ratio for complete and pseudo-complete convex sets

Sharp inequalities involving the Cheeger constant of planar convex sets

Fundamental groups and group presentations with bounded relator lengths

On arrangements of smooth plane quartics and their bitangents

Square packings and rectifiable doubling measures

Distinct distances for points lying on curves in $\mathbb{R}^d$ -- the bipartite case

The least Euclidean distortion constant of a distance-regular graph

Dowker-type theorems for disk-polygons in normed planes

Large dilates of hypercube graphs in the plane

On the Banach-Mazur Distance between the Cube and the Crosspolytope

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

On the (non-)existence of tight distance-regular graphs: a local approach

A Proof of a Conjecture of C.L. Siegel