Asymptotic local uniformity of the quantization error for Ahlfors-David probability measures

Abstract

Let $μ$ be an Ahlfors-David probability measure on $\mathbb{R}^q$, namely, there exist some constants $s_0>0$ and $ε_0,C_1,C_2>0$ such that \[ C_1ε^{s_0}\leqμ(B(x,ε))\leq C_2ε^{s_0},\;ε\in(0,ε_0),\;x\in{\rm supp}(μ). \] For $n\geq 1$, let $α_n$ be an $n$-optimal set for $μ$ of order $r$ and $(P_a(α_n))_{a\inα_n}$ an arbitrary Voronoi partition with respect to $α_n$. The $n$th quantization error $e_{n,r}(μ)$ for $μ$ of order $r$ is given by $e^r_{n,r}(μ):=\int d(x,α_n)^rdμ(x)$. Write \[ I_a(α,μ):=\int_{P_a(α_n)}d(x,α_n)^rdμ(x),\;a\inα_n. \] We prove that, $\underline{J}(α_n,μ):=\min_{a\inα_n}I_a(α,μ)$, $\overline{J}(α_n,μ):=\max_{a\inα_n}I_a(α,μ)$ and the error difference $e^r_{n,r}(μ)-e^r_{n+1,r}(μ)$ are of the same order as $\frac{1}{n}e^r_{n,r}(μ)$. This, together with Graf and Luschgy's work, yields that all the above three quantities are of the same order as $n^{-(1+\frac{r}{s_0})}$.