A face cover perspective to 𝓁1 embeddings of planar graphs

It was conjectured by Gupta et al. [Combinatorica04] that every planar graph can be embedded into `1 with constant distortion. However, given an n-vertex weighted planar graph, the best upper bound on the distortion is only O( √ log n), by Rao [SoCG99]. In this paper we study the case where there is a set K of terminals, and the goal is to embed only the terminals into `1 with low distortion. In a seminal paper, Okamura and Seymour [J.Comb.Theory81] showed that if all the terminals lie on a single face, they can be embedded isometrically into `1. The more general case, where the set of terminals can be covered by γ faces, was studied by Lee and Sidiropoulos [STOC09] and Chekuri et al. [J.Comb.Theory13]. The state of the art is an upper bound of O(log γ) by Krauthgamer, Lee and Rika [SODA19]. Our contribution is a further improvement on the upper bound to O( √ log γ). Since every planar graph has at most O(n) faces, any further improvement on this result, will be a major breakthrough, directly improving upon Rao’s long standing upper bound. Moreover, it is well known that the flow-cut gap equals to the distortion of the best embedding into `1. Therefore, our result provides a polynomial time O( √ log γ)approximation to the sparsest cut problem on planar graphs, for the case where all the demand pairs can be covered by γ faces.

[1]  Yair Bartal,et al.  On Notions of Distortion and an Almost Minimum Spanning Tree with Constant Average Distortion , 2016, SODA.

[2]  James R. Lee,et al.  A node-capacitated Okamura–Seymour theorem , 2013, Mathematical Programming.

[3]  Robert Krauthgamer,et al.  Flow-Cut Gaps and Face Covers in Planar Graphs , 2019, SODA.

[4]  Marcin Pilipczuk,et al.  An Exponential Lower Bound for Cut Sparsifiers in Planar Graphs , 2018, Algorithmica.

[5]  Satish Rao,et al.  Small distortion and volume preserving embeddings for planar and Euclidean metrics , 1999, SCG '99.

[6]  Anupam Gupta,et al.  Embedding k-outerplanar graphs into ℓ1 , 2003, SODA '03.

[7]  Marshall W. Bern,et al.  Faster exact algorithms for steiner trees in planar networks , 1990, Networks.

[8]  Chandra Chekuri,et al.  Flow-cut gaps for integer and fractional multiflows , 2010, SODA '10.

[9]  James R. Lee,et al.  Genus and the geometry of the cut graph , 2010, SODA '10.

[10]  Greg N. Frederickson,et al.  Planar graph decomposition and all pairs shortest paths , 1991, JACM.

[11]  James R. Lee,et al.  On the geometry of graphs with a forbidden minor , 2009, STOC '09.

[12]  Ittai Abraham,et al.  Advances in metric embedding theory , 2006, STOC '06.

[13]  Robert Krauthgamer,et al.  Measured descent: a new embedding method for finite metrics , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[14]  Nobuji Saito,et al.  An Efficient Algorithm for Finding Multicommodity Flows in Planar Networks , 1985, SIAM J. Comput..

[15]  Gary L. Miller,et al.  Finding small simple cycle separators for 2-connected planar graphs. , 1984, STOC '84.

[16]  Clyde L. Monma,et al.  Send-and-Split Method for Minimum-Concave-Cost Network Flows , 1987, Math. Oper. Res..

[17]  Erik Jan van Leeuwen,et al.  Nearly ETH-Tight Algorithms for Planar Steiner Tree with Terminals on Few Faces , 2019, SODA.

[18]  James R. Lee,et al.  Pathwidth, trees, and random embeddings , 2013, Comb..

[19]  Greg N. Frederickson Using Cellular Graph Embeddings in Solving All Pairs Shortest Paths Problems , 1995, J. Algorithms.

[20]  Refael Hassin,et al.  On multicommodity flows in planar graphs , 1984, Networks.

[21]  Xiaodong Wu,et al.  Efficient Algorithms for k-Terminal Cuts on Planar Graphs , 2003, Algorithmica.

[22]  Clyde L. Monma,et al.  On the Complexity of Covering Vertices by Faces in a Planar Graph , 1988, SIAM J. Comput..

[23]  James R. Lee,et al.  Embeddings of Topological Graphs: Lossy Invariants, Linearization, and 2-Sums , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[24]  Prasad Raghavendra,et al.  Coarse Differentiation and Multi-flows in Planar Graphs , 2007, APPROX-RANDOM.

[25]  Jinhui Xu,et al.  Shortest path queries in planar graphs , 2000, STOC '00.

[26]  Mikkel Thorup Compact oracles for reachability and approximate distances in planar digraphs , 2004, JACM.

[27]  Robert Krauthgamer,et al.  Refined Vertex Sparsifiers of Planar Graphs , 2020, SIAM J. Discret. Math..

[28]  Alexander Schrijver,et al.  On fractional multicommodity flows and distance functions , 1989, Discret. Math..

[29]  Robert Krauthgamer,et al.  Vertex Sparsifiers: New Results from Old Techniques , 2010, SIAM J. Comput..

[30]  Ittai Abraham,et al.  Metric embedding via shortest path decompositions , 2017, STOC.