A Sharp Ramsey Theorem for Ordered Hypergraph Matchings

TL;DR

This paper establishes nearly optimal bounds for Ramsey numbers of ordered hypergraph matchings, demonstrating the existence of large structured subcollections with consistent relative positions, and extends these results to multiparameter settings.

Contribution

It provides sharp bounds for ordered hypergraph matchings' Ramsey numbers and introduces a multiparameter extension addressing prescribed pattern sizes.

Findings

Bounds are sharp up to a factor of 2 for all r.

Existence of large subcollections with uniform relative positions.

Asymptotic tightness of bounds for large r.

Abstract

We prove essentially sharp bounds for Ramsey numbers of ordered hypergraph matchings, inroduced recently by Dudek, Grytczuk, and Ruci\'{n}ski. Namely, for any $r \ge 2$ and $n \ge 2$, we show that any collection $\mathcal H$ of $n$ pairwise disjoint subsets in $\mathbb Z$ of size $r$ contains a subcollection of size $\lfloor n^{1/(2^r-1)}/2\rfloor$ in which every pair of sets are in the same relative position with respect to the linear ordering on $\mathbb Z$. This improves previous bounds of Dudek-Grytczuk-Ruci\'nski and of Anastos-Jin-Kwan-Sudakov and is sharp up to a factor of $2$. For large $r$, we even obtain such a subcollection of size $\lfloor (1-o(1))\cdot n^{1/(2^r-1)}\rfloor$, which is asymptotically tight (here, the $o(1)$-term tends to zero as $r \to \infty$, regardless of the value of $n$). Furthermore, we prove a multiparameter extension of this result where one wants to find a clique of prescribed size $m_P$ for each relative position pattern $P$. Our bound is sharp for all choices of parameters $m_P$, up to a constant factor depending on $r$ only. This answers questions of Anastos-Jin-Kwan-Sudakov and of Dudek-Grytczuk-Ruci\'nski.