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 Impossibility of Dimension Reduction for Doubling Subsets of $\ell_p$, $p>2$

Random zero sets with local growth guarantees

A light metric spanner

Reconstructing almost all of a point set in $\mathbb{R}^d$ from randomly revealed pairwise distances

The curse of dimensionality for the $L_p$-discrepancy with finite $p$

Minimal doubling for small subsets in compact Lie groups

On integer distance sets

On the distance problem over finite p-adic rings

On Constant Factor Approximation for Earth Mover Distance over Doubling Metrics

Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

Pinned distances of planar sets with low dimension

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

The $L_p$-discrepancy for finite $p>1$ suffers from the curse of dimensionality

Optimal (Euclidean) Metric Compression

Square packings and rectifiable doubling measures

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

Diversity maximization in doubling metrics

On Almost-Equidistant Sets - II

Quantitative metric density and connectivity for sets of positive measure

Exponential odd-distance sets under the Manhattan metric

Embedding Probability Distributions into Low Dimensional $\ell_1$: Tree Ising Models via Truncated Metrics