## On the phenomenon of topological chaos and statistical triviality

Chao Liang , Xiankun Ren a ∗ b , Wenxiang Sun , and Edson Vargas c d a School of Statistics and Mathematics, Central University of Finance and Economics, Beijing 100081, People's Republic of China b College of Mathematics and Statistics, Chongqing University, Chongqing 401331, People's Republic of China c School of Mathematical Sciences, Peking University, Beijing 100871, People's Republic of China d IME, University of Sao Paulo, Sao Paulo 05508-090, Brazil

## Abstract

There exists a compact manifold so that the set of topologically chaotic but statistically trivial C r (1 ≤ r ≤ ∞ ) vector fields on this manifold displays considerable scale in the view of dimension. More specifically, it contains an infinitely dimensional connected subset.

Keywords: Topological chaos, statistical triviality, time-changed flow

## 1 Introduction

In the field of dynamical systems, both topological complexity and statistical complexity play important roles in understanding the behavior and properties of dynamical systems, but they address different aspects of complexity.

Topological complexity often refers to the intricacy of the phase space structure, including the presence of attractors, their basins of attraction, and the topology of trajectories. It is often characterized by utilizing topological entropy and certain trajectory properties such as minimality, topological mixing, topological transitivity and others.

∗ Corresponding author.

Email address: chaol@cufe.edu.cn (C. Liang), xkren@cqu.edu.cn (X. Ren), sunwx@math.pku.edu.cn (W.

Sun), vargas@ime.usp.br (E. Vargas)

Statistical complexity typically involves quantifying the degree of unpredictability or disorder within the system. It is often characterized by utilizing metric entropy of the partitioned representation, Lyapunov exponents and some properties about the measures supported on the system.

While topological complexity focuses on the geometric or qualitative structure of phase space dynamics, statistical complexity captures the statistical properties and information content of dynamical trajectories. These measures are often used in tandem to gain a more comprehensive understanding of the dynamics of complex systems and in many cases, the presence of one type of complexity can lead to or coincide with the presence of the other due to the underlying dynamics of the system, leading to a correlation or interplay between the two.

In [5], Herman constructs a real analytic diffeomorphism on a compact connected 4dimensional manifold, such that it is minimal and its metric entropy is positive (hence its topological entropy is positive ). The Lorenz attractor and the H´non map exhibit a e similar correlation: it is both topologically complex and statistically complex.

However, in [10] Sun-Young-Zhou constructed two equivalent C r ( r ≥ 1) smooth flows with a singularity, one of which has positive topological entropy while the other has zero topological entropy. The flow with zero entropy is topologically transitive (topologically complex) and, at the same time, its unique ergodic measure is supported on a singularity (statistically trivial), which contradicts the correlation mentioned above. In [4] He-Zhou constructed a topological mixing (topologically complex) homomorphism for which the unique ergodic measure is supported on a fixed point (statistically trivial). We will deal with the interesting phenomenon of topological complexity and statistical triviality in the setting of C r vector fields in this article.

Let M be a compact Riemannian manifold and let φ : M × R → M be a continuous flow, that is a continuous map satisfying φ x, ( 0) = x and φ φ x, t ( ( 1 ) , t 2 ) = φ x, t ( 1 + t 2 ) , for all x ∈ M, t , t 1 2 ∈ R . For t ∈ R denote by φ t : M → M the homeomorphism given by φ t ( x ) = φ x, t , x ( ) ∈ M . We call φ : M × R → M a C r flow provided the map φ is C , r r = 1 2 , , · · · , + ∞ . A Borel probability measure µ is called φ t -invariant if for any Borel set B one has µ B ( ) = µ φ ( t ( B )). µ is called φ -invariant if it is φ t -invariant for all t ∈ R . A φ -invariant measure µ is called ergodic with respect to φ if for any φ -invariant Borel set B it holds that µ B ( ) = 0 or µ B ( ) = 1 . Denote M erg,φ the set of φ -invariant and φ -ergodic Borel probabilty measures. We use { fixed points } to denote both the set of fixed points of φ and the set of the atomic probability measures supported on fixed points. And we use the terminology { singularities } similarly for a C r differential flow.

Definition 1.1. Let φ : M × R → M be a continuous flow on a compact Riemnannian manifold. We say that φ is topologically chaotic but statistically trivial , if it is topologically transitive meaning the existence of a dense orbit and it has a single fixed point p such that M φ,erg = { fixed point p } .

There could be various ways to define topological chaos but statistical triviality, among them is to define it by using topological mixing together with zero entropy. What situation we deal with in the article is specifically Definition 1.1. A natural problem is the following.

Whether the system with topological chaos and statistical triviality is an exceptional example or such ones display considerable scale in the view of dimension ?

We denote by X r ( M ) the set of all C r vector fields on M , and denote by T r ( M ) the subset of X r ( M ) consisting of all C r vector fields whose induced flows are topologically chaotic but statistically trivial, where r = 1 2 , , · · · , + ∞ . One conjecuture of Palis [6] says the following.

There exists a C 1 open and dense subset O ⊂ X 1 ( M ) such that any vector field in O either is Morse-Smale or has a transverse homoclinic intersection.

The C 1 diffeomorphism version of this conjecture has been proved by Pujals-Sambarino [7] in dimension 2, by Bonatti-Gan-Wen [2] in dimension 3 and by Crovisier [3] in higher dimension. Note that the presence of a transverse homoclinic intersection implies the existence of the horseshoe, which in turn indicates that the system possesses positive topological entropy. And Morse-Smale systems are either Anosov, thus possessing positive entropy, or non-Anosov, thereby lacking dense orbits. Thus the systems in T r ( M ) are openly-and-densely excluded from this conjecture when r = 1.

However, we will show in this paper that there exists a manifold M so that T r ( M ) displays considerable scale in the view of dimension, where r ≥ 1 .

Theorem 1.2 (Main Theorem) . There exists a compact smooth manifold M with the following property. For r = 1 2 , , · · · , + ∞ there is A ⊆ T r ( M ) such that

