## UNIQUE ERGODICITY FOR ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE APPROXIMATE PRODUCT PROPERTY

## Peng Sun

China Economics and Management Academy Central University of Finance and Economics Beijing 100081, China

Abstract. We show that for every topological dynamical system with the approximate product property, zero topological entropy is equivalent to unique ergodicity. Equivalence of minimality is also proved under a slightly stronger condition. Moreover, we show that unique ergodicity implies the approximate product property if the system has periodic points.

## 1. Introduction

It has been a historic question how the properties of a dynamical system are determined by its topological entropy. Usually we tend to regard that a system with zero topological entropy is considerably simple, while positive topological entropy often comes with a rich structure. Such facts can be shown for systems in certain classes. For example, in the seminal work [11] Katok showed that for C 1+ α diffeomorphisms on a surface, positive topological entropy is equivalent to the existence of horseshoes. On the contrary, there are zero-entropy systems that are in some sense complicated, as well as positive-entropy systems that are in some sense simple. The question raised by Parry whether strict ergodicity implies zero topological entropy has a negative answer in the most general setting. See Section 4 for examples with more details.

As the theory of hyperbolicity had been developed, Herman expected a positive answer to Parry's question in the smooth case. Katok then suggested a more ambitious conjecture that every C 2 diffeomorphism has ergodic measures of arbitrary intermediate entropies, i.e. for each α ∈ [0 , h ( f )), where h f ( ) denotes the topological entropy of the system ( X,f ), there is an ergodic measure µ α such that its metric entropy satisfies h µ α ( f ) = α . Partial results on Katok's conjecture have been obtained in [8, 11, 12, 19, 20, 21, 22, 25, 26, 27, 28, 29]. The success of specificationlike properties that played pivotal roles in [8, 19, 25, 27] urges us to consider classes of systems with such topological properties, which are closely related to some sort of hyperbolicity.

Specification-like properties are weak variations of the specification property introduced by Bowen [5]. Since his pioneering works, plenty of interesting results have been obtained through various specification-like properties. Among these properties, the approximate product property introduced by Pfister and Sullivan [17] is

2010 Mathematics Subject Classification. 37B05, 37B40, 37C40, 37C50, 37E05.

Key words and phrases. approximate product property, unique ergodicity, topological entropy, ergodic measure, minimality, specification, gluing orbit, interval map, periodic points.

almost the weakest one. In [27], we have verified Katok's conjecture for every system ( X,f ) that satisfies the approximate product property and asymptotically entropy expansiveness. In fact, we obtained a much stronger result, a description of the subtle structure of M ( X,f ), the space of invariant measures, concerning their metric entropies. In particular, such a system ( X,f ) must have zero topological entropy if it is uniquely ergodic.

Theorem 1.1 ([27, Theorem 1.1]) . Let ( X,f ) be an asymptotically entropy expansive system with the approximate product property. Then ( X,f ) has the generic structure of metric entropies , i.e. for every α ∈ [0 , h ( f )) ,

$$\}$$

$$\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ \mathcal { M } _ { e } ( X, f, \alpha ) \coloneqq \{ \mu \in \mathcal { M } ( X, f ) \colon \mu \text{ is ergodic and } h _ { \mu } ( f ) = \alpha \} \\ \text{is a residual (dense } G _ { \delta } ) \text{ subset in the compact metric subspace} \\ \mathcal { M } ^ { \alpha } ( X, f ) \coloneqq \{ \mu \in \mathcal { M } ( X, f ) \colon h _ { \mu } ( f ) \geq \alpha \}. \\ \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \,.$$

This paper mainly goes in the opposite direction. Let ( X,f ) be a system with the approximate product property. Theorem 1.1 does not make sense if the system has zero topological entropy. It is natural to ask what happens in the zero-entropy case, which also provides conditions for the system to have positive topological entropy. The entropy denseness property proved in [17] indicates that ergodic measures are dense in M ( X,f ). However, entropy denseness does not guarantee the existence of multiple ergodic measures. We shall show that M ( X,f ) is actually a singleton if ( X,f ) has zero topological entropy. Moreover, we show that the converse is also true even if asymptotic entropy expansiveness is not assumed.

Theorem 1.2. Let ( X,f ) be a system with the approximate product property. Then ( X,f ) is uniquely ergodic if and only if ( X,f ) has zero topological entropy.

We remark that the main difficulty we encountered in the proof of Theorem 1.2 comes from the variable gaps caused by the way we define the approximate product property. Similar difficulties also arise in the works [23, 24, 26] of the author. Each of these works presents a different solution to this issue. Dealing with the variable gaps is not a crucial ingredient in other works on the approximate product property or the gluing orbit property, such as [4, 17, 27]. However, it is just this issue, as well as our results, that reflects the substantial difference between the weaker specification-like properties and the stronger ones.

Theorem 1.2 is more than a positive answer to the question of Parry and Herman in the class of systems with the approximate product property. Along with the results in [17] and [27], we have a dichotomy on the structure of M ( X,f ) for a system with the approximate product property, which is completely determined by its topological entropy:

$$\begin{cases} h ( f ) = 0 \iff & \mathcal { M } ( X, f ) \text{ is a singleton.} \\ h ( f ) > 0 \iff & \mathcal { M } ( X, f ) \text{ is a Poulsen simplex.} \end{cases}$$

Moreover, when h f ( ) &gt; 0, if in addition ( X,f ) is asymptotically entropy expansive, then the system has the generic structure of metric entropies as described in Theorem 1.1. Readers are referred to [15, 18] for more details about the Poulsen simplex.

We have shown in [26] that a zero-entropy system with gluing orbit property must be minimal and equicontinuous. This does not hold for systems with the approximate product property. A zero-entropy systems with the approximate product

property may be topologically mixing or may not be topologically transitive. See Example 4.3. We have shown in [27] that both unique ergodicity and zero topological entropy can be derived from the approximate product product and minimality. It turns out that non-minimality is caused exactly by the mistakes allowed in the tracing property (1) in the definition of the approximate product property. Considering this, we introduce a new notion between the approximate product property and the tempered gluing orbit property introduced in [27]. Under this so-called strict approximate product property (see Definition 2.4), minimality is also equivalent to zero topological entropy.

Theorem 1.3. Let ( X,f ) be a system with the strict approximate product property. Then the following are equivalent:

- (1) ( X,f ) is minimal.
- (2) ( X,f ) is uniquely ergodic.
- (3) ( X,f ) has zero topological entropy.

Comparing Theorem 1.3 with the result in [26], we are still not sure if in the class of systems with the tempered gluing orbit property or the strict the approximate product property, zero topological entropy implies uniformly rigidity or equicontinuity.

