The Minor Crossing Number of Graphs with an Excluded Minor

Drago Bokal,Gašper Fijavž,David R. Wood

DOI: https://doi.org/10.48550/arXiv.math/0609707

2006-12-07

Abstract:The "minor crossing number" of a graph $G$ is the minimum crossing number of a graph that contains $G$ as a minor. It is proved that for every graph $H$ there is a constant $c$, such that every graph $G$ with no $H$-minor has minor crossing number at most $c|V(G)|$.

Combinatorics

What problem does this paper attempt to address?

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

Vida Dujmović,Camille La Rose

2024-02-23

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$.

Combinatorics,Computational Geometry
Improvement on the Crossing Number of Crossing-Critical Graphs

János Barát,Géza Tóth

DOI: https://doi.org/10.1007/s00454-020-00264-2

2020-12-18

Abstract:Abstract The crossing number of a graph G is the minimum number of edge crossings over all drawings of G in the plane. A graph G is k -crossing-critical if its crossing number is at least k , but if we remove any edge of G , its crossing number drops below k . There are examples of k -crossing-critical graphs that do not have drawings with exactly k crossings. Richter and Thomassen proved in 1993 that if G is k -crossing-critical, then its crossing number is at most $$2.5\, k+16$$ 2.5 k + 16 . We improve this bound to $$2k+8\sqrt{k}+47$$ 2 k + 8 k + 47 .

mathematics,computer science, theory & methods
On Book Crossing Numbers of the Complete Graph

Bernardo Abrego,Julia Kinzel,Silvia Fernandez-Merchant,Evgeniya Lagoda,Yakov Sapozhnikov

DOI: https://doi.org/10.1137/20m138260x

IF: 0.868

2024-06-07

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 2, Page 1686-1700, June 2024. A [math]-page book drawing of a graph [math] is a drawing of [math] on [math] halfplanes with a line [math] as a common boundary such that the vertices are located on [math] and the edges cannot cross [math]. The [math]-page book crossing number of the graph [math], denoted by [math], is the minimum number of edge-crossings over all [math]-page book drawings of [math]. This paper improves previous results on [math]-page book crossing numbers of the complete graph [math]. We determine [math] whenever [math] and improve the lower bounds on [math] for all [math]. Our proofs rely on bounding the number of edges in convex geometric graphs with few crossings per edge.

mathematics, applied
An Algorithm for the Graph Crossing Number Problem

Julia Chuzhoy

DOI: https://doi.org/10.48550/arXiv.1012.0255

2010-12-02

Abstract:We study the Minimum Crossing Number problem: given an $n$-vertex graph $G$, the goal is to find a drawing of $G$ in the plane with minimum number of edge crossings. This is one of the central problems in topological graph theory, that has been studied extensively over the past three decades. The first non-trivial efficient algorithm for the problem, due to Leighton and Rao, achieved an $O(n\log^4n)$-approximation for bounded degree graphs. This algorithm has since been improved by poly-logarithmic factors, with the best current approximation ratio standing on $O(n \poly(d) \log^{3/2}n)$ for graphs with maximum degree $d$. In contrast, only APX-hardness is known on the negative side. In this paper we present an efficient randomized algorithm to find a drawing of any $n$-vertex graph $G$ in the plane with $O(OPT^{10}\cdot \poly(d \log n))$ crossings, where $OPT$ is the number of crossings in the optimal solution, and $d$ is the maximum vertex degree in $G$. This result implies an $\tilde{O}(n^{9/10} \poly(d))$-approximation for Minimum Crossing Number, thus breaking the long-standing $\tilde{O}(n)$-approximation barrier for bounded-degree graphs.

Data Structures and Algorithms,Computational Geometry
Complete Graph Minors and the Graph Minor Structure Theorem

Gwenaël Joret,David R. Wood

DOI: https://doi.org/10.1016/j.jctb.2012.09.001

2012-05-18

Abstract:The graph minor structure theorem by Robertson and Seymour shows that every graph that excludes a fixed minor can be constructed by a combination of four ingredients: graphs embedded in a surface of bounded genus, a bounded number of vortices of bounded width, a bounded number of apex vertices, and the clique-sum operation. This paper studies the converse question: What is the maximum order of a complete graph minor in a graph constructed using these four ingredients? Our main result answers this question up to a constant factor.

Combinatorics
A slightly better bound on the crossing number in terms of the pair-crossing number

János Karl,Géza Tóth

DOI: https://doi.org/10.48550/arXiv.2105.14319

2021-05-29

Combinatorics

