A Crossing Lemma for Multigraphs

Let $G$ be a drawing of a graph with $n$ vertices and $e>4n$ edges, in which no two adjacent edges cross and any pair of independent edges cross at most once. According to the celebrated Crossing Lemma of Ajtai, Chv\'atal, Newborn, Szemer\'edi and Leighton, the number of crossings in $G$ is at least $c{e^3\over n^2}$, for a suitable constant $c>0$. In a seminal paper, Sz\'ekely generalized this result to multigraphs, establishing the lower bound $c{e^3\over mn^2}$, where $m$ denotes the maximum multiplicity of an edge in $G$. We get rid of the dependence on $m$ by showing that, as in the original Crossing Lemma, the number of crossings is at least $c'{e^3\over n^2}$ for some $c'>0$, provided that the "lens" enclosed by every pair of parallel edges in $G$ contains at least one vertex. This settles a conjecture of Kaufmann.

[1]  E. Szemerédi,et al.  Crossing-Free Subgraphs , 1982 .

[2]  Micha Sharir,et al.  Davenport-Schinzel sequences and their geometric applications , 1995, Handbook of Computational Geometry.

[3]  Tamal K. Dey,et al.  Improved Bounds for Planar k -Sets and Related Problems , 1998, Discret. Comput. Geom..

[4]  L. A. Oa,et al.  Crossing Numbers and Hard Erd} os Problems in Discrete Geometry , 1997 .

[5]  Frank Thomson Leighton Complexity Issues in VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks , 2003 .

[6]  David S. Johnson,et al.  Crossing Number is NP-Complete , 1983 .

[7]  Michael Kaufmann Beyond-Planar Graphs: Algorithmics and Combinatorics , 2017 .

[8]  Farhad Shahrokhi,et al.  Applications of the crossing number , 1994, SCG '94.

[9]  Robin Thomas,et al.  Planar Separators , 1994, SIAM J. Discret. Math..

[10]  J. Pach,et al.  Thirteen problems on crossing numbers , 2000 .

[11]  A. Sz ekely A successful concept for measuring non-planarity of graphs: the crossing number , 2007 .

[12]  Endre Szemerédi,et al.  Extremal problems in discrete geometry , 1983, Comb..

[13]  Farhad Shahrokhi,et al.  Applications of the crossing number , 2005, Algorithmica.

[14]  Marcus Schaefer,et al.  Complexity of Some Geometric and Topological Problems , 2009, GD.

[15]  M. Schaefer The Graph Crossing Number and its Variants: A Survey , 2013 .

[16]  L. A S Z L,et al.  Crossing Numbers and Hard Erdős Problems in Discrete Geometry , 1997 .