,
Andrew Suk
,
Gábor Tardos
,
Ji Zeng
Creative Commons Attribution 4.0 International license
Let C_{s,t} be the complete bipartite geometric graph, with s and t vertices on two distinct parallel lines respectively, and all s t straight-line edges drawn between them. In this paper, we show that every complete bipartite simple topological graph, with parts of size 2(k-1)⁴ + 1 and 2^{k^{5k}}, contains a topological subgraph weakly isomorphic to C_{k,k}. As a corollary, every n-vertex simple topological graph not containing a plane path of length k has at most O_k(n^{2 - 8/k⁴}) edges. When k = 3, we obtain a stronger bound by showing that every n-vertex simple topological graph not containing a plane path of length 3 has at most O(n^{4/3}) edges. We also prove that x-monotone simple topological graphs not containing a plane path of length 3 have at most a linear number of edges.
@InProceedings{keszegh_et_al:LIPIcs.SoCG.2026.63,
author = {Keszegh, Bal\'{a}zs and Suk, Andrew and Tardos, G\'{a}bor and Zeng, Ji},
title = {{Unavoidable Patterns and Plane Paths in Dense Topological Graphs}},
booktitle = {42nd International Symposium on Computational Geometry (SoCG 2026)},
pages = {63:1--63:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-418-5},
ISSN = {1868-8969},
year = {2026},
volume = {367},
editor = {Ahn, Hee-Kap and Hoffmann, Michael and Nayyeri, Amir},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2026.63},
URN = {urn:nbn:de:0030-drops-258706},
doi = {10.4230/LIPIcs.SoCG.2026.63},
annote = {Keywords: graph drawing, topological graph, bipartite geometric graph, forbidden subgraph, extremal graph, thrackle}
}