Source author record

Yonatan Gutman

Yonatan Gutman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

19works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2022arXiv

Maximal pronilfactors and a topological Wiener-Wintner theorem

For strictly ergodic systems, we introduce the class of CF-Nil($k$) systems: systems for which the maximal measurable and maximal topological $k$-step pronilfactors coincide as measure-preserving systems. Weiss' theorem implies that such systems are abundant in a precise sense. We show that the CF-Nil($k$) systems are precisely the class of minimal systems for which the $k$-step nilsequence version of the Wiener-Wintner average converges everywhere. As part of the proof we establish that pronilsystems are $coalescent$ both in the measurable and topological categories. In addition, we characterize a CF-Nil($k$) system in terms of its $(k+1)$-$th\ dynamical\ cubespace$. In particular, for $k=1$, this provides for strictly ergodic systems a new condition equivalent to the property that every measurable eigenfunction has a continuous version.

preprint2021arXiv

Around the variational principle for metric mean dimension

We study variational principles for metric mean dimension. First we prove that in the variational principle of Lindenstrauss and Tsukamoto it suffices to take supremum over ergodic measures. Second we derive a variational principle for metric mean dimension involving growth rates of measure-theoretic entropy of partitions decreasing in diameter which holds in full generality and in particular does not necessitate the assumption of tame growth of covering numbers. The expressions involved are a dynamical version of Renyi information dimension. Third we derive a new expression for Geiger-Koch information dimension rate for ergodic shift-invariant measures. Finally we develop a lower bound for metric mean dimension in terms of Brin-Katok local entropy.

preprint2021arXiv

On the structure theory of cubespace fibrations

We study fibrations in the category of cubespaces/nilspaces. We show that a fibration of finite degree $f \colon X\rightarrow Y$ between compact ergodic gluing cubespaces (in particular nilspaces) factors as a (possibly countable) tower of compact abelian Lie group principal fiber bundles over $Y$. If the structure groups of $f$ are connected then the fibers are (uniformly) isomorphic (in a strong sense) to an inverse limit of nilmanifolds. In addition we give conditions under which the fibers of $f$ are isomorphic as subcubespaces. We introduce regionally proximal equivalence relations relative to factor maps between minimal topological dynamical systems for an arbitrary acting group. We prove that any factor map between minimal distal systems is a fibration and conclude that if such a map is of finite degree then it factors as a (possibly countable) tower of principal abelian Lie compact group extensions, thus achieving a refinement of both the Furstenberg's and the Bronstein-Ellis structure theorems in this setting.

preprint2021arXiv

Universal minimal flows of homeomorphism groups of high-dimensional manifolds are not metrizable

Answering a question of Uspenskij, we prove that if $X$ is a closed manifold of dimension $2$ or higher or the Hilbert cube, then the universal minimal flow of $\mathrm{Homeo}(X)$ is not metrizable. In dimension $3$ or higher, we also show that the minimal $\mathrm{Homeo}(X)$-flow consisting of all maximal, connected chains in $X$ has meager orbits.

preprint2020arXiv

A probabilistic Takens theorem

Let $X \subset \mathbb{R}^N$ be a Borel set, $μ$ a Borel probability measure on $X$ and $T:X \to X$ a Lipschitz and injective map. Fix $k \in \mathbb{N}$ greater than the (Hausdorff) dimension of $X$ and assume that the set of $p$-periodic points has dimension smaller than $p$ for $p=1, \ldots, k-1$. We prove that for a typical polynomial perturbation $\tilde{h}$ of a given Lipschitz map $h : X \to \mathbb{R}$, the $k$-delay coordinate map $x \mapsto (\tilde{h}(x), \tilde{h}(Tx), \ldots, \tilde{h}(T^{k-1}x))$ is injective on a set of full measure $μ$. This is a probabilistic version of the Takens delay embedding theorem as proven by Sauer, Yorke and Casdagli. We also provide a non-dynamical probabilistic embedding theorem of similar type, which strengthens a previous result by Alberti, Bölcskei, De Lellis, Koliander and Riegler. In both cases, the key improvements compared to the non-probabilistic counterparts are the reduction of the number of required measurements from $2\dim X$ to $\dim X$ and using Hausdorff dimension instead of the box-counting one. We present examples showing how the use of the Hausdorff dimension improves the previously obtained results.

