Metric Approximations of Consistent Path Systems

Abstract

A path system $\mathscr{P}$ in a graph $G=(V,E)$ is a collection of paths, with exactly one path between any two vertices in $V$. A path system is said to be consistent if it is closed under subpaths. We say that a path system $\mathscr{P}$ is $α$-metric if there exists a metric $ρ$ on $V$ such that $\sum_{i=1}^{k}ρ(x_{i-1},x_{i}) \le αρ(x_0,x_k)$ for every path $(x_0,x_1,\dots,x_k)\in \mathscr{P}$. Also, we denote by $Δ(\mathscr{P})$ the infimum of $α$ for which $\mathscr{P}$ is $α$-metric. We show that $Δ(\mathscr{P}) \le O(\sqrt{n})$ for every $n$-point consistent path system $\mathscr{P}$. On the other hand, we construct infinitely many $n$-point consistent path systems $\mathscr{P}_n$ with $Δ(\mathscr{P}_n) \ge \tildeΩ(\sqrt{n})$, showing these bounds are tight up to a polylogarithmic factor. We also show how to efficiently compute $Δ(\mathscr{P})$ for a given path system.