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.

Freiman–Ruzsa-type Theory for Small Doubling Constant

Minimal doubling for small subsets in compact Lie groups

The doubles of one half of a numerical semigroup

Structure of Quantum Doubles of Finite Clifford Monoids

Doubling measures on Cantor sets and their extensions

Small doubling implies small tripling at large scales

A Structure Theorem on Intersections of General Doubling Measures and Its Applications

Algebraic Isomorphisms and Strongly Double Triangle Subspace Lattices

Fat and Thin Sets for Doubling Measures in Euclidean Space

The relevance of Freiman's theorem for combinatorial commutative algebra

Doubling Measures with Doubling Continuous Part

A complementary design theory for doubling

Two Examples on Atomic Doubling Measures

Square packings and rectifiable doubling measures

The Twisted Doubling Method in Algebraic Families

On finite sets of small tripling or small alternation in arbitrary groups

Measure doubling of small sets in $\mathrm{SO}(3,\mathbb{R})$

Small doublings in abelian groups of prime power torsion

Sumsets and entropy revisited

Doubling measures on uniform Cantor sets

A quantitative converse of Fekete's theorem