- (1) Each Y ∈ A is topologically chaotic but statistically trivial;
- (2) A is connected and the dimension of A is infinite.

## 2 Preliminaries

In this section, we prepare some notions and lemmas.

## 2.1 Attracting center

Definition 2.1. A subset C ⊆ M is called an attracting center for a C r flow φ : M × R → M , if where B C,δ ( ) = { y ∈ M | ∃ x ∈ C s.t., d ( x, y ) &lt; δ } and χ is the characteristic function of a set.

$$& \varphi _ { 1 } ^ { \gamma } \lim _ { \delta \to 0 } \liminf _ { t \to + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } \chi _ { B ( C, \delta ) } ( \phi _ { s } x ) d s = 1, \, \forall x \in M, \\ & = \{ u \in M + \exists \ r \in C \ s t \ d ( r \ u ) < \delta \} \ a n d \ \nu \ \text{is the character}$$

Definition 2.2. An attracting center C is minimal if

- (1) it is compact, and

- (2) φ t ( C ) = C, ∀ t ∈ R and
- (3) there is no proper subset of C satisfying both (1) and (2) .

The concept of minimal attracting center was introduced by Beboutov and Stepanov in [1]. The following lemma is one characterization of minimal attracting center which was given by Zhou [11].

Lemma 2.3. ([11]) For a C r flow φ : M × R → M on a compact manifold M , the minimal attracting center C coincides with the closure of the union of supports of φ -invariant ergodic measures, i.e.

## 2.2 Time reparameterization

$$C = c l o s u r e \left \{ \bigcup _ { \mu \in \mathcal { M } _ { e r g, \phi } } S u p p ( \mu ) \right \}. \\ \text{rameziation}$$

Two continuous flows φ, ψ : M × R → M are equivalent if there exists a homeomorphism π : M → M preserving time orientation such that

$$\pi ( O r b ( x, \phi ) ) = O r b ( \pi ( x ), \psi ), \ \forall x \in M.$$

Two equivalent continuous flows can be expressed in term of each other through time reparameterization.

Lemma 2.4. Let two continuous flows φ, ψ : M × R → M be equivalent. Set M 0 = { fixed points of φ } . Then there exists a continuous function θ x, t ( ) , x ∈ M M , t \ 0 ∈ R such that

- 1. θ x, ( 0) = 0 and θ x, ( · ) : R → R is strictly increasing for any x ∈ M \ M 0 ;
- 2. θ x, s ( + ) = t θ x, s ( ) + θ φ ( s ( x , t ) ); ∀ s, t ∈ R , ∀ x ∈ M \ M 0 ;

$$3. \ \pi \circ \phi _ { t } ( x ) = \psi _ { \theta ( x, t ) } \circ \pi ( x ), \ \forall t \in \mathbb { R }, \ \forall x \in M \, \sum M _ { 0 }.$$

Proof.

$$P r o o f. \text{ We refer to } [ 8 ] \text{ for a proof.}$$

We call θ x, t ( ) : M \ M 0 × R → R a reparameterized time while transferring φ to ψ and intuitively call π the transfer map .

On the other side, given a flow defined on M and a reparameterized time function θ x, t ( ), we can get a related flow. Let φ : M × R → M be a continuous flow and let M 0 denote the set of fixed points of φ . Let θ x, t ( ) , x ∈ M \ M , t 0 ∈ R be a continuous function satisfying the following:

- 1. θ x, ( 0) = 0 and θ x = ( θ x, . ) : R → R is strictly increasing ∀ x ∈ M \ M 0 ;
- 2. θ x, s ( + ) = t θ x, s ( ) + θ φ ( s ( x , t ) ) , ∀ s, t ∈ R , ∀ x ∈ M \ M . 0

Define a flow ψ : M × R → M,

$$\psi _ { \theta ( x, t ) } ( x ) = \phi _ { t } ( x ), \quad \forall x \in M \, \bigwedge M _ { 0 }, \quad t \in \mathbb { R }, \\ \psi _ { t } ( x ) = x, \ \forall x \in M _ { 0 }, \ \forall t \in \mathbb { R }.$$

We call ψ to be a time-changed flow from φ by θ x, t ( ). The flows ( M,φ ) and ( M,ψ ) are clearly equivalent with transfer map π := id : M → M . If further φ is C r ( r ≥ 1) flows induced by vector fields X, the function θ x, t ( ) , x ∈ M M , t \ 0 ∈ R is C r differentiable in both variables, then we call ψ a natural time-changed flow from φ by θ x, t ( ) . In this case there is a C r vector field Y on M such that ψ is induced by Y. The following proposition provides an integral-type description for the reparameterized time function θ x, t ( ).

Proposition 2.5. ([9, Proposition 4.1]) For a natural time-changed flow from φ to ψ by θ x, t ( ) , it holds

$$\theta ( x, t ) & = \int _ { 0 } ^ { t } \frac { \| X ( \phi _ { s } x ) \| } { \| Y ( \phi _ { s } x ) \| } \, d s, \ \forall t \in \mathbb { R }, \ \ x \in M \, \sum M _ { 0 }, \\ \epsilon \, \alpha \cdot \quad, \ \dots \quad \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \, \ e \end{array}$$

where M 0 = { Singularities of φ . }

## 3 Proof of Theorem1.2

We divide the proof into two steps.

Step 1 Costruction of a manifold and a C r flow on it which is topologically chotic but statistically trival.

Let M 1 = SL (2 , R ) / Γ with normalized Lebesgue measure σ , where Γ is a compact discrete subgroup of SL (2 , R ). Let T denote the unit circle and consider an analytic diffeomorphism

↦

$$F _ { \chi } \, \colon \mathbb { T } \times M _ { 1 } & \to \mathbb { T } \times M _ { 1 } \\ ( \theta, \beta ) & \mapsto ( \theta + \chi, \, A _ { \theta } \cdot \beta ),$$

