Using block designs in crossing number bounds

Abstract

The crossing number normalCR ( G ) of a graph G goodbreakinfix= ( V , E ) is the smallest number of edge crossings over all drawings of G in the plane. For any k goodbreakinfix≥ 1, the k‐planar crossing number of G goodbreakinfix, CR k ( G ), is defined as the minimum of CR ( G 1 ) + CR ( G 2 ) + ⋯ + CR ( G k ) over all graphs G 1 goodbreakinfix, G 2 , … , G k with ∪ i = 1 k G i goodbreakinfix= G. Pach et al [Comput. Geom.: Theory Appl. 68 (2018), pp. 2–6] showed that for every k goodbreakinfix≥ 1, we have CR k ( G ) ≤ ( 2 / k 2 − 1 / k 3 ) CR ( G ) and that this bound does not remain true if we replace the constant 2 / k 2 − 1 / k 3 by any number smaller than 1 / k 2. We improve the upper bound to ( 1 / k 2 ) ( 1 + o ( 1 ) ) as k goodbreakinfix→ ∞. For the class of bipartite graphs, we show that the best constant is exactly 1 / k 2 for every k. The results extend to the rectilinear variant of the k‐planar crossing number.

Some remarks on the midrange crossing constant

“…For example, C can be the class of bipartite graphs. The existence of the midrange crossing constant for the class of bipartite graphs was needed to prove some tight crossing number results [4]. Angelini, Bekos, Kaufmann, Pfister and Ueckerdt [3] proved a stronger version of the Crossing Lemma for bipartite graphs.…”