The famous and still open Erdős-Szekeres Conjecture from 1935 states that every set of at least 2^{k-2}+1 points in the plane with no three being collinear contains k points in convex position, that is, k points that are vertices of a convex polygon. In this paper, we revisit this conjecture and show several new related results. First, we prove a relaxed version of the Erdős-Szekeres Conjecture by showing that every set of at least 2^{k-2}+1 points in the plane with no three being collinear contains a split k-gon, a relaxation of k-tuple of points in convex position. Moreover, we show that this is tight, showing that the value 2^{k-2}+1 from the Erdős-Szekeres Conjecture is exactly the right threshold for split k-gons. We obtain an analogous relaxation in a much more general setting of ordered 3-uniform hypergraphs where we also show that, perhaps surprisingly, a corresponding generalization of the Erdős-Szekeres Conjecture is not true. Finally, we prove the Erdős-Szekeres Conjecture for so-called decomposable sets and provide new constructions of sets of 2^{k-2} points without k points in convex position, generalizing all previously known constructions of such point sets and allowing us to computationally tackle the Erdős-Szekeres Conjecture for large values of k.
@InProceedings{baek_et_al:LIPIcs.SoCG.2025.13, author = {Baek, Jineon and Balko, Martin}, title = {{The Erd\H{o}s-Szekeres Conjecture Revisited}}, booktitle = {41st International Symposium on Computational Geometry (SoCG 2025)}, pages = {13:1--13:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-370-6}, ISSN = {1868-8969}, year = {2025}, volume = {332}, editor = {Aichholzer, Oswin and Wang, Haitao}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2025.13}, URN = {urn:nbn:de:0030-drops-231655}, doi = {10.4230/LIPIcs.SoCG.2025.13}, annote = {Keywords: convex position, Erd\H{o}s-Szekeres theorem, point set} }
Feedback for Dagstuhl Publishing