Abstract:The crossing number of a graph $G$, ${\mbox{cr}}(G)$, is the minimum number of crossings, the pair-crossing number, ${\mbox{pcr}}(G)$, is the minimum number of pairs of crossing edges over all drawings of $G$. In this note we show that ${\mbox{cr}}(G)=O({\mbox{pcr}}(G)^{3/2}\log{\mbox{pcr}}(G))$, which is an improvement of the result of Matou\v{s}ek, by a log factor.
On the Uncrossed Number of Graphs

Martin Balko,Petr Hliněný,Tomáš Masařík,Joachim Orthaber,Birgit Vogtenhuber,Mirko H. Wagner

2024-07-31

Abstract:Visualizing a graph $G$ in the plane nicely, for example, without crossings, is unfortunately not always possible. To address this problem, Masařík and Hliněný [GD 2023] recently asked for each edge of $G$ to be drawn without crossings while allowing multiple different drawings of $G$. More formally, a collection $\mathcal{D}$ of drawings of $G$ is uncrossed if, for each edge $e$ of $G$, there is a drawing in $\mathcal{D}$ such that $e$ is uncrossed. The uncrossed number $\mathrm{unc}(G)$ of $G$ is then the minimum number of drawings in some uncrossed collection of $G$. No exact values of the uncrossed numbers have been determined yet, not even for simple graph classes. In this paper, we provide the exact values for uncrossed numbers of complete and complete bipartite graphs, partly confirming and partly refuting a conjecture posed by Hliněný and Masařík. We also present a strong general lower bound on $\mathrm{unc}(G)$ in terms of the number of vertices and edges of $G$. Moreover, we prove NP-hardness of the related problem of determining the edge crossing number of a graph $G$, which is the smallest number of edges of $G$ taken over all drawings of $G$ that participate in a crossing. This problem was posed as open by Schaefer in his book [Crossing Numbers of Graphs 2018].

Combinatorics,Computational Geometry,Discrete Mathematics
On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees

Petr Hliněný,Michal Korbela

2024-03-01

Abstract:A recent result of Bokal et al. [Combinatorica, 2022] proved that the exact minimum value of c such that c-crossing-critical graphs do not have bounded maximum degree is c=13. The key to that result is an inductive construction of a family of 13-crossing-critical graphs with many vertices of arbitrarily high degrees. While the inductive part of the construction is rather easy, it all relies on the fact that a certain 17-vertex base graph has the crossing number 13, which was originally verified only by a machine-readable computer proof. We provide a relatively short self-contained computer-free proof of the latter fact. Furthermore, we subsequently generalize the critical construction in order to provide a definitive answer to a remaining open question of this research area; we prove that for every c>=13 and integers d,q, there exists a c-crossing-critical graph with more than q vertices of each of the degrees 3,4,...,d.

Combinatorics
The grid-minor theorem revisited

Vida Dujmović,Robert Hickingbotham,Jędrzej Hodor,Gweanël Joret,Hoang La,Piotr Micek,Pat Morin,Clément Rambaud,David R. Wood

2023-07-06

Abstract:We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of $H\boxtimes K_c$. This is a qualitative strengthening of the Grid-Minor Theorem of Robertson and Seymour (JCTB 1986), and treedepth is the optimal parameter in such a result. As an example application, we use this result to improve the upper bound for weak coloring numbers of graphs excluding a fixed graph as a minor.

Combinatorics,Discrete Mathematics
The extremal function for disconnected minors

Endre Csóka,Irene Lo,Sergey Norin,Hehui Wu,Liana Yepremyan

DOI: https://doi.org/10.48550/arXiv.1509.01185

2015-09-04

Abstract:For a graph $H$ let $c(H)$ denote the supremum of $|E(G)|/|V(G)|$ taken over all non-null graphs $G$ not containing $H$ as a minor. We show that $$c(H) \leq \frac{|V(H)|+\mathrm{comp}(H)}{2}-1,$$ when $H$ is a union of cycles, verifying conjectures of Reed and Wood, and Harvey and Wood. We derive the above result from a theorem which allows us to find two vertex disjoint subgraphs with prescribed densities in a sufficiently dense graph, which might be of independent interest.

Combinatorics
Minimizing an Uncrossed Collection of Drawings

Petr Hliněný,Tomáš Masařík

2023-09-01

