Linear stability analysis of the Lloyd algorithm on a circle
Lloyd algorithm is the standard iterative method for computing quantizers and codebooks in source coding and vector quantization. In this article, we study the dynamical and stability properties of the Lloyd map on the unit circle $\mathbb S^1$ using von Mises distributions. We construct the Lloyd iteration as a discrete dynamical system on the configuration space of ordered point sets modulo rotational symmetry. Also, we study the rotational equivarience of the Lloyd map. Further, we derive an explicit representation of the Jacobian matrix and prove that it possesses a circulant structure for the equally spaced configuration. Also, we study the bifurcation characteristics based on Lloyd map analysis. In the end, we provide the numerical algorithms for stability diagrams, Lyapunov spectrum estimation, and residue analysis, purely for empirical visualization. Our results provide a dynamical systems framework for Lloyd quantization on $\mathbb S^1$ for studying stability properties.