preprint2020arXiv

Mean dimension and an embedding theorem for real flows

We develop mean dimension theory for $\mathbb{R}$-flows. We obtain fundamental properties and examples and prove an embedding theorem: Any real flow $(X,\mathbb{R})$ of mean dimension strictly less than $r$ admits an extension $(Y,\mathbb{R})$ whose mean dimension is equal to that of $(X,\mathbb{R})$ and such that $(Y,\mathbb{R})$ can be embedded in the $\mathbb{R}$-shift on the compact function space $\{f\in C(\mathbb{R},[-1,1])|\;\mathrm{supp}(\hat{f})\subset [-r,r]\}$, where $\hat{f}$ is the Fourier transform of $f$ considered as a tempered distribution. These canonical embedding spaces appeared previously as a tool in embedding results for $\mathbb{Z}$-actions.

preprint2020arXiv

The structure theory of Nilspaces III: Inverse limit representations and topological dynamics

This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs. Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy. We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof.

preprint2016arXiv

Takens' embedding theorem with a continuous observable

Let $(X,T)$ be a dynamical system where $X$ is a compact metric space and $T:X\rightarrow X$ is continuous and invertible. Assume the Lebesgue covering dimension of $X$ is $d$. We show that for a generic continuous map $h:X\rightarrow[0,1]$, the $(2d+1)$-delay observation map $x\mapsto\big(h(x),h(Tx),\ldots,h(T^{2d}x)\big)$ is an embedding of $X$ inside $[0,1]^{2d+1}$. This is a generalization of the discrete version of the celebrated Takens embedding theorem, as proven by Sauer, Yorke and Casdagli to the setting of a continuous observable. In particular there is no assumption on the (lower) box-counting dimension of $X$ which may be infinite.

preprint2015arXiv

Embedding minimal dynamical systems into Hilbert cubes

We study the problem of embedding minimal dynamical systems into the shift action on the Hilbert cube $\left([0,1]^N\right)^{\mathbb{Z}}$. This problem is intimately related to the theory of mean dimension, which counts the averaged number of parameters of dynamical systems. Lindenstrauss proved that minimal systems of mean dimension less than $N/36$ can be embedded into $\left([0,1]^N\right)^{\mathbb{Z}}$, and he proposed the problem of finding the optimal value of the mean dimension for the embedding. We solve this problem by proving that minimal systems of mean dimension less than $N/2$ can be embedded into $\left([0,1]^N\right)^{\mathbb{Z}}$. The value $N/2$ is optimal. The proof uses Fourier and complex analysis.

preprint2015arXiv

Mean dimension of $\mathbb{Z}^k$-actions

Mean dimension is a topological invariant for dynamical systems that is meaningful for systems with infinite dimension and infinite entropy. Given a $\mathbb{Z}^k$-action on a compact metric space $X$, we study the following three problems closely related to mean dimension. (1) When is $X$ isomorphic to the inverse limit of finite entropy systems? (2) Suppose the topological entropy $h_{\mathrm{top}}(X)$ is infinite. How much topological entropy can be detected if one considers $X$ only up to a given level of accuracy? How fast does this amount of entropy grow as the level of resolution becomes finer and finer? (3) When can we embed $X$ into the $\mathbb{Z}^k$-shift on the infinite dimensional cube $([0,1]^D)^{\mathbb{Z}^k}$? These were investigated for $\mathbb{Z}$-actions in [Lindenstrauss, Mean dimension, small entropy factors and an embedding theorem, Inst. Hautes Études Sci. Publ. Math. \textbf{89} (1999) 227-262], but the generalization to $\mathbb{Z}^k$ remained an open problem. When $X$ has the marker property, in particular when $X$ has a completely aperiodic minimal factor, we completely solve (1) and a natural interpretation of (2), and give a reasonably satisfactory answer to (3). A key ingredient is a new method to continuously partition every orbit into good pieces.

