An intermediate-value theorem for the upper quantization dimension (Q947574)

Let \(\mathcal M\) be the set of Borel probability measures on \(\mathbb{R}^d\) with compact support. For \(\mu \in \mathcal{M}\), the author investigates the dimension set \(\{\overline{D}_r(\nu): \nu \in \mathcal{M}, \nu \ll \mu\}\) where \(\overline{D}_r\) is the upper quantization dimension of order \(r\). It is proved that the supremum of this set is attained and equals the upper box-counting dimension of \(\mu\) and that the dimension set contains all values between the upper packing dimension of \(\mu\) and the upper box-counting dimension of \(\mu\). An example is given to show that the dimension set need not contain all values between the lower and upper packing dimensions of \(\mu\).