pith. machine review for the scientific record. sign in

arxiv: 2605.06398 · v1 · submitted 2026-05-07 · 💻 cs.DS

Recognition: unknown

On the Parameterized Approximability of (Mergeable) Sum of Radii Clustering

Ameet Gadekar

Authors on Pith no claims yet

Pith reviewed 2026-05-08 05:44 UTC · model grok-4.3

classification 💻 cs.DS
keywords sum of radii clusteringparameterized complexityW[2]-hardnessapproximation algorithmsmergeable constraintsfair clusteringdiversity constraints
0
0 comments X

The pith

The k-sum-of-radii clustering problem is W[2]-hard parameterized by k, ruling out efficient parameterized approximation schemes, while mergeable constraints permit an FPT (8/3 + ε)-approximation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper resolves the parameterized complexity of the minimum sum-of-radii clustering problem with k clusters by proving it W[2]-hard. The hardness implies there is no (1+ε)-approximation algorithm running in time f(k, ε) times a polynomial in n, unless W[2] equals FPT. Under the exponential time hypothesis, even algorithms running in n to the power o(k) are ruled out. For clustering problems with mergeable constraints, which include fairness and diversity requirements, the authors develop an FPT algorithm achieving an approximation ratio of 8/3 + ε, better than the previous 4 + ε guarantee, and a 2 + ε ratio when an assignment subroutine is available.

Core claim

We prove that k-MSR is W[2]-hard parameterized by k and that this rules out efficient parameterized approximation schemes unless W[2] = FPT. Assuming ETH we rule out n^{o(k)} time EPAS. For mergeable constraints we give an FPT (8/3 + ε)-approximation algorithm improving on (4 + ε), and a (2 + ε) FPT-approximation given an assignment subroutine, which yields results for (t,k)-fair, (α,β)-fair, ℓ-diversity, and private clustering.

What carries the argument

The mergeable constraints framework that captures a broad class of clustering constraints including fairness, diversity, and lower bounds, allowing the combination of feasible solutions while maintaining feasibility for improved approximation guarantees.

Load-bearing premise

The W[2]-hardness reduction and the approximation algorithms both assume that the mergeable-constraint framework correctly models real-world clustering constraints without introducing gaps in the reduction or analysis.

What would settle it

The discovery of a (1 + ε)-approximation algorithm for k-MSR that runs in time f(k, ε) · n^{O(1)} would falsify the claim that no such EPAS exists unless W[2] = FPT.

Figures

Figures reproduced from arXiv: 2605.06398 by Ameet Gadekar.

