Searcharxiv⌕ Search

arXiv subjects

Lionel Nguyen Van Thé

Publications and source records attributed to Lionel Nguyen Van Thé.

11 recordsLinked to original sources

Finite Ramsey degrees and Fraïssé expansions with the Ramsey property

By a result of Zucker, every Fraïssé structure $\bf F$ for which the elements of $\mathrm{Age}(\bf F)$ have finite Ramsey degrees admits a Fraïssé precompact expansion $\bf F^{*}$ whose age $\mathrm{Age}(\bf F^{*})$ has the Ramsey property. While the original method uses dynamics in spaces of ultrafilters, the purpose of the present short note is to provide a different proof, based on classical tools from Fraïssé theory.

math.CO↗

Polish groups with metrizable universal minimal flows

We prove that if the universal minimal flow of a Polish group $G$ is metrizable and contains a $G_δ$ orbit $G \cdot x_0$, then it is isomorphic to the completion of the homogeneous space $G/G_{x_0}$ and show how this result translates naturally in terms of structural Ramsey theory. We also investigate universal minimal proximal flows and describe concrete representations of them in a number of examples.

math.DS↗

Fixed points in compactifications and combinatorial counterparts

The Kechris-Pestov-Todorcevic correspondence connects extreme amenability of non-Archimedean Polish groups with Ramsey properties of classes of finite structures. The purpose of the present paper is to recast it as one of the instances of a more general construction, allowing to show that Ramsey-type statements actually appear as natural combinatorial expressions of the existence of fixed points in certain compactifications of groups, and that similar correspondences in fact exist in various dynamical contexts.

math.DS↗

Glasner's problem for Polish groups with metrizable universal minimal flow

A problem of Glasner, now known as Glasner's problem, asks whether every minimally almost periodic, monothetic, Polish groups is extremely amenable. The purpose of this short note is to observe that a positive answer is obtained under the additional assumption that the universal minimal flow is metrizable.

math.DS↗

On relative extreme amenability

The purpose of this paper is to study the notion of relative extreme amenability for pairs of topological groups. We give a characterization by a fixed point property on universal spaces. In addition we introduce the concepts of an extremely amenable interpolant as well as maximally relatively extremely amenable pairs and give examples. It is shown that relative extreme amenability does not imply the existence of an extremely amenable interpolant. The theory is applied to generalize results of Kechris, Pestov and Todorcevic relating to the application of Fraïssé theory to the theory of Dynamical Systems. In particular, new conditions enabling to characterize universal minimal spaces of automorphism groups of Fraïssé structures are given.

math.GR↗

Ramsey precompact expansions of homogeneous directed graphs

In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow, immediately leading to an explicit representation of this invariant in many concrete cases. More recently, the framework was generalized allowing for further applications, and the purpose of this paper is to apply these new methods in the context of homogeneous directed graphs. In this paper, we show that the age of any homogeneous directed graph allows a Ramsey precompact expansion. Moreover, we verify the relative expansion properties and consequently describe the respective universal minimal flows.

math.CO↗

More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions

In 2005, the paper "Fraissé limits, Ramsey theory, and topological dynamics of automorphism groups" [KPT] by Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow. This immediately led to an explicit representation of this invariant in many concrete cases. However, in some particular situations, the framework of [KPT] does not allow to perform the computation directly, but only after a slight modification of the original argument. The purpose of the present paper is to supplement [KPT] in order to avoid that twist and to make it adapted for further applications.

math.LO↗

Universal flows of closed subgroups of $S_{\infty}$ and relative extreme amenability

This paper is devoted to the study of universality for a particular continuous action naturally attached to certain pairs of closed subgroups of $S_{\infty}$. It shows that three new concepts, respectively called relative extreme amenability, relative Ramsey property for embeddings, and relative Ramsey property for structures, are relevant in order to understand this property correctly. It also allows to provide a partial answer to a question posed by Kechris, Pestov and Todorcevic.

math.LO↗

The oscillation stability problem for the Urysohn sphere: A combinatorial approach

We study the oscillation stability problem for the Urysohn sphere, an analog of the distortion problem for $\ell_2$ in the context of the Urysohn space $\Ur$. In particular, we show that this problem reduces to a purely combinatorial problem involving a family of countable ultrahomogeneous metric spaces with finitely many distances.

math.MG↗

Fixed point-free isometric actions of topological groups on Banach spaces

We show that every non-precompact topological group admits a fixed point-free continuous action by affine isometries on a suitable Banach space. Thus, precompact groups are defined by the fixed point property for affine isometric actions on Banach spaces. For separable topological groups, in the above statements it is enough to consider affine actions on one particular Banach space: the unique Banach space envelope of the universal Urysohn metric space, known as the Holmes space. At the same time, we show that Polish groups need not admit topologically proper (in particular, free) affine isometric actions on Banach spaces (nor even on complete metric spaces): this is the case for the unitary group of the separable infinite dimensional Hilbert space with strong operator topology, the infinite symmetric group, etc.

math.GR↗