String graphs are quasi-isometric to planar graphs

TL;DR

This paper proves that string graphs are quasi-isometric to planar graphs, allowing many properties and algorithms from planar graphs to be extended to string graphs and related structures.

Contribution

The authors establish a quasi-isometry between string graphs and planar graphs, extending several geometric and algorithmic results to string graphs.

Findings

String graphs are quasi-isometric to planar graphs with explicit bounds.

String graphs have Assouad-Nagata dimension at most 2.

Polynomial time algorithms exist for generating quasi-isometric planar graphs from string graphs.

Abstract

We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs. This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $\Gamma$ is virtually a free product of free and surface groups if and only if $\Gamma$ is quasi-isometric to a string graph. Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs. We further extend our techniques to show that every complete Riemannian surfaces $\Sigma$ of bounded Euler genus has a triangulation $G\subset \Sigma$ such that $G^{(1)} \hookrightarrow \Sigma$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$.