By examining the examples we find that some phenomena appear in a more general way, as exhibited in the following theorems.

Theorem 1.4. Let ( X,f ) be a system with a periodic point p ∈ X . Then ( X,f ) has the approximate product property and zero topological entropy if and only if ( X,f ) is uniquely ergodic, i.e. the periodic measure supported on the orbit of p is the unique ergodic measure for ( X,f ) .

Remark. In case that ( X,f ) has no periodic point, unique ergodicity does not imply either the approximate product property or zero topological entropy. See Example 4.2.

Theorem 1.5. Let f : I → I be a continuous map on a closed interval I . Then ( I, f ) has the approximate product property and zero topological entropy if and only if it has a unique attracting fixed point, i.e. there is p ∈ I such that f ( p ) = p and

$$\lim _ { n \to \infty } f ^ { n } ( x ) = p \, f o r \, e v e r y \, x \in I.$$

Theorem 1.5 provides a complete description of continuous interval maps with the approximate product property and zero topological entropy. By [14, Corollary 40] and [4, Example 3.1], a continuous graph map has the approximate product property if it is topologically transitive. As a corollary, we obtain another proof of the fact that a topologically transitive continuous interval map (or graph map with at least two periodic orbits) must have positive topological entropy (cf. [1, Theorem A]).

We remark that by [3] and [6], a continuous interval map has the exact specification property (see Definition 2.7) if and only if it is topologically mixing. By [1, Theorem B and C], a totally transitive continuous graph map has the periodic specification property if it has periodic points, otherwise it is topologically conjugate to an irrational rotation and hence has the gluing orbit property. It is an interesting question to ask if there are any other conditions that are related to specification-like properties for graph maps.

PENG SUN

Figure 1. Relations between specification-like properties

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01149v3-figure-7297f1da-2305-4858-b360-a516bef6b7eb.jpg)

Readers are referred to the book [7] and the survey [14] for an overview of the definitions and results of specification-like properties. More discussions on the gluing orbit property, the tempered gluing orbit property and the approximate product property, as well as various examples, can be found in [4, 23, 27]. The relations between various specification-like properties, in our terminology, are summarized in Figure 1. Analogous relations hold for periodic specification-like properties.

Notions and results in this paper naturally extends to the continuous-time case, i.e. flows and semi-flows.

## 2. Definitions and Basic Properties

Let ( X,d ) be a compact metric space. Let f : X → X be a continuous map. Then ( X,f ) is conventionally called a topological dynamical system or just a system . We shall denote by Z + the set of all positive integers and by N the set of all nonnegative integers, i.e. N = Z + ∪ { 0 } . For n ∈ Z + , denote

$$\mathbb { Z } _ { n } \coloneqq \{ 0, 1, \cdots, n - 1 \}.$$

We fix a metric D on M ( X,f ) that induces the weak-∗ topology. Readers are referred to [30] for preliminary knowledge about entropy and invariant measures.

Definition 2.1. Let C = { x k } k ∈ Z + be a sequence in X . Let S = { m k } k ∈ Z + and G = { t k } k ∈ Z + be sequences of positive integers. For δ, ε &gt; 0 and z ∈ X , we say that ( C S G , , ) is ( δ, ε ) -traced by z if for each k ∈ Z + , we have where

$$| \left \{ j \in \mathbb { Z } _ { m _ { k } } \, \colon d ( f ^ { s _ { k } + j } ( z ), f ^ { j } ( x _ { k } ) ) > \varepsilon \right \} | \leq \delta m _ { k }, & & ( 1 ) \\ & & k - 1$$

$$s _ { 1 } = s _ { 1 } ( \mathcal { S }, \mathcal { G } ) \coloneqq 0 \text{ and } s _ { k } = s _ { k } ( \mathcal { S }, \mathcal { G } ) \coloneqq \sum _ { i = 1 } ^ { k - 1 } ( m _ { i } + t _ { i } - 1 ) \text{ for } k \geq 2. \quad ( 2 ) \\ \text{Remark Definition } 2 \text{ 1 naturally extends to the case that } \mathcal { S } \ \mathcal { G } \ \text{ are finite so}.$$

Remark. Definition 2.1 naturally extends to the case that C S G , , are finite sequences, which allows us to define periodic specification-like properties by asking that the tracing point z is periodic.

Definition 2.2. The system ( X,f ) is said to have the approximate product property , if for every δ 1 , δ 2 , ε &gt; 0, there is M = M δ ,δ , ε ( 1 2 ) &gt; 0 such that for every n &gt; M and every sequence C in X , there are a sequence G with max G ≤ 1 + δ 1 n and z ∈ X such that ( C , { n } Z + , G ) is ( δ 2 , ε )-traced by z .

The approximate product property was introduced by Pfister and Sullivan [17] to prove large deviations for β -shifts. Definition 2.2 is equivalent to the definitions given in [17] and [27]. Our proof of Theorem 1.2 is based on the following fact related to entropy denseness, which is implicitly proved in [27].

Proposition 2.3 (cf. [27]) . Let ( X,f ) be a system with the approximate product property. Then for every µ ∈ M ( X,f ) , every η, ε, β &gt; 0 , there is a compact invariant subset Λ = Λ( µ, η, ε, β ) such that D µ,ν ( ) &lt; η for every invariant measure ν supported on Λ and h (Λ , f, ε ) &lt; β , where h (Λ , f, ε ) is the topological entropy of (Λ , f | Λ ) calculated at the scale ε .

It is the mistake δ 2 &gt; 0 allowed in (1) that introduces non-minimal examples of zero-entropy systems with the approximate product property. So we suggest a stronger condition under which minimality can be guaranteed by zero entropy and unique ergodicity.

Definition 2.4. The system ( X,f ) is said to have the strict approximate product property , if for every δ, ε &gt; 0, there is M = M δ,ε ( ) &gt; 0 such that for every n &gt; M and every sequence C in X , there are a sequence G with max G ≤ 1+ δn and z ∈ X such that ( C , { n } Z + , G ) is (0 , ε )-traced by z .

It is clear that the strict approximate product property is stronger than the approximate product property and weaker than the tempered gluing orbit property introduced in [27]. We remark that the difference between the strict approximate product property and the tempered gluing orbit property is not in the description of the gaps ( δn vs a tempered function), but in the lengths of the orbit segments (equal lengths vs variable lengths) that can be traced.

In [27], we have shown that minimality implies both unique ergodicity and zero topological entropy.

