Ramsey's witnesses
Logic
2026-02-20 v2 Combinatorics
Abstract
We introduce the notion of Ramsey partition regularity, a generalisation of partition regularity involving infinitary configurations. We provide characterisations of this notion in terms of certain ultrafilters related to tensor products and dubbed Ramsey's witnesses; and we also consider their nonstandard counterparts as pairs of hypernatural numbers, called Ramsey pairs. These characterisations are then used to determine whether various configurations involving polynomials and exponentials are Ramsey partition regular over the natural numbers. In particular, this provides negative answers to several questions recently posed by Kra, Moreira, Richter and Robertson.
Keywords
Cite
@article{arxiv.2503.09246,
title = {Ramsey's witnesses},
author = {Mauro Di Nasso and Lorenzo Luperi Baglini and Marcello Mamino and Rosario Mennuni and Mariaclara Ragosta},
journal= {arXiv preprint arXiv:2503.09246},
year = {2026}
}