On the intermediate values of the lower quantization dimension (Q6569602)

The author considers the following intermediate value problem for the upper or lower quantization dimension: is it true that for any nonnegative \(a\) not exceeding the (lower or upper) box dimension of a compact set \(X\), there exists a probability measure \(\mu_a\) on \(X\) with support \(\mathrm{supp}(\mu_a) = X\) such that \(a\) equals the respective (upper or lower) quantization dimension?\N\NThis problem was solved in the affirmative for the upper quantization dimension by the author in his earlier paper [Sib. Math. J. 63, No. 5, 903--908 (2022; Zbl 1515.60028)]. In this paper, the author gives a partial solution to the intermediate value problem for the lower quantization dimension.\N\NThe author defines \(\underline{\dim}_B(A, X) = \inf \{\underline{\dim}_B B(A, \delta): \delta>0\}\), where \(\underline{\dim}_B X\) denotes the lower box dimension of \(X\), and then defines \(\mathrm{z}\underline{\dim}_B X = \sup \{\underline{\dim}_B (A, X):\, A = \overline{A} \subset X, \dim A = 0\}\), where \(B(A, \delta)\) is the \(\delta\)-neighborhood of \(A\). It is noted that \(\mathrm{z}\underline{\dim}_B X = \underline{\dim}_B X\) holds if the set of limit points of \(X\) has the box dimension \(0\). The lower quantization dimension of a probability measure \(\mu\) is defined as \(\displaystyle \underline{D}(\mu) = \underset{\varepsilon\to 0}{\underline{\lim}} \frac{\log N(\mu, \varepsilon)}{-\log \varepsilon}\), where \(N(\mu, \varepsilon)\) is the least number of points in the support of an \(\varepsilon\)-approximation to the measure \(\mu\). The main theorem states: For a compact metric space \(X\), for any \(a \in [0, \mathrm{z}\underline{\dim}_B X)\), there exists a Borel probability measure \(\mu_a\) on \(X\) such that \(\underline{D}(\mu_a) = a\) and \(\mathrm{supp}(\mu_a) = X\).