,
Balázs Keszegh
Creative Commons Attribution 4.0 International license
According to a conjecture of Pach, there are O(n) tangent pairs among any family of n Jordan arcs in which every pair of arcs has precisely one common point and no three arcs share a common point. This conjecture was proved for two special cases, however, for the general case the currently best upper bound is only O(n^{7/4}). This is also the best known bound on the number of tangencies in the relaxed case where every pair of arcs has at most one common point. We improve the bounds for the latter and former cases to O(n^{5/3}) and O(n^{3/2}), respectively. We also consider a few other variants of these questions, for example, we show that if the arcs are x-monotone, each pair intersects at most once and their left endpoints lie on a common vertical line, then the maximum number of tangencies is Θ(n^{4/3}). Without this last condition the number of tangencies is O(n^{4/3}(log n)^{1/3}), improving a previous bound of Pach and Sharir. Along the way we prove a graph-theoretic theorem which extends a result of Erdős and Simonovits and may be of independent interest.
@InProceedings{ackerman_et_al:LIPIcs.SoCG.2026.2,
author = {Ackerman, Eyal and Keszegh, Bal\'{a}zs},
title = {{On the Maximum Number of Tangencies Among 1-Intersecting Curves}},
booktitle = {42nd International Symposium on Computational Geometry (SoCG 2026)},
pages = {2:1--2: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.2},
URN = {urn:nbn:de:0030-drops-258085},
doi = {10.4230/LIPIcs.SoCG.2026.2},
annote = {Keywords: tangency graph, forbidden subgraph, extremal graph}
}