The classical Crossing Lemma by Ajtai et al. and Leighton from 1982 gave an important lower bound of cm³/n² 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 cr(G) of a given graph G. In particular, we achieve a bound of cr(G) ≥ 73/18m-305/18(n-2) for the range of 5n < m ≤ 6n, while our second bound cr(G) ≥ 5m - 407/18(n-2) is even stronger for larger m > 6n. For m > 6.79n, we finally apply the standard probabilistic proof from the BOOK and obtain an improved constant of c > 1/27.61 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.
@InProceedings{bungener_et_al:LIPIcs.GD.2024.29, author = {B\"{u}ngener, Aaron and Kaufmann, Michael}, title = {{Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs}}, booktitle = {32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)}, pages = {29:1--29:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-343-0}, ISSN = {1868-8969}, year = {2024}, volume = {320}, editor = {Felsner, Stefan and Klein, Karsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2024.29}, URN = {urn:nbn:de:0030-drops-213136}, doi = {10.4230/LIPIcs.GD.2024.29}, annote = {Keywords: Crossing Lemma, k-planar graphs, discharging method} }
Feedback for Dagstuhl Publishing