Article contents
A NOTE ON ORDER-TYPE HOMOGENEOUS POINT SETS
Published online by Cambridge University Press: 19 December 2013
Abstract
Let ${\mathrm{OT} }_{d} (n)$ be the smallest integer
$N$ such that every
$N$-element point sequence in
${ \mathbb{R} }^{d} $ in general position contains an order-type homogeneous subset of size
$n$, where a set is order-type homogeneous if all
$(d+ 1)$-tuples from this set have the same orientation. It is known that a point sequence in
${ \mathbb{R} }^{d} $ that is order-type homogeneous, forms the vertex set of a convex polytope that is combinatorially equivalent to a cyclic polytope in
${ \mathbb{R} }^{d} $. Two famous theorems of Erdős and Szekeres from 1935 imply that
${\mathrm{OT} }_{1} (n)= \Theta ({n}^{2} )$ and
${\mathrm{OT} }_{2} (n)= {2}^{\Theta (n)} $. For
$d\geq 3$, we give new bounds for
${\mathrm{OT} }_{d} (n)$. In particular, we show that
${\mathrm{OT} }_{3} (n)= {2}^{{2}^{\Theta (n)} } $, answering a question of Eliáš and Matoušek, and, for
$d\geq 4$, we show that
${\mathrm{OT} }_{d} (n)$ is bounded above by an exponential tower of height
$d$ with
$O(n)$ in the topmost exponent.
MSC classification
- Type
- Research Article
- Information
- Copyright
- Copyright © University College London 2013
References
- 11
- Cited by