Finite-to-one equivariant maps and mean dimension

Michael Levin

2023-12-08

Abstract:We show that a minimal dynamical system $(X,\mathbb{Z})$ on a compact metric $X$ with mdim$X=d$ admits for every natural $k>d$ an equivariant map to the shift $([0,1]^k)^{\mathbb{Z}}$ such that each fiber of this map contains at most $[k/(k-d)]k/(k-d)$ points.

Dynamical Systems

What problem does this paper attempt to address?

An embedding theorem for mean dimension

Michael Levin

2023-12-11

Abstract:Let (X,Z) be a minimal dynamical system on a compact metric X and k an integer such that mdim X< k. We show that (X,Z) admits an equivariant embedding in the shift (D^k)^Z where D is a superdendrite.

Dynamical Systems
Equivariant embedding of finite-dimensional dynamical systems

Yonatan Gutman,Michael Levin,Tom Meyerovitch

2024-07-02

Abstract:We prove an equivariant version of the classical Menger-Nobeling theorem regarding topological embeddings: Whenever a group $G$ acts on a finite-dimensional compact metric space $X$, a generic continuous equivariant function from $X$ into $([0,1]^r)^G$ is a topological embedding, provided that for every positive integer $N$ the space of points in $X$ with orbit size at most $N$ has topological dimension strictly less than $\frac{rN}{2}$. We emphasize that the result imposes no restrictions whatsoever on the acting group $G$ (beyond the existence of an action on a finite-dimensional space). Moreover, if $G$ is finitely generated then there exists a finite subset $F\subset G$ so that for a generic continuous map $h:X\to [0,1]^{r}$, the map $h^{F}:X\to ([0,1]^{r})^{F}$ given by $x\mapsto (f(gx))_{g\in F}$ is an embedding. This constitutes a generalization of the Takens delay embedding theorem into the topological category.

Dynamical Systems,General Topology
Mean dimension of full shifts

Masaki Tsukamoto

DOI: https://doi.org/10.48550/arXiv.1712.03050

2017-12-08

Abstract:Let $K$ be a finite dimensional compact metric space and $K^\mathbb{Z}$ the full shift on the alphabet $K$. We prove that its mean dimension is given by $\dim K$ or $\dim K-1$ depending on the "type" of $K$. We propose a problem which seems interesting from the view point of infinite dimensional topology.

Dynamical Systems,General Topology
A union theorem for mean dimension

Michael Levin

2023-12-11

Abstract:Let (X,Z) be a dynamical system on a compact metric X and let X be the countable union of closed invariant subsets X_i, i in N. We prove that mdim X =sup {mdim X_i : i in N}.

Dynamical Systems
Mean dimension explosion of induced homeomorphisms

Gabriel Lacerda,Sergio Romaña

2024-04-12

Abstract:Given $X$ a compact metric space and $T: X \to X$ a continuous map, the induced hyperspace map $T_\mathcal{K}$ acts on the hyperspace $\mathcal{K}(X)$ of closed and nonempty subsets of $X$, and on the continuum hyperspace $\mathcal{C}(X) \subset \mathcal{K}(X)$ of connected sets. This work studies the mean dimension explosion phenomenon: when the base system $T$ has zero topological entropy, but the mean dimension of the induced map $T_\mathcal{K}$ is infinite. In particular, this phenomenon is attained for Morse-Smale diffeomorphisms. Furthermore, for a circle homeomorphism $H$, the mean dimension explosion does not occur if, and only if, $H$ is conjugated to a rotation. Finally, if the topological entropy of $T$ is positive, then the metric mean dimension of $T_\mathcal{K}$ is infinite.

Dynamical Systems,General Topology
Finite Measures of Maximal Entropy for an Open Set of Partially Hyperbolic Diffeomorphisms

Juan Carlos Mongez,Maria Jose Pacifico

2024-05-08

