Searcharxiv⌕ Search

arXiv subjects

Dana Bartošová

Publications and source records attributed to Dana Bartošová.

13 recordsLinked to original sources
arXiv2025

Big Ramsey Degrees in Ultraproducts of Finite Structures

We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized) Continuum Hypothesis the ultraproduct has finite big Ramsey degrees for internal colorings. The necessity of restricting to internal colorings is demonstrated by the example of the ultraproduct of finite linear orders. Under CH, this ultraproduct $\fLL^*$ has, as a spine, $η_1$, an uncountable analogue of the order type of rationals $η$. Finite big Ramsey degrees for $η$ were exactly calculated by Devlin in \cite{Devlin}. It is immediate from \cite{Tod87} that $η_1$ fails to have finite big Ramsey degrees. Moreover, we extend Devlin's coloring to $η_1$ to show that it witnesses big Ramsey degrees of finite tuples in $η$ on every copy of $η$ in $η_1,$ and consequently in $\fLL^*$. This work gives additional confirmation that ultraproducts are a suitable environment for studying Ramsey properties of finite and infinite structures.

math.LO↗
arXiv2024

A new perspective on semi-retractions and the Ramsey property

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.

math.LO↗
arXiv2021

The Ramsey property for Operator spaces and noncommutative Choquet simplices

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) $.

math.OA↗
arXiv2021

Universal minimal flows of extensions of and by compact groups

Every topological group $G$ has up to isomorphism a unique minimal $G$-flow that maps onto every minimal $G$-flow, the universal minimal flow $M(G).$ We show that if $G$ has a compact normal subgroup $K$ that acts freely on $M(G)$ and there exists a uniformly continuous cross section $G/K\to G,$ then the phase space of $M(G)$ is homeomorphic to the product of the phase space of $M(G/K)$ with $K$. Moreover, if either the left and right uniformities on $G$ coincide or $G\cong G/K\ltimes K$, we also recover the action, in the latter case extending a result of Kechris and Sokić. As an application, we show that the phase space of $M(G)$ for any totally disconnected locally compact Polish group $G$ with a normal open compact subgroup is homeomorphic to a finite set, Cantor set $2^{\mathbb{N}}$, $M(\mathbb{Z})$, or $M(\mathbb{Z})\times 2^{\mathbb{N}}.$

math.DS↗
arXiv2020

The Ramsey property for Banach spaces and Choquet simplices

We show that the Gurarij space $\mathbb{G}$ has extremely amenable automorphism group. This answers a question of Melleray and Tsankov. We also compute the universal minimal flow of the automorphism group of the Poulsen simplex $\mathbb{P}$ and we prove that it consists of the canonical action on $\mathbb{P}$ itself. This answers a question of Conley and Törnquist. We show that the pointwise stabilizer of any closed proper face of $\mathbb{P}$ is extremely amenable. Similarly, the pointwise stabilizer of any closed proper biface of the unit ball of the dual of the Gurarij space (the Lusky simplex) is extremely amenable. These results are obtained via several Kechris-Pestov-Todorcevic correspondences, by establishing the approximate Ramsey property for several classes of finite-dimensional Banach spaces and function systems and their versions with distinguished contractions. This is the first direct application of the Kechris-Pestov-Todorcevic correspondence in the setting of metric structures. The fundamental combinatorial principle that underpins the proofs is the Dual Ramsey Theorem of Graham and Rothschild.

math.DS↗
arXiv2019

The Ramsey properties for Grassmannians over $\mathbb R$, $\mathbb C$

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.

math.CO↗
arXiv2018

Fraïssé structures and a conjecture of Furstenberg

We study problems concerning the Samuel compactification of the automorphism group of a countable first-order structure. A key motivating question is a problem of Furstenberg and a counter-conjecture by Pestov regarding the difference between $S(G)$, the Samuel compactification, and $E(M(G))$, the enveloping semigroup of the universal minimal flow. We resolve Furstenberg's problem for several automorphism groups and give a detailed study in the case of $G = S_\infty$, leading us to define and investigate several new types of ultrafilter on a countable set.

math.DS↗
arXiv2013

Universal minimal flow in the language of near filters and its applications

We describe the greatest ambit and the universal minimal flow as spaces of near ultrafilters. We translate other notions of topological dynamics into this language and show how this approach simplifies some known proofs. We provide a simple proof that groups of isometries of generalized Urysohn spaces are extremely amenable without use of concentration of measure phenomena and we give a partial answer to Pestov's conjecture to the problem of Ellis.

math.DS↗
arXiv2013

Ramsey property for Boolean algebras with ideals and $\mathcal{P}(ω_1)/\rm{fin}$

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.

math.DS↗
arXiv2011

Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures

It is a well-known fact, that the greatest ambit for a topological group $G$ is the Samuel compactification of $G$ with respect to the right uniformity on $G.$ We apply the original destription by Samuel from 1948 to give a simple computation of the universal minimal flow for groups of automorphisms of uncountable structures using Fraïssé theory and Ramsey theory. This work generalizes some of the known results about countable structures.

math.DS↗