Abstract:We study the problem of constructing ε-coresets for the (k, z)-clustering problem in a doubling metric M(X, d). An ε-coreset is a weighted subset S ⊆ X with weight function w : S → ℝ ≥0 , such that for any k-subset C ∈ [X] k , it holds that Σ x∈S w(x) · d z (x, C) ∈ (1 ± ε) · Σ x∈X d z (x, C). We present an efficient algorithm that constructs an ε-coreset for the (k, z)-clustering problem in M(X, d), where the size of the coreset only depends on the parameters k, z, ε and the doubling dimension ddim(M). To the best of our knowledge, this is the first efficient c-coreset construction of size independent of |X| for general clustering problems in doubling metrics. To this end, we establish the first relation between the doubling dimension of M(X, d) and the shattering dimension (or VC-dimension) of the range space induced by the distance d. Such a relation is not known before, since one can easily construct instances in which neither one can be bounded by (some function of) the other. Surprisingly, we show that if we allow a small (1 ± ε)-distortion of the distance function d (the distorted distance is called the smoothed distance function), the shattering dimension can be upper bounded by O(ε -O(ddim(M)) ). For the purpose of coreset construction, the above bound does not suffice as it only works for unweighted spaces. Therefore, we introduce the notion of τ-error probabilistic shattering dimension, and prove a (drastically better) upper bound of O(ddim(M)·log(1/ε)+log log 1/τ) for the probabilistic shattering dimension for weighted doubling metrics. As it turns out, an upper bound for the probabilistic shattering dimension is enough for constructing a small coreset. We believe the new relation between doubling and shattering dimensions is of independent interest and may find other applications. Furthermore, we study robust coresets for (k, z)-clustering with outliers in a doubling metric. We show an improved connection between α-approximation and robust coresets. This also leads to improvement upon the previous best known bound of the size of robust coreset for Euclidean space [Feldman and Langberg, STOC 11]. The new bound entails a few new results in clustering and property testing. As another application, we show constant-sized (ε, k, z)centroid sets in doubling metrics can be constructed by extending our coreset construction. Prior to our result, constantsized centroid sets for general clustering problems were only known for Euclidean spaces. We can apply our centroid set to accelerate the local search algorithm (studied in [Friggstad et al., FOCS 2016]) for the (k, z)-clustering problem in doubling metrics.

Dynamic Locality Sensitive Orderings in Doubling Metrics

Orthogonal Locality Preserving Indexing

Almost Optimal Locality Sensitive Orderings in Euclidean Space

Labeled Nearest Neighbor Search and Metric Spanners via Locality Sensitive Orderings

Optimal Fault-Tolerant Spanners in Euclidean and Doubling Metrics: Breaking the $Ω(\log n)$ Lightness Barrier

A PTAS for the Steiner Forest Problem in Doubling Metrics

Greedy Spanners in Euclidean Spaces Admit Sublinear Separators

Deterministic Fully Dynamic SSSP and More

Incubators vs Zombies: Fault-Tolerant, Short, Thin and Lanky Spanners for Doubling Metrics

Everywhere-Sparse Spanners via Dense Subgraphs

Fully Dynamic Matching and Ordered Ruzsa-Szemerédi Graphs

A decoupled form of the structure-preserving doubling algorithm with low-rank structures

Locality in online, dynamic, sequential, and distributed graph algorithms

Maintaining Light Spanners via Minimal Updates

Online Directed Spanners and Steiner Forests

Approximation Schemes for Orienteering and Deadline TSP in Doubling Metrics

Competitive Data-Structure Dynamization

Fast Static and Dynamic Approximation Algorithms for Geometric Optimization Problems: Piercing, Independent Set, Vertex Cover, and Matching

Stochastic Matching via In-n-Out Local Computation Algorithms

Diversity maximization in doubling metrics

Epsilon-Coresets for Clustering (with Outliers) in Doubling Metrics.