Abstract:We consider partially hyperbolic diffeomorphisms $f$ with a one-dimensional central direction such that the unstable entropy exceeds the stable entropy. Our main result proves that such maps have a finite number of ergodic measures of maximal entropy. Moreover, any $C^{1+}$ diffeomorphism near $f$ in the $C^1$ topology possesses at most the same number of ergodic measures of maximal entropy. Our contribution is in extending the findings in [4] to arbitrary dimensions. We believe our technique, essentially distinct from the one in that paper, is robust and may find applications in further contexts.

Dynamical Systems
Finiteness of physical measures for diffeomorphisms with multi 1-D centers

Yongluo Cao,Zeya Mi

2023-06-11

Abstract:Let $f$ be a $C^2$ diffeomorphism on compact Riemannian manifold $M$ with partially hyperbolic splitting $$ TM=E^u\oplus E_1^c\oplus\cdots\oplus E_k^c \oplus E^s, $$ where $E^u$ is uniformly expanding, $E^s$ is uniformly contracting, and ${\rm dim}E_i^c=1,~ 1\le i \le k, ~k\ge 1$. We prove the finiteness of ergodic physical(SRB) measures of $f$ under the hyperbolicity of Gibbs $u$-states.

Dynamical Systems
Multivariate mean equicontinuity for finite-to-one topomorphic extensions

Jonas Breitenbücher,Lino Haupt,Tobias Jäger

2024-09-13

Abstract:In this note, we generalise the concept of topo-isomorphic extensions and define finite topomorphic extensions as topological dynamical systems whose factor map to the maximal equicontinuous factor is measure-theoretically at most $m$-to-one for some $m\in\mathbb{N}$. We further define multivariate versions of mean equicontinuity, complementing the notion of multivariate mean sensitivity introduced by Li, Ye and Yu, and then show that any $m$-to-one topomorphic extension is mean $(m+1)$-equicontinuous. This falls in line with the well-known result, due to Downarowicz and Glasner, that strictly ergodic systems are isomorphic extensions if and only if they are mean equicontinuous. While in the multivariate case we can only conjecture that the converse direction also holds, the result provides an indication that multivariate equicontinuity properties are strongly related to finite extension structures. For minimal systems, an Auslander-Yorke type dichotomy between multivariate mean equicontinuity and sensitivity is shown as well.

Dynamical Systems
A Scaling Relation for the Hausdorff Dimension of the Limiting Sets in 1-Dimensional Mappings

Hu Gang,Hao Bai-lin

DOI: https://doi.org/10.1088/0253-6102/2/5/1473

1983-01-01

Abstract:There exists a simple scaling function relating the “operational” Hausdorff Dimension D=2/3 at each bifurcation point μk, k finite, to the universal Hausdorff dimension D∞ =0.538 . . . at μ∞ for the limiting sets of 1-dimensional unimodal mappings
Dynamics of certain smooth one-dimensional mappings II: geometrically finite one-dimensional mappings

Yunping Jiang

DOI: https://doi.org/10.48550/arXiv.math/9201278

1991-01-11

Abstract:We study geometrically finite one-dimensional mappings. These are a subspace of $C^{1+\alpha}$ one-dimensional mappings with finitely many, critically finite critical points. We study some geometric properties of a mapping in this subspace. We prove that this subspace is closed under quasisymmetrical conjugacy. We also prove that if two mappings in this subspace are topologically conjugate, they are then quasisymmetrically conjugate. We show some examples of geometrically finite one-dimensional mappings.

Dynamical Systems
Infinite dimensional dynamical maps

Bihalan Bhattacharya,Uwe Franz,Saikat Patra,Ritabrata Sengupta

2024-06-27

Abstract:Completely positive trace preserving maps are widely used in quantum information theory. These are mostly studied using the master equation perspective. A central part in this theory is to study whether a given system of dynamical maps $\{\Lambda_t: t \ge 0\}$ is Markovian or non-Markovian. We study the problem when the underlying Hilbert space is of infinite dimensional. We construct a sufficient condition for checking P (resp. CP) divisibility of dynamical maps. We construct several examples where the underlying Hilbert space may not be of finite dimensional. We also give a special emphasis on Gaussian dynamical maps and get a version of our result in it.

Functional Analysis,Operator Algebras,Quantum Physics
Multidimensional local limit theorem in deterministic systems and an application to non-convergence of polynomial multiple averages

Zemer Kosloff,Shrey Sanadhya

2024-09-20

Abstract:We show that for every ergodic and aperiodic probability preserving system $(X,\mathcal{B},m,T)$, there exists $f:X\to \mathbb{Z}^d$, whose corresponding cocycle satisfies the $d$-dimensional local central limit theorem. We use the $2$-dimensional result to resolve a question of Huang, Shao and Ye and Franzikinakis and Host regarding non-convergence in $L^2$ of polynomial multiple averages of non-commuting zero entropy transformations. Our methods also give the first examples of failure of multiple recurrence for zero entropy transformations along polynomial iterates.

Dynamical Systems,Probability
Maximal equicontinuous factor and minimal map on finitely suslinean continua

Daghar Aymen

2024-12-02

Abstract:Let $f:X\to X$ be a hereditarily locally connected continuum homeomorphism and denote respectively by $P(f)$, $AP(f)$ and $\Omega(f)$, the sets of periodic points, almost periodic points and the non-wandering points of $f$. We show that any $\omega$-limit set (resp. $\alpha$-limit set) is minimal. Moreover, we show that $\Omega(f)=AP(f)$. We also prove that if $P(f)=\emptyset$, then there exists a unique minimal set. On the other hand, if $P(f)\neq\emptyset$ then we prove that any infinite minimal set has the adding machine structure and the absence of Li-Yorke pairs. Consequently, we partially solve the positive entropy conjecture which remains open even in the case of hereditarily locally connected continuum.

Dynamical Systems
Diffeomorphisms with infinitely many Smale horseshoes

Xu Zhang,Guanrong Chen

DOI: https://doi.org/10.1080/10236198.2024.2368170

2024-06-15

The Journal of Difference Equations and Applications

Abstract:A class of planar diffeomorphims is formulated, with infinitely many coexisting Smale horseshoes, where the Lebesgue measure of the parameters with such strange dynamics is infinite. On each horseshoe, there exists a uniformly hyperbolic invariant set, on which the map is topologically conjugate to the two-sided full-shift on two symbols. Moreover, the topological entropy is infinite in certain parameter regions.

mathematics, applied
Minimal graphs of arbitrary codimension in Euclidean space with bounded 2-dilation

Qi Ding,J. Jost,Y. L. Xin

DOI: https://doi.org/10.1007/s00208-024-02830-y

2024-03-22

Mathematische Annalen

Abstract:For any , let denote the space containing all locally Lipschitz minimal graphs of dimension n and of arbitrary codimension m in Euclidean space with uniformly bounded 2-dilation of their graphic functions. In this paper, we show that this is a natural class to extend structural results known for codimension one. In particular, we prove that any tangent cone C of at infinity has multiplicity one. This enables us to get a Neumann–Poincaré inequality on stationary indecomposable components of C . A corollary is a Liouville theorem for M . For small (we can take any ), we prove that (i) for , M is flat; (ii) for and a non-flat M , any tangent cone of M at infinity is a multiplicity one quasi-cylindrical minimal cone in whose singular set has dimension .

mathematics
Every diffeomorphism is a total renormalization of a close to identity map

Pierre Berger,Nicolaz Gourmelon,Mathieu Helfter

2024-12-04

Abstract:For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover the orbit of this domain is equal to $\mathbb{R}/\mathbb{Z} \times M$. This enables us to localize nearby the identity the existence of many properties in dynamical systems, such as being Bernoulli for a smooth volume form.

Dynamical Systems
Finite intersection property and dynamical compactness

Wen Huang,Danylo Khilko,Sergiĭ Kolyada,Alfredo Peris,Guohua Zhang

DOI: https://doi.org/10.48550/arxiv.1605.05851

2016-01-01

Abstract:Dynamical compactness with respect to a family as a new concept of chaoticity of a dynamical system was introduced and discussed in [22]. In this paper we continue to investigate this notion. In particular, we prove that all dynamical systems are dynamically compact with respect to a Furstenberg family if and only if this family has the finite intersection property. We investigate weak mixing and weak disjointness by using the concept of dynamical compactness. We also explore further difference between transitive compactness and weak mixing. As a byproduct, we show that the $\omega_{\mathcal{F}}$-limit and the $\omega$-limit sets of a point may have quite different topological structure. Moreover, the equivalence between multi-sensitivity, sensitive compactness and transitive sensitivity is established for a minimal system. Finally, these notions are also explored in the context of linear dynamics.
How well behaved is finite dimensional Diffusion Maps?

Wenyu Bo,Marina Meilă

2024-12-05

Abstract:Under a set of assumptions on a family of submanifolds $\subset {\mathbb R}^D$, we derive a series of geometric properties that remain valid after finite-dimensional and almost isometric Diffusion Maps (DM), including almost uniform density, finite polynomial approximation and local reach. Leveraging these properties, we establish rigorous bounds on the embedding errors introduced by the DM algorithm is $O\left((\frac{\log n}{n})^{\frac{1}{8d+16}}\right)$. These results offer a solid theoretical foundation for understanding the performance and reliability of DM in practical applications.

Machine Learning,Statistics Theory
Dimension of Hyperbolic Measures of Random Diffeomorphisms

Pei-Dong Liu,Jian-Sheng Xie

DOI: https://doi.org/10.1090/s0002-9947-06-03933-x

IF: 1.3529

2006-01-01

Transactions of the American Mathematical Society

Abstract:We consider dynamics of compositions of stationary random C-2 diffeomorphisms. We will prove that the sample measures of an ergodic hyperbolic invariant measure of the system are exact dimensional. This is an extension to random diffeomorphisms of the main result of Barreira, Pesin and Schmeling (1999), which proves the Eckmann-Ruelle dimension conjecture for a deterministic diffeomorphism.
Application of waist inequality to entropy and mean dimension: II

Masaki Tsukamoto

2023-12-13

Abstract:Let $X$ be a full-shift on the alphabet $[0, 1]^a$ and let $(Y, S)$ be an arbitrary dynamical system. We prove that any equivariant continuous map from $X$ to $Y$ has conditional metric mean dimension not less than $a-\mathrm{mdim}(Y, S)$. This solves a problem posed in a paper of Shi--Tsukamoto (2023).

Dynamical Systems

Finite-to-one equivariant maps and mean dimension

An embedding theorem for mean dimension

Equivariant embedding of finite-dimensional dynamical systems

Mean dimension of full shifts

A union theorem for mean dimension

Mean dimension explosion of induced homeomorphisms

Finite Measures of Maximal Entropy for an Open Set of Partially Hyperbolic Diffeomorphisms

Finiteness of physical measures for diffeomorphisms with multi 1-D centers

Multivariate mean equicontinuity for finite-to-one topomorphic extensions

A Scaling Relation for the Hausdorff Dimension of the Limiting Sets in 1-Dimensional Mappings

Dynamics of certain smooth one-dimensional mappings II: geometrically finite one-dimensional mappings

Infinite dimensional dynamical maps

Multidimensional local limit theorem in deterministic systems and an application to non-convergence of polynomial multiple averages

Maximal equicontinuous factor and minimal map on finitely suslinean continua

Diffeomorphisms with infinitely many Smale horseshoes

Minimal graphs of arbitrary codimension in Euclidean space with bounded 2-dilation

Every diffeomorphism is a total renormalization of a close to identity map

Finite intersection property and dynamical compactness

How well behaved is finite dimensional Diffusion Maps?

Dimension of Hyperbolic Measures of Random Diffeomorphisms

Application of waist inequality to entropy and mean dimension: II