Proposition 2.5 (cf. [27, Section 5.3]) . Let ( X,f ) be a system with the approximate product property. If ( X,f ) is minimal, then it is uniquely ergodic and has zero topological entropy.

Theorem 1.3 is a combination of Theorem 1.2, Proposition 2.5 and the following proposition.

Proposition 2.6. Let ( X,f ) be a system with the strict approximate product property. If ( X,f ) is uniquely ergodic then it is minimal.

Proof. The idea of the proof is similar to the proof of [23, Theorem 4.1].

Assume that ( X,f ) is not minimal and it has the strict approximate product property. We shall show that ( X,f ) is not uniquely ergodic.

As the system is not minimal, there are x, x ′ ∈ X and γ &gt; 0 such that d ( f n ( x , x ) ′ ) ≥ γ for every n ∈ N .

We fix ε ∈ (0 , γ 3 ). Take a continuous function ϕ : X → R such that

$$\varphi ( y ) = 1 \text{ for every } y \in \overline { B ( x ^ { \prime }, \varepsilon ) } ;$$

$$\varphi ( y ) = 0 \text{ for every } y \notin B ( x ^ { \prime }, 2 \varepsilon ) ;$$

$$0 < \varphi ( y ) < 1 \text{ otherwise.}$$

Then we have

Now we fix δ := 1 and consider the sequence C = { x ′ } Z + . As ( X,f ) has the strict approximate product property, there are m ∈ Z + , a sequence G := { t k } k ∈ Z + with max G ≤ 1 + δm and z ∈ X such that ( C , { m } Z + , G ) is (0 , ε )-traced by z .

