Abstract:The Johnson-Lindenstrauss (JL) Lemma introduced the concept of dimension reduction via a random linear map, which has become a fundamental technique in many computational settings. For a set of $n$ points in $\mathbb{R}^d$ and any fixed $\epsilon>0$, it reduces the dimension $d$ to $O(\log n)$ while preserving, with high probability, all the pairwise Euclidean distances within factor $1+\epsilon$. Perhaps surprisingly, the target dimension can be lower if one only wishes to preserve the optimal value of a certain problem on the pointset, e.g., Euclidean max-cut or $k$-means. However, for some notorious problems, like diameter (aka furthest pair), dimension reduction via the JL map to below $O(\log n)$ does not preserve the optimal value within factor $1+\epsilon$. We propose to focus on another regime, of \emph{moderate dimension reduction}, where a problem's value is preserved within factor $\alpha>1$ using target dimension $\tfrac{\log n}{poly(\alpha)}$. We establish the viability of this approach and show that the famous $k$-center problem is $\alpha$-approximated when reducing to dimension $O(\tfrac{\log n}{\alpha^2}+\log k)$. Along the way, we address the diameter problem via the special case $k=1$. Our result extends to several important variants of $k$-center (with outliers, capacities, or fairness constraints), and the bound improves further with the input's doubling dimension. While our $poly(\alpha)$-factor improvement in the dimension may seem small, it actually has significant implications for streaming algorithms, and easily yields an algorithm for $k$-center in dynamic geometric streams, that achieves $O(\alpha)$-approximation using space $poly(kdn^{1/\alpha^2})$. This is the first algorithm to beat $O(n)$ space in high dimension $d$, as all previous algorithms require space at least $\exp(d)$. Furthermore, it extends to the $k$-center variants mentioned above.

Separating $k$-Median from the Supplier Version

Fully Dynamic $k$-Median with Near-Optimal Update Time and Recourse

New Approximation Algorithms for Fair $k$-median Problem

A dependent LP-rounding approach for the k-median problem

The Traveling k-Median Problem: Approximating Optimal Network Coverage

Approximating Fair $k$-Min-Sum-Radii in Euclidean Space

The reverse greedy algorithm for the metric k-median problem

Incremental Medians via Online Bidding

FPT Approximations for Fair $k$-Min-Sum-Radii

Constant Approximation for K-Median and K-Means with Outliers Via Iterative Rounding

Approximating capacitated $k$-median with $(1+ε)k$ open facilities

A Polynomial-Time Approximation for Pairwise Fair $k$-Median Clustering

The Power of Uniform Sampling for K-Median

Approximating Median Points in a Convex Polygon

Fully Dynamic $k$-Clustering with Fast Update Time and Small Recourse

Matroid and Knapsack Center Problems

Moderate Dimension Reduction for $k$-Center Clustering

A Parameterized Approximation Algorithm for the Chromatic k-Median Problem

On a generalization of median graphs: $k$-median graphs

Fast Approximations and Coresets for (k, l)-Median under Dynamic Time Warping

Bicriteria Approximation Algorithms for Priority Matroid Median