arXiv++ Combinatorics

We show that the big Ramsey degree of the Boolean algebra with 3 atoms within the countable atomless Boolean algebra is infinite.

We investigate the notion of a semi-retraction between two first order structures (in typically different signatures) that was introduced by the second author as a link between the Ramsey property and generalized indiscernible sequences. We further these connections between combinatorics and model theory, and look at semi-retractions through a new lens establishing transfers of the Ramsey property and finite Ramsey degrees under quite general conditions that are optimal as demonstrated by counterexamples. Finally, we compare semi-retractions to the category theoretic notion of a pre-adjunction.

The noncommutative Gurarij space $\mathbb{\mathbb{\mathbb{NG}}}$, initially defined by Oikhberg, is a canonical object in the theory of operator spaces. As the Fraïssé limit of the class of finite-dimensional nuclear operator spaces, it can be seen as the noncommutative analogue of the classical Gurarij Banach space. In this paper, we prove that the automorphism group of $\mathbb{\mathbb{NG}}$ is extremely amenable, i.e.\ any of its actions on compact spaces has a fixed point. The proof relies on the Dual Ramsey Theorem, and a version of the Kechris--Pestov--Todorcevic correspondence in the setting of operator spaces. Recent work of Davidson and Kennedy, building on previous work of Arveson, Effros, Farenick, Webster, and Winkler, among others, shows that nuclear operator systems can be seen as the noncommutative analogue of Choquet simplices. The analogue of the Poulsen simplex in this context is the matrix state space $\mathbb{NP}$ of the Fraïssé limit $A(\mathbb{NP})$ of the class of finite-dimensional nuclear operator systems. We show that the canonical action of the automorphism group of $\mathbb{NP}$ on the compact set $\mathbb{NP}_1$ of unital linear functionals on $A(\mathbb{NP})$ is minimal and it factors onto any minimal action, whence providing a description of the universal minimal flow of \textrm{Aut}$\left( \mathbb{NP}% \right) $.

In this note we study and obtain factorization theorems for colorings of matrices and Grassmannians over $\mathbb{R}$ and ${\mathbb{C}}$, which can be considered metric versions of the Dual Ramsey Theorem for Boolean matrices and of the Graham-Leeb-Rothschild Theorem for Grassmannians over a finite field.

We generalize the finite version of Gowers' Ramsey theorem to multiple tetris-like operations and apply it to show that a group of homeomorphisms that preserve a "typical" linear order of branches of the Lelek fan, a compact connected metric space with many symmetries, is extremely amenable.

We apply the Dual Ramsey Theorem of Graham and Rothschild to prove the Ramsey property for classes of finite Boolean algebras with distinguished ideals. This allows us to compute the universal minimal flow of the group of automorphisms of $\mathcal{P}(ω_1)/\rm{fin},$ should it be isomorphic to $\mathcal{P}(ω)/\rm{fin}$ or not, and of other quotients of power set algebras. Taking Fraïssé limits of these classes, we can compute universal minimal flows of groups of homeomorphisms of the Cantor set fixing some closed subsets.