Interpolating between Hausdorff and packing dimensions

Abstract

We construct a family of metric outer measures whose critical exponents form a packing spectrum interpolating between Hausdorff and packing dimensions. The spectrum is countably stable, bi-Lipschitz invariant, and locally Lipschitz continuous in the parameter below the packing endpoint, where a jump may occur. For nonempty compact sets, we prove a variational formula in terms of windowed local mass exponents of probability measures. We establish product inequalities pairing the packing spectrum with upper intermediate dimensions and obtain a converse characterization by products with compact sets. We characterize all attainable profiles by monotonicity, continuity below the packing endpoint, and a sharp inequality for the upper right Dini derivative. Every admissible profile is realized by a compact binary digit set whose uniform digit measure attains the variational supremum at every parameter below the packing endpoint and whose complementary digit set attains the product supremum at every parameter.