Abstract:In this paper, we introduce the following new concept in graph drawing. Our task is to find a small collection of drawings such that they all together satisfy some property that is useful for graph visualization. We propose investigating a property where each edge is not crossed in at least one drawing in the collection. We call such collection uncrossed. Such property is motivated by a quintessential problem of the crossing number, where one asks for a plane drawing where the number of edge crossings is minimum. Indeed, if we are allowed to visualize only one drawing, then the one which minimizes the number of crossings is probably the neatest for the first orientation. However, a collection of drawings where each highlights a different aspect of a graph without any crossings could shed even more light on the graph's structure. We propose two definitions. First, the uncrossed number, minimizes the number of graph drawings in a collection, satisfying the uncrossed property. Second, the uncrossed crossing number, minimizes the total number of crossings in the collection that satisfy the uncrossed property. For both definitions, we establish initial results. We prove that the uncrossed crossing number is NP-hard, but there is an FPT algorithm parameterized by the solution size.

Computational Geometry,Discrete Mathematics,Combinatorics
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition

Tuukka Korhonen,Daniel Lokshtanov

2023-08-09

Abstract:A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike $H$-minor-free graphs, it can contain dense graphs. We show that if an $n$-vertex $m$-edge graph $G$ does not contain a graph $H$ as an induced minor, then it has a balanced vertex separator of size $O_{H}(\sqrt{m})$, where the $O_{H}(\cdot)$-notation hides factors depending on $H$. More precisely, our upper bound for the size of the balanced separator is $O(\min(|V(H)|^2, \log n) \cdot \sqrt{|V(H)|+|E(H)|} \cdot \sqrt{m})$. We give an algorithm for finding either an induced minor model of $H$ in $G$ or such a separator in randomized polynomial-time. We apply this to obtain subexponential $2^{O_{H}(n^{2/3} \log n)}$ time algorithms on $H$-induced-minor-free graphs for a large class of problems including maximum independent set, minimum feedback vertex set, 3-coloring, and planarization. For graphs $H$ where every edge is incident to a vertex of degree at most 2, our results imply a $2^{O_{H}(n^{2/3} \log n)}$ time algorithm for testing if $G$ contains $H$ as an induced minor. Our second main result is that there exists a fixed tree $T$, so that there is no $2^{o(n/\log^3 n)}$ time algorithm for testing if a given $n$-vertex graph contains $T$ as an induced minor unless the Exponential Time Hypothesis (ETH) fails. Our reduction also gives NP-hardness, which solves an open problem asked by Fellows, Kratochvíl, Middendorf, and Pfeiffer [Algorithmica, 1995], who asked if there exists a fixed planar graph $H$ so that testing for $H$ as an induced minor is NP-hard.

Data Structures and Algorithms,Combinatorics
Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

Aaron Büngener,Michael Kaufmann

2024-09-05

Abstract:The classical Crossing Lemma by Ajtai et al.~and Leighton from 1982 gave an important lower bound of $c \frac{m^3}{n^2}$ for the number of crossings in any drawing of a given graph of $n$ vertices and $m$ edges. The original value was $c= 1/100$, which then has gradually been improved. Here, the bounds for the density of $k$-planar graphs played a central role. Our new insight is that for $k=2,3$ the $k$-planar graphs have substantially fewer edges if specific local configurations that occur in drawings of $k$-planar graphs of maximum density are forbidden. Therefore, we are able to derive better bounds for the crossing number $\text{cr}(G)$ of a given graph $G$. In particular, we achieve a bound of $\text{cr}(G) \ge \frac{37}{9}m-\frac{155}{9}(n-2)$ for the range of $5n < m \le 6n$, while our second bound $\text{cr}(G) \ge 5m - \frac{203}{9}(n-2)$ is even stronger for larger $m>6n$. For $m > 6.77n$, we finally apply the standard probabilistic proof from the BOOK and obtain an improved constant of $c>1/27.48$ in the Crossing Lemma. Note that the previous constant was $1/29$. Although this improvement is not too impressive, we consider our technique as an important new tool, which might be helpful in various other applications.

Combinatorics,Discrete Mathematics
Structure and generation of crossing-critical graphs

Zdeněk Dvořák,Petr Hliněný,Bojan Mohar

DOI: https://doi.org/10.48550/arXiv.1803.01931

2018-03-05

Combinatorics

Abstract:We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph.
The Excluded Tree Minor Theorem Revisited

Vida Dujmović,Robert Hickingbotham,Gwenaël Joret,Piotr Micek,Pat Morin,David R. Wood

DOI: https://doi.org/10.1017/S0963548323000275

2023-03-27

Abstract:We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible bound.

Combinatorics,Discrete Mathematics
The crossing number of cubes with small order

Guoqing Wang,Haoli Wang,Yuansheng Yang

DOI: https://doi.org/10.48550/arXiv.1102.3483

2013-10-05

Abstract:The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. In this paper, we give the exact values of crossing numbers for some variations of hypercube with order at most four, including crossed cube, locally twisted cube and Möbius cube.

Combinatorics
Minor Containment and Disjoint Paths in almost-linear time