$$& \lim _ { n \to \infty } \frac { 1 } { n } \sum _ { k = 0 } ^ { n - 1 } \varphi \left ( f ^ { k } ( x ) \right ) = 0. & ( 3 ) \\ \div 1 & \text{ and consider the sequence $\mathcal{C} = \{ x^{\prime}\}^{Z^{\prime}$}. \ A s \left ( X, f \right ) \, \text{ has the}$$

Let s k := s k ( { m } Z + , G ) for each k as in (2). Then we must have

$$f ^ { s _ { k } } ( z ) \in \overline { B ( x ^ { \prime }, \varepsilon ) } \text{ and } s _ { k } \leq ( k - 1 ) ( m + 1 + \delta m - 1 ) \leq 2 ( k - 1 ) m \text{ for each } k.$$

This yields that

$$\lim _ { n \to \infty } ^ { \ell } \frac { 1 } { n } \sum _ { k = 0 } ^ { n - 1 } \varphi \left ( f ^ { k } ( z ) \right ) \geq \lim _ { k \to \infty } \frac { 1 } { s _ { k } } \sum _ { j = 1 } ^ { k - 1 } \varphi \left ( f ^ { t _ { j } } ( z ) \right ) = \lim _ { k \to \infty } \frac { k - 1 } { s _ { k } } \geq \frac { 1 } { 2 m } > 0. \\ \text{Farations} \, ( \mathfrak { U } \, \text{ and } ( \mathfrak { U } \, \text{ imply that } \mathfrak { N does not converge notwise to a constant}$$

Equations (3) and (4) imply that ϕ does not converge pointwise to a constant. Hence ( X,f ) is not uniquely ergodic. /square

Definition 2.7. We say that the system ( X,f ) have the periodic exact specification property , if for every ε &gt; 0, there is a nonnegative integer M = M ε ( ) such that for every finite sequence C = { x k } n k =1 in X and every finite sequence S = { m k } n k =1 of positive integers, there is z ∈ X such that ( C S , , { M +1 } n ) is (0 , ε )-traced by z and

$$f ^ { s } ( z ) = z \text{ for } s \coloneqq \sum _ { i = 1 } ^ { n } ( m _ { k } + M ). \\ \text{system} \left ( X. \, f \right ) \text{ have the exact scientification } n r$$

We say that the system ( X,f ) have the exact specification property if the tracing point z in Definition 2.7 is not necessarily a periodic point. It is clear that the periodic exact specification property implies the exact specification property, whose relations with other specification-like properties are illustrated in Figure 1. It is shown in [3] and [6] that a continuous interval map ( I, f ) has the periodic exact specification property if and only if the map is topologically mixing.

## 3. Proof of Theorem 1.2

3.1. Sufficiency. In this subsection we prove the 'if' part of Theorem 1.2. Let ( X,f ) be a system with the approximate product property that is not uniquely ergodic. We shall show that ( X,f ) has positive topological entropy.

Let µ , µ 1 2 be two distinct ergodic measures for ( X,f ). Let

$$\mu _ { 3 } \coloneqq \frac { 2 \mu _ { 1 } + \mu _ { 2 } } { 3 }, \mu _ { 4 } \coloneqq \frac { \mu _ { 1 } + 2 \mu _ { 2 } } { 3 } \text{ and } \eta \coloneqq \frac { D ( \mu _ { 1 }, \mu _ { 2 } ) } { 7 }.$$

Then

$$D ( \mu _ { i }, \mu _ { j } ) > 2 \eta \text{ for } 1 \leq i < j \leq 4.$$

By Proposition 2.3, there are compact invariant sets Λ 1 , Λ , Λ 2 3 and Λ 4 such that for each i = 1 2 3 4 and for every invariant measure , , , ν supported on Λ , we have i

$$D ( \nu, \mu _ { i } ) < \eta.$$

This implies that

$$\Lambda _ { i } \cap \Lambda _ { j } = \emptyset \text{ for } 1 \leq i < j \leq 4.$$

/negationslash

Otherwise, if Λ i ∩ Λ j = ∅ then Λ i ∩ Λ j supports an invariant measure ν ∗ and hence D µ , µ ( i j ) ≤ D µ , ν ( i ∗ ) + D µ , ν ( j ∗ ) &lt; 2 η, which contradicts with (5).

By compactness, we have

$$d ^ { * } ( \Lambda _ { i }, \Lambda _ { j } ) \coloneqq \min \left \{ d ( x, y ) \, \colon x \in \Lambda _ { i }, y \in \Lambda _ { j } \right \} > 0 \text{ for } 1 \leq i < j \leq 4.$$

Denote

$$\gamma \coloneqq \frac { 1 } { 4 } \min \left \{ d ^ { * } ( \Lambda _ { i }, \Lambda _ { j } ) \colon 1 \leq i < j \leq 4 \right \}.$$

For each i = 1 2 3 4, we fix a point , , , y i ∈ Λ . i Then for 1 ≤ i &lt; j ≤ 4 and every m,n ∈ Z + , we have

$$d \left ( f ^ { m } ( y _ { i } ), f ^ { n } ( y _ { j } ) \right ) \geq 4 \gamma.$$

For each ξ = { ξ k ( ) } ∞ k =1 ∈ { 1 2 , } Z + , denote C ξ := { x k ( ξ ) } ∞ k =1 such that

$$x _ { 2 k - 1 } ( \xi ) = y _ { 2 \xi ( k ) - 1 } \text{ and } x _ { 2 k } ( \xi ) = y _ { 2 \xi ( k ) }.$$

We fix

$$\delta \in ( 0, \frac { 1 } { 1 0 } ) \text{ and } m > M ( \delta, \delta, \gamma ), \\ \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot$$

where M δ,δ, γ ( ) is the constant obtained from the approximate product property as in Definition 2.2. For each ξ ∈ { 1 2 , } Z + , we can find G ξ = { t k ( ξ ) } ∞ k =1 with max G ≤ 1 + δm and z ξ ∈ X such that ( C ξ , { m } Z + , G ξ ) is ( δ, γ )-traced by z ξ . Denote s k ( ξ ) := s k ( { m } Z + , G ξ ) as in (2) for each k .

Lemma 3.1. If there is n ∈ { 1 , · · · , N } such that ξ n ( ) = ξ ′ ( n ) , then z ξ and z ξ ′ are ((1 + δ nm,γ ) ) -separated.

/negationslash

Proof. The proof splits into two cases.

## Case 1. Suppose that

$$r \coloneqq | s _ { n } ( \xi ) - s _ { n } ( \xi ^ { \prime } ) | \leq 4 \delta m.$$

n n δm.

We may assume that s n ( ξ ) &gt; s n ( ξ ′ ). By the tracing property, there are A,A ′ ∈ Z m such that

$$| A |, | A ^ { \prime } | \geq ( 1 - \delta ) m,$$

and

$$d \left ( f ^ { s _ { n } ( \xi ) + j } ( z _ { \xi } ), f ^ { j } \left ( x _ { n } ( \xi ) \right ) \right ) & \leq \gamma \text{ for each } j \in A \\ \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \ \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \ & \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu} \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu  \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu } \quad \hat { \nu. }$$

$$d \left ( f ^ { s _ { n } ( \xi ^ { \prime } ) + j } ( z _ { \xi ^ { \prime } } ), f ^ { j } \left ( x _ { n } ( \xi ^ { \prime } ) \right ) \right ) \leq \gamma \text{ for each } j \in A ^ { \prime }. \text{ use must have }$$

Then we must have

$$| ( r + A ) \cap A ^ { \prime } | \geq | r + A | + | A ^ { \prime } | - | r + \mathbb { Z } _ { m } | \geq ( 1 - 6 \delta ) m > 0.$$

For l ∈ ( r + A ) ∩ A ′ , by (6), we have

$$\dots \cdots & \cdots \cdots, \cdots _ { J } \times _ { J } \times _ { \nu } \cdots \cdots \\ & d \left ( f ^ { s _ { n } ( \xi ^ { \prime } ) + l } ( z _ { \xi } ), f ^ { s _ { n } ( \xi ^ { \prime } ) + l } ( z _ { \xi ^ { \prime } } ) \right ) \\ & \geq d \left ( f ^ { l - r } \left ( x _ { n } ( \xi ) \right ), f ^ { l } \left ( x _ { n } ( \xi ^ { \prime } ) \right ) \right ) - d \left ( f ^ { s _ { n } ( \xi ) + ( l - r ) } ( z _ { \xi } ), f ^ { l - r } \left ( x _ { n } ( \xi ) \right ) \right ) \\ & \quad - d \left ( f ^ { s _ { n } ( \xi ^ { \prime } ) + l } ( z _ { \xi ^ { \prime } } ), f ^ { l } \left ( x _ { n } ( \xi ^ { \prime } ) \right ) \right ) \\ & \geq 4 \gamma - \gamma - \gamma > \gamma. \\ & \cdots \quad,$$

Moreover, we have

$$s _ { n } ( \xi ^ { \prime } ) + l & \leq \sum _ { k = 1 } ^ { n - 1 } ( m + t _ { k } ( \xi ^ { \prime } ) - 1 ) + m \leq ( 1 + \delta ) n m. \\ \intertext { a, e, e } \, \frac { 1 } { 2 } \, \frac { 1 } { 3 } \, + \, \delta \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \colon$$

So z ξ and z ξ ′ are ((1 + δ nm,γ ) )-separated.

Case 2. Suppose that τ is the smallest positive integer such that

$$\tau \leq n \text{ and } | s _ { \tau } ( \xi ) - s _ { \tau } ( \xi ^ { \prime } ) | > 4 \delta m.$$

Then we have τ &gt; 1 and

$$| s _ { \tau - 1 } ( \xi ) - s _ { \tau - 1 } ( \xi ^ { \prime } ) | \leq 4 \delta m.$$

We may assume that s τ ( ξ ) &gt; s τ ( ξ ′ ). Then we have

$$s _ { \tau } ( \xi ) - s _ { \tau } ( \xi ^ { \prime } ) & = s _ { \tau - 1 } ( \xi ) + ( m + t _ { \tau - 1 } ( \xi ) - 1 ) - s _ { \tau - 1 } ( \xi ^ { \prime } ) - ( m + t _ { \tau - 1 } ( \xi ^ { \prime } ) - 1 ) \\ & \leq s _ { \tau - 1 } ( \xi ) - s _ { \tau - 1 } ( \xi ^ { \prime } ) + ( 1 + \delta m ) - 1 \\ & \leq 5 \delta m.$$

This yields that

$$r \coloneqq s _ { \tau + 1 } ( \xi ^ { \prime } ) - s _ { \tau } ( \xi ) = s _ { \tau } ( \xi ^ { \prime } ) + ( m + t _ { \tau } ( \xi ^ { \prime } ) - 1 ) - s _ { \tau } ( \xi ) \leq ( 1 - 3 \delta ) m$$

and by (8) we have

$$r \geq m - ( s _ { \tau } ( \xi ) - s _ { \tau } ( \xi ^ { \prime } ) ) \geq ( 1 - 5 \delta ) m > 0.$$

By the tracing property, there are A,A ′ ∈ Z m such that

$$| A |, | A ^ { \prime } | \geq ( 1 - \delta ) m,$$

and

$$d \left ( f ^ { s _ { \tau } ( \xi ) + j } ( z _ { \xi } ), f ^ { j } \left ( x _ { \tau } ( \xi ) \right ) \right ) \leq \gamma \text{ for each } j \in A$$

$$d \left ( f ^ { s _ { \tau + 1 } ( \xi ^ { \prime } ) + j } ( z _ { \xi ^ { \prime } } ), f ^ { j } \left ( x _ { \tau + 1 } ( \xi ^ { \prime } ) \right ) \right ) \leq \gamma \text{ for each } j \in A ^ { \prime }. \\ \intertext { w e must have }$$

Then we must have

$$| ( r + A ) \cap A ^ { \prime } | \geq | r + A | + | A ^ { \prime } | - | r + \mathbb { Z } _ { m } | \geq \delta m > 0.$$

/negationslash

Note that by our construction (7), we must have x τ ( ξ ) = x τ +1 ( ξ ′ ). For l ∈ ( r + A ) ∩ A ′ , by (6), we have

$$A J & \, + A \,, \, \text{ by } ( 0 J, \, \text{ we have} \\ & \quad d \left ( f ^ { s _ { \tau } ( \xi ) + l } ( z _ { \xi } ), f ^ { s _ { \tau } ( \xi ) + l } ( z _ { \xi ^ { \prime } } ) \right ) \\ & \geq d \left ( f ^ { l } \left ( x _ { \tau } ( \xi ) \right ), f ^ { l - r } \left ( x _ { \tau + 1 } ( \xi ^ { \prime } ) \right ) \right ) - d \left ( f ^ { s _ { \tau } ( \xi ) + l } ( z _ { \xi } ), f ^ { l } \left ( x _ { \tau } ( \xi ) \right ) \right ) \\ & \quad - d \left ( f ^ { t _ { \tau + 1 } ( \xi ^ { \prime } ) + ( l - r ) } ( z _ { \xi ^ { \prime } } ), f ^ { l - r } \left ( x _ { \tau + 1 } ( \xi ^ { \prime } ) \right ) \right ) \\ & \geq 4 \gamma - \gamma - \gamma > \gamma. \\ \text{Moreover we have}$$

Moreover, we have

$$s _ { \tau } ( \xi ) + l \leq \sum _ { k = 1 } ^ { \tau - 1 } ( m + t _ { k } ( \xi ^ { \prime } ) - 1 ) + m \leq ( 1 + \delta ) n m. \\ \intertext { n d z e r e } \, \text{(1 + \delta)\n m. \, \gamma \rangle \text{-generated}.$$

So z ξ and z ξ ′ are ((1 + δ nm,γ ) )-separated.

/square

By Lemma 3.1, for each n , there is a ((1 + δ nm,γ ) )-separated set whose cardinality is 2 n . This yields that

$$h ( f ) \geq \lim \sup _ { n \to \infty } \frac { \ln 2 ^ { n } } { ( 1 + \delta ) n m } = \frac { \ln 2 } { ( 1 + \delta ) m } > 0.$$

3.2. Necessity. In this subsection we prove the 'only if' part of Theorem 1.2. Suppose that ( X,f ) is a system with the approximate product property and positive topological entropy h f ( ) &gt; 0. We shall show that such a system has more than one ergodic measures. Compared with the results in [27], in what follows we do not assume that the system is asymptotically entropy expansive.

By Proposition 2.3, for each k , there is a compact invariant set Λ k such that

$$h ( \Lambda _ { k }, f, \frac { 1 } { k } ) \coloneqq \lim \sup _ { n \to \infty } \frac { \ln s ( \Lambda _ { k }, n, \frac { 1 } { k } ) } { n } < \frac { 1 } { k },$$

where s (Λ k , n, 1 k ) denotes the maximal cardinality of ( n, 1 k )-separated subsets of Λ . Denote k

$$\Gamma _ { k } \coloneqq \bigcap _ { j = 1 } ^ { k } \Lambda _ { j } \text{ for each } k. \\ \text{so compact and } f \text{-invariant}.$$

Then for each k , Γ k is also compact and f -invariant.

There are two cases to consider:

- (1) Suppose that there is k such that Γ k ∩ Λ k +1 = ∅ . Then there are two distinct ergodic measures that are supported on Γ k and Λ k +1 , respectively. Then ( X,f ) is not uniquely ergodic.

/negationslash

- (2) Suppose that Γ k ∩ Λ k +1 = ∅ for all k . In this case we have a nonempty invariant compact set

$$\Gamma \coloneqq \bigcap _ { k = 1 } ^ { \infty } \Gamma _ { k } = \bigcap _ { k = 1 } ^ { \infty } \Lambda _ { k }.$$

By (9), we have

$$h ( \Gamma, f, \frac { 1 } { k } ) \leq h ( \Lambda _ { k }, f, \frac { 1 } { k } ) < \frac { 1 } { k } \text{ for all } k.$$

This implies that

$$h ( \Gamma, f ) = \lim _ { k \rightarrow \infty } h ( \Gamma, f, \frac { 1 } { k } ) = 0.$$

and hence Γ supports an ergodic measure of zero entropy. However, as h f ( ) &gt; 0, the system ( X,f ) must have ergodic measures of positive entropy. This completes the proof.

## 4. Examples

Example 4.1. According to [16], there is a class of zero-entropy C ∞ interval maps such that each map in the class has periodic points of period 2 n for any n ∈ Z + and is chaotic in the sense of Li-Yorke. Theorem 1.2 implies that these maps do not have the approximate product property.

Example 4.2. In [9], a minimal subshift is constructed as the first example of strictly ergodic system with positive topological entropy, which gives a negative answer to Parry's question. In [2], it is shown that strictly ergodic homeomorphisms with positive topological entropies can be constructed on every compact manifold whose dimension is at least 2 and that carries a strictly ergodic homeomorphism. By Theorem 1.2, these systems do not have the approximate product property.

Example 4.3. By [13, Theorem 7.1] and [27, Example 9.6], there is X 1 ⊂ { 0 1 , } N such that

$$\frac { 1 } { n } \max \{ | \{ m \leq k < m + n \, \colon w _ { k } = 1 \} | \, \colon m \in \mathbb { N } \} \\. \quad.$$

converges uniformly to zero for every { w k } k ∈ N ∈ X 1 . Consider the subshift σ on X 1 . Then for every sequence C in X 1 , every δ 2 , ε &gt; 0, there is M ∈ Z + such that for every n &gt; M , ( C , { n } Z + , { 1 } Z + ) is ( δ 2 , ε )-traced by the fixed point { 0 } N . The subshift ( X ,σ 1 ) has the approximate product property and zero topological entropy. It is topologically mixing but not minimal. We remark that by Theorem 1.3, this subshift does not have the strict approximate product property.

Such subshifts can be modified to obtain a non-transitive system with the approximate product property. See [27, Example 9.7].

Example 4.4. In [10], Herman constructed a family of C ∞ diffeomorphisms F = { F α : α ∈ T 1 } on X = T 1 × SL(2 , R ) / Γ, where T 1 = [0 1] , / ∼ is the unit circle and Γ is a cocompact discrete subgroup of SL(2 , R ). For each α ∈ T 1 ,

$$F _ { \alpha } ( \theta, g \Gamma ) = ( R _ { \alpha } ( \theta ), A _ { \theta } ( g \Gamma ) )$$

is a skew product, where R α ( θ ) = θ + α is the rotation on T 1 ,

$$A _ { \theta } ( g \Gamma ) & = \left ( \begin{array} { c c } \cos 2 \pi \theta & - \sin 2 \pi \theta \\ \sin 2 \pi \theta & \cos 2 \pi \theta \end{array} \right ) \left ( \begin{array} { c c } \lambda & 0 \\ 0 & 1 / \lambda \end{array} \right ) g \Gamma \text{ for each } g \Gamma \in S L ( 2, \mathbb { R } ) / \Gamma \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \end{array}$$

and λ &gt; 1 is a fixed real number. Herman showed in [10] that h F ( α ) &gt; 0 for every α ∈ T 1 and there is dense G δ subset W ∈ T 1 such that F α is minimal for every α ∈ W .

By Proposition 2.5, the approximate product property does not hold for F α as long as α ∈ W . We doubt if it holds for any element F α in the family F .

## 5. Periodic Points and Unique Ergodicity

- 5.1. Systems with Fixed Points. We perceive that Example 4.3 exhibits a more general phenomenon, which may be regarded as a flaw that appears naturally with the way we define the approximate product property, where we allow mistakes in the tracing property (1).

Proposition 5.1. Let ( X,f ) be a system with a fixed point p ∈ X . Then ( X,f ) has the approximate product property and zero topological entropy if and only if ( X,f ) is uniquely ergodic, i.e. The Dirac measure on { p } is the unique ergodic measure for ( X,f ) .

Proof. The 'only if' part is a corollary of Theorem 1.2. Now we assume that δ p is the unique ergodic measure for ( X,f ). By the Variational Principle, we must have h f ( ) = h δ p ( f ) = 0. We need to show that ( X,f ) has the approximate product property. In fact, every sequence can be traced by the orbit of the fixed point p . This is analogous to the situation in Example 4.3.

Let ε &gt; 0. There is a continuous function ϕ : X → R such that

$$\varphi ( x ) & = 0 \text{ for } x = p ; \\ \varphi ( x ) & = 1 \text{ for every } x \notin B ( p, \varepsilon ) ; \\ 0 < \varphi ( x ) & < 1 \text{ otherwise}.$$

$$\cdot ) ;$$

As ( X,f ) is uniquely ergodic, we have that

$$\frac { 1 } { n } \sum _ { j = 0 } ^ { n - 1 } \varphi ( f ^ { j } ( x ) ) \to \frac { 1 } { n } \sum _ { j = 0 } ^ { n - 1 } \varphi ( f ^ { j } ( p ) ) = 0 \text{ uniformly.} \\ \text{every $\Lambda>0$ there is $M\in\mathbb{V}^{+}$ such that}$$

Then for every δ 2 &gt; 0, there is M ∈ Z + such that

$$\frac { 1 } { n } \sum _ { j = 0 } ^ { n - 1 } \varphi ( f ^ { j } ( x ) ) < \delta _ { 2 } \text{ for every } n > M \text{ and every } x \in X. \\ \intertext { implies that }$$

This implies that

∣{ ∣ j ∈ Z n : d f ( j ( x , p ) ) &gt; ε }∣ ∣ &lt; δ n. 2 Then for every sequence C in X , we have that ( C , { n } Z + , { 1 } Z + ) can be ( δ 2 , ε )-traced by the fixed point p . Hence ( X,f ) has the approximate product property. /square

Remark. The proof of Proposition 5.1 in fact shows that ( X,f ) has the almost specification property if it has a unique ergodic measure supported on a fixed point.

Theorem 1.4 can be verified as a corollary of Proposition 5.1 and the following fact, which holds generally for systems with the approximate product property.

Proposition 5.2. Suppose that there is a positive integer N such that ( X,f N ) is a system with the approximate product property. Then so is ( X,f ) .

Proof. Suppose that we are given δ 1 , δ 2 , ε &gt; 0. By continuity, there is γ &gt; 0 such that

$$d ( f ^ { j } ( x ), f ^ { j } ( y ) ) < \varepsilon \text{ for every } j \in \mathbb { Z } _ { N }, \text{ whenever } d ( x, y ) < \gamma. \quad \text{ (10)}$$

As ( X,f N ) has the approximate product property, there is M = M ( δ 1 2 , δ 2 2 , γ ) as in Definition 2.2 such that for every n &gt; M and every sequence C in X , there are an sequence G = { t k } k ∈ Z + with max G ≤ 1 + δ 1 n 2 and z ∈ X such

that ( C , { n } Z + , G ) is ( δ 2 2 , ε, γ )-traced by z under f N . By (10), this implies that ( C , { nN } Z + , { 1 + N t ( k -1) } k ∈ Z + ) is ( δ 2 2 , ε )-traced by z under f . Let

For every n &gt; TN , we can write n = mN + l such that m ≥ T and 0 ≤ l &lt; N . Suppose that we have G = { t k } k ∈ Z + with max G ≤ 1 + δ 1 ( m +1) 2 and ( C , { ( m +1) N } Z + , { 1 + N t ( k -1) } k ∈ Z + ) is ( δ 2 2 , ε )-traced by z under f . By (11), we have

$$T > \max \left \{ M, 1 + \frac { 2 } { \delta _ { 1 } }, 2 \right \}. \quad \quad ( 1 1 ) \\ N, \text{ we can write } n \, = \, m N + l \text{ such that } m \, > \, T \text{ and } 0 \, <$$

$$1 + N ( t _ { k } - 1 ) + ( N - l ) \leq 1 + \frac { \delta _ { 1 } ( m + 1 ) N } { 2 } + N < 1 + \delta _ { 1 } n \\. \. \ \.$$

for each k and

$$\frac { \delta _ { 2 } } { 2 } ( m + 1 ) N < \delta _ { 2 } m N \leq \delta _ { 2 } n. \\.. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

These bounds guarantee that the gap G ′ = 1+ { N t ( k -1) + ( N -l ) } k ∈ Z + satisfies max G ′ ≤ 1 + δ 1 n and ( C , { n } Z + , G ′ ) is ( δ 2 , ε )-traced by z under f . Hence ( X,f ) also has the approximate product property. /square

- 5.2. Interval Maps. Let I be a closed interval. We know that every continuous interval map must have a fixed point and hence is not minimal. By Theorem 1.3, there is no continuous interval map that has the strict approximate product property and zero topological entropy.

Now we would like to prove Theorem 1.5. Suppose that f : I → I is a continuous map on the interval I . As f has a fixed point in I , the 'if' part of Theorem 1.5 is a corollary of Proposition 5.1.

Suppose that ( I, f ) has the approximate product property and zero topological entropy. By Theorem 1.4, ( I, f ) has a unique ergodic measure which is supported on a unique fixed point p ∈ I and ( I, f ) has no other periodic points. The following fact completes the proof of Theorem 1.5.

Proposition 5.3. Let p be a fixed point of a continuous interval map ( I, f ) . Suppose that ( I, f ) has no other periodic points. Then p is attracting.

We remark that in general, as exhibited in Example 4.3, the unique fixed point of a uniquely ergodic system is not necessarily attracting. We shall give a proof of Proposition 5.3 for completeness. It is well-known that a continuous map f : R → R has a fixed point in an interval J if f ( J ) ⊃ J . We shall use this fact and the Darboux property that f ([ a, b ]) ⊃ [ f ( a , f ) ( b )] constantly without reference.

/negationslash

Suppose that the assumptions of Proposition 5.3 holds. Let x ∈ I and x = p . To prove Proposition 5.3 we need to show that f n ( x ) → p as n →∞ .

Lemma 5.4. If x &lt; p then f n ( x ) &gt; x for every n ∈ Z + . If x &gt; p then f n ( x ) &lt; x for every n ∈ Z + .

/negationslash

Proof. We give the proof for the case that x &lt; p . The proof of the other case is analogous. As x is not a periodic point, we have f n ( x ) = x for all n . Suppose that there is n ∈ Z + such that f n ( x ) &lt; x . We shall show that this leads to the existence of another periodic point of f .

There are two cases to consider:

- (1) Suppose that there is m ∈ Z + such that f mn ( x ) &lt; x &lt; f ( m +1) n ( x ). If f mn ( x ) &lt; f n ( x ), then we have

$$f ^ { m n } ( [ f ^ { n } ( x ), x ] ) \supset [ f ^ { m n } ( x ), f ^ { ( m + 1 ) n } ( x ) ] \supset [ f ^ { n } ( x ), x ],$$

hence there is an mn -periodic point in [ f n ( x , x ) ] that is different from p . Otherwise it holds that f n ( x ) ≤ f mn ( x ). In this case we have

$$f ^ { n } ( [ f ^ { m n } ( x ), x ] ) \supset [ f ^ { n } ( x ), f ^ { ( m + 1 ) n } ( x ) ] \supset [ f ^ { m n } ( x ), x ],$$

hence there is an n -periodic point in [ f mn ( x , x ) ] that is different from p .

- (2) Suppose that f mn ( x ) &lt; x for every m ∈ Z + . Let

$$a \coloneqq \inf \{ f ^ { m n } ( x ) \colon m \in \mathbb { Z } ^ { + } \} \in I.$$

Then we must have f n ( a ) ≥ a . But f n ( x ) &lt; x . By the Intermediate Value Theorem, there is a fixed point of f in the interval [ a, x ] that is different from p .

/square

/negationslash

Proof of Proposition 5.3. Let x ∈ I and x = p . If there is f N ( x ) = p for some N then f n ( x ) = p for all n &gt; N .

/negationslash

Suppose that f n ( x ) = p for all n . There is a decomposition N = N ∪ N 1 2 such that

$$\begin{cases} f ^ { n } ( x ) < p, & \text{for $n\in\mathcal{N}_{1}$;} \\ f ^ { n } ( x ) > p, & \text{for $n\in\mathcal{N}_{2}$}. \end{cases}$$

The proof splits into two cases:

- (1) Suppose that N 2 is finite. Then there is N such that n ∈ N 1 for all n ≥ N . By Lemma 5.4, { f n ( x ) } ∞ n = N is an increasing sequence with an upper bound p . Hence it converges to some q ∈ I . Then

$$f ( q ) = f \left ( \lim _ { n \to \infty } f ^ { n } ( x ) \right ) = \lim _ { n \to \infty } f ^ { n + 1 } ( x ) = q. \\ p \text{ is the unique fixed point, we must have } q = p \text{ and hence}$$

As p is the unique fixed point, we must have q = p and hence f n ( x ) → p as n →∞ . Analogous argument works for case that N 1 is finite.

- (2) Suppose that both N 1 and N 2 are infinite. Arrange the elements of N 1 in a strictly increasing sequence { n k } ∞ k =1 and the elements of N 2 in a strictly increasing sequence { n ′ k } ∞ k =1 . By Lemma 5.4, { f n k ( x ) } ∞ k =1 is an increasing sequence with an upper bound p and { f n ′ k ( x ) } ∞ k =1 is an decreasing sequence with a lower bound p . Then there are q , q 1 2 ∈ I such that

$$\lim _ { n _ { k } \to \infty } f ^ { n _ { k } } ( x ) = q _ { 1 } \text{ and } \lim _ { n _ { k } ^ { \prime } \to \infty } f ^ { n _ { k } ^ { \prime } } ( x ) = q _ { 2 }.$$

We see that q , q 1 2 are exactly all the subsequential limits of the sequence { f n ( x ) } ∞ n =1 . So we must have f ( { q , q 1 2 } ) ⊂ { q , q 1 2 } . There are three subcases:

- (a) If q 1 = q 2 = p then we have f n ( x ) → p as n →∞ .

/negationslash

/negationslash

/negationslash

/negationslash

- (b) If q 1 = p and q 2 = p . As p is the unique fixed point, we have f ( q 1 ) = q 1 and f ( q 2 ) = q 2 . This yields that f ( q 1 ) = q 2 and f ( q 2 ) = q 1 . Then q , q 1 2 are 2-periodic points, which is a contraction.

/negationslash

- (c) Without loss of generality, we may assume that q 1 = p and q 2 = p . Then f ( q 1 ) = q 2 = p . As f is continuous, there is δ &gt; 0 such that

$$| f ( y ) - p | < | q _ { 1 } - p | \text{ for every } y \in B ( p, \delta ).$$

As f n ′ k ( x ) → p , there is N ∈ N 2 such that p &lt; f N ( x ) &lt; p + . δ By (12), we have | f N +1 ( x ) - | p &lt; q | 1 - | p . But f n k ( x ) ≤ q 1 &lt; p for every n k ∈ N 1 . This implies that N +1 ∈ N 2 and hence by Lemma 5.4 we have

$$p < f ^ { N + 1 } ( x ) < f ^ { N } ( x ) < p + \delta.$$

Analogous argument shows that

$$p < f ^ { N + 2 } ( x ) < f ^ { N + 1 } ( x ) < p + \delta.$$

Hence by induction we have n ∈ N 2 for every n ≥ N , which contradicts with the assumption that N 1 is infinite.

/square

## Acknowledgments

The author is supported by National Natural Science Foundation of China (No. 11571387) and CUFE Young Elite Teacher Project (No. QYP1902). The author would like to thank Xueting Tian, Jian Li and the anonymous referees for helpful comments.

## References

- [1] Alsed`, LL., Del R´ ıo, M. A., Rodr´ ıguez, J. A.: a Transitivity and dense periodicity for graph maps. Journal of Difference Equations and Applications , 9 (6), 577-598 (2003)
- [2] B´ eguin, F., Crovisier, S., Le Roux, F.: Construction of curious minimal uniquely ergodic homeomorphisms on manifolds: the Denjoy-Rees technique. Ann. Sci. Ecole ´ Norm. Sup. , 40 (4), 251-308 (2007)
- [3] Blokh A.M.: Decomposition of dynamical systems on an interval. Russ. Math. Surv. , 38 , 133-134 (1983)
- [4] Bomfim, T., Torres, M. J., Varandas, P.: Topological features of flows with the reparametrized gluing orbit property. Journal of Differential Equations , 262 (8), 4292-4313 (2017)
- [5] Bowen, R.: Periodic points and measures for Axiom A diffeomorphisms. Trans. Amer. Math. Soc. , 154 , 377-397 (1971)
- [6] Buzzi, J.: Specification on the interval. Trans. Amer. Math. Soc. , 349 (7), 2737-2754 (1997)
- [7] Denker, M., Grillenberger, C., Sigmund, K.: Ergodic theory on compact spaces. Lecture Notes in Mathematics , Vol. 527, Springer-Verlag, Berlin, 1976
- [8] Guan, L., Sun, P., Wu, W.: Measures of intermediate entropies and homogeneous dynamics. Nonlinearity , 30 , 3349-3361 (2017)
- [9] Hahn, F., Katznelson, Y.: On the entropy of uniquely ergodic transformations. Trans. Amer. Math. Soc. , 126 , 335-360 (1967)
- [10] Herman, M.: Construction d'un diff´omorphisme minimal d'entropie topologique non nulle. e Ergodic Theory and Dynamical Systems , 1 , 65-76 (1981)
- [11] Katok, A.: Lyapunov exponents, entropy and periodic orbits for diffeomorphisms. Publ. Math. I.H.E.S. , 51 , 137-173 (1980)
- [12] Konieczny, J., Kupsa, M., Kwietniak, D.: Arcwise connectedness of the set of ergodic measures of hereditary shifts. Proceedings of the American Mathematical Society , 146 (8), 34253438 (2018)
- [13] Kwietniak, D.: Topological entropy and distributional chaos in hereditary shifts with applications to spacing shifts and beta shifts. Discrete and Continuous Dynamical Systems - A , 33 (6), 2451-2467 (2013)
- [14] Kwietniak, D., Lacka, M., Oprocha, P.: A panorama of specification-like properties and their consequences. Contemporary Mathematics , 669 , 155-186 (2016)

- [15] Lindenstrauss, J., Olsen, G., Sternfeld, Y.: The Poulsen simplex. Ann. Inst. Fourier (Grenoble) , 28 (1), 91-114 (1978)
- [16] Misiurewicz, M., Sm´ ıtal, J.: Smooth chaotic maps with zero topological entropy. Ergodic Theory and Dynamical Systems , 8 (3), 421-424 (1988)
- [17] Pfister, C. -E., Sullivan, W. G.: Large deviations estimates for dynamical systems without the specification property. Application to the β -shifts. Nonlinearity , 18 , 237-261 (2005)
- [18] Phelps, R. R.: Lectures on Choquet's theorem. second ed., Lecture Notes in Mathematics , Vol. 1757, Springer-Verlag, Berlin, 2001
- [19] Quas, A., Soo, T.: Ergodic universality of some topological dynamical systems, Transactions of the American Mathematical Society , 368 (6), 4137-4170 (2016)
- [20] Sun, P.: Zero-entropy invariant measures for skew product diffeomorphisms. Ergodic Theory and Dynamical Systems , 30 , 923-930 (2010)
- [21] Sun, P.: Measures of intermediate entropies for skew product diffeomorphisms. Discrete and Continuous Dynamical Systems - A , 27 (3), 1219-1231 (2010)
- [22] Sun, P.: Density of metric entropies for linear toral automorphisms. Dynamical Systems , 27 (2), 197-204 (2012)
- [23] Sun, P.: Minimality and gluing orbit property. Discrete and Continuous Dynamical Systems - A , 39 (7), 4041-4056 (2019)
- [24] Sun, P.: On the entropy of flows with reparametrized gluing orbit property. Acta Mathematica Scientia , 40B (3), 855-862 (2020)
- [25] Sun, P.: Denseness of intermediate pressures for systems with the Climenhaga-Thompson structure, Journal of Mathematical Analysis and Applications , 487 (2), 124027 (2020)
- [26] Sun, P.: Zero-entropy dynamical systems with the gluing orbit property. Advances in Mathematics , to appear
- [27] Sun, P.: Ergodic measures of intermediate entropies for dynamical systems with approximate product property. arXiv:1906.09862, 2019
- [28] Sun, P.: Equilibrium states of intermediate entropies. arXiv:2006.06358, 2020
- [29] Ures, R.: Intrinsic ergodicity of partially hyperbolic diffeomorphisms with a hyperbolic linear part. Proceedings of the American Mathematical Society , 140 (6), 1973-1985 (2012)
- [30] Walters, P.: An Introduction to Ergodic Theory, Springer-Verlag, New York, 1982

E-mail address : sunpeng@cufe.edu.cn
Peng Sun
Unique ergodicity for zero-entropy dynamical systems with the approximate product property
We show that for every topological dynamical system with the approximate
product property, zero topological entropy is equivalent to unique ergodicity.
Equivalence of minimality is also proved under a slightly stronger condition.
Moreover, we show that unique ergodicity implies the approximate product
property if the system has periodic points.