TY - GEN
T1 - The Erdos-Szekeres Conjecture Revisited
AU - Baek, Jineon
AU - Balko, Martin
N1 - Publisher Copyright:
© Jineon Baek and Martin Balko.
PY - 2025/6/20
Y1 - 2025/6/20
N2 - The famous and still open Erdos-Szekeres Conjecture from 1935 states that every set of at least 2k-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 Erdos-Szekeres Conjecture by showing that every set of at least 2k-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 2k-2 + 1 from the Erdos-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 Erdos-Szekeres Conjecture is not true. Finally, we prove the Erdos-Szekeres Conjecture for so-called decomposable sets and provide new constructions of sets of 2k-2 points without k points in convex position, generalizing all previously known constructions of such point sets and allowing us to computationally tackle the Erdos-Szekeres Conjecture for large values of k.
AB - The famous and still open Erdos-Szekeres Conjecture from 1935 states that every set of at least 2k-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 Erdos-Szekeres Conjecture by showing that every set of at least 2k-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 2k-2 + 1 from the Erdos-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 Erdos-Szekeres Conjecture is not true. Finally, we prove the Erdos-Szekeres Conjecture for so-called decomposable sets and provide new constructions of sets of 2k-2 points without k points in convex position, generalizing all previously known constructions of such point sets and allowing us to computationally tackle the Erdos-Szekeres Conjecture for large values of k.
KW - Erdos-Szekeres theorem
KW - convex position
KW - point set
UR - https://www.scopus.com/pages/publications/105009595457
U2 - 10.4230/LIPIcs.SoCG.2025.13
DO - 10.4230/LIPIcs.SoCG.2025.13
M3 - Conference contribution
AN - SCOPUS:105009595457
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 41st International Symposium on Computational Geometry, SoCG 2025
A2 - Aichholzer, Oswin
A2 - Wang, Haitao
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 41st International Symposium on Computational Geometry, SoCG 2025
Y2 - 23 June 2025 through 27 June 2025
ER -