Showing 1–7 of 7 results for author: Barbosa, K D

Tukey reducibility for categories -- In search of the strongest statement in finite Ramsey theory

Authors: Keegan Dasilva Barbosa, Dragan Mašulović

Abstract: Every statement of the Ramsey theory of finite structures corresponds to the fact that a particular category has the Ramsey property. We can, then, compare the strength of Ramsey statements by comparing the ``Ramsey strength'' of the corresponding categories. The main thesis of this paper is that establishing pre-adjunctions between pairs of categories is an appropriate way of comparing their ``Ra… ▽ More Every statement of the Ramsey theory of finite structures corresponds to the fact that a particular category has the Ramsey property. We can, then, compare the strength of Ramsey statements by comparing the ``Ramsey strength'' of the corresponding categories. The main thesis of this paper is that establishing pre-adjunctions between pairs of categories is an appropriate way of comparing their ``Ramsey strength''. What comes as a pleasant surprise is that pre-adjunctions generalize the Tukey reducibility in the same way categories generalize preorders. In this paper we set forth a classification program of statements of finite Ramsey theory based on their relationship with respect to this generalized notion of Tukey reducibility for categories. After identifying the ``weakest'' Ramsey category, we prove that the Finite Dual Ramsey Theorem is as powerful as the full-blown version of the Graham-Rothschild Theorem, and conclude the paper with the hypothesis that the Finite Dual Ramsey Theorem is the ``strongest'' of all finite Ramsey statements. △ Less

Submitted 21 August, 2023; v1 submitted 18 July, 2023; originally announced July 2023.

MSC Class: 05C55; 18A99

Box Ramsey and Canonical Colourings

Authors: Keegan Dasilva Barbosa

Abstract: This paper introduces the concept of a productive notion of big Ramsey degree and showcases its versatility through a handful of applications. The main focus is notably providing sufficient conditions for the existence of a finite canonical basis of equivalence relations, building upon the prior work of Laflamme, Sauer, and Vuksanovic. Additionally, a combinatorial analysis of indexed structures i… ▽ More This paper introduces the concept of a productive notion of big Ramsey degree and showcases its versatility through a handful of applications. The main focus is notably providing sufficient conditions for the existence of a finite canonical basis of equivalence relations, building upon the prior work of Laflamme, Sauer, and Vuksanovic. Additionally, a combinatorial analysis of indexed structures is conducted. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Comments: 26 pages, 2 figures

MSC Class: 05D10; 03E05

A short note on the characterization of countable chains with finite big Ramsey spectra

Authors: Keegan Dasilva Barbosa, Dragan Mašulović, Rajko Nenadov

Abstract: In this short note we confirm the deep structural correspondence between the complexity of a countable scattered chain (= strict linear order) and its big Ramsey combinatorics: we show that a countable scattered chain has finite big Ramsey degrees if and only if it is of finite Hausdorff rank. This also provides a complete characterization of countable chains whose big Ramsey spectra are finite.… ▽ More In this short note we confirm the deep structural correspondence between the complexity of a countable scattered chain (= strict linear order) and its big Ramsey combinatorics: we show that a countable scattered chain has finite big Ramsey degrees if and only if it is of finite Hausdorff rank. This also provides a complete characterization of countable chains whose big Ramsey spectra are finite. We expand the notion of big Ramsey spectrum to monomorphic structures and give a sufficient condition for a monomorphic countable structure to have finite big Ramsey spectrum. △ Less

Submitted 22 July, 2023; v1 submitted 4 May, 2023; originally announced May 2023.

The weak Ramsey property and extreme amenability

Authors: Adam Bartoš, Tristan Bice, Keegan Dasilva Barbosa, Wiesław Kubiś

Abstract: We extend the Kechris--Pestov--Todorčević correspondence to weak Fraïssé categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples including monoid categories, the category of almost linear orders, and categories of strong embeddings of trees. We extend the Kechris--Pestov--Todorčević correspondence to weak Fraïssé categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples including monoid categories, the category of almost linear orders, and categories of strong embeddings of trees. △ Less

Submitted 26 August, 2024; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: 57 pages, 12 figures

MSC Class: 22F50; 05D10; 18A30; 54H11

Journal ref: Forum of Mathematics, Sigma 12 (2024) e96

Borel Colouring Bad Sequences

Authors: Keegan Dasilva Barbosa

Abstract: Every better quasi-order codifies a Borel graph that does not contain a copy of the shift graph. It is known that there is a better quasi-order that codes a Borel graph with infinite Borel chromatic number, though one has yet to be explicitly constructed. In this paper, we show that examples cannot be constructed via standard methods. Moreover, we show that most of the known better quasi-orders ar… ▽ More Every better quasi-order codifies a Borel graph that does not contain a copy of the shift graph. It is known that there is a better quasi-order that codes a Borel graph with infinite Borel chromatic number, though one has yet to be explicitly constructed. In this paper, we show that examples cannot be constructed via standard methods. Moreover, we show that most of the known better quasi-orders are non-examples, suggesting there is still a class of better quasi-orders with interesting combinatorial properties who's elements/members still remain unknown. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Comments: 17 pages

MSC Class: 03E15 06A07 05C63

A Decomposition Theorem for Aronszajn Lines

Authors: Keegan Dasilva Barbosa

Abstract: We show that under the proper forcing axiom the class of all Aronszajn lines behave like $σ$-scattered orders under the embeddability relation. In particular, we are able to show that the class of better quasi order labeled fragmented Aronszajn lines is itself a better quasi order. Moreover, we show that every better quasi order labeled Aronszajn line can be expressed as a finite sum of labeled ty… ▽ More We show that under the proper forcing axiom the class of all Aronszajn lines behave like $σ$-scattered orders under the embeddability relation. In particular, we are able to show that the class of better quasi order labeled fragmented Aronszajn lines is itself a better quasi order. Moreover, we show that every better quasi order labeled Aronszajn line can be expressed as a finite sum of labeled types which are algebraically indecomposable. By encoding lines with finite labeled trees, we are also able to deduce a decomposition result, that for every Aronszajn line $L$ there is integer n such that for any finite colouring of $L$ there is subset $L^\prime$ of $L$ isomorphic to $L$ which uses no more than n colours. △ Less

Submitted 26 March, 2020; originally announced March 2020.

Comments: 21 pages

MSC Class: 06A05 03E35 03E05 05C05

A Categorical Notion of Precompact Expansion

Authors: Keegan Dasilva Barbosa

Abstract: We generalize the notion of relational precompact expansions of Fraïssé classes via functorial means, inspired by the technique outlined by Laflamme, Nguyen Van Thé and Sauer in their paper Partition properties of the dense local order and a colored version of Milliken's theorem arXiv:0710.2885. We also generalize the expansion property and prove that categorical precompact expansions grant upper… ▽ More We generalize the notion of relational precompact expansions of Fraïssé classes via functorial means, inspired by the technique outlined by Laflamme, Nguyen Van Thé and Sauer in their paper Partition properties of the dense local order and a colored version of Milliken's theorem arXiv:0710.2885. We also generalize the expansion property and prove that categorical precompact expansions grant upper bounds for Ramsey degrees. Moreover, we show under strict conditions, we can also compute big Ramsey degrees. We also apply our methodology to calculate the big and little Ramsey degrees of the objects in Age$(\mathbf{S}(n))$ for all $n\geq 2$. △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: 29 pages, 1 figure

MSC Class: 05C55 (Primary); 37B05 03C50 03E02 18A22 (Secondary)