5a2b5546b1f5e408.tex
1: \begin{abstract}
2: 
3: %We consider the classical problem of approximating a continuous target density with a points cloud. 
4: 	Lloyd's algorithm is an iterative method that solves the quantization problem, i.e. the approximation of a target probability measure by a discrete one, and is particularly used in digital applications.%, to reduce the dimensionality of a dataset. 
5:     This algorithm can be interpreted as a gradient method on a certain quantization functional which is given by optimal transport.
6: 	%semi-continuous counterpart to the $k$-means algorithm which aims at optimzing the $2$-Wasserstein distance between discrete and target measures. In 
7: 	We study the sequential convergence (to a single accumulation point) for two variants of Lloyd's method: (i) \emph{optimal quantization} with an arbitrary discrete measure and (ii) \emph{uniform quantization} with a uniform discrete measure. For both cases, we prove sequential convergence of the iterates under an analiticity assumption on the density of the target measure. This includes for example analytic densities truncated to a compact semi-algebraic set. The argument leverages the log analytic nature of globally subanalytic integrals, the interpretation of Lloyd's method as a gradient method and the convergence analysis of gradient algorithms under Kurdyka-Lojasiewicz assumptions. 
8: 	As a by-product, we also obtain definability results for more general semi-discrete optimal transport losses such as transport distances with general costs, the max-sliced Wasserstein distance and the entropy regularized optimal transport loss.
9: \end{abstract}
10: