We prove that non-trivial homoclinic classes of $C^r$-generic flows are topologically mixing. This implies that given $Λ$ a non-trivial $C^1$-robustly transitive set of a vector field $X$, there is a $C^1$-perturbation $Y$ of $X$ such that the continuation $Λ_Y$ of $Λ$ is a topologically mixing set for $Y$. In particular, robustly transitive flows become topologically mixing after $C^1$-perturbations. These results generalize a theorem by Bowen on the basic sets of generic Axiom A flows. We also show that the set of flows whose non-trivial homoclinic classes are topologically mixing is \emph{not} open and dense, in general.
We prove that, on connected compact manifolds, both C1-generic conservative diffeomorphisms and C1-generic transitive diffeomorphisms are topologically mixing. This is obtained through a description of the periods of a homoclinic class and by a control of the period of the periodic points given by the closing lemma.
We consider extensions of the notion of topological transitivity for a dynamical system $(X,f)$. In addition to chain transitivity, we define strong chain transitivity and vague transitivity. Associated with each there is a notion of mixing, defined by transitivity of the product system $(X \times X, f \times f)$. These extend the concept of weak mixing which is associated with topological transitivity. Using the barrier functions of Fathi and Pageault, we obtain for each of these extended notions a dichotomy result that a transitive system of each type either satisfies the corresponding mixin…
We study dynamics of continuous maps on compact metrizable spaces containing a free interval (i.e., an open subset homeomorphic to an open interval). A special attention is paid to relationships between topological transitivity, weak and strong topological mixing, dense periodicity and topological entropy as well as to the topological structure of minimal sets. In particular, a trichotomy for minimal sets and a dichotomy for transitive maps are proved.
We introduce and study two properties of dynamical systems: topologically transitive and topologically mixing under the set-valued setting. We prove some implications of these two topological properties for set-valued functions and generalize some results from single-valued case to set-valued case. We also show that both properties of set-valued dynamical systems are equivalence for any compact intervals.
We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among ten reasonable notions of transitivity.
In this paper we introduce and study some stronger forms of transitivity like total transitivity, weakly mixing for maps on G-spaces. We obtain their relationship with the earlier defined notion of strongly mixing for maps on G-spaces. We also study G-minimal maps on G-spaces in detail.
Topological dynamical systems $(X,T)$ are actions $T \times X \to X$, given as $(t, x) \to tx$, on a compact, Hausdorff topological space $X$ with $T$ as an acting group or monoid. We take up the property of topological transitivity especially for semiflows $(X,S)$ and discuss the variations in its definitions.
We introduce and study the topological concepts of chain transitivity, mixing and chain mixing property for dynamical systems induced by uniform hyperspaces. These notions generalize the relevant concepts for metric spaces.
Let $(X, f)$ be a topological dynamical system and $\mathcal {F}$ be a Furstenberg family (a collection of subsets of $\mathbb{N}$ with hereditary upward property). A point $x\in X$ is called an $\mathcal {F}$-transitive point if for every non-empty open subset $U$ of $X$ the entering time set of $x$ into $U$, $\{n\in \mathbb{N}: f^{n}(x) \in U\}$, is in $\mathcal {F}$; the system $(X,f)$ is called $\mathcal {F}$-point transitive if there exists some $\mathcal {F}$-transitive point. In this paper, we first discuss the connection between $\mathcal {F}$-point transitivity and $\mathcal {F}$-tran…
There are several different common definitions of a property in topological dynamics called "topological transitivity," and it is part of the folklore of dynamical systems that under reasonable hypotheses, they are equivalent. Various equivalences are proved in different places, but the full story is difficult to find. This note provides a complete description of the relationships among the different properties.
In this paper, we introduce and study notions of average chain transitivity, average chain mixing, total average chain transitivity and almost average shadowing property. We also discuss their interrelations.
In his 1964 paper on f-expansions, Parry studied piecewise-continuous, piecewise-monotonic maps F of the interval [0,1), and introduced a notion of topological transitivity different from any of the modern definitions. This notion, which we call Parry topological transitivity, (PTT) is that the backward orbit O^-(x)={y:x=F^ny for some n\ge 0} of some x\in[0,1) is dense. We take topological transitivity (TT) to mean that some $x$ has a dense forward orbit. Parry's application to f-expansions is that PTT implies the partition of [0,1) into the "fibers" of F is a generating partition (i.e., f-exp…
Shadowing property and transitivity of a set-valued map and its inverse limit
School of Computer Science and Technology, Dongguan University of Technology（东莞理工学院计算机科学与技术学院）；School of Data Science, Zhuhai College of Science and Technology（珠海科技学院数据科学学院）
We study the relationship between transitivity and topological chaos for homeomorphisms of the two torus. We show that if a transitive homeomorphism of $\mathbb{T}^2$ is homotopic to the identity and has both a fixed point and a periodic point which is not fixed, then it has a topological horseshoe. We also show that if a transitive homeomorphims of $\mathbb{T}^2$ is homotopic to a Dehn twist, then either it is aperiodic or it has a topological horseshoe.
Let $T\times X\rightarrow X, (t,x)\mapsto tx$, be a topological semiflow on a topological space $X$ with phase semigroup $T$. We introduce and discuss in this paper various transitivity dynamics of $(T,X)$.
For every group $G$, we show that either $G$ has a topologically transitive action on the line $\mathbb R$ by orientation-preserving homeomorphisms, or every orientation-preserving action of $G$ on $\mathbb R$ has a wandering interval. According to this result, all groups are divided into two types: transitive type and wandering type, and the types of several groups are determined. We also show that every finitely generated orderable group of wandering type is indicable. As a corollary, we show that if a higher rank lattice $Γ$ is orderable, then $Γ$ is of transitive type.
We obtain necessary and sufficient conditions for a non-autonomous system to be $\mathcal{F}$-transitive and $\mathcal{F}$-mixing, where $\mathcal{F}$ is a Furstenberg family. We also obtain some characterizations for topologically ergodic non-autonomous systems. We provide examples/counter examples related to our results.
Transitivity, the existence of periodic points and positive topological entropy can be used to characterize complexity in dynamical systems. It is known that for graphs that are not trees, for every $\varepsilon>0,$ there exist (complicate) totally transitive maps (then with cofinite set of periods) such that the topological entropy is smaller than $\varepsilon$ (simplicity). First we will show by means of three examples that for any graph that is not a tree the relatively simple maps (with small entropy) which are totally transitive (and hence robustly complicate) can be constructed so that t…
A topological dynamical system $(X,f)$ is said to be multi-transitive if for every $n\in\mathbb{N}$ the system $(X^{n}, f\times f^{2}\times \dotsb\times f^{n})$ is transitive. We introduce the concept of multi-transitivity with respect to a vector and show that multi-transitivity can be characterized by the hitting time sets of open sets, answering a question proposed by Kwietniak and Oprocha [On weak mixing, minimality and weak disjointness of all iterates, Erg. Th. Dynam. Syst., 32 (2012), 1661--1672]. We also show that multi-transitive systems are Li-Yorke chaotic.
It is shown that if a non-invertible area preserving local homeomorphism on $\mathbb{T}^2$ is homotopic to a linear expanding or hyperbolic endomorphism, then it must be topologically transitive. This gives a complete characterization, in any smoothness category, of those homotopy classes of conservative endomorphisms that consist entirely of transitive maps.
There are lots of results to study dynamical complexity on irregular sets and level sets of ergodic average from the perspective of density in base space, Hausdorff dimension, Lebesgue positive measure, positive or full topological entropy (and topological pressure) etc.. However, it is unknown from the viewpoint of chaos. There are lots of results on the relationship of positive topological entropy and various chaos but it is known that positive topological entropy does not imply a strong version of chaos called DC1 so that it is non-trivial to study DC1 on irregular sets and level sets. In t…
Singular hyperbolicity is a weakened form of hyperbolicity that has been introduced for vector fields in order to allow non-isolated singularities inside the non-wandering set. A typical example of a singular hyperbolic set is the Lorenz attractor. However, in contrast to uniform hyperbolicity, singular hyperbolicity does not immediately imply robust topological properties, such as the transitivity. In this paper, we prove that open and densely inside the space of $C^1$ vector fields of a compact manifold, any singular hyperbolic attractors is robustly transitive.
We prove that C^1-robustly transitive diffeomorphisms on surfaces with boundary do not exist, and we exhibit a class of diffeomorphisms of surfaces with boundary which are C^k-robustly transitive, with k greater or equal than 2. This class of diffeomorphisms are examples where a version of Palis' conjecture on surfaces with boundary, about homoclinic tangencies and uniform hyperbolicity, does not hold in the C^2-topology. This follows showing that blow-up of pseudo-Anosov diffeomorphisms on surfaces without boundary, become C^2-robustly topologically mixing diffeomorphisms on a surfaces with b…
In this paper, some characterizations about transitivity, mildly mixing property, $\mathbf{a}$-transitivity, equicontinuity, uniform rigidity and proximality of Zadeh's extensions restricted on some invariant closed subsets of the space of all upper semi-continuous fuzzy sets with the level-wise metric are obtained. In particular, it is proved that a dynamical system is weakly mixing (resp., mildly mixing, weakly mixing and $\mathbf{a}$-transitive, equicontinuous, uniformly rigid) if and only if the Zadeh's extension is transitive (resp., mildly mixing, $\mathbf{a}$-transitive, equicontinuous,…
We show that robustly transitive endomorphisms of a closed manifolds must have a non-trivial dominated splitting or be a local diffeomorphism. This allows to get some topological obstructions for the existence of robustly transitive endomorphisms. To obtain the result we must understand the structure of the kernel of the differential and the recurrence to the critical set of the endomorphism after perturbation.
We show that topological mixing, weak mixing and total transitivity are equivalent for coded systems. We provide an example of a mixing coded system which cannot be approximated by any increasing sequence of mixing shifts of finite type, has only periodic points of even period and each set of its generators consists of blocks of even length. We prove that such an example cannot be a synchronized system. We also show that a mixing coded systems has the strong property $P$.
Let $M$ be a positive integer and $q \in(1,M+1].$ We consider expansions of real numbers in base $q$ over the alphabet $\{0,\ldots, M\}$. In particular, we study the set $\mathcal{U}_{q}$ of real numbers with a unique $q$-expansion, and the set $\mathbf{U}_q$ of corresponding sequences. It was shown in (Komornik et al, 2017 Adv. Math.) that the function $H$, which associates to each $q\in(1, M+1]$ the topological entropy of $\mathcal{U}_q$, is a Devil's staircase. In this paper we explicitly determine the plateaus of $H$, and characterize the bifurcation set $\mathcal E$ of $q$'s where the fun…
For a commutative non-autonomous dynamical system we show that topological transitivity of the non-autonomous system induced on probability measures (hyperspaces) is equivalent to the weak mixing of the induced systems. Several counter examples are given for the results which are true in autonomous but need not be true in non-autonomous systems. Wherever possible sufficient conditions are obtained for the results to hold true. For a commutative periodic non-autonomous system on intervals, it is proved that weakly mixing implies Devaney chaos. Given a periodic non-autonomous system, it is shown…
We prove topological transitivity for the Weil Petersson geodesic flow for two-dimensional moduli spaces of hyperbolic structures. Our proof follows a new approach that exploits the density of singular unit tangent vectors, the geometry of cusps and convexity properties of negative curvature. We also show that the Weil Petersson geodesic flow has: horseshoes, invariant sets with positive topological entropy, and that there are infinitely many hyperbolic closed geodesics, whose number grows exponentially in length. Furthermore, we note that the volume entropy is infinite.
The article addresses some open questions about the relations between the topological weak mixing property and the transitivity of the map $f\times f^2 \times...\times f^m$, where $f\colon X\ra X$ is a topological dynamical system on a compact metric space. The theorem stating that a weakly mixing and strongly transitive system is $Δ$-transitive is extended to a non-invertible case with a simple proof. Two examples are constructed, answering the questions posed by Moothathu [Colloq. Math. 120 (2010), no. 1, 127--138]. The first one is a multi-transitive non weakly mixing system, and the second…
In this paper we study the dynamics of a general non-autonomous dynamical system generated by a family of continuous self maps on a compact space $X$. We derive necessary and sufficient conditions for the system to exhibit complex dynamical behavior. In the process we discuss properties like transitivity, weakly mixing, topologically mixing, minimality, sensitivity, topological entropy and Li-Yorke chaoticity for the non-autonomous system. We also give examples to prove that the dynamical behavior of the non-autonomous system in general cannot be characterized in terms of the dynamical behavio…
This paper is concerned with relationships of weakly mixing, topologically weakly mixing, and sensitivity for non-autonomous discrete systems. It is shown that weakly mixing implies topologically weakly mixing and sensitivity for measurable systems with a fully supported measure; and topological weakly mixing implies sensitivity for general dynamical systems. However, the inverse conclusions are not true and some counterexamples are given. The related existing results for autonomous discrete systems are generalized to non-autonomous discrete systems and their conditions are weaken.
We investigate topological mixing of compatible random substitutions. For primitive random substitutions on two letters whose second eigenvalue is greater than one in modulus, we identify a simple, computable criterion which is equivalent to topological mixing of the associated subshift. This generalises previous results on deterministic substitutions. In the case of recognisable, irreducible Pisot random substitutions, we show that the associated subshift is not topologically mixing. Without recognisability, we rely on more specialised methods for excluding mixing and we apply these methods t…
In this paper, we study topological properties of the right action by translation of the Weyl Chamber flow on the space of Weyl chambers. We obtain a necessary and sufficient condition for topological mixing. (1)
We show that in a typical polygon the billiard map as well as its associated subshift obtained by coding orbits by the sequence of sides they visit are topologically weakly mixing.
We investigate topological mixing for Z and R actions associated with primitive substitutions on two letters. The characterization is complete if the second eigenvalue $θ_2$ of the substitution matrix satisfies $|θ_2|\ne 1$. If $|θ_2|<1$, then (as is well-known) the substitution system is not topologically weak mixing, so it is not topologically mixing. We prove that if $|θ_2|> 1$, then topological mixing is equivalent to topological weak mixing, which has an explicit arithmetic characterization. The case $|θ_2|=1$ is more delicate, and we only obtain some partial results.
