Bounding $\varepsilon$-scatter dimension via metric sparsity

TL;DR

This work introduces metric analogs of well-known graph invariants from the theory of sparsity, including generalized coloring numbers and flatness, and shows bounds for these invariants in proper minor-closed graph classes.

Abstract

A recent work of Abbasi et al. [FOCS 2023] introduced the notion of $\varepsilon$-scatter dimension of a metric space and showed a general framework for efficient parameterized approximation schemes (so-called EPASes) for a wide range of clustering problems in classes of metric spaces that admit a bound on the $\varepsilon$-scatter dimension. Our main result is such a bound for metrics induced by graphs from any fixed proper minor-closed graph class. The bound is double-exponential in $\varepsilon^{-1}$ and the Hadwiger number of the graph class and is accompanied by a nearly tight lower bound that holds even in graph classes of bounded treewidth. On the way to the main result, we introduce metric analogs of well-known graph invariants from the theory of sparsity, including generalized coloring numbers and flatness (aka uniform quasi-wideness), and show bounds for these invariants in proper minor-closed graph classes. Finally, we show the power of newly introduced toolbox by showing a coreset for $k$-Center in any proper minor-closed graph class whose size is polynomial in $k$ (but the exponent of the polynomial depends on the graph class and $\varepsilon^{-1}$).

Theorems & Definitions (51)

• Definition 1.1
• Theorem 1.1
• Corollary 1.2
• Theorem 1.2
• Theorem 1.3
• Definition 1.4: weakly reachable sets in graph metric spaces
• Theorem 1.4
• Lemma 1.5
• proof
• Theorem 1.5