,
Cristóbal Guzmán
,
Pritish Kamath
,
Alexander Knop
,
Ravi Kumar
,
Pasin Manurangsi
Creative Commons Attribution 4.0 International license
We study the problem of differentially private (DP) computation of coreset for the k-means objective. For a given input set of points, a coreset is another set of points such that the k-means objective for any candidate solution is preserved up to a multiplicative (1 ± α) factor (and some additive factor).
We prove the first computational lower bounds for this problem. Specifically, assuming the existence of one-way functions, we show that no polynomial-time (ε, 1/n^{ω(1)})-DP algorithm can compute a coreset for k-means in the 𝓁_∞-metric for some constant α > 0 (and some constant additive factor), even for k = 3. For k-means in the Euclidean metric, we show a similar result but only for α = Θ(1/d²), where d is the dimension.
@InProceedings{ghazi_et_al:LIPIcs.FORC.2026.1,
author = {Ghazi, Badih and Guzm\'{a}n, Crist\'{o}bal and Kamath, Pritish and Knop, Alexander and Kumar, Ravi and Manurangsi, Pasin},
title = {{Computational Hardness of Private Coreset}},
booktitle = {7th Symposium on Foundations of Responsible Computing (FORC 2026)},
pages = {1:1--1:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-419-2},
ISSN = {1868-8969},
year = {2026},
volume = {368},
editor = {Lin, Huijia (Rachel)},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FORC.2026.1},
URN = {urn:nbn:de:0030-drops-259725},
doi = {10.4230/LIPIcs.FORC.2026.1},
annote = {Keywords: Differentially Private Clustering, Coreset, Cryptographic Hardness}
}