Showing 1–15 of 15 results for author: Bartosova, D

Big Ramsey Degrees in Ultraproducts of Finite Structures

Authors: Dana Bartošová, Mirna Džamonja, Rehana Patel, Lynn Scow

Abstract: 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 th… ▽ More 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. △ Less

Submitted 12 September, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

Comments: This is a version revised after the referee report

A new perspective on semi-retractions and the Ramsey property

Authors: Dana Bartošová, Lynn Scow

Abstract: 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… ▽ More 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. △ Less

Submitted 3 March, 2024; v1 submitted 23 April, 2022; originally announced April 2022.

Comments: 33 pages

Universal minimal flows of extensions of and by compact groups

Authors: Dana Bartošová

Abstract: 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$.… ▽ More 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}}.$ △ Less

Submitted 19 March, 2021; originally announced March 2021.

Comments: 11 pages

MSC Class: 37B05; 22B99

The Ramsey property for Operator spaces and noncommutative Choquet simplices

Authors: Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Abstract: 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… ▽ More 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) $. △ Less

Submitted 24 August, 2021; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: 32 pages. This preprint is partially based on a part of our preprint arXiv:1708.01317, version1

MSC Class: Primary 05D10; 46L07; Secondary 37B05; 46L05

Journal ref: J. Funct. Anal. 281 (2021), no. 9, Paper No. 109192, 39 pp

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

Authors: Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Abstract: 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. 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. △ Less

Submitted 1 October, 2019; originally announced October 2019.

MSC Class: Primary 05D10; 37B05; Secondary 05A05; 46B20

Fraïssé structures and a conjecture of Furstenberg

Authors: Dana Bartošová, Andy Zucker

Abstract: 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 envelo** semigroup of the universal minimal flow. We resolve Furstenberg's problem for several auto… ▽ More 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 envelo** 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. △ Less

Submitted 10 September, 2018; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: Formerly titled "Samuel compactifications of automorphism groups," the paper was accepted in Comment. Math. Univ. Carolin., and the title was changed at the request of the referee

The Ramsey property for Banach spaces and Choquet simplices

Authors: Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Abstract: 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 stabi… ▽ More 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. △ Less

Submitted 22 April, 2020; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: This preprint is partially based on a part of our preprint with arXiv identifier 708.01317. To appear in J. Eur. Math. Soc. (JEMS)

MSC Class: 05D10; 46B04 (Primary); 47L25; 46A55 (Secondary)

Universal minimal flow of the homeomorphism group of the Lelek fan

Authors: Dana Bartošová, Aleksandra Kwiatkowska

Abstract: We compute the universal minimal flow of the homeomorphism group of the Lelek fan -- a one-dimensional tree-like continuum with many symmetries. We compute the universal minimal flow of the homeomorphism group of the Lelek fan -- a one-dimensional tree-like continuum with many symmetries. △ Less

Submitted 28 June, 2017; originally announced June 2017.

MSC Class: 05D10; 37B05; 54F15; 03C98

Gowers' Ramsey Theorem with multiple operations and dynamics of the homeomorphism group of the Lelek fan

Authors: Dana Bartošová, Aleksandra Kwiatkowska

Abstract: 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 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. △ Less

Submitted 14 February, 2017; v1 submitted 19 November, 2014; originally announced November 2014.

Comments: accepted to Journal of Combinatorial Theory, Series A

MSC Class: 05D10; 37B05; 54F15; 03C98

Lelek fan from a projective Fraisse limit

Authors: Dana Bartosova, Aleksandra Kwiatkowska

Abstract: We show that a natural quotient of the projective Fraisse limit of a family that consists of finite rooted trees is the Lelek fan. Using this construction, we study properties of the Lelek fan and of its homeomorphism group. We show that the Lelek fan is projectively universal and projectively ultrahomogeneous in the class of smooth fans. We further show that the homeomorphism group of the Lelek f… ▽ More We show that a natural quotient of the projective Fraisse limit of a family that consists of finite rooted trees is the Lelek fan. Using this construction, we study properties of the Lelek fan and of its homeomorphism group. We show that the Lelek fan is projectively universal and projectively ultrahomogeneous in the class of smooth fans. We further show that the homeomorphism group of the Lelek fan is totally disconnected, generated by every neighbourhood of the identity, has a dense conjugacy class, and is simple. △ Less

Submitted 12 May, 2015; v1 submitted 29 December, 2013; originally announced December 2013.

Comments: version accepted to Fund. Math

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

Authors: Dana Bartošová

Abstract: 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 an… ▽ More 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. △ Less

Submitted 2 May, 2013; v1 submitted 7 December, 2012; originally announced December 2012.

Comments: This paper has been withdrawn due to an error and will be posted again when fixed

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

Authors: Dana Bartošová

Abstract: 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… ▽ More 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. △ Less

Submitted 16 January, 2013; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: 15 pages

More Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures

Authors: Dana Bartosova

Abstract: In this paper, we compute universal minimal flows of groups of automorphisms of uncountable $ω$-homogeneous graphs, $K_n$-free graphs, hypergraphs, partially ordered sets, and their extensions with an $ω$-homogeneous ordering. We present an easy construction of such structures, expanding the jungle of extremely amenable groups. In this paper, we compute universal minimal flows of groups of automorphisms of uncountable $ω$-homogeneous graphs, $K_n$-free graphs, hypergraphs, partially ordered sets, and their extensions with an $ω$-homogeneous ordering. We present an easy construction of such structures, expanding the jungle of extremely amenable groups. △ Less

Submitted 4 April, 2012; v1 submitted 30 March, 2012; originally announced April 2012.

Comments: 14 pages

MSC Class: 37B05; 03E02; 05D10; 22F50; 54H20

Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures

Authors: Dana Bartošová

Abstract: 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… ▽ More 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. △ Less

Submitted 21 November, 2011; originally announced November 2011.

Comments: 12 pages

MSC Class: 37B05(Primary) 03E02; 05D10; 22F50; 54H20 (Secondary)

Lelek's problem is not a metric problem

Authors: Dana Bartosova, Logan Hoehn, Klaas Pieter Hart, Berd van der Steeg

Abstract: We show that Lelek's problem on the chainability of continua with span zero is not a metric problem: from a non-metric counterexample one can construct a metric one. We show that Lelek's problem on the chainability of continua with span zero is not a metric problem: from a non-metric counterexample one can construct a metric one. △ Less

Submitted 22 December, 2009; v1 submitted 9 October, 2008; originally announced October 2008.

Comments: Final version as sent to editor

MSC Class: 54F15 (Primary) 03C20; 03C68 (Secondary)

Journal ref: Topology and its Applications, 158, (2011), 2479--2484