Higher-order Erdõs-Szekeres theorems

Marek Eliáš

Abstract

Let P=(p_1,p_2,...,p_N) be a sequence of points in the plane, where p_i=(x_i,y_i) and x_1<x_2<...<x_N. A famous 1935 Erdos-Szekeres theorem asserts that every such P contains a monotone subsequence S of sqrt(N) points. Another, equally famous theorem from the same paper implies that every such P contains a convex or concave subsequence of Omega(log N) points.

Monotonicity is a property determined by pairs of points, and convexity concerns triples of points. We propose a generalization making both of these theorems members of an infinite family of Ramsey-type results. First we define a (k+1)-tuple K\subseteq P to be positive if it lies on the graph of a function whose kth derivative is everywhere nonnegative, and similarly for a negative (k+1)-tuple. Then we say that S\subseteq P is kth-order monotone if its (k+1)-tuples are all positive or all negative.

We investigate quantitative bound for the corresponding