Induced Ramsey-type results and binary predicates for point sets

Let $k$ and $p$ be positive integers and let $Q$ be a finite point set in general position in the plane. We say that $Q$ is $(k,p)$-Ramsey if there is a finite point set $P$ such that for every $k$-coloring $c$ of $\binom{P}{p}$ there is a subset $Q'$ of $P$ such that $Q'$ and $Q$ have the same order type and $\binom{Q'}{p}$ is monochromatic in $c$. Ne\v{s}et\v{r}il and Valtr proved that for every $k \in \mathbb{N}$, all point sets are $(k,1)$-Ramsey. They also proved that for every $k \ge 2$ and $p \ge 2$, there are point sets that are not $(k,p)$-Ramsey. As our main result, we introduce a new family of $(k,2)$-Ramsey point sets, extending a result of Ne\v{s}et\v{r}il and Valtr. We then use this new result to show that for every $k$ there is a point set $P$ such that no function $\Gamma$ that maps ordered pairs of distinct points from $P$ to a set of size $k$ can satisfy the following "local consistency" property: if $\Gamma$ 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.Comment: 22 pages, 3 figures, final version, minor correction

Colouring versus density in integers and Hales-Jewett cubes

We construct for every integer $k\geq 3$ and every real $\mu\in(0, \frac{k-1}{k})$ a set of integers $X=X(k, \mu)$ which, when coloured with finitely many colours, contains a monochromatic $k$-term arithmetic progression, whilst every finite $Y\subseteq X$ has a subset $Z\subseteq Y$ of size $|Z|\geq \mu |Y|$ that is free of arithmetic progressions of length $k$. This answers a question of Erd\H{o}s, Ne\v{s}et\v{r}il, and the second author. Moreover, we obtain an analogous multidimensional statement and a Hales-Jewett version of this result.Comment: 5 figure

On globally sparse Ramsey graphs

We say that a graph $G$ has the Ramsey property w.r.t.\ some graph $F$ and some integer $r\geq 2$, or $G$ is $(F,r)$-Ramsey for short, if any $r$-coloring of the edges of $G$ contains a monochromatic copy of $F$. R{\"o}dl and Ruci{\'n}ski asked how globally sparse $(F,r)$-Ramsey graphs $G$ can possibly be, where the density of $G$ is measured by the subgraph $H\subseteq G$ with the highest average degree. So far, this so-called Ramsey density is known only for cliques and some trivial graphs $F$. In this work we determine the Ramsey density up to some small error terms for several cases when $F$ is a complete bipartite graph, a cycle or a path, and $r\geq 2$ colors are available

Edge-ordered Ramsey numbers

We introduce and study a variant of Ramsey numbers for edge-ordered graphs, that is, graphs with linearly ordered sets of edges. The edge-ordered Ramsey number $\overline{R}_e(\mathfrak{G})$ of an edge-ordered graph $\mathfrak{G}$ is the minimum positive integer $N$ such that there exists an edge-ordered complete graph $\mathfrak{K}_N$ on $N$ vertices such that every 2-coloring of the edges of $\mathfrak{K}_N$ contains a monochromatic copy of $\mathfrak{G}$ as an edge-ordered subgraph of $\mathfrak{K}_N$. We prove that the edge-ordered Ramsey number $\overline{R}_e(\mathfrak{G})$ is finite for every edge-ordered graph $\mathfrak{G}$ and we obtain better estimates for special classes of edge-ordered graphs. In particular, we prove $\overline{R}_e(\mathfrak{G}) \leq 2^{O(n^3\log{n})}$ for every bipartite edge-ordered graph $\mathfrak{G}$ on $n$ vertices. We also introduce a natural class of edge-orderings, called lexicographic edge-orderings, for which we can prove much better upper bounds on the corresponding edge-ordered Ramsey numbers.Comment: Minor revision, 16 pages, 1 figure. An extended abstract of this paper will appeared in the Eurocomb 2019 proceedings in Acta Mathematica Universitatis Comenianae. The paper has been accepted to the European Journal of Combinatoric