where A θ = [ cos 2 πθ sin 2 πθ sin 2 πθ cos 2 πθ ] · [ λ 0 0 1 /λ ] and λ &gt; 1 is fixed. Herman showed in [5] that there is χ 0 ∈ T such that F χ 0 is minimal and furthermore the metric entropy of F χ 0 with respect to σ is strictly positive. By the variational principle, the topological entropy is also strictly positive. Denote M = T × M 1 and f = F χ 0 : M → M. Define

$$\Omega = M \times [ 0, 1 ] / \sim,$$

where ∼ is the equivalence relation on M × [0 , 1] identificating ( y, 1) with ( f ( y , ) 0) . We mention that dim M ( 1 ) = 4 and dim (Ω) = 5.

The standard suspension of f is the flow ψ on Ω defined by ψ t ( y, s ) = ( y, t + ), pros vided 0 ≤ t + s &lt; 1 . Then Ω is a compact Riemannian manifold and ψ is an analytic flow.

Since f is minimal, the flow ψ is also a minimal flow. Denote by X the vector field on Ω which induces ψ . For any function α ∈ C ∞ (Ω [0 1]), note that , , αX is a C ∞ vector field on Ω and it thus induces a differentiable flow on Ω. Throughout the rest of the proof, we fix one point p = ( x , 0 0) ∈ Ω and consider a function α satisfying the following criteria.

- (H). Assume that α satisfies that
- 1) α p ( ) = 0 and α q ( ) &gt; 0 for q ∈ Ω \ { p } ;
- 2) There is a small neighborhood V ⊂ Ω of p such that α q ( ) ≡ 1 for any q ∈ Ω \ V .

For /epsilon1 &gt; 0, we will denote balls (centered at x ) in M and in Ω by

$$B _ { M } ( x, \epsilon ) = \{ y \in M \ | \ d ( x, y ) < \epsilon \}$$

and

$$B _ { \Omega } ( x, \epsilon ) = \{ y \in \Omega \ | \ d ( x, y ) < \epsilon \},$$

respectively. And denote the ball in R n at the origin with radius r &gt; 0 by

$$B ^ { n } ( r ) = \{ x \in \mathbb { R } ^ { n } \ | \ \| x \| < r \}.$$

We will construct a specific α ∈ C ∞ (Ω [0 1]) such that the flow induced by , , αX will be transitive and will have only one ergodic measure, which is atomic.

The following lemma is [10, Lemma 2.4] which determines lower bounds on the measures of sets with respect to an ergodic measure in a minimal system.

Lemma 3.1. Let M denote a smooth compact Riemannian manifold and f : M → M be a minimal homeomorphism. Suppose µ is an ergodic measure of f . Then for any /epsilon1 &gt; 0 , there is L /epsilon1 ( ) ∈ N such that

$$\mu ( B _ { M } ( x, \epsilon ) ) \geq \frac { 1 } { L ( \epsilon ) }, \ \forall x \in M, \ \epsilon > 0.$$

Let

$$\pi \, \colon M \times \mathbb { R } \to \Omega = M \times [ 0, 1 ] / \sim$$

denote the quotient map. The lemma below plays an important role in the construction of α .

Lemma 3.2 (Lemma 3.1 of [10]) . For a given sequence of positive numbers

$$1 = \beta _ { - 1 } > \beta _ { 0 } > \beta _ { 1 } > \beta _ { 2 } > \cdots,$$

there is a C ∞ function ω : B n (2) → [0 , 1] such that

- 1) ω x ( ) = 0 if and only if x = 0 ;
- 2) | ω | B n ( 1 i +1 ) | C 0 ≤ β i -1 , i = 0 1 2 , , . . . . ;

- 3) ω | B n (2) \ B n (1) = 1 .

Recall that the point p = ( x , 0 0) is a point fixed in condition ( H ). Without loss of generality, we can assume the existence of a coordinate chart ( ˜ V , ξ ) of Ω satisfying the following:

- 1. There is an open set V ⊂ Ω such that p ∈ V and V ⊂ ˜ . V
- 2. ξ ( p ) = 0 , ξ ( V ) = B 5 (1) , ξ ( ˜ ) = V B 5 (2).
- 3. There is i 1 ∈ N such that

$$\overline { \pi ( B _ { M } ( x _ { 0 }, 1 / i _ { 1 } ) \times \{ 0 \} ) } \subset V$$

and

$$\xi ( \pi ( B _ { M } ( x _ { 0 }, 1 / i _ { 1 } ) \times \{ 0 \} ) ) \subset \mathcal { R } = \{ x = ( x _ { 1 }, x _ { 2 }, x _ { 3 }, x _ { 4 }, x _ { 5 } ) \, \colon x _ { 5 } = 0 \}.$$

- 4. There is i 2 ∈ N such that B Ω ( p, 1 /i 2 ) ⊂ V and ξ ( B Ω ( p, 1 /i )) = B 5 (1 /i ) for any integer i &gt; i 2 .

Under these assumptions, there is an integer i 3 &gt; i 2 with the property that for any i ≥ 0 there is 0 &lt; l i 3 + i /lessmuch 1 such that

$$\overline { \pi \left ( B _ { M } ( x _ { 0 }, \frac { 1 } { i _ { 3 } + i } ) \times [ - l _ { i _ { 3 } + i }, 0 ] ) \right ) } \subset B _ { \Omega } ( p, \frac { 1 } { i _ { 2 } + i } ).$$

Set i 0 = max { i 1 , i 2 , i 3 } . For any i &gt; i 0 , by Lemma 3.1, there exists L ( 1 i ) such that for any ergodic measure τ of f it follows that

Set δ i ( ) = 1 L ( 1 i ) . We define

$$\tau ( B _ { M } ( f ^ { - 1 } ( x _ { 0 } ), \frac { 1 } { i } ) ) \geq \frac { 1 } { L ( \frac { 1 } { i } ) } > 0. \\ \intertext { f i n o }$$

