Table of Contents
Fetching ...

Rectilinear Crossing Number of Graphs Excluding Single-Crossing Graphs as Minors

Vida Dujmović, Camille La Rose

TL;DR

The paper addresses the rectilinear crossing number in minor-closed graph families, proving that graphs excluding a single-crossing graph as a minor have \\\\overline{cr} bound linear in the number of edges and maximum degree: \\\\overline{cr}(G)=O(\\Delta(G)\\cdot ||G||) (and hence O(\\Delta(G)\\cdot n) since ||G|| is controlled in these families). The authors leverage Robertson–Seymour structure theory to decompose X-minor-free graphs into planar or bounded-treewidth pieces connected via clique-sums, and introduce simplicial blowups to manage how drawings combine across sums. They develop a framework of (k,c)-agreeable pieces and a robust clique-sum drawing technique to bound new crossings during assembly, culminating in a tight O(\\Delta(G)\\cdot n) bound for single-crossing minor-free graphs and several corollaries, including K5-minor-free graphs and bounded-treewidth graphs. This work significantly narrows the gap between general crossing-number bounds and rectilinear counterparts in important minor-closed families, with potential extensions to broader X-minor-free classes.

Abstract

The crossing number of a graph $G$ is the minimum number of crossings in a drawing of $G$ in the plane. A rectilinear drawing of a graph $G$ represents vertices of $G$ by a set of points in the plane and represents each edge of $G$ by a straight-line segment connecting its two endpoints. The rectilinear crossing number of $G$ is the minimum number of crossings in a rectilinear drawing of $G$. By the crossing lemma, the crossing number of an $n$-vertex graph $G$ can be $O(n)$ only if $|E(G)|\in O(n)$. Graphs of bounded genus and bounded degree (Böröczky, Pach and Tóth, 2006) and in fact all bounded degree proper minor-closed families (Wood and Telle, 2007) have been shown to admit linear crossing number, with tight $Θ(Δn)$ bound shown by Dujmović, Kawarabayashi, Mohar and Wood, 2008. Much less is known about rectilinear crossing number. It is not bounded by any function of the crossing number. We prove that graphs that exclude a single-crossing graph as a minor have the rectilinear crossing number $O(Δn)$. This dependence on $n$ and $Δ$ is best possible. A single-crossing graph is a graph whose crossing number is at most one. Thus the result applies to $K_5$-minor-free graphs, for example. It also applies to bounded treewidth graphs, since each family of bounded treewidth graphs excludes some fixed planar graph as a minor. Prior to our work, the only bounded degree minor-closed families known to have linear rectilinear crossing number were bounded degree graphs of bounded treewidth (Wood and Telle, 2007), as well as, bounded degree $K_{3,3}$-minor-free graphs (Dujmović, Kawarabayashi, Mohar and Wood, 2008). In the case of bounded treewidth graphs, our $O(Δn)$ result is again tight and improves on the previous best known bound of $O(Δ^2 n)$ by Wood and Telle, 2007 (obtained for convex geometric drawings).

Rectilinear Crossing Number of Graphs Excluding Single-Crossing Graphs as Minors

TL;DR

The paper addresses the rectilinear crossing number in minor-closed graph families, proving that graphs excluding a single-crossing graph as a minor have \\\\overline{cr} bound linear in the number of edges and maximum degree: \\\\overline{cr}(G)=O(\\Delta(G)\\cdot ||G||) (and hence O(\\Delta(G)\\cdot n) since ||G|| is controlled in these families). The authors leverage Robertson–Seymour structure theory to decompose X-minor-free graphs into planar or bounded-treewidth pieces connected via clique-sums, and introduce simplicial blowups to manage how drawings combine across sums. They develop a framework of (k,c)-agreeable pieces and a robust clique-sum drawing technique to bound new crossings during assembly, culminating in a tight O(\\Delta(G)\\cdot n) bound for single-crossing minor-free graphs and several corollaries, including K5-minor-free graphs and bounded-treewidth graphs. This work significantly narrows the gap between general crossing-number bounds and rectilinear counterparts in important minor-closed families, with potential extensions to broader X-minor-free classes.

Abstract

The crossing number of a graph is the minimum number of crossings in a drawing of in the plane. A rectilinear drawing of a graph represents vertices of by a set of points in the plane and represents each edge of by a straight-line segment connecting its two endpoints. The rectilinear crossing number of is the minimum number of crossings in a rectilinear drawing of . By the crossing lemma, the crossing number of an -vertex graph can be only if . Graphs of bounded genus and bounded degree (Böröczky, Pach and Tóth, 2006) and in fact all bounded degree proper minor-closed families (Wood and Telle, 2007) have been shown to admit linear crossing number, with tight bound shown by Dujmović, Kawarabayashi, Mohar and Wood, 2008. Much less is known about rectilinear crossing number. It is not bounded by any function of the crossing number. We prove that graphs that exclude a single-crossing graph as a minor have the rectilinear crossing number . This dependence on and is best possible. A single-crossing graph is a graph whose crossing number is at most one. Thus the result applies to -minor-free graphs, for example. It also applies to bounded treewidth graphs, since each family of bounded treewidth graphs excludes some fixed planar graph as a minor. Prior to our work, the only bounded degree minor-closed families known to have linear rectilinear crossing number were bounded degree graphs of bounded treewidth (Wood and Telle, 2007), as well as, bounded degree -minor-free graphs (Dujmović, Kawarabayashi, Mohar and Wood, 2008). In the case of bounded treewidth graphs, our result is again tight and improves on the previous best known bound of by Wood and Telle, 2007 (obtained for convex geometric drawings).
Paper Structure (12 sections, 21 theorems, 7 equations)

This paper contains 12 sections, 21 theorems, 7 equations.

Key Result

Theorem 1

For any $\varepsilon > 0$, there exists $c_{\varepsilon}$ such that, every graph $G$ with $\Vert G\Vert > (3+\varepsilon)\cdot |G|$ edges,

Theorems & Definitions (30)

  • Theorem 1
  • Theorem 2: pach2006crossingDBLP:journals/ijfcs/BorozkyPT06
  • Theorem 3: WT07
  • Theorem 4: dujmovic2018tight
  • Theorem 5: dujmovic2018tight
  • Theorem 6: WT07
  • Theorem 7: dujmovic2018tight
  • Theorem 8
  • Corollary 9
  • Corollary 10
  • ...and 20 more