preprint2015arXiv

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.

preprint2013arXiv

Dynamical Embedding in Cubical Shifts & the Topological Rokhlin and Small Boundary Properties

According to a conjecture of Lindenstrauss and Tsukamoto, a topological dynamical system $(X,T)$ is embeddable in the $d$-cubical shift $(([0,1]^{d})^{\mathbb{Z}},\ shift)$ if both its mean dimension and periodic dimension are strictly bounded by $\frac{d}{2}$. We verify the conjecture for the class of systems admitting finite dimensional non-wandering sets (under the additional assumption of closed periodic points set). The main tool in the proof is the new concept of local markers. Continuing the investigation of (global) markers initiated in previous work it is shown that the marker property is equivalent to a topological version of the Rokhlin Lemma. Moreover new classes of systems are found to have the marker property, in particular, extensions of aperiodic systems with a countable number of minimal subsystems. Extending work of Lindenstrauss we show that for systems with the marker property vanishing mean dimension is equivalent to the small boundary property. Finally we answer a question by Downarowicz in the affirmative: the small boundary property is equivalent to admitting a zero-dimensional isomorphic extension.

preprint2012arXiv

A Juzvinski\uı Addition Theorem for Finitely Generated Free Groups Actions

The classical Juzvinskiĭ Addition Theorem states that the entropy of an automorphism of a compact group decomposes along invariant subgroups. Thomas generalized the theorem to a skew-product setting. Using L. Bowen's f-invariant we prove the addition theorem for actions of finitely generated free groups on skew-products with compact totally disconnected groups or compact Lie groups (correcting an error from [Bo10c]) and discuss examples.

preprint2012arXiv

Minimal hyperspace actions of homeomorphism groups of h-homogeneous spaces

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. Using the dual Ramsey theorem and a detailed combinatorial analysis of what we call stable collections of subsets of a finite set, we obtain a complete list of the minimal sub-systems of the compact dynamical system (Exp(Exp(X)),Homeo(X)), where Exp(X) stands for the hyperspace comprising the closed subsets of X equipped with the Vietoris topology. The importance of this dynamical system stems from Uspenskij's characterization of the universal ambit of G = Homeo(X). The results apply to X = C the Cantor set, the generalized Cantor sets X = {0,1}^kappa for non-countable cardinals kappa, and to several other spaces. A particular interesting case is X = beta(omega) \ omega, where beta(omega) denotes the Stone-Cech compactification of the natural numbers. This space, called the corona or the remainder of omega, has been extensively studied in the fields of set theory and topology.

preprint2011arXiv

The universal minimal space for groups of homeomorphisms of h-homogeneous spaces

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal chains on X introduced by Uspenskij. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (Glasner-Weiss 2003). However many new examples arise for non-metrizable spaces. These include, among others, the generalized Cantor sets X={0,1}^{kappa} for non-countable cardinals kappa, and the corona or remainder of omega, X=beta(omega) \ omega, where beta(omega) denotes the Stone-Cech compactification of the natural numbers.

preprint2006arXiv

On processes which cannot be distinguished by finitary observation

A function $J$ defined on a family $C$ of stationary processes is finitely observable if there is a sequence of functions $s_n$ such that $s_n(x_1 ... x_n)\to J(X)$ in probability for every process $X=(x_n)\in C$. Recently, Ornstein and Weiss roved the striking result that if $C$ is the class of aperiodic ergodic finite valued processes, then the only finitely observable isomorphism invariant on $C$ is entropy. We sharpen this in several ways. Our main theorem is that if $X \to Y$ is a zero-entropy extension of finite entropy ergodic systems and $C$ is the family of processes arising from $X$ and $Y$, then every finitely observable function on $C$ is constant. This implies Ornstein and Weiss' result, and extends it to many other families of processes, e.g. it shows that there are no nontrivial finitely observable isomorphism invariants for processes arising from Kronecker systems, mild and strong mixing zero entropy systems. It also implies that any finitely observable isomorphism invariant defined on the family of processes arising from irrational rotations must be constant for rotations belonging to a set of full Lebesgue measure.