Induced Ramsey-type results and binary predicates for point sets

Martin Balko, Jan Kynčl, Stefan Langerman, Alexander Pilz

Research output: Contribution to journalArticleResearchpeer-review

Abstract

Let A and B be two finite sets of points in the plane in general position (neither of these sets contains three collinear points). We say that A lies deep below B if every point from A lies below every line determined by two points from B and every point from B lies above every line determined by two points from A. A point set P is decomposable if either |P|=1 or there is a partition P1∪P2 of P into nonempty and decomposable sets such that P1 is to the left of P2 and P1 is deep below P2. Extending a result of Nešetřil and Valtr, we show that for every decomposable point set Q and a positive integer k there is a finite set P of points in the plane in general position that satisfies the following Ramsey-type statement. For any partition C1∪⋯∪Ck of the pairs of points from P (that is, of the edges of the complete graph on P), there is a subset Q of P with the same triple-orientations as Q such that all pairs of points from Q are in the same part Ci. We then use this result to show that for every k there is a point set P such that no function Γ that maps ordered pairs of distinct points from P to a set of size k can satisfy the following property: if Γ attains the same values on two ordered triples of points from P, then these triples have the same orientation. Intuitively, this implies that there cannot be such a function that is defined locally and determines the orientation of point triples.

Original languageEnglish
Pages (from-to)77-83
Number of pages7
JournalElectronic Notes in Discrete Mathematics
Volume61
DOIs
Publication statusPublished - 1 Aug 2017
Externally publishedYes

    Fingerprint

Keywords

  • induced Ramsey theorem
  • order type
  • point set
  • point-set predicate

ASJC Scopus subject areas

  • Discrete Mathematics and Combinatorics
  • Applied Mathematics

Cite this