Covering Planar Metrics (and Beyond): O(1) Trees Suffice

Hsien Chih Chang, Jonathan Conroy, Hung Le, Lazar Milenkovic, Shay Solomon, Cuong Than

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

While research on the geometry of planar graphs has been active in the past decades, many properties of planar metrics remain mysterious. This paper studies a fundamental aspect of the planar graph geometry: covering planar metrics by a small collection of simpler metrics. Specifically, a tree cover of a metric space (X, Δ) is a collection of trees, so that every pair of points u and v in X has a low-distortion path in at least one of the trees.The celebrated 'Dumbbell Theorem' [ADM+95] states that any low-dimensional Euclidean space admits a tree cover with O(1) trees and distortion 1+ϵ, for any fixed ϵ ∈(0,1). This result has found numerous algorithmic applications, and has been generalized to the wider family of doubling metrics [BFN19]. Does the same result hold for planar metrics? A positive answer would add another evidence to the well-observed connection between Euclidean/doubling metrics and planar metrics.In this work, we answer this fundamental question affirmatively. Specifically, we show that for any given fixed ϵ ∈(0,1), any planar metric can be covered by O(1) trees with distortion 1+ϵ. Our result for planar metrics follows from a rather general framework: First we reduce the problem to constructing tree covers with additive distortion. Then we introduce the notion of shortcut partition, and draw connection between shortcut partition and additive tree cover. Finally we prove the existence of shortcut partition for any planar metric, using new insights regarding the grid-like structure of planar graphs. To demonstrate the power of our framework:•We establish additional tree cover results beyond planar metrics; in particular, we present an O(1)-size tree cover with distortion 1+ϵ for bounded treewidth metrics;•We obtain several algorithmic applications in planar graphs from our tree cover. The grid-like structure is a technical contribution that we believe is of independent interest. We showcase its applicability beyond tree cover by constructing a simpler and better embedding of planar graphs into O(1)-treewidth graphs with small additive distortion, resolving an open problem in this line of research.

Original languageEnglish
Title of host publicationProceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023
PublisherIEEE Computer Society
Pages2231-2261
Number of pages31
ISBN (Electronic)9798350318944
DOIs
StatePublished - 2023
Event64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 - Santa Cruz, United States
Duration: 6 Nov 20239 Nov 2023

Publication series

NameProceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
ISSN (Print)0272-5428

Conference

Conference64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023
Country/TerritoryUnited States
CitySanta Cruz
Period6/11/239/11/23

Funding

FundersFunder number
DynOpt101043159
National Science FoundationCCF-2237288, CCF-2121952
Iowa Science Foundation1991/1
Engineering Research Centers
European Commission
United States-Israel Binational Science Foundation
Israel Science Foundation

    Fingerprint

    Dive into the research topics of 'Covering Planar Metrics (and Beyond): O(1) Trees Suffice'. Together they form a unique fingerprint.

    Cite this