Lower and Upper Bounds for Small Canonical and Ordered Ramsey Numbers
Abstract
In this paper, we investigate three extensions of Ramsey numbers to other combinatorial settings. We first consider ordered Ramsey numbers. Here, we ask for a monochromatic copy of a linearly ordered graph in every -edge-coloring of a linearly ordered complete graph . The smallest such is denoted by . Next, we study canonical Ramsey numbers. A canonical coloring of a linearly ordered graph is an edge-coloring in which is monochromatic, rainbow, or min/max-lexicographic. In the latter case, each pair of edges receives the same color if and only if they share the same first (respectively, second) vertex. Erd\H{o}s and Rado showed that for every there exists such that every edge-coloring of a linearly ordered contains a canonical copy of ; the smallest such is denoted by . Finally, we examine unordered canonical Ramsey numbers, introduced by Richer. An edge-coloring of is orderable if there exists a linear ordering of its vertices such that the color of each edge is determined by its first vertex. Unlike lexicographic colorings, this notion also includes monochromatic colorings. Richer proved that for all and , there exists such that every edge-coloring of contains an orderable copy of or a rainbow . The smallest such is denoted by . In all three settings, we focus on determining the corresponding Ramsey numbers for small graphs . We use tabu search and integer programming to obtain lower bounds, and flag algebras or integer programming to establish upper bounds. Among other results, we determine for all graphs on up to four vertices except , for all orderings of , and the exact values and .
Keywords
Cite
@article{arxiv.2511.04364,
title = {Lower and Upper Bounds for Small Canonical and Ordered Ramsey Numbers},
author = {Daniel Brosch and Bernard Lidický and Sydney Miyasaki and Diane Puges},
journal= {arXiv preprint arXiv:2511.04364},
year = {2025}
}