$$\beta _ { - 1 } = 1, \ \beta _ { i - 1 } \coloneqq \frac { l _ { i _ { 0 } + i } } { i _ { 0 } + i } \cdot \delta ( i _ { 0 } + i ), \ \forall i \geq 1.$$

By Lemma 3.2, one can find a C ∞ function ω : ξ ( ˜ ) V → [0 , 1] satisfying the following properties:

- 1. ω | ξ V ( ˜ \ V ) ≡ 1;
- 2. | ω | B 5 ( 1 i 0 + i ) | C 0 ≤ β i -1 ;

/negationslash

- 3. ω (0) = 0 and 0 &lt; ω a ( ) ≤ 1 for 0 = a ∈ ξ ( ˜ ). V

We then define a function α ∈ C ∞ (Ω [0 1]) as follows: , ,

$$\alpha ( q ) = \begin{cases} \omega \circ \xi ( q ), & q \in \tilde { V } \\ 1, & q \notin \tilde { V }. \end{cases}$$

Let Y = αX and φ t be the flow induced by Y .

For any x ∈ M, define γ x ( ) by:

/negationslash

$$\begin{cases} \phi _ { \gamma ( x ) } ( ( x, 0 ) ) = \psi _ { 1 } ( x, 0 ) = \left ( f ( x ), 0 \right ) & ( x, 0 ) \neq \psi _ { 1 } ^ { - 1 } ( p ) \text{ or } ( x, 0 ) \neq p ; \\ \gamma ( x ) = + \infty & ( x, 0 ) = \psi _ { 1 } ^ { - 1 } ( p ) \text{ or } ( x, 0 ) = p. \end{cases}$$

/negationslash

For any ergodic measure µ of f , denote by E µ = ∫ M γ y dµ y ( ) ( ). The following lemma provides a sufficient condition for a system to have only atomic measures.

Lemma 3.3 (Corollary 2.12 of [10]) . If E µ ( γ ) = + ∞ for all non-atomic ergodic measure µ of f , then φ t has only atomic invariant probability measures.

Observe that for x ∈ B M ( f -1 ( x 0 ) , 1 i 2 + i ), we have

$$l _ { i _ { 0 } + i } = \int _ { t ( x ) } ^ { \gamma ( x ) } \sqrt { < \alpha ( \phi _ { s } ( x ) ) X ( \phi _ { s } ( x ) ), \alpha ( \phi _ { s } ( x ) ) X ( \phi _ { s } ( x ) ) > } d s, \\ \intertext { r o t } \ t ( r ) \supset \Omega \text{ and } \theta _ { \lambda } \theta _ { \lambda } \theta _ { \lambda } \theta _ { \lambda } = \eta ( r ) \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{                                                                                                                                                                                                         }$$

where t ( x ) &gt; 0 and φ t ( x ) ( x ) = ψ 1 -l i 0 + i ( x ). Then

$$\gamma ( x ) \geq \gamma ( x ) - t ( x ) \geq \frac { l _ { i _ { 0 } + i } } { | \alpha | _ { B _ { 0 } ( p, \frac { 1 } { i _ { 2 } + i } ) } | \ \| X \| } \geq \frac { l _ { i _ { 0 } + i } } { \beta _ { i - 1 } \, \| X \| } = \frac { i _ { 0 } + i } { \delta ( i _ { 0 } + i ) \, \| X \| }$$

for any x ∈ B M ( f -1 ( x 0 ) , 1 i 0 + i ) . Therefore

$$\gamma | _ { B _ { M } ( f ^ { - 1 } ( x _ { 0 } ), \frac { 1 } { i _ { 2 } + i } ) } \geq \frac { i _ { 0 } + i } { \delta ( i _ { 0 } + i ) \left \| X \right \| }.$$

Now for any ergodic measure τ , we have

$$E _ { \tau } ( \gamma ) & = \int _ { M } \gamma ( y ) d \tau ( y ) \geq \frac { i _ { 0 } + i } { \delta ( i _ { 0 } + i ) \left \| X \right \| } \tau ( B _ { M } ( f ^ { - 1 } ( x _ { 0 } ), \frac { 1 } { i _ { 0 } + i } ) \geq \frac { i _ { 0 } + i } { \left \| X \right \| } \rightarrow \infty, \\. & \quad \in \tau \quad \sim \tau \quad \sim \tau \quad \sim \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \ \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \cdot \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \ { \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \ tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau\tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \t tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \taut \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \text \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \vat \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \var \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \type \, \tau \, \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \tau \hat { \ } \Delta } \,,$$

as i →∞ . By Lemma 3.3, all ergodic measures of φ is atomic. Thus φ has Dirac measure at p as its unique ergodic measure. Since the original system f : M → M is minimal and thus ψ is minimal, the φ orbit of any point outside Orb p, ψ ( ) will return to arbitrarily small neighborhood of the point p infinite times, which implies that φ is transitive. So φ is topologically chaotic but statistically trival.

Step 2. Conected set of vector fields which are topologically chaotic but statistically trivial.

Denote Ω in Step 1 by M and denote Y in Equation (3.1) by X. Denote by φ the flow indeced by X.

Recall T r ( M ) denote the set of C r vector fields which are topologically chaotic but statistically trivial. Then X ∈ T r ( M , r ) ≥ 1 by Step 1. Denote m = dim M = 5. Recall by B m ( k ) we denote the open ball in R m with radius k centered at 0. Take a local card ( ˜ V , ξ ) around p = ( x , 0 0) in condition ( H ) satisfying the following properties:

- (1) There is an open set V in M such that

$$p \in V \subseteq \overline { V } \subseteq \tilde { V } ;$$

$$( 2 ) \ \xi ( p ) = 0, \, \xi ( V ) = B ^ { m } ( 1 ), \, \xi ( \tilde { V } ) = B ^ { m } ( 2 ) ;$$

- (3) Dξ ◦ X ◦ Dξ -1 is a system of differential equations

where x ∈ B m (2).

$$\begin{cases} \frac { d x _ { 1 } } { d t } = \quad f _ { 1 } ( x ), \\ \cdots \\ \frac { d x _ { m } } { d t } = \quad f _ { m } ( x ), \end{cases} \\ \cdots \mathcal { C } ^ { \infty } ( \mathbb { R } \ \mathbb { R } ) \ \text{such that}.$$

Given an integer /lscript &gt; 1, take β 2 /lscript ∈ C ∞ ( R R , ) such that

$$\begin{cases} \beta _ { 2 \ell } ( \tau ) = \tau ^ { 2 \ell }, & \tau \in ( - \frac { 1 } { 2 }, \frac { 1 } { 2 } ) \\ \beta _ { 2 \ell } ( \tau ) = 1, & \tau \in \mathbb { R } \, \langle - 1, 1 ). \\ \end{cases}.$$

 Set α 2 /lscript : R m → R , α 2 /lscript ( x ) = β 2 /lscript ( ‖ x ‖ ), and set g 2 /lscript i ( x ) = α 2 /lscript ( x f ) i ( x ) and denote the system of differential equations