Figure 1
Figure 1. Figure 1: The left figure shows an optimal clustering Π∗ with centers o1, o2, o3 and radii r1, r2, r3, where points of the same color belong to the same cluster. The middle figure shows a Π∗ -respecting cover (obtained from GBC) consisting of B1 = ball(c1, 2r1) and B2 = ball(c2, 2r2), with total cost 2(r1 +r2). The right figure shows a Π∗ -feasible cover {B1, E2} (obtained from FC using B1, B2) with total cost 2r1 +… view at source ↗
Figure 2
Figure 2. Figure 2: Derivation of our algorithmic results. Overview. Our first goal is to compute a low-cost feasible cover for an instance of k-MSR under a mergeable constraint. Towards this, in Section 3.1, we design an FPT algorithm (GBC) that computes a ball cover B that is Π∗ -respecting, with cost at most (2 + ε) times the optimum for some optimal solution Π∗ . Using B, we then present in Section 3.2 an FPT algorithm (F… view at source ↗
Figure 3
Figure 3. Figure 3: An example of a 2-cover in which the minimum cost is 4/3 of the sum of radii of the balls. Consider this iteration. By Theorem 7, there exists a cover B ∈ B that is Π∗ -respecting and satisfies cost(B) ≤ (2 + ε)OPT(I). Applying Theorem 8, there exists F ∈ F such that F is a Π∗ -feasible cover and cost(F) ≤ (2 + ε)OPT(I). Since F is a feasible cover, we can apply Lemma 2 to obtain a feasible clustering (C, … view at source ↗
read the original abstract

The sum of radii problem ($k$-MSR) asks, given a metric space on $n$ points, to place $k$ balls covering all points so as to minimize the sum of their radii. Despite extensive study from the perspectives of approximation and parameterized algorithms, the exact parameterized complexity of the problem and the existence of efficient parameterized approximation schemes remained open. We advance this understanding on both the hardness and algorithmic fronts. We begin by showing that $k$-MSR is $W[2]$-hard parameterized by $k$, thereby pinpointing its location in the $W$-hierarchy. Moreover, via our reduction, we rule out efficient parameterized approximation schemes (EPAS)--that is, $(1+\epsilon)$-approximations running in time $f(k,\epsilon)\cdot \mathrm{poly}(n)$--unless $W[2] = FPT$. Assuming the Exponential Time Hypothesis, we further rule out such algorithms running in time $f(k,\epsilon)\cdot n^{o(k)}$, strengthening recent lower bounds for the problem. On the algorithmic side, we study $k$-MSR under the framework of mergeable constraints, which captures a broad class of clustering constraints, including fairness, diversity, and lower bounds. We obtain an FPT $(\frac{8}{3}+\epsilon)$-approximation, improving upon the previous best guarantee of $(4+\epsilon)$. Moreover, given access to a suitable assignment subroutine, we achieve a $(2+\epsilon)$-approximation, matching the best known bound for the unconstrained problem. This, in turn, yields $(2+\epsilon)$ FPT-approximations for several important settings, including $(t,k)$-fair, $(\alpha,\beta)$-fair, $\ell$-diversity, and private clustering.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript shows that k-MSR is W[2]-hard parameterized by k, ruling out EPAS unless W[2]=FPT, and under ETH no f(k,ε) n^{o(k)} time algorithms. For mergeable constraints, an FPT (8/3+ε)-approximation is given, improving on (4+ε), and with assignment oracle a (2+ε)-approximation is achieved, which applies to fair, diverse, and private clustering settings.

Significance. This work provides a clear placement of k-MSR in the W-hierarchy and rules out certain approximation schemes, which is important for the field. The mergeable constraints framework is a positive contribution as it unifies several constraints. The approximation results are improvements and match known bounds in some cases, making them significant for both theory and practice in constrained clustering.

minor comments (2)
  1. The previous best guarantee of (4+ε) should be referenced with a citation in the abstract or introduction for completeness.
  2. Clarify how the mergeable property is verified for the listed applications like (t,k)-fair clustering in the applications section.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of our work and for recommending minor revision. We are glad that the placement of k-MSR in the W-hierarchy, the ruling out of EPAS, and the improvements to (8/3+ε) and (2+ε) approximations under mergeable constraints (including applications to fair, diverse, and private clustering) are viewed as significant contributions.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claims rest on a standard W[2]-hardness reduction from a known parameterized-hard problem and on new FPT approximation algorithms constructed via dynamic programming and other standard techniques within the mergeable-constraints framework. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the hardness and approximation results are independently derived and externally falsifiable.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard parameterized-complexity assumptions and the definition of mergeable constraints; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption W[2] ≠ FPT and the Exponential Time Hypothesis hold.
    Invoked to obtain the hardness and time lower bounds for EPAS.
  • domain assumption Mergeable constraints admit a suitable assignment subroutine that can be called in FPT time.
    Required for the (2+ε) approximation result.

pith-pipeline@v0.9.0 · 5627 in / 1497 out tokens · 33168 ms · 2026-05-08T05:44:30.920819+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

43 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

    Fair clustering & unsupervised learning, url = https://www.fairclustering.com/, note = Ac- cessed: 2026-05-04. 2

  2. [2]

    Parameterized approximation schemes for clustering with general norm objectives

    Fateme Abbasi, Sandip Banerjee, Jaros law Byrka, Parinya Chalermsook, Ameet Gadekar, Kamyar Khodamoradi, D´ aniel Marx, Roohani Sharma, and Joachim Spoerhase. Parameterized approximation schemes for clustering with general norm objectives. In2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), pages 1377–1399, 2023. 1

  3. [3]

    Achieving anonymity via weak lower bound con- straints for k-median and k-means

    Anna Arutyunova and Melanie Schmidt. Achieving anonymity via weak lower bound con- straints for k-median and k-means. In Markus Bl¨ aser and Benjamin Monmege, editors, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, Saarbr¨ ucken, Germany (Virtual Conference), March 16-19, 2021, LIPIcs, pages 7:1–7:17. Schloss Dagstuhl...

  4. [4]

    Approximate clustering via core-sets

    Mihai Bad˘ oiu, Sariel Har-Peled, and Piotr Indyk. Approximate clustering via core-sets. In John H. Reif, editor,Proc. 34th Annual ACM Symposium on Theory of Computing (STOC’02), pages 250–257. ACM, 2002. 1

  5. [5]

    Improved FPT approximation for sum of radii clustering with mergeable constraints

    Sayan Bandyapadhyay and Tianzhi Chen. Improved FPT approximation for sum of radii clustering with mergeable constraints. In Alina Ene and Eshan Chattopadhyay, editors,Ap- proximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2025, Berkeley, CA, USA, August 11-13, 2025, LIPIcs, pages 23:1– 23:17. Schloss Dagst...

  6. [6]

    Fomin, and Kirill Simonov

    Sayan Bandyapadhyay, Fedor V. Fomin, and Kirill Simonov. On coresets for fair clustering in metric and euclidean spaces and their applications.J. Comput. Syst. Sci., 142:103506, 2024. 2, 3, 14, 15

  7. [7]

    FPT constant-approximations for capacitated clustering to minimize the sum of cluster radii

    Sayan Bandyapadhyay, William Lochet, and Saket Saurabh. FPT constant-approximations for capacitated clustering to minimize the sum of cluster radii. In Erin W. Chambers and Joachim Gudmundsson, editors,39th International Symposium on Computational Geometry, SoCG 2023, Dallas, Texas, USA, June 12-15, 2023, LIPIcs, pages 12:1–12:14. Schloss Dagstuhl - Leibn...

  8. [8]

    Improved fixed-parameter bounds for min-sum-radii and diameters k-clustering and their fair variants

    Sandip Banerjee, Yair Bartal, Lee-Ad Gottlieb, and Alon Hovav. Improved fixed-parameter bounds for min-sum-radii and diameters k-clustering and their fair variants. In Toby Walsh, Julie Shah, and Zico Kolter, editors,Thirty-Ninth AAAI Conference on Artificial Intelligence, Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence, Fi...

  9. [9]

    Salavatipour

    Babak Behsaz and Mohammad R. Salavatipour. On minimum sum of radii and diameters clustering.Algorithmica, 73(1):143–165, 2015. 1, 4

  10. [10]

    Fair algorithms for clustering

    Suman Kalyan Bera, Deeparnab Chakrabarty, Nicolas Flores, and Maryam Negahbani. Fair algorithms for clustering. In Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d’Alch´ e-Buc, Emily B. Fox, and Roman Garnett, editors,Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, Neur...

  11. [11]

    Schmidt, and Melanie Schmidt

    Ioana Oriana Bercea, Martin Groß, Samir Khuller, Aounon Kumar, Clemens R¨ osner, Daniel R. Schmidt, and Melanie Schmidt. On the cost of essentially fair clusterings. In Dimitris Achliop- tas and L´ aszl´ o A. V´ egh, editors,Approximation, Randomization, and Combinatorial Opti- mization. Algorithms and Techniques, APPROX/RANDOM 2019, Massachusetts Institu...

  12. [12]

    Clustering under constraints: Efficient parameterized approximation schemes, 2026

    Sujoy Bhore, Ameet Gadekar, and Tanmay Inamdar. Clustering under constraints: Efficient parameterized approximation schemes, 2026. 1

  13. [13]

    Fair clustering with multiple colors.CoRR, abs/2002.07892, 2020

    Matteo B¨ ohm, Adriano Fazzone, Stefano Leonardi, and Chris Schwiegelshohn. Fair clustering with multiple colors.CoRR, abs/2002.07892, 2020. 2

  14. [14]

    Moritz Buchem, Katja Ettmayr, Hugo K. K. Rosado, and Andreas Wiese. A (3 +ε)- approximation algorithm for the minimum sum of radii problem with outliers and extensions for generalized lower bounds. In David P. Woodruff, editor,Proceedings of the 2024 ACM- SIAM Symposium on Discrete Algorithms, SODA 2024, Alexandria, VA, USA, January 7-10, 2024, pages 1738...

  15. [15]

    FPT approximations for fair k-min-sum-radii

    Lena Carta, Lukas Drexler, Annika Hennes, Clemens R¨ osner, and Melanie Schmidt. FPT approximations for fair k-min-sum-radii. In Juli´ an Mestre and Anthony Wirth, editors,35th International Symposium on Algorithms and Computation, ISAAC 2024, Sydney, Australia, December 8-11, 2024, LIPIcs, pages 16:1–16:18. Schloss Dagstuhl - Leibniz-Zentrum f¨ ur Infor-...

  16. [16]

    Clustering to minimize the sum of cluster diameters

    Moses Charikar and Rina Panigrahy. Clustering to minimize the sum of cluster diameters. Journal of Computer and System Sciences, 68(2):417–441, 2004. Special Issue on STOC 2001. 1

  17. [17]

    Parameterized approximation al- gorithms for sum of radii clustering and variants

    Xianrun Chen, Dachuan Xu, Yicheng Xu, and Yong Zhang. Parameterized approximation al- gorithms for sum of radii clustering and variants. In Michael J. Wooldridge, Jennifer G. Dy, and Sriraam Natarajan, editors,Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence,...

  18. [18]

    Fair clustering through fairlets

    Flavio Chierichetti, Ravi Kumar, Silvio Lattanzi, and Sergei Vassilvitskii. Fair clustering through fairlets. In Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna M. Wallach, Rob Fergus, S. V. N. Vishwanathan, and Roman Garnett, editors,Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 20...

  19. [19]

    Tight FPT Approximations for k-Median and k-Means

    Vincent Cohen-Addad, Anupam Gupta, Amit Kumar, Euiwoong Lee, and Jason Li. Tight FPT Approximations for k-Median and k-Means. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, editors,46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), volume 132 ofLeibniz International Proceed- ings in Info...

  20. [20]

    On the fixed-parameter tractability of capacitated clus- tering

    Vincent Cohen-Addad and Jason Li. On the fixed-parameter tractability of capacitated clus- tering. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, edi- tors,46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, volume 132 ofLIPIcs, pages 41:1–41:14. Schloss Da...

  21. [21]

    On Tight FPT Time Approximation Algorithms for k-Clustering Problems

    Han Dai, Shi Li, and Sijin Peng. On tight FPT time approximation algorithms for k-clustering problems.CoRR, abs/2512.04614, 2025. 1

  22. [22]

    A unified framework for clustering constrained data without locality property.Algorithmica, 82(4):808–852, 2020

    Hu Ding and Jinhui Xu. A unified framework for clustering constrained data without locality property.Algorithmica, 82(4):808–852, 2020. 2

  23. [23]

    Ap- proximating fair k-min-sum-radii in euclidean space

    Lukas Drexler, Annika Hennes, Abhiruk Lahiri, Melanie Schmidt, and Julian Wargalla. Ap- proximating fair k-min-sum-radii in euclidean space. In Jaroslaw Byrka and Andreas Wiese, editors,Approximation and Online Algorithms - 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings, Lecture Notes in Computer Scien...

  24. [24]

    Clustering graphs of bounded treewidth to minimize the sum of radius-dependent costs.CoRR, abs/2310.02130,

    Lukas Drexler, Jan H¨ ockendorff, Joshua K¨ onen, and Kevin Schewior. Clustering graphs of bounded treewidth to minimize the sum of radius-dependent costs.CoRR, abs/2310.02130,

  25. [25]

    FPT approximations for capacitated sum of radii and diameters.CoRR, abs/2409.04984, 2024

    Arnold Filtser and Ameet Gadekar. FPT approximations for capacitated sum of radii and diameters.CoRR, abs/2409.04984, 2024. 2, 4, 5

  26. [26]

    An application of simultaneous diophantine approximation in combinatorial optimization.Comb., 7(1):49–65, 1987

    Andr´ as Frank and´Eva Tardos. An application of simultaneous diophantine approximation in combinatorial optimization.Comb., 7(1):49–65, 1987. 14

  27. [27]

    Improved Polynomial-Time Approximations for Clustering with Minimum Sum of Radii or Diameters

    Zachary Friggstad and Mahya Jamshidian. Improved Polynomial-Time Approximations for Clustering with Minimum Sum of Radii or Diameters. In Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, and Grzegorz Herman, editors,30th Annual European Symposium on Algorithms (ESA 2022), volume 244 ofLeibniz International Proceedings in Informatics (LIPIcs), pages 56:1–56:...

  28. [28]

    Fpt approximations for fair sum of radii with outliers and general norm objectives, 2026

    Ameet Gadekar. Fpt approximations for fair sum of radii with outliers and general norm objectives, 2026. 2, 4

  29. [29]

    Capacitated fair-range clustering: Hardness and approx- imation algorithms.CoRR, abs/2505.15905, 2025

    Ameet Gadekar and Suhas Thejaswi. Capacitated fair-range clustering: Hardness and approx- imation algorithms.CoRR, abs/2505.15905, 2025. 1

  30. [30]

    Pirwani, and Kasturi R

    Matt Gibson, Gaurav Kanade, Erik Krohn, Imran A. Pirwani, and Kasturi R. Varadarajan. On clustering to minimize the sum of radii.SIAM J. Comput., 41(1):47–60, 2012. 1, 4, 16

  31. [31]

    Gonzalez

    Teofilo F. Gonzalez. Clustering to minimize the maximum intercluster distance.Theoretical Computer Science, 38:293–306, 1985. 1 20

  32. [32]

    Clustering to minimize the maximum intercluster distance.Theoretical computer science, 38:293–306, 1985

    Teofilo F Gonzalez. Clustering to minimize the maximum intercluster distance.Theoretical computer science, 38:293–306, 1985. 7

  33. [33]

    Tight fpt approximation for constrained k-center and k-supplier.Theoretical Computer Science, 940:190–208, 2023

    Dishant Goyal and Ragesh Jaiswal. Tight fpt approximation for constrained k-center and k-supplier.Theoretical Computer Science, 940:190–208, 2023. 1

  34. [34]

    Tight fpt approximation for socially fair clustering.Infor- mation Processing Letters, page 106383, 2023

    Dishant Goyal and Ragesh Jaiswal. Tight fpt approximation for socially fair clustering.Infor- mation Processing Letters, page 106383, 2023. 1

  35. [35]

    A best possible heuristic for the k-center problem

    Dorit S Hochbaum and David B Shmoys. A best possible heuristic for the k-center problem. Mathematics of operations research, 10(2):180–184, 1985. 1, 4

  36. [36]

    FPT Approximation for Capacitated Sum of Radii

    Ragesh Jaiswal, Amit Kumar, and Jatin Yadav. FPT Approximation for Capacitated Sum of Radii. In Venkatesan Guruswami, editor,15th Innovations in Theoretical Computer Sci- ence Conference (ITCS 2024), volume 287 ofLeibniz International Proceedings in Informatics (LIPIcs), pages 65:1–65:21, Dagstuhl, Germany, 2024. Schloss Dagstuhl – Leibniz-Zentrum f¨ ur I...

  37. [37]

    Lenstra Jr

    Hendrik W. Lenstra Jr. Integer programming with a fixed number of variables.Math. Oper. Res., 8(4):538–548, 1983. 14

  38. [38]

    Minkowski’s convex body theorem and integer programming.Math

    Ravi Kannan. Minkowski’s convex body theorem and integer programming.Math. Oper. Res., 12(3):415–440, 1987. 14

  39. [39]

    Linear-time approximation schemes for clustering problems in any dimensions.J.ACM, 57(2):1–32, 2010

    Amit Kumar, Yogish Sabharwal, and Sandeep Sen. Linear-time approximation schemes for clustering problems in any dimensions.J.ACM, 57(2):1–32, 2010. 1

  40. [40]

    FPT constant approximation algorithms for colorful sum of radii.CoRR, abs/2506.13191, 2025

    Shuilian Liu, Gregory Gutin, Yicheng Xu, and Yong Zhang. FPT constant approximation algorithms for colorful sum of radii.CoRR, abs/2506.13191, 2025. 2, 4

  41. [41]

    Polynomial-time constant- approximation for fair sum-of-radii clustering

    Sina Bagheri Nezhad, Sayan Bandyapadhyay, and Tianzhi Chen. Polynomial-time constant- approximation for fair sum-of-radii clustering. In Anne Benoit, Haim Kaplan, Sebastian Wild, and Grzegorz Herman, editors,33rd Annual European Symposium on Algorithms, ESA 2025, Warsaw, Poland, September 15-17, 2025, LIPIcs, pages 62:1–62:16. Schloss Dagstuhl - Leibniz- ...

  42. [42]

    Privacy preserving clustering with constraints

    Clemens R¨ osner and Melanie Schmidt. Privacy preserving clustering with constraints. In Ioannis Chatzigiannakis, Christos Kaklamanis, D´ aniel Marx, and Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, Prague, Czech Republic, July 9-13, 2018, LIPIcs, pages 96:1–96:14. Schloss Dagstuhl - Leibniz-...

  43. [43]

    Clustering with fair-center representation: Parameterized approximation algorithms and heuristics

    Suhas Thejaswi, Ameet Gadekar, Bruno Ordozgoiti, and Michal Osadnik. Clustering with fair-center representation: Parameterized approximation algorithms and heuristics. In Aidong Zhang and Huzefa Rangwala, editors,KDD ’22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14 - 18, 2022, pages 1749–1759. ACM,...