I'm looking for error rates of convergence for approximating a probability measure $P$ by a discrete probability with at most $k$ supporting points.

The setup I'm looking at is the following. Let $X$ be an $\mathbb{R}^d$-valued random variable with distribution $P$. Fix $k\in\mathbb{N}$ and let $\mathcal{F}_k$ be the set of all Borel measurable maps $f:\mathbb{R}^d\to\mathbb{R}^d$ that take at most $k$ values. Furthermore, let $fP$ be the pushforward, or image measure of $P$ under the mapping $f\in\mathcal{F}_k$, i.e., $fP(A):=P\left(f^{-1}(A)\right)$ for all Borel measurable sets $A$.

The quantization error I'm currently looking at is with respect to the total variation (TV) distance between measures: Let $(X,\mathcal{F})$ be a measurable space and $\mu,\nu$ be two measures of $\mathcal{F}$. The TV distance between $\mu$ and $\nu$ is:

$\delta_{\mathsf{TV}}(\mu,\nu)=\sup_{A\in\mathcal{F}}|\mu(A)-\nu(A)|$.

With respect to the above, the quantization error of $P$ quantized by $f\in\mathcal{F}_k$ is set as

$e_f^{(k)}(P):=\delta_\mathsf{TV}(P,fP)$.

A couple of remarks:

1) If there are no good results for the TV distance I'm OK with switching to another proximity metric such as the Wasserstein distance, etc.

2) I'm not looking for the best quantizer that achieves the convergence rates I'll be asking about in a moment. Instead, knowing that such a quantizer (complicated as it may be) exists and to know the exact convergence rates as a function of $P$, $k$ and $d$ is sufficient for my needs (an abstract proof of existence).

So bottom line, letting $f\in\mathcal{F}_k$ be the best quantization function, what known bounds are there on the quantization error $e_f^{(k)}(P)$ in terms of $P$, $k$ and $d$ (for the TV distance based definition or any of it's alternatives)? I'm looking for a simple bound, but an explicit one (i.e., not one that involves vague constants on which all that is stated is that they depend on some parameter but not on others).

An additional question I'd like to ask concerns the special case where the dimension $d=1$ but instead of $P$, we look at the product measure $P^n$ and the quantized product measure $(fP)^n$ (i.e., we quantize $P$ to $fP$, where $f:\mathbb{R}\to\mathbb{R}$ takes at most $k$ values, and look at the $n$-fold product measure of $fP$. Namely, the quantization is preformed element-wise and we take the product of the quantized measures). What bounds on the quantization error $\delta_\mathsf{TV}\big(P^n,(fP)^n\big)$ are out there in terms of $P$, $k$ and $n$. Do the bounds simplify for this i.i.d. scenario?

I'm rather new to the study of distribution quantization and would also appreciate good (but preferably concise, not entire books :) reading material.

Thanks a lot!