$$\begin{cases} \frac { d x _ { 1 } } { d t } = \quad g _ { 1 } ^ { 2 \ell } ( x ), \\ \cdots \\ \frac { d x _ { m } } { d t } = \quad g _ { m } ^ { 2 \ell } ( x ), \\ 1, 2, 3, \cdots \quad \text{From the c} \\ \intertext { t e } \end{cases}$$

 where x ∈ B m (2) by Y ′ 2 /lscript , /lscript = 1 2 3 , , , · · · . From the construction Y , Y ′ 2 ′ 4 , Y ′ 6 , · · · are linearly independent. If we denote

$$Y _ { 2 \ell } ( x ) \coloneqq \begin{cases} D \xi ^ { - 1 } ( Y ^ { \prime } _ { 2 \ell } ), & x \in \tilde { V } \\ X ( x ), & x \in M \, \bigwedge \tilde { V }, \end{cases}$$

then Y , Y , Y 2 4 6 , · · · are linearly independent. For i = 1 , · · · , m , take a C ∞ function α ′ i : R m → R such that

- (1) 0 ≤ α ′ i ≤ α 2 /lscript ( x ) for some /lscript ; and
- (2) α ′ i ( x ) = 0 ⇐⇒ x = 0 .

Set

$$Y ^ { \prime } = ( \alpha _ { 1 } ^ { \prime } ( x ) f _ { 1 } ( x ), \cdots, \alpha _ { m } ^ { \prime } ( x ) f _ { m } ( x ) ) ^ { t r }.$$

Let A 1 ( X ) denote the set of all vector fields defined as follows:

$$Y ( x ) \coloneqq \begin{cases} D \xi ^ { - 1 } ( Y ^ { \prime } ), & x \in \tilde { V } \\ X ( x ), & x \in M \, \bigwedge \tilde { V }. \end{cases}$$

By taking arbitrarily α ′ = ( α , ′ 1 · · · , α ′ m ) the set A 1 ( X ) is infinite. It is clear that Y 2 /lscript ∈ A 1 ( X ) for /lscript = 1 2 3 , , , · · · and thus dim A 1 ( X ) = ∞ . Now we take a family of C ∞ functions β θ : R → R , θ ∈ (0 , 1) such that

(1)

- (2) β θ ( τ ) = 0 ⇐⇒ τ = 0;

$$\begin{cases} \beta ^ { \theta } ( \tau ) < \tau ^ { 2 }, & \tau \in ( - \frac { \theta } { 2 }, \frac { \theta } { 2 } ) \\ \beta ^ { \theta } ( \tau ) = 1, & \tau \in \mathbb { R } \, \bigwedge ( - \theta, \theta ) ; \\ 0 ; \\ \hat { \ } \end{cases}, & \hat { \ } \quad \, \frac { a. \ a. \ \ }$$

$$( 3 ) \ \beta ^ { \theta _ { 1 } } ( \tau ) < \beta ^ { \theta _ { 2 } } ( \tau ), \, \forall \ \theta _ { 1 } < \theta _ { 2 }, \, \tau \in ( - \frac { \theta _ { 1 } } { 2 }, \frac { \theta _ { 1 } } { 2 } ) ;$$

- (4) lim lim τ → 0 θ → 0 β θ ( τ ) = 1.

The existence of such family is clear. It is also clear that

/negationslash

$$\lim _ { \theta \rightarrow 0 } \beta ^ { \theta } ( \tau ) = \begin{cases} 0, & \tau = 0 \\ 1, & \tau \neq 0. \end{cases}$$

Set α θ ( x ) = β θ ( ‖ x ‖ ) and Y ′ θ ( x ) = ( α θ ( x f ) 1 ( x , ) · · · , α θ ( x f ) m ( x )) tr , x ∈ R m and define

$$Y ^ { \theta } ( x ) \coloneqq \begin{cases} D \xi ^ { - 1 } ( Y ^ { \prime \theta } ), & x \in \tilde { V } \\ X ( x ), & x \in M \, \bigwedge \tilde { V }. \end{cases}$$

From the construction, it is clear that Y θ ∈ A 1 ( X ). Denote by A 2 ( X ) the set consisting of Y θ ( x , ) θ ∈ (0 , 1) . From Y θ we get the vector field X in Step 1 by letting θ → 0, that is, X = Y 0 . Denote A ( X ) = A 2 ( X ) ∪ { X } . Then A ( X ) is a connected set with ∞ dimension.

Next we show that A ( X ) ⊂ T r ( M ). For given Y ∈ A ( X , ) let ψ be the flow induced by Y . Since X is topologically chaotic and statistically trivial, by Lemma 2.3, its minimal attracting center is exact { } p . So

$$\lim _ { \delta \to 0 } \lim _ { t \to + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } \chi _ { B ( p, \delta ) } ( \phi _ { s } x ) d s = 1, \, \forall x \in M. \quad \text{(3.3)} \\ \intertext { t w o c l i m e }$$