Tuukka Korhonen,Michał Pilipczuk,Giannos Stamoulis

2024-04-05

Abstract:We give an algorithm that, given graphs $G$ and $H$, tests whether $H$ is a minor of $G$ in time ${\cal O}_H(n^{1+o(1)})$; here, $n$ is the number of vertices of $G$ and the ${\cal O}_H(\cdot)$-notation hides factors that depend on $H$ and are computable. By the Graph Minor Theorem, this implies the existence of an $n^{1+o(1)}$-time membership test for every minor-closed class of graphs.

Data Structures and Algorithms,Combinatorics
Eigenvalues and graph minors

Mingqing Zhai,Longfei Fang,Huiqiu Lin

2024-04-20

Abstract:Let $spex(n,H_{minor})$ denote the maximum spectral radius of $n$-vertex $H$-minor free graphs. The problem on determining this extremal value can be dated back to the early 1990s. Up to now, it has been solved for $n$ sufficiently large and some special minors, such as $\{K_{2,3},K_4\}$, $\{K_{3,3},K_5\}$, $K_r$ and $K_{s,t}$. In this paper, we find some unified phenomena on general minors. Every graph $G$ on $n$ vertices with spectral radius $\rho\geq spex(n,H_{minor})$ contains either an $H$ minor or a spanning book $K_{\gamma_H}\nabla(n-\gamma_H)K_1$, where $\gamma_H=|H|-\alpha(H)-1$. Furthermore, assume that $G$ is $H$-minor free and $\Gamma^*_s(H)$ is the family of $s$-vertex irreducible induced subgraphs of $H$, then $G$ minus its $\gamma_H$ dominating vertices is $\Gamma^*_{\alpha(H)+1}(H)$-minor saturate, and it is further edge-maximal if $\Gamma^*_{\alpha(H)+1}(H)$ is a connected family. As applications, we obtain some known results on minors mentioned above. We also determine the extremal values for some other minors, such as flowers, wheels, generalized books and complete multi-partite graphs. Our results extend some conjectures on planar graphs, outer-planar graphs and $K_{s,t}$-minor free graphs. To obtain the results, we combine stability method, spectral techniques and structural analyses. Especially, we give an exploration of using absorbing method in spectral extremal problems.

Combinatorics
Improved bounds on the cop number when forbidding a minor

Franklin Kenter,Erin Meger,Jérémie Turcotte

DOI: https://doi.org/10.1002/jgt.23194

2024-10-15

Journal of Graph Theory

Abstract:Andreae proved that the cop number of connected H ‐minor‐free graphs is bounded for every graph H . In particular, the cop number is at most ∣ E(H − h ) ∣ if H − h contains no isolated vertex, where h ∈ V( H ) . The main result of this paper is an improvement on this bound, which is most significant when H is small or sparse, for instance, when H − h can be obtained from another graph by multiple edge subdivisions. Some consequences of this result are improvements on the upper bound for the cop number of K3 , t ‐minor‐free graphs, K2 , t ‐minor‐free graphs and linklessly embeddable graphs.

mathematics
Central limit theorem for crossings in randomly embedded graphs

Santiago Arenas-Velilla,Octavio Arizmendi,J. E. Paguyo

DOI: https://doi.org/10.48550/arXiv.2308.11570

2023-08-22

Probability

Abstract:We consider the number of crossings in a random embedding of a graph, $G$, with vertices in convex position. We give explicit formulas for the mean and variance of the number of crossings as a function of various subgraph counts of $G$. Using Stein's method and size-bias coupling, we prove an upper bound on the Kolmogorov distance between the distribution of the number of crossings and a standard normal random variable. As an application, we establish central limit theorems, along with convergence rates, for the number of crossings in random matchings, path graphs, cycle graphs, and the disjoint union of triangles.

The Minor Crossing Number of Graphs with an Excluded Minor

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

Improvement on the Crossing Number of Crossing-Critical Graphs

On Book Crossing Numbers of the Complete Graph

An Algorithm for the Graph Crossing Number Problem

Complete Graph Minors and the Graph Minor Structure Theorem

A slightly better bound on the crossing number in terms of the pair-crossing number

On the Uncrossed Number of Graphs

On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees

The grid-minor theorem revisited

The extremal function for disconnected minors

Minimizing an Uncrossed Collection of Drawings

Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition

Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

Structure and generation of crossing-critical graphs

The Excluded Tree Minor Theorem Revisited

The crossing number of cubes with small order

Minor Containment and Disjoint Paths in almost-linear time

Eigenvalues and graph minors

Improved bounds on the cop number when forbidding a minor

Central limit theorem for crossings in randomly embedded graphs