Asymptotic uniformity of the quantization error for Moran measures on $\mathbb{R}^1$

Abstract

Let $E$ be a Moran set on $\mathbb{R}^1$ associated with a closed interval $J$ and two sequences $(n_k)_{k=1}^\infty$ and $(\mathcal{C}_k=(c_{k,j})_{j=1}^{n_k})_{k\geq1}$. Let $μ$ be the infinite product measure (Moran measure) on $E$ associated with a sequence $(\mathcal{P}_k)_{k\geq1}$ of positive probability vectors with $\mathcal{P}_k=(p_{k,j})_{j=1}^{n_k},k\geq 1$. We assume that \[ \inf_{k\geq1}\min_{1\leq j\leq n_k}c_{k,j}>0,\;\inf_{k\geq1}\min_{1\leq j\leq n_k}p_{k,j}>0. \] For every $n\geq 1$, let $α_n$ be an $n$ optimal set in the quantization for $μ$ of order $r\in(0,\infty)$ and $\{P_a(α_n)\}_{a\inα_n}$ an arbitrary Voronoi partition with respect to $α_n$. For every $a\inα_n$, we write $I_a(α,μ):=\int_{P_a(α_n)}d(x,α_n)^rdμ(x)$ and \[ \underline{J}(α_n,μ):=\min_{a\inα_n}I_a(α,μ),\; \overline{J}(α_n,μ):=\max_{a\inα_n}I_a(α,μ). \] We show that $\underline{J}(α_n,μ),\overline{J}(α_n,μ)$ and $e^r_{n,r}(μ)-e^r_{n+1,r}(μ)$ are of the same order as $\frac{1}{n}e^r_{n,r}(μ)$, where $e^r_{n,r}(μ):=\int d(x,α_n)^rdμ(x)$ is the $n$th quantization error for $μ$ of order $r$. In particular, for the class of Moran measures on $\mathbb{R}^1$, our result shows that a weaker version of Gersho's conjecture holds.