We need two claims.

Claim 3.4. Let ψ be the flow induced by Y ∈ A ( X . ) For any given δ 2 &gt; 0 small, we can pick 0 &lt; δ 1 &lt; δ 2 such that for any point in ∂B p, δ ( 1 ) , its first hitting time to ∂B p, δ ( 2 ) is always greater than 2 .

## Proof of claim 3.4

/negationslash

Denote ‖ Y ‖ = sup x ∈ M ‖ Y ( x ) ‖ . Then ‖ Y ‖ &gt; 0 . For given t 1 , t 2 small with 0 &lt; t 2 -t 1 &lt; 1 2 , take x ∈ ∂B p, δ ( 1 ) and denote s the first hiting time on ∂B p, δ ( 2 ) , that is, ψ s ( x ) ∈ ∂B p, δ ( 2 ) and ψ t ( x ) ∈ ∂B p, δ ( 2 ) , 0 &lt; t &lt; s. Then

$$\delta _ { 2 } - \delta _ { 1 } \leq d i s t ( x, \psi _ { s } ( x ) ) = \, \int _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ { _ _ { _ { _ { _ _ { _ { _ { _ { _ { _ { _ { _ _ { _ _ { _ _ { _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ - _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ } _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ | _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __{ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ \\ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ { _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ _._ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ __ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ _. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ _ } _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ _
 _ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } \ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } _ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } \$$

$$s \geq \frac { \delta _ { 2 } - \delta _ { 1 } } { \| Y ( \psi _ { r } ( x ) ) \| }.$$

$$\psi _ { s } ( x ) ) = \int _ { 0 } ^ { s } \| Y ( \psi _ { t } ( x ) ) \| \, d t = \| Y ( \psi _ { r } ( x ) ) \| s, \quad \text{where} \ \ 0 < r < s, \\ s \geq \frac { \delta _ { 2 } - \delta _ { 1 } } { \| Y ( \psi _ { r } ( x ) ) \| }.$$

By construction ‖ Y ( ψ r ( x )) ‖ goes to zero exponentially as τ going to zero, so s is bigger than 2 for small t 1 , t 2 .

Claim 3.5. Let ψ be the flow induced by Y ∈ A ( X ) . We have

$$\lim _ { \delta \to 0 } \liminf _ { t \to + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } \chi _ { B ( p, \delta ) } ( \psi _ { s } x ) d s = 1, \, \forall x \in M. \quad \ \ ( 3. 4 ) \\ \tilde { \ } \cdot \cdot \cdot \cdot \cdot \end{matrix}$$

## Proof of claim 3.5

If x = p , the conclusion naturally holds. So we will prove the claim in the case of x ∈ M \ { p } .

Pick 0 &lt; δ 1 &lt; δ 2 such that for any point in ∂B p, δ ( 1 ), its first hit time to ∂B p, δ ( 2 ) is always greater than 2. If there is s 0 such that

$$\psi _ { s _ { 0 } + t } ( x ) \in B ( p, \delta _ { 2 } ), \forall t > 0,$$

then (3.4) holds by taking δ 2 small in claim 3.4. So we will focus on the case that the orbit { ψ t ( x ) } enters B p, δ ( 1 ) and leaves B p, δ ( 2 ) for infinitely many times.

By Lemma 2.4 there exists a reparameterized time θ x, t ( ) transfing φ to ψ which is continuous in M \ { p } . According to the definition, see Equation (3 1), . Y ( ψ ) preserves the orbit of X φ ( ) and keeps its orientation. So the transfer map π is the identity. Consequently, we have

$$\phi _ { t } ( x ) = \psi _ { \theta ( x, t ) } ( x ),$$

that is, ψ is a time-changed flow from φ by reparameterization θ x, t ( ) . Due to Equation (3 1), it holds that . ‖ Y ( x ) ‖ ≤ ‖ X x ( ) ‖ for each Y ∈ A ( X ). Combining with Proposition 2.5, we have

$$\liminf _ { t \to \infty } \frac { \theta ( x, t ) } { t } \geq 1.$$

By the continuity of θ , there exists C &gt; 0 such that θ x, t ( ) ≤ C for 0 ≤ t ≤ 2 and x ∈ M B p,δ \ ( 1 ). For any real number τ ≥ 2, write τ = r + , where l r ∈ N and 1 &lt; l &lt; 2 . If φ [0 ,τ ) ( x ) ⊂ M \ B p, δ ( 1 ), then

$$\theta ( x, \tau ) = \theta ( x, 1 ) + \theta ( \phi _ { 1 } ( x ), 1 ) + \cdots + \theta ( \phi _ { r - 1 } ( x ), 1 ) + \theta ( \phi _ { r } ( x ), l ) \leq C ( r + 1 ) \leq C \tau. \ ( 3. 6 )$$

For x ∈ M \ B p, δ ( 2 ), take a 1 as its first hit time to ∂B p, δ ( 2 ), that is

$$\phi _ { [ 0, a _ { 1 } ) } ( x ) \cap B ( p, \delta _ { 2 } ) = \emptyset \quad \text{and} \ \phi _ { a _ { 1 } } ( x ) \in \partial B ( p, \delta _ { 2 } ).$$

From (3.3), we know the orbit starts at φ a 1 ( x ) will stay in B p, δ ( 1 ) for 'most of the time'. Thus there is b 1 &gt; a 1 such that

$$\phi _ { [ a _ { 1 }, b _ { 1 } ) } ( x ) \cap B ( p, \delta _ { 1 } ) = \emptyset \quad \text{and} \quad \phi _ { b _ { 1 } } ( x ) \in \partial B ( p, \delta _ { 1 } ).$$

By transitivity, there exists b 2 &gt; b 1 such that

$$\phi _ { [ b _ { 1 }, b _ { 2 } ] } ( x ) \subset \overline { B } ( p, \delta _ { 1 } ) \quad \text{and} \quad \phi _ { b _ { 2 } + r } ( x ) \cap B ( p, \delta _ { 1 } ) = \emptyset \quad \text{for $r>0$ small}.$$

We also can take a 2 &gt; b 2 such that

$$\phi _ { [ b _ { 2 }, a _ { 2 } ] } \subset \overline { B } ( p, \delta _ { 2 } ) \text{ and } \phi _ { ( a _ { 2 }, a _ { 2 } + r ^ { \prime } ] } \cap B ( p, \delta _ { 2 } ) = \emptyset \text{ for } r ^ { \prime } > 0 \text{ small}.$$

Take a 3 &gt; a 2 such that

$$\phi _ { [ a _ { 2 }, a _ { 3 } ) } \cap B ( p, \delta _ { 2 } ) = \emptyset \quad \text{and} \quad \phi _ { a _ { 3 } } ( x ) \in \partial B ( p, \delta _ { 2 } ).$$

Take b 3 &gt; a 3 such that

$$\phi _ { [ a _ { 3 }, b _ { 3 } ) } \cap B ( p, \delta _ { 1 } ) = \emptyset \quad \text{and} \quad \phi _ { b _ { 3 } } ( x ) \in \partial B ( p, \delta _ { 1 } ).$$

Take b 4 &gt; a 3 such that

$$\phi _ { [ b _ { 3 }, b _ { 4 } ] } ( x ) \subset \overline { B } ( p, \delta _ { 1 } ) \quad \text{and} \quad \phi _ { b _ { 4 } + r ^ { \prime \prime } } ( x ) \cap B ( p, \delta _ { 1 } ) = \emptyset \text{ for } r ^ { \prime \prime } > 0 \text{ small}.$$

Take a 4 &gt; b 4 such that

$$\phi _ { [ b _ { 4 }, a _ { 4 } ] } \subset \overline { B } ( p, \delta _ { 2 } ) \quad \text{and} \quad \phi _ { ( a _ { 4 }, a _ { 4 } + r ^ { \prime \prime \prime } ] } \cap B ( p, \delta _ { 2 } ) = \emptyset \text{ for } r ^ { \prime \prime \prime } > 0 \text{ small}.$$

The above argument demonstrates that once the existence of a , b 1 1 , b 2 , a 2 is established, we can then choose appropriate a , b 3 3 , b 4 , a 4 . By repeating this procedure, we can have the following sequence

$$a _ { 1 } < b _ { 1 } < b _ { 2 } < a _ { 2 } < a _ { 3 } < b _ { 3 } < b _ { 4 } < a _ { 4 } < a _ { 5 } < b _ { 5 } < b _ { 6 } < a _ { 6 } < \cdots$$

$$\begin{array} { l } \text{such that } \phi _ { [ a _ { 2 k - 1 }, a _ { 2 k } ] } ( x ) \subset \overline { B } ( p, \delta _ { 2 } ) \text{ and } \phi _ { ( a _ { 2 k }, a _ { 2 k + 1 } ) } ( x ) \cap \overline { B } ( p, \delta _ { 2 } ) = \emptyset \text{ and } \phi _ { [ b _ { 2 k - 1 }, b _ { 2 k } ] } ( x ) \subset \\ \overline { B } ( p, \delta _ { 1 } ) \text{ and } \phi _ { ( b _ { 2 k }, b _ { 2 k + 1 } ) } ( x ) \cap \overline { B } ( p, \delta _ { 1 } ) = \emptyset, \, k \geq 1. \end{array}$$

Notice that

Fig 1. Choice of a , 1 b , 1 b , a 2 2 · · ·

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00285v1-figure-c4c3e944-af49-4836-90d4-bcd6ada4f012.jpg)

$$\phi _ { a _ { k } } ( x ) = \psi _ { \theta ( x, a _ { k } ) } ( x ), \ \phi _ { b _ { k } } ( x ) = \psi _ { \theta ( x, b _ { k } ) } ( x ), \ \forall k \geq 1.$$

By (3.6), we have

$$\theta ( x, b _ { 2 k + 1 } ) - \theta ( x, b _ { 2 k } ) = \theta ( \phi _ { b _ { 2 k } } ( x ), b _ { 2 k + 1 } - b _ { 2 k } ) \leq C ( b _ { 2 k + 1 } - b _ { 2 k } ), \forall k \geq 1. \quad \ \ ( 3. 7 )$$

/negationslash

For any x = p , we pick small δ 1 and δ 2 . By the definition of the sequence

$$\{ a _ { 1 }, b _ { 1 }, b _ { 2 }, a _ { 2 }, a _ { 3 }, b _ { 3 }, b _ { 4 }, a _ { 5 }, \cdots \},$$

we have

$$\liminf _ { t \to + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } & \chi _ { B ( p, \delta _ { 1 } ) } ( \psi _ { s } x ) d s \\. \quad. \quad 1 & \int ^ { \theta ( x, b _ { 2 n + 1 } ) }$$

θ x,b

(

2

n

+1

)

= lim inf

χ

1

n

→ ∞

+

θ x, b

(

)

= 1

-

lim sup

B p,δ

(

1

)

(

ψ x ds

s

)

n

2

+1

θ x, b

(

n

→∞

∫

3

2

2

) +

· · ·

+ (

θ x, b

(

θ x, b

n

2

+1

)

(3.9)

Hence, by (3.7), it holds that

$$& | \liminf _ { t \to + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } \chi _ { B ( p, \delta _ { 1 } ) } ( \psi _ { s } x ) d s - 1 | \\ & \leq \lim \sup _ { n \to \infty } \frac { C ( b _ { 3 } - b _ { 2 } + \cdots + b _ { 2 n + 1 } - b _ { 2 n } ) } { \theta ( x, b _ { 2 n + 1 } ) } \\ & = \lim \sup _ { n \to \infty } \frac { C ( b _ { 3 } - b _ { 2 } + \cdots + b _ { 2 n + 1 } - b _ { 2 n } ) } { b _ { 2 n + 1 } } \cdot \frac { b _ { 2 n + 1 } } { \theta ( x, b _ { 2 n + 1 } ) } \\ \cap \partial _ { s } \neq \omega \circ \omega \circ \omega \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \shortparallel \, \longmapsto \, \cap \, \overline { D } ( \cap \, \underline { s } \, \underline { \lambda } \, \underline { \lambda } \, \underline { \lambda } \, \underline { \lambda } \, \end{array}$$

$$\liminf _ { 1 \to 1 + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } \chi _ { B ( p, \delta _ { 1 } ) } ( \psi _ { s } x ) d s - 1 | & & ( 3. 1 0 ) \\ \lim \sup _ { n \to \infty } \frac { C ( b _ { 3 } - b _ { 2 } + \dots + b _ { 2 n + 1 } - b _ { 2 n } ) } { \theta ( x, b _ { 2 n + 1 } ) } \\ \lim \sup _ { n \to \infty } \frac { C ( b _ { 3 } - b _ { 2 } + \dots + b _ { 2 n + 1 } - b _ { 2 n } ) } { b _ { 2 n + 1 } } \cdot \frac { b _ { 2 n + 1 } } { \theta ( x, b _ { 2 n + 1 } ) } \\ \homcomma \, \alpha \, \alpha \, \alpha \, \beta \, \left \{ \, \int \, \Delta \, \det \, \tilde { \omega } \, \right \} \,. \, \left \{ \, \tilde { \nu } \, \cap \, \overline { R } \, \eta \, \delta \, \cdot \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \cdot \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \, \Delta \,$$

Since φ and ψ share the same orbit, it holds that φ ( b 2 k ,b 2 k +1 ) ( x ) ∩ B p, δ ( 1 ) = ∅ , k ≥ 1. By using (3.3) we have

$$\lim \sup _ { n \to \infty } \frac { b _ { 3 } - b _ { 2 } + \dots + b _ { 2 n + 1 } - b _ { 2 n } } { b _ { 2 n + 1 } }$$

0

-

θ x, b

(

)

n

+1

)

-

θ x, b

(

n

2

)

tends to zero, provided δ 1 → 0 . Thus combining with (3.5), we have

$$\lim _ { \delta \to 0 } \liminf _ { t \to + \infty } \frac { 1 } { t } \int _ { 0 } ^ { t } \chi _ { B ( p, \delta ) } ( \psi _ { s } x ) d s = 1, \, \forall x \in M. \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

Then we have completed the proof of Claim 3.5.

Claim 3.5 states that the singleton set { } p is a minimal attracting center for ψ . By Lemma 2.3, Y is statistically trivial. Observe that the orbits of Y and X coincide and X is transitive, so Y is topologically transitive as well as X . Hence we have proved that every Y ∈ A ( X ) is topologically chaotic and statistically trivial.

/squaresolid

Remark 3.6. A similar argument works for the case when M φ,erg = { finitely many fixed points } . We propose a problem: whether the result is true or not in the situation that M φ,erg = { infinitely many fixed points } ?

## Acknowledgment

Liang is supported by NSFC (#12271538, #12071328, #11871487) and Program for Innovation Research in Central University in Finance and Economics. Ren is supported by NSFC (#11801261, # 12071285) and Ren is supported by Key Laboratory of Nonlinear Analysis and its Applications (Chongqing University), Ministry of Education and also Ren would like to thank the Key Laboratory of Mathematics and Applied Mathematics, Peking University for the support while he was visiting School of Mathematical Sciences, Peking University; Sun is supported by FAPSP and NSFC (# 12090010, # 12093157012, # 11831001). Vargas is supported by FAPSP.

## References

- [1] M. Beboutoff, W. Stepanoff, Sur la measure invariants dans les dynamiques qui ne different qui par le temps, Mat. Sb. 49 (1940), 143-164.
- [2] C. Bonatti, S. Gan, L. Wen, On the existence of non-trivial homoclinic classes, Erg. Th. Dyn. Syst. 27 (2007), 1473-1508.
- [3] S. Crovisier, Birth of homoclinic intersections: a model for the central dynamics of partially hyperbolic systems, Annals Math. 172 (2010), 1641-1677
- [4] W. He, Z. Zhou, A topologically mixing system with its measure center being a singleton, Acta. Math. Sinica , 45 (2002), 929-934.
- [5] M. Herman, Construction d'un diff´omorphisme minimal d'entropie topologique non e null, Erg. Th. Dyn. Systems , 1 (1981), 65-76.

- [6] J. Palis, A global view of dynamics and a conjecture on the denseness of finitude of attractors. Gomerie complexe et systmes dynamiques (Orsay, 1995). Astrisque 261 (2000), xiii-xiv, 335-347.
- [7] E. Pujals, M. Sambarino, Homoclinic tangencies and hyperbolicity for surface diffeomorphisms, Ann. of Math. 151 (2000), no. 3, 961-1023.
- [8] V. A. Rohlin, Entropy of metric autonormophism, Dokl. Acad. Nauk USSR, 124 (1959)(in Russian)
- [9] Radu Saghin, Wenxiang Sun, Edson Vargas, Topological chaos and statistical triviality, J. Math. Anal. Appl. , 527 (2023) 127445.
- [10] W. Sun, T. Young, Y. Zhou, Topological entropies of equivalent differentiable flows, Trans. Amer. Math. Soc. 361 (2009), 3071-3082.
- [11] Z. Zhou, The weakly almost periodic point of a flow. Progr. Natur. Sci. (English Ed.) 5 (1995), no. 3, 335-339.
Chao Liang Xiankun Ren Wenxiang Sun Edson Vargas
On the phenomenon of topological chaos and statistical triviality
There exists a compact manifold so that the set of topologically chaotic but
statistically trivial $C^{r} (1\leq r \leq \infty)$ vector fields on this
manifold displays considerable scale in the view of dimension. More
specifically, it contains an infinitely dimensional connected subset.