Simple k-Planar Graphs are Simple (k + 1)-Quasiplanar∗ Patrizio Angeliniy Michael A. Bekosy Franz J. Brandenburgz Giordano Da Lozzox Giuseppe Di Battistax Walter Didimo{ Michael Hoffmannk Giuseppe Liotta{ Fabrizio Montecchiani{ Ignaz Rutterz Csaba D. T´oth∗∗ yy y Universit¨atT¨ubingen,T¨ubingen,Germany fangelini,[email protected] z University of Passau, Passau, Germany fbrandenb,[email protected] x Roma Tre University, Rome, Italy fgiordano.dalozzo,[email protected] { Universit´adegli Studi di Perugia, Perugia, Italy fwalter.didimo,giuseppe.liotta,[email protected] k Department of Computer Science, ETH Z¨urich, Z¨urich, Switzerland [email protected] ∗∗ California State University Northridge, Los Angeles, CA, USA [email protected] yy Tufts University, Medford, MA, USA Abstract A simple topological graph is k-quasiplanar (k ≥ 2) if it contains no k pairwise crossing edges, and k-planar if no edge is crossed more than k times. In this paper, we explore the relationship between k-planarity and k-quasiplanarity to show that, for k ≥ 2, every k-planar simple topological graph can be transformed into a (k + 1)-quasiplanar simple topological graph. arXiv:1909.00223v1 [cs.CG] 31 Aug 2019 ∗Preliminary versions of the results presented in this paper appeared at WG 2017 [6] and MFCS 2017 [19]. 1 (a) (b) (c) (d) Figure 1: (a) A crossing configuration that is forbidden in a 3-planar topological graph. (b) A 3-planar topological graph. (c) A crossing configuration that is forbidden in a 4-quasiplanar topological graph. (d) A 4-quasiplanar topological graph obtained from the one of Figure (b) by suitably rerouting the thick edge. 1 Introduction A topological graph is a graph drawn in the plane such that vertices are mapped to distinct points and each edge is mapped to a Jordan arc between its endpoints without passing through any other vertex. In this paper, we only deal with topological graphs containing neither multi-edges nor self-loops. We do not distinguish between the vertices (resp., edges) and the points (resp., arcs) they are mapped to. A topological graph is simple if any two edges intersect in at most one point, which is either a common endpoint or a proper crossing. A topological graph is k-planar, for k ≥ 0, if each edge is crossed at most k times, and k-quasiplanar, for k ≥ 2, if there are no k pairwise crossing edges. A graph is k-planar (k- quasiplanar) if it is isomorphic to the underlying abstract graph of a k-planar (k-quasiplanar) topological graph. A graph is simple k-planar (simple k-quasiplanar) if it is isomorphic to the underlying ab- stract graph of a simple k-planar (k-quasiplanar) topological graph. By definition, a graph is planar if and only if it is 0-planar (2-quasiplanar). Note that 3-quasiplanar graphs are also called quasiplanar. Refer to Figure 1 for examples. The k-planar and k-quasiplanar graphs are part of a family of classes of topological graphs that are defined by restrictions on crossings. Informally, these classes are called beyond planar, we refer the interested reader to [15]. Further popular classes are defined by the exclusion of (natural or radial) grids [3, 21], including fan-planar [20] and fan-crossing free graphs [14]. Primarily, the edge density of graphs has been studied for these classes. By Euler's polyhedron formula, every planar graph on n ≥ 3 vertices has at most 3n − 6 edges, and this bound is tight. In fact, for constant k ≥ 0, every k-planar graphp is sparse. Pach and T´oth [25] proved that a k-planar graph with n vertices has at most 4:108 k n edges1. For simple k-planar graphs, where k ≤ 4, Pach and T´oth[25] also established a finer bound of (k + 3)(n − 2), and proved that this bound is tight for k ≤ 2. For k = 3 and for k = 4, the best known upper bounds on the number of edges are 5:5n − 11 and 6n − 12, respectively, which are tight up to small additive constants [2, 8, 22]. A consequencep of the result in [2] is that the upper bound for k-planar graphs can be improved to 3:81 k n. Concerning k-quasiplanar graphs, a 20-year-old conjecture by Pach, Shahrokhi, and Szegedy asserts that for every k ≥ 2 there is a constant ck such that every k-quasiplanar graph with n vertices has at most ckn edges [24]. However, the conjecture has only been settled for k = 2; 3; 4. Agarwal et al. [5] were the first to prove that simple 3-quasiplanar graphs have a linear number 1The upper bound was stated for k-planar simple topological graphs in [25], but the proof extends verbatim to all k-planar topological graphs. 2 of edges. This was generalized by Pach et al. [23], who proved that every 3-quasiplanar graph on n vertices has at most 65n edges. This bound was further improved to 8n−O(1) by Ackerman and Tardos [4]. For simple 3-quasiplanar graphs they also proved a bound of 6:5n − 20, which is tight up to an additive constant. Ackerman [1] proved that 4-quasiplanar graphs have at most a linear number of edges. For k ≥ 5, several authors have shown super-linear upper bounds on the number of edges in k-quasiplanar graphs (see, e.g., [13, 17, 18, 24, 27]). The most recent results are due to Suk and Walczak [26], who proved that every k-quasiplanar simple topological 0 0 graph on n vertices has at most ckn log n edges, where ck depends only on k. For k-quasiplanar topological graphs where two edges can cross in at most t points, they give an upper bound of c 2α(n) n log n, where α(n) is the inverse of the Ackermann function, and c depends only on k and t. Note that every simple k-planar graph is simple (k+1)-planar, and every simple k-quasiplanar graph is simple (k + 1)-quasiplanar, by definition. It is not difficult to see that the converse is false in both cases. This naturally defines a hierarchy of k-planarity and a hierarchy of k-quasiplanarity. However, the relation between the hierarchies is not fully understood. For every k ≥ 3, there are infinitely many simple 3-quasiplanar graphs that are not simple k-planar [7]. Also, it is easy to see that, for k ≥ 1, every k-planar simple topological graph is (k + 2)- quasiplanar. Indeed, if a k-planar simple topological graph G were not (k + 2)-quasiplanar, it would have k + 2 pairwise crossing edges, each of which crosses at least k + 1 other edges, thus contradicting the hypothesis that G is k-planar. Contribution. In this paper we focus on simple topological graphs and prove a notable in- clusion relationship between the k-planarity and the k-quasiplanarity hierarchies. The proof is constructive and sheds a new light on the structure of k-planar and k-quasiplanar simple topo- logical graphs. We show that every simple k-planar graph is simple (k + 1)-quasiplanar for every k ≥ 2. More precisely, we show that a k-planar simple topological graph, with k ≥ 2, can be transformed into an isomorphic simple topological graph that contains no k + 1 pairwise crossing edges (although an edge may be crossed more than k times). For example, the simple topological graph in Figure 1b is 3-planar but not 4-quasiplanar. By rerouting an edge, we obtain the simple topological graph in Figure 1d, which is 4-quasiplanar (but not 3-planar). Note that this result cannot be extended to the case k = 1, as a 2-quasiplanar graph is planar. The proof of our result is based on the following novel methods: (i) A general-purpose tech- nique to \untangle" a set of pairwise crossing edges. More precisely, we show how to reroute the edges of a k-planar simple topological graph in such a way that all vertices of a set of k + 1 pairwise crossing edges lie in the same connected region of the plane (that is, a face of the ar- rangement induced by the edges). (ii) A global edge rerouting technique, whose main ingredients are a matching argument and a systematic study of the cycles in an auxiliary \conflict” graph, used to remove all forbidden configurations of (k + 1) pairwise crossing edges from a k-planar simple topological graph, provided that these edges are \untangled." Paper organization. The remainder of the paper is structured as follows. In Section 2 we give some basic terminology, we describe the untangling procedure in (i), and we prove important properties of the resulting topological graphs. Section 3 outlines our general proof strategy. Section 4 shows how to compute a global rerouting as described in (ii) that results in a (k + 1)- quasiplanar topological graph, for k ≥ 3. Section 5 proves properties of a rerouted topological graph that are useful to prove both (k+1)-quasiplanarity when k = 2 and simplicity in Sections 6 and 7, respectively. In particular, Section 6 also contains a more sophisticated argument to compute a suitable global rerouting when k = 2. Conclusions and open problems are in Section 8. 3 R(X) X @R(X) (a) (b) (c) Figure 2: (a) A tangled 3-crossing; the circled vertices and the solid vertices belong to different faces of the arrangement. (b) An untangled 3-crossing; all vertices belong to the same face of the arrangement (the outer face). (c) The 6-gon spanned by the 3-crossing in (b).