Arxiv:1810.08980V4 [Math.DS]

Home , Topological dynamics

arXiv:1810.08980v4 [math.DS] 1 Jul 2020 stplgclycnuaet iia oaino compac e a and on minimal rotation is minimal it a if to only conjugate topologically and is if entropy topological zero and hsatce egv opeecaatrzto fsc ytm:t 1.1. systems: Theorem such of characterization complete rotations. a minimal give we article, this pcfiainpoet uthv oiietplgclentropy. topological positive have must property specification htazr-nrp ytmwt h ligobtpoet hudb should [ property orbit In gluing the special. ent with and topological system zero-entropy zero Ho a with properties. that compatible specification-like stronger is from property itself distinguishes orbit gluing the that [ in [ (e.g. observed been also have phenomena different 37C40. [ survey the in the found (e.g. with be assumptions weaker systems such for under results generalized be Most prop system can the Such property of behaviors. structure systems. non-hyperbolic pro topological of some specification-like the classes of called broader information variations, study adequate weak to Its introduced been restrictive. very is growth including [ established, measures p been [ this have orbits on results odic Based classical formalism. of thermodynamical number and dynamics hyperbolic nfr iiiy nemdaeentropy. intermediate rigidity, uniform EOETOYDNMCLSSESWT H GLUING THE WITH SYSTEMS DYNAMICAL ZERO-ENTROPY h pcfiainpoet nrdcdb oe [ Bowen by introduced property specification The h ligobtpoet,afil e pcfiainlk rpryint property specification-like new fairly a property, orbit gluing The 2010 hyperbo uniform to related closely is property specification Bowen’s e od n phrases. and words Key 4 , 9 ahmtc ujc Classification. Subject Mathematics , cletoyi n nyi ti iia n equicontinuous. and minimal is it an if property only orbit and gluing if the entropy has investigate system ical are dynamical entropy a topological that show zero having to ditions Abstract. 37 26 ,hsdanmc teto nrcn er.I silsrtdi [ in illustrated is It years. recent in attention much drawn has ], 5 , ,uiuns feulbimsae [ states equilibrium of uniqueness ], 27 oooia yaia ytmhsbt h ligobtpro orbit gluing the both has system dynamical topological A n oo.I swl-nw htdnmclsseswt the with systems dynamical that well-known is It on. so and ] 31 ne h supino h ligobtpoet,equivale property, orbit gluing the of assumption the Under ,w aesonta uhasse utb iia.In minimal. be must system a such that shown have we ], eta nvriyo iac n Economics and Finance of University Central hn cnmc n aaeetAcademy Management and Economics China 22 ligobtpoet,tplgcletoy equicontinui entropy, topological property, orbit gluing ]. RI PROPERTY ORBIT ejn 001 China 100081, Beijing 1. Introduction egSun Peng rmr:3B5 74,3C0 eodr:37A35, Secondary: 37C50. 37B40, 37B05, Primary: 1 7 ,gnrct fcraninvariant certain of genericity ], 23 5 , ly nipratrl in role important an plays ] 31 .I atclr we particular, In d. ) oeifraincan information More ]). bla group. abelian t eotopolog- zero d ucniuu,ie it i.e. quicontinuous, n a survive may and s ee,w perceive we wever, [ rissilcarry still erties e r utthe just are hey 3 , ut simple quite e tcon- nt 9 ete,have perties, aeo peri- of rate specification y minimality, ty, , oy which ropy, 24 oet,a roperty, iiyand licity ) while ]), roduced perty 3 ] 2 PENG SUN

In the smooth setting, positive topological entropy implies non-zero Lyapunov exponents. So Theorem 1.1 indicates that the gluing orbit property is still related to some weak hyperbolicity, except for the special case of minimal rotations. By [31, Theorem 1.2], we already know that every minimal equicontinuous system has the gluing orbit property. To prove Theorem 1.1, we need to show that a zero-entropy system with the gluing orbit property is equicontinuous. Here we encounter an essential difficulty caused by the variable gaps, which is just the essential difference between the gluing orbit property and stronger specification-like properties. Such a difficulty is not a big trouble in other works on the gluing orbit property (e.g. [3, 12, 37]). However, it is just the variable gaps that allow weaker specification-like properties to get along with certain non-hyperbolic behaviors. In the sequence of works [31, 32, 34] of the author, different methods have been applied to deal with them in studying zero-entropy systems with various weak specification- like properties. Our proof of Theorem 1.1 is made possible by taking advantage of a sequence of notions in topological dynamics, among which the most important one is uniform rigidity (see Section 2.5). In addition to Theorem 1.1, we can show that a minimal system with the gluing orbit property must have zero topological entropy. Consequently, we have the following theorem that summarizes our results. Theorem 1.2. Let (X,f) be a system with the gluing orbit property. The following are equivalent: (1) (X,f) has zero topological entropy. (2) (X,f) is minimal. (3) (X,f) is equicontinuous. (4) (X,f) is uniformly rigid. (5) (X,f) is uniquely ergodic.

(1) (2) (5)

with (2)

(4) (3)

Figure 1. Conditions in Thereom 1.2

Our proof of the relations between the conditions in Theorem 1.2 is illustrated in Figure 1. It is well-known that (3) =⇒ (1) and (2)(3) =⇒ (5). We have shown in [31] that (1) =⇒ (2) and (5) =⇒ (2). We shall prove that (1) =⇒ (4) in Section 3.2 and (4) =⇒ (3) in Section 3.3. Finally, we prove that (2) =⇒ (1) in Section 4.3. We say that a system is trivial if it consists of a single periodic orbit. As a corollary of Theorem 1.2, every non-trivial system with the gluing orbit property that is either non-invertible or symbolic must have positive topological entropy. Furthermore, any non-trivial minimal subshift, e.g. the strictly ergodic subshifts constructed in [14, 17], does not have the gluing orbit property, regardless of its entropy. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 3

It is shown in [2] that C0 generic systems satisfy the gluing orbit property on isolated chain-recurrent classes. As a complement to this result, we are aware of one-parameter families in which generic systems are minimal and fail to satisfy the gluing orbit property (on their unique chain recurrent class, the whole space). This is also a consequence of Theorem 1.2. See Section 4.4. To show that minimality implies zero entropy for systems with the gluing orbit property (Proposition 4.10), we construct a compact invariant subset with small ε-entropy. Along with asymptotic entropy expansiveness and the entropy denseness proved in [24], this leads to a partial positive answer to the conjecture of Katok that every C2 diﬀeomorphism has ergodic measures of arbitrary intermediate entropies. Partial results on the conjecture have been discussed in [16, 21, 25, 28, 29, 30, 38]. See Section 4.5. Theorem 1.3. Let (X,f) be an asymptotically entropy expansive system with the gluing orbit property. Then the set

E(f) := {hµ(f): µ is an ergodic measure for (X,f)} is dense in the interval [0,h(f)]. We remark that the author has recently obtained much stronger results than Theorem 1.3. In [35], Katok’s conjecture is completely proved for all systems sat- isfying asymptotic entropy expansiveness and the approximate product property. The approximate product property is an even weaker specification-like property than the gluing orbit property. In another work [34], the author has also made an effort to characterize zero-entropy systems with this property and showed that these systems must be uniquely ergodic. Moreover, it is shown in [33] that in Theorem 1.3 the gluing orbit property can be replaced by the decomposition introduced by Climenhaga and Thompson [9], which only asks the gluing orbit property to hold on a suitable collection of orbit segments, instead of all of them. Such decomposi- tions are admitted by certain DA maps [10, 11], for which Katok’s conjecture can be verified [36].

2. Preliminaries Let (X, d) be a compact metric space. Throughout this article, we assume that X is inﬁnite to avoid trivial exceptions. 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 M ∈ Z+, we denote by Z+ ΣM := {1, 2, ··· ,M} the space of sequences in {1, 2, ··· ,M}.

2.1. The gluing orbit property. Deﬁnition 2.1. We call a sequence

C = {(xj ,mj )}j∈Z+ of ordered pairs in X × Z+ an orbit sequence. A gap for an orbit sequence is a sequence

G = {tj }j∈Z+ 4 PENG SUN of positive integers. For ε> 0, we say that (C , G ) can be ε-traced by z ∈ X if the following tracing property (illustrated in Figure 2.1) holds: For every j ∈ Z+,

sj +l l d(f (z),f (xj )) ≤ ε for each l =0, 1, ··· ,mj − 1, (1) where j−1

s1 := 0 and sj := (mi + ti − 1) for j ≥ 2. i=1 X

t t t 1 2 3 ··· m1−1 m2−1 m3−1 x1 f (x1) x2 f (x2) x3 f (x3) ··· f s1 (z) f s1+m1−1(z) f s2 (z) f s2+m2−1(z) f s3 (z) f s3+m3−1(z)

Figure 2. The tracing property

Definition 2.2. We say that (X,f) has the gluing orbit property, if for every ε> 0 there is M = M(ε) > 0 such that for any orbit sequence C , there is a gap G ∈ ΣM such that (C , G ) can be ε-traced. Remark. Definition 2.1 naturally extends to finite orbit sequences. By [31, Lemma 2.10], Definition 2.2 is equivalent to the original definition of the gluing orbit property (cf. [31, Definition 2.8] or [4, Definition 2.1]), which requests that any finite orbit sequence can be traced. Another difference to note is that we allow non-strict inequalities in (1). This provides extra convenience in Section 4 (Lemma 4.4). For definitions and results on the other specification-like properties, readers are referred to [22] and [35]. 2.2. Topological entropy and entropy expansiveness. Definition 2.3. Let K be a subset of X. For n ∈ Z+ and ε> 0, a subset E ⊂ K is called an (n,ε)-separated set in K if for any distinct points x, y in E, there is k ∈{0, ··· ,n − 1} such that d(f k(x),f k(y)) > ε. Denote by s(K,n,ε) the maximal cardinality of (n,ε)-separated subsets of K. We define the ε-entropy as ln s(K,n,ε) h(K,f,ε) := lim sup . n→∞ n Then the topological entropy of f on K is given by h(K,f) := lim h(K,f,ε). ε→0 In particular, h(f) := h(X,f) is the topological entropy of the system (X,f). Remark. Note that h(K,f,ε) grows as ε tends to 0. So we actually have h(K,f) = sup{h(K,f,ε): ε> 0}. Readers are referred to [39] for more discussions on topological entropy, as well as many other background materials. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 5

Deﬁnition 2.4. For ε> 0 and x ∈ X, denote n n Γε(x) := {y ∈ X : d(f (x),f (y)) <ε for every n ∈ N}. Let ∗ h (f,ε) := sup{h(Γε(x),f): x ∈ X}.

(1) We say that (X,f) is entropy expansive if there is ε0 > 0 such that ∗ h (f,ε0) = 0. (2) We say that (X,f) is asymptotically entropy expansive if lim h∗(f,ε)=0. ε→0 Proposition 2.5 ([6, Corollary 2.4]). For every subset K and every ε> 0, we have h(K,f) ≤ h(K,f,ε)+ h∗(f,ε). 2.3. Almost periodicity and Equicontinuity. Definition 2.6. A set A ⊂ N is called syndetic if there is L> 0 such that A ∩ [n,n + L − 1] 6= ∅ for every n ∈ N. Definition 2.7. For x ∈ X and ε> 0, denote R(x, ε) := {n ∈ Z+ : d(f n(x), x) ≤ ε}. A point x ∈ X is called almost periodic in (X,f) if R(x, ε) is syndetic for every ε> 0. Denote by C(X,X) the space of all continuous maps from X to itself, equipped with the C0-metric D0(f,g) := sup d(f(x),g(x)). x∈X Definition 2.8. For ε> 0, denote R(ε) := R(x, ε)= {n ∈ Z+ : D0(f n, Id) ≤ ε}, x X \∈ where Id : X → X is the identity map. We say that (X,f) is uniformly almost periodic if R(ε) is syndetic for every ε> 0.

n ∞ Deﬁnition 2.9. We say that (X,f) is equicontinuous if the family {f }n=0 is equicontinuous, i.e. for every ε> 0, there is δ > 0 such that for any x, y ∈ X with d(x, y) <δ, we have d(f n(x),f n(y)) <ε for every n ∈ N. Proposition 2.10 ([14, Theorem 4.38]). (X,f) is equicontinuous if it is uniformly almost periodic. Remark. If f is surjective, then equicontinuity also implies uniform almost periodicity. We give a proof of Proposition 2.10 for completeness.

ε Proof. Assume that f is uniformly almost periodic. For every ε > 0, R( 3 ) is syndetic. There is L ∈ Z+ such that ε R( ) ∩ [n,n + L − 1] 6= ∅ for every n ∈ N. 3 6 PENG SUN

Note that f k is uniformly continuous for each k. So there is δ > 0 such that ε d(f k(x),f k(y)) < whenever d(x, y) <δ, for each k =1, 2, ··· ,L. 3 Z+ ε For any n ∈ , n>L, there is j ∈ R( 3 ) ∩ [n − L,n − 1] and k ∈ {1, 2, ··· ,L} such that n = j + k. Then ε d(f j (x), x) ≤ for every x ∈ X. 3 So we have d(f n(x),f n(y)) = d(f j+k(x),f j+k(y)) ≤ d(f j (f k(x)),f k(x)) + d(f j (f k(y)),f k(y)) + d(f k(x),f k(y)) <ε whenever d(x, y) < δ. Hence (X,f) is equicontinuous.

If (X,f) is equicontinuous, then the cardinality s(X,n,ε) is uniformly bounded for all n. This leads to the following well-known fact. Proposition 2.11. Every equicontinuous system has zero topological entropy. 2.4. Transitivity and minimality. Deﬁnition 2.12. Denote by O(x) := {f n(x): n ∈ N} the (forward) orbit of x ∈ X under f. Denote by Tran(X,f) := {x ∈ X : O(x)= X} the set of all points with dense orbits. Then (1) We say that (X,f) is topologically transitive if Tran(X,f) is dense in X. This is equivalent to the standard deﬁnition which states that for any two nonempty open sets U and V , there is n ∈ N such that f n(U) ∩ V 6= ∅. (2) We say that (X,f) is minimal if Tran(X,f)= X. Equivalently, there is no nonempty proper compact invariant subset of X. Proposition 2.13 ([37]). Let (X,f) be a topological dynamical system with the gluing orbit property. Then (X,f) is topologically transitive. A system that is both equicontinuous and minimal is quite simple. Such a system can be characterized in various ways. The following proposition provides an incomplete summary. See also [1, Chapter 3] and [18, Theorem 4]. Proposition 2.14 ([40, Theorem 3.1.7]). Let (X,f) be a topological dynamical system. The following are equivalent: (1) (X,f) is equicontinuous and minimal. (2) (X,f) is equicontinuous and topologically transitive. (3) (X,f) is topologically conjugate to a minimal isometry. (4) (X,f) is topologically conjugate to a minimal rotation on a compact abelian group. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 7

(5) (X,f) is minimal and it has (topologically) discrete spectrum, i.e. the continuous eigenfunctions {φ ∈ C(X): φ ◦ f = λφ for some λ ∈ C} span C(X). In [31], we have obtained the following results. Proposition 2.15 ([31]). Let (X,f) a topological dynamical system. (1) If (X,f) has the gluing orbit property and h(f)=0, then (X,f) is minimal. (2) If (X,f) is minimal and equicontinuous, then (X,f) has the gluing orbit property. 2.5. Uniform Rigidity. The notion of uniform rigidity plays a key role in this article. Definition 2.16. We say that (X,f) is uniformly rigid if there is a sequence ∞ {nk}k=1 such that lim D0(f nk , Id) = 0, k→∞ i.e. f nk → Id uniformly. Uniform rigidity is closely related to recurrence and almost periodicity. Proposition 2.17. Let (X,f) be a uniformly rigid system. Then (1) For every ε> 0, the set R(ε) (as in Definition 2.8) is infinite [40, Lemma 9.2.5]. (2) f is a homeomorphism [40, Lemma 3.2.11]. (3) h(f) = 0 [15, Proposition 6.3].

3. Zero Entropy Implies Equicontinuity 3.1. A suﬃcient condition for uniform rigidity. Our key to take advantage of uniform rigidity for systems with the gluing orbit property is to consider whether a dense orbit stays close to a shift of itself. Lemma 3.1. Suppose that there are γ > 0, p ∈ Tran(X,f) and m ∈ Z+ such that d (f n(p),f n(f m(p))) ≤ γ for every n ∈ N. Then we have D0(Id,f m) ≤ γ, i.e. d(x, f m(x)) ≤ γ for every x ∈ X. ∞ N Proof. Take any x ∈ X. As p ∈ Tran(X,f), there is a sequence {nk}k=1 in such that lim f nk (p)= x. k→∞ Then for every n ∈ N, we have d(x, f m(x)) = lim d(f nk (p),f m(f nk (p)) ≤ γ. k→∞

Lemma 3.2. Suppose that (X,f) is not uniformly rigid. Then there is γ > 0 such that for every p ∈ Tran(X,f) and every m ∈ Z+, there is τ = τ(p,m) ∈ N such that d(f τ (p),f τ (f m(p)) > γ. 8 PENG SUN

Proof. Assume the result fails. Then for each k ∈ Z, there are pk ∈ Tran(X,f) and + mk ∈ Z such that

n n mk −k d(f (pk),f (f (pk)) ≤ 2 for every n ∈ N. Then by Lemma 3.1, for every x ∈ X, we have d(x, f mk (x)) ≤ 2−k. This implies that f mk → Id uniformly as k → ∞ and hence (X,f) is uniformly rigid. 3.2. Zero entropy implies uniform rigidity. Based on Lemma 3.2, we can show that a system with the gluing orbit property and zero topological entropy must be uniformly rigid. Proposition 3.3. Suppose that (X,f) has the gluing orbit property and it is not uniformly rigid. Then h(f) > 0. The rest of this subsection is devoted to the proof of Proposition 3.3. Suppose that (X,f) has the gluing orbit property and it is not uniformly rigid. Let M := M(ε) be the constant in the gluing orbit property (as in Deﬁnition 2.2). By Proposition 2.13, (X,f) is topologically transitive and hence Tran(X,f) 6= ∅. 1 By Lemma 3.2, there are p ∈ Tran(X,f), γ > 0 and 0 <ε< 3 γ such that for each k =1, 2, ··· , 2M − 1, there is τk ∈ N such that d(f τk (p),f τk (f k(p)) > γ. (2) We ﬁx T := 2M + max{τk : k =1, ··· , 2M − 1}. (3) Note that T depends exclusively on p and ε. Denote

m1 := T + M and m2 := T. ∞ Z+ For each ξ = {ξ(k)}k=1 ∈ Σ2 := {1, 2} , denote C ∞ ξ := {(p,mξ(k) + 1)}k=1.

The gluing orbit property ensures that there are zξ ∈ X and G ∞ ξ = {tk(ξ)}k=1 ∈ ΣM such that (Cξ, Gξ) is ε-traced by zξ. Lemma 3.4. Let N ≥ 1. If there is n ∈ {1, ··· ,N} such that ξ(n) 6= ξ′(n), then zξ and zξ′ are ((N + 1)(T +2M),ε)-separated. Proof. We may assume that ξ(n) = 1, ξ′(n) = 2 and ξ(k)= ξ′(k) for each k =1, 2, ··· ,n − 1. The proof divides into two cases: Case 1. Assume that ′ tk(ξ)= tk(ξ ) for each k =1, 2, ··· ,n − 1. In this case we have n−1 n−1 ′ s := (mξ(k) + tk(ξ)) = (mξ′(k) + tk(ξ )) ≤ (n − 1)(T +2M). k k X=1 X=1 ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 9

That is, the orbits of zξ and zξ′ start to trace the n-th orbit segments of Cξ and Cξ′ , respectively, at the same time. Then we should note that the n-th orbit segments of Cξ and Cξ′ have diﬀerent lengths. Consider the tracing properties of zξ and zξ′ for the (n + 1)-th orbit segments, whose lengths are no less than T + 1. We have

s+T +M+tn(ξ)+l l d(f (zξ),f (p)) ≤ ε, for each l =0, 1, ··· ,T ; (4) ′ s+T +tn(ξ )+l l d(f (zξ′ ),f (p)) ≤ ε, for each l =0, 1, ··· ,T. (5) ′ Let r := M + tn(ξ) − tn(ξ ). Then 1 ≤ r ≤ 2M − 1. By (2), we have d(f τr (p),f τr (f r(p))) > γ. By (3), we have

r + τr < 2M + τr ≤ T.

So we can apply (4) for l = τr and (5) for l = r + τr. Then

s+T +M+tn(ξ)+τr s+T +M+tn(ξ)+τr d(f (zξ),f (zξ′ )) ≥ d(f τr (p),f r+τr (p))

s+T +M+tn(ξ)+τr τr − d(f (zξ),f (p))

s+T +M+tn(ξ)+τr r+τr − d(f (zξ′ ),f (p)) >γ − 2ε > ε. Moreover, we have an estimate of the separation time

s + T + M + tn(ξ)+ τr ≤ (n − 1)(T +2M)+ T + M + M + (T − 2M) < (N + 1)(T +2M).

tn(ξ) (Cξ, Gξ): ··· ··· p f T +M (p) p f τr (p) >γ ′ tn(ξ ) (Cξ′ , Gξ′ ):··· ··· p f T (p) p f r(p) f r+τr (p)

Figure 3. Separation in Case 1

Case 2. Assume that + ′ K := min{k ∈ Z : tk(ξ) 6= tk(ξ )}≤ n − 1. ′ ′ We may assume that tK (ξ) >tK (ξ ). Let r := tK (ξ) − tK (ξ ). Then 1 ≤ r ≤ M − 1. By (2) and (3), we have

τr τr r d(f (p),f (f (p))) >γ and r + τr < T . Let K K ′ s := (mξ(k) + tk(ξ)) = (mξ′(k) + tk(ξ )) + r ≤ K(T +2M). k k X=1 X=1 10 PENG SUN

The tracing properties yield that s+l l d(f (zξ),f (p)) ≤ ε, for each l =0, 1, ··· ,T ; s−r+l l d(f (zξ′ ),f (p)) ≤ ε, for each l =0, 1, ··· ,T. Then

s+τr s+τr τr r+τr d(f (zξ),f (zξ′ )) ≥ d(f (p),f (p))

s+τr τr − d(f (zξ),f (p))

s−r+(r+τr) r+τr − d(f (zξ′ ),f (p)) >γ − 2ε > ε. Again, we have

s + τr

tK (ξ) (Cξ, Gξ): ··· ··· p f mξ(K) (p) p f τr (p) >γ ′ tK (ξ ) (Cξ′ , Gξ′ ):··· ··· m ′ p f ξ (K) (p) p f r(p) f r+τr (p)

Figure 4. Separation in Case 2

By Lemma 3.4, for each N, there is an ((N +1)(T +2M),ε)-separated set whose cardinality is 2N . This yields that ln 2N ln 2 h(f) ≥ h(X,f,ε) ≥ lim = > 0. N→∞ (N + 1)(T +2M) T +2M

3.3. Uniform rigidity implies equicontinuity. We remark that there are minimal and uniformly rigid systems that are weakly mixing [15]. To complete the proof of Theorem 1.1, we still need to show that a uniformly rigid system with the gluing orbit property is uniformly almost periodic. Then by Proposition 2.10, it is equicontinuous. Lemma 3.5. Let (X,f) be a uniformly rigid system with the gluing orbit property. ε Then for every ε> 0 and any x, y ∈ X, there is m

ε ∞ Proof. By Proposition 2.17(1), R( 3 ) is infinite. We can find a sequence {nk}k=1 in ε R( 3 ) such that + nk → ∞ and nk >M for every k ∈ Z . For each k, consider the finite orbit sequence

Ck = {(x, nk − M + 1), (y,nk)}. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 11

C ε There are znk ∈ X and tnk ∈{1, 2, ··· ,M} such that ( k, {tnk }) is 3 -traced by znk . ∞ ∞ ∞ As the range of {tnk }k=1 is ﬁnite, we can ﬁnd a subsequence {nl}l=1 of {nk}k=1 and t ∈{1, 2, ··· ,M} such that Z+ tnl = t for every l ∈ . Then M − t ∈{0, 1, ··· ,M − 1}. For every l ∈ Z+, the tracing properties yield that ε d(f j (z ),f j (x)) ≤ , for each j =0, 1, ··· ,n − M; nl 3 l ε d(f nl−M+t+j (z ),f j (y)) ≤ , for each j =0, 1, ··· ,n . nl 3 l Z+ ε For every l ∈ , as nl ∈ R( 3 ), we have ε d(f n(z ),f n+nl (z )) ≤ D0(f nl , Id) ≤ for every n ∈ Z+. nl nl 3

Hence for every n ≤ nl − M, we have d(f n(x),f n(f M−t(y)))

n n n n+nl n+nl n M−t ≤ d(f (x),f (znl )) + d(f (znl ),f (znl )) + d(f (znl ),f (f (y))) ε ε ε ≤ + + = ε. 3 3 3 + This holds for every n ∈ Z as nl → ∞.

t x f nl−M (x) y f M−t(y) f nl (y) ··· nl−M nl znl f (zn ) f (zn ) l l ··· zn nl−M l f (znl ) x f nl−M (x)

Figure 5. Proof of Lemma 3.5

Proposition 3.6. Let (X,f) be a uniformly rigid system with the gluing orbit property. Then (X,f) is uniformly almost periodic (hence is equicontinuous). Proof. By 2.13, (X,f) is topologically transitive. Take p ∈ Tran(X,f). For every ε N k ε > 0, let M := M( 3 ). For each k ∈ , apply Lemma 3.5 for p and f (p). There is m 0. So (X,f) is uniformly almost periodic. 12 PENG SUN

4. Minimality and Small Entropy 4.1. The induced shift map. In this subsection we introduce a symbolic system associated to a system with both the gluing orbit property and positive topological entropy. Here we attempt to provide a general tool to study the uncertainty of the gaps in the gluing orbit property. Some lemmas in this subsection may not be indispensable in the proofs of the main results of this article. Similar techniques have also been developed in the subsequent works [33, 35] of the author. Suppose that (X,f) has both the gluing orbit property and positive topological entropy h(f) > 0. By Proposition 2.13 and 2.17(3), (X,f) is topologically transitive and not uniformly rigid. We ﬁx p ∈ Tran(X,f). By Lemma 3.2, there is γ = γ(f) > + 0 such that for each k ∈ Z there is there is τk = τk(p) ∈ Z such that d(f τk (p),f τk (f k(p)) > γ. (6) 1 Let 0 <ε< 3 γ, M := M(ε) and

τ >M + max{τk : k =1, ··· ,M − 1}. (7) Let Z+ C = C (p, τ) := {(p, τ + 1)} .

For each G ∈ ΣM , denote

YG := {x ∈ X : (C , G ) is ε-traced by x}. Denote Σ=Σ(τ,ε) := {G ∈ ΣM : YG 6= ∅} ⊂ ΣM . Let Y = Y (τ,ε) := YG = YG . G G ∈[ΣM [∈Σ By construction, Σ consists of all admissible gaps with which the orbit sequence C can be ε-traced, while Y consists of all points that ε-traces C with some admissible gaps. G ∞ G ′ ′ ∞ C G Lemma 4.1. Assume that = {tk}k=1 and = {tk}k=1 in ΣM such that ( , ) is ε-traced by x, (C , G ′) is ε-traced by y, ′ ′ tk = tk for k =1, ··· ,n − 1 and tn 6= tn. Then x, y are ((n + 1)(τ + M),ε)-separated.

′ ′ Proof. We may assume that tn < tn. Let r := tn − tn. Then 1 ≤ r ≤ M − 1.By (6), we have d(f τr (p),f τr (f r(p))) > γ.

By (7), we have r + τr < τ. For n n ′ ′ s := (τ + tk) and s := (τ + tk)= s + r, k k X=1 X=1 the tracing properties yield that ′ ′ d(f s +τr (x),f s +τr (y)) ′ ≥ d(f τr (p),f τr (f r(p))) − d(f s +τr (x),f τr (p)) − d(f s+r+τr (y),f r+τr (p)) >γ − 2ε > ε. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 13

This implies that x, y are ((n + 1)(τ + M),ε)-separated, as ′ s + τr ≤ n(τ + M) + (τ − M) < (n + 1)(τ + M).

Corollary 4.2. For every x ∈ Y there is a unique G =: G(x) such that (C , G ) is ε-traced by x. Hence Σ= {G(x): x ∈ Y }.

Note that ΣM is a symbolic space on which there are a shift map σ and a product topology that is induced by the metric Z+ ′ ∞ ′ ∞ − min{k∈ :tk6=tk} ρ ({tk}k=1, {tk}k=1) := 2 .

We shall show that Σ is compact and invariant under σ, hence the map σ|Σ is ∞ C ∞ a subshift. For every x ∈ Y and G(x) = {tk}k=1, we have that ( , {tk}k=1) is C ∞ τ+t1 ε-traced by x. Then ( , {tk+1}k=1) is ε-traced by f (x), as all orbit segments in C are equal. This implies that σ(G(x)) = G(f τ+t1 (x)) and σ(Σ) ⊂ Σ.

Lemma 4.3. The map G : Y → ΣM is uniformly continuous. Proof. Let n ∈ Z+. As f is continuous and X is compact, there is δ > 0 such that for each k =0, 1, ··· , (n + 1)(τ + M), we have d(f k(x),f k(y)) <ε whenever x, y ∈ Y and d(x, y) < δ. So x, y are not ((n + 1)(τ + M),ε)-separated if d(x, y) < δ. By Lemma 4.1, this implies that ρ (G(x), G(y)) < 2−n whenever x, y ∈ Y and d(x, y) < δ. Hence G is uniformly continuous. The following lemma shows that both Y and Σ are compact.

Lemma 4.4. Let {xn} be a sequence in Y such that xn → x in X. Then there is G ∈ ΣM such that G(xn) → G and (C , G ) can be ε-traced by x.

Proof. As {xn} is a Cauchy sequence and G is uniformly continuous, {G(xn)} is a G ∞ Cauchy sequence in ΣM . By compactness of ΣM , there is = {tk}k=1 ∈ ΣM such that G(x) → G . For each n ∈ Z+, denote k−1 ∞ Z+ G(xn)= {tk(n)}k=1 and sk(n)= (τ + ti(n)) for each k ∈ . i=1 X For each k ∈ Z+, there is N such that for every n>N, k−1 tj (n)= tj for each j =1, 2, ··· , k and hence sk(n)= (τ + ti) =: sk. i=1 X Then for each k ∈ Z+ and each l =0, 1, ··· , τ, we have

sk +l l sk +l l d(f (x),f (p)) = lim d(f (xn),f (p)) n→∞

sk (n)+l l = lim d(f (xn),f (p)) (for n>N) n→∞ ≤ ε. Hence (C , G ) can be ε-traced by x. 14 PENG SUN

Remark. In the proof of Lemma 4.4, we can see the advantage of the non-strict inequality allowed in Deﬁnition 2.2, which is essential for the compactness of Y .

Corollary 4.5. Y is a compact subset of X. Σ is a compact subset of ΣM and is invariant under the shift map σ. 4.2. Invariant sets and entropy estimates. A set of the form k k Bn(x, ε) := {y ∈ X : d(f (y),f (x)) < ε,k =0, 1, ··· ,n − 1} is called an (n,ε)-ball in (X,f). Let Eε be a ﬁxed (M − 1,ε)-separated subset of X with the maximal cardinality. Then we must have

X = Bn(x, ε), x E [∈ ε i.e. Eε is an (n,ε)-spanning subset of X. Denote by ∞ Cw1···wn = {{tk}k=1 ∈ Σ: tj = wj for each j =1, ··· ,n} a cylinder of rank n in Σ. For each cylinder C, denote

YC = YG . G C [∈ Denote by C(n) the number of diﬀerent cylinders of rank n in Σ, which is equal to 1 the maximal cardinality of (n, 3 )-separated subsets of Σ for the shift map σ. Then C(n) ≤ M n and it is well-known that 1 h(Σ, σ) = lim sup ln C(n). n→∞ n As a corollary of Lemma 4.1, we have s(Y, (n + 1)(τ + M),ε) ≥ C(n) for every n ∈ Z+. Hence ln C(n) h(Σ, σ) h(Y,f) ≥ h(Y,f,ε) ≥ lim sup = . n→∞ (n + 1)(2τ + M) 2τ + M Lemma 4.6. For every k ∈ {0, ··· , τ + M}, every n ∈ Z+ and every cylinder n+2 k C = Ct1···tn+2 in Σ of rank n +2, there are at most |Eε| points in f (YC ) that are (nτ, 2ε)-separated. Proof. Denote k−1 s1 := 0 and sk := (τ + ti) for k ≥ 2. i=1 k X Assume that x1, x2 ∈ f (YC ) are (nτ, 2ε)-separated. There are y1,y2 ∈ YC such that k k f (y1)= x1 and f (y2)= x2.

Then y1,y2 are (nτ + k, 2ε)-separated and hence ((n + 2)τ, 2ε)-separated since k ≤ τ + M < 2τ.

But in this time period y1 and y2 can only be separated when their orbits are not tracing C . So there must be k ≤ n +2 and 1 ≤ t ≤ tk − 1 such that

sk +τ+t sk+τ+t d(f (y1),f (y2)) > 2ε. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 15

sk+τ+1 sk+τ+1 This implies that f (y1) and f (y2) are (M − 1, 2ε)-separated. They must belong to two (M − 1,ε)-balls centered at distinct points in Eε. Then the result follows.

Corollary 4.7. For every k ∈{0, ··· , τ + M} and every n ∈ Z+, we have

k n+2 s(f (Y ), nτ, 2ε) ≤ C(n + 2)|Eε| . Lemma 4.8. For Y = Y (τ,ε), let

τ+M−1 τ+M−1 k k Λ=Λ(τ,ε) := f (Y )= f (YG ) . k k G ! [=0 [=0 [∈Σ Then Λ is a compact invariant set in (X,f) and ln M + ln |E | h(Λ, f, 2ε) ≤ ε . (8) τ Proof. Λ is compact as Y is compact and f is continuous. For every x ∈ Λ, there are y ∈ Y and r ∈{0, ··· , τ +M −1} such that f r(y)= x. If r < τ + M − 1, then f(x)= f r+1(y) ∈ Λ. Suppose that r = τ + M − 1. Assume G ∞ that (y)= {tk}k=1. Note that 1 ≤ t1 ≤ M and

τ+t1 f (y) ∈ Yσ(G ) ⊂ Y. We have

f(x)= f r+1(y)= f τ+M−(τ+t1)(f τ+t1 (y)) ∈ f M−t1 (Y ) ⊂ Λ. So we can conclude that f(Λ) ⊂ Λ. By Corollary 4.7, we have for each n ∈ Z+,

τ+M−1 s(Λ, nτ, 2ε) ≤ s(f k(Y ), nτ, 2ε) k=0 X n+2 ≤ (τ + M)C(n + 2)|Eε| n+2 n+2 ≤ (τ + M)M |Eε| . Hence 1 ln M + ln |E | h(Λ, f, 2ε) ≤ lim sup ln s(Λ, nτ, 2ε)= ε n→∞ (n − 1)τ τ

Lemma 4.8 provides an upper bound for us to estimate the entropy on Λ. Note that in general, (8) does not directly provide an estimate of h(Λ,f). However, when ε is ﬁxed, we can ﬁx M = M(ε) and Eε, then choose a large τ to obtain a compact invariant set Λ = Λ(τ,ε) with small 2ε-entropy.

4.3. Minimality implies zero entropy. Proposition 4.9. Suppose that (X,f) has the gluing orbit property and positive topological entropy. Then for any β,η > 0, there is a compact invariant set Λ such that h(Λ,f,η) <β. 16 PENG SUN

′ η γ ′ ′ Proof. Let 0 < η < min{ 2 , 3 }, where γ is as in (6). Let M := M(η ). There is τ ′ > 0 such that ln M ′ + ln |E ′ | η < β. τ ′ Then for Λ = Λ(τ ′, η′), by Lemma 4.8, we have h(Λ,f,η) ≤ h(Λ, f, 2η′) < β.

Proposition 4.10. Suppose that (X,f) has the gluing orbit property and positive topological entropy. Then (X,f) is not minimal. Proof. Fix β ∈ (0,h(f)). By the deﬁnition of topological entropy, there is η > 0 such that h(X,f,η) > β. By Proposition 4.9, there is a compact invariant set Λ such that h(Λ,f,η) <β. So Λ is proper and hence (X,f) is not minimal.

4.4. Systems without the gluing orbit property. Let X be a Riemannian manifold. Denote by Homeo(X) the space of all homeomorphisms on X equipped with the C0 topology, which is a subspace of C0(X,X). The following is shown in [2]. Proposition 4.11 ([2, Corollary 2]). There is a residual set R in Homeo(X) such that for every f ∈ R and every isolated chain-recurrent class K for f, the subsystem (K,f|K) has the gluing orbit property. As a complement to Proposition 4.11, we present two one-parameter families in which generic systems do not have the gluing orbit property. These systems are minimal, hence have no isolated chain-recurrent class other than their whole spaces. Both families are homeomorphic to the unit circle T := R/Z as subspaces of Homeo(X). In the ﬁrst family all systems have zero topological entropy, while in the second one all systems have positive topological entropy. For α ∈ T, let

fα(x, y) := (x + α, y + x) for every x, y ∈ T. 2 It is well-known that (T ,fα) has zero topological entropy while not being equicontinuous. Hence by Proposition 1.1, no system in the family {fα}α∈T has the gluing 2 orbit property. By [13], the system (T ,fα) is minimal and uniquely ergodic if α is irrational. ∞ In [19], Herman considered a family of C diﬀeomorphisms F = {Fα : α ∈ T} on X = T × SL(2, R)/Γ, where Γ is a cocompact discrete subgroup of SL(2, R). For each α ∈ T, Fα is a skew product such that

Fα(x, g) := (x + α, Aθ(g)) for every (x, g) ∈ X, where cos2πθ − sin 2πθ λ 0 A (g) := g for every g ∈ SL(2, R)/Γ θ sin 2πθ cos2πθ 0 1/λ and λ> 1 is a ﬁxed real number.

Proposition 4.12 ([19]). h(Fα) > 0 for every α ∈ T. There is a dense Gδ subset W ∈ T such that Fα is minimal for every α ∈ W . ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 17

By Proposition 4.10, Fα does not have the gluing orbit property for every α ∈ W . We remark that for α ∈ W , Fα has no uniform form of (partial) hyperbolicity but only non-zero Lyapunov exponents. We conjecture that no system in F has the gluing orbit property. 4.5. Denseness of intermediate metric entropies. Denote I(f) := [0,h(f)) and E(f) := {hµ(f): µ is an ergodic measure for (X,f)}. The Variational Principle states that h(f) = sup E(f). Katok [20] showed that E(f) ⊃ I(f) for any C1+α diffeomorphism on any surface and conjectured that this holds for smooth systems in all dimensions. The author has obtained a sequence of partial results on this conjecture [28, 29, 30]. In [25] Quas and Soo showed that the conjecture holds when f satisfies the almost weak specification property (also called weak specification in [22] or other names by different authors), asymptotically entropy expansiveness and the small boundary property (the latter two conditions have recently been proved unnecessary by Burguet [8]). With this result, Guan, Wu and the author [16] were able to show that Katok’s conjecture holds for certain homogeneous dynamical systems. The author has been making progress on the conjecture recently [33, 35, 36]. By [24] (see also [12]), every system with the gluing orbit property is entropy dense, i.e. for every invariant measure µ, every neighborhood N of µ and every ε> 0, there is an ergodic measure ν ∈ N such that hν (f) >hµ(f)−ε. However, entropy denseness itself, even along with expansiveness, does not guarantee existence of ergodic measures of small entropy (e.g. there are strictly ergodic subshifts of positive topological entropies [17]). To show that E(f) ⊃ I(f) and verify Theorem 1.3, we need the following lemma. Lemma 4.13. Let (X,f) be an asymptotically entropy expansive system with the gluing orbit property. Then for every β > 0, there is a compact invariant subset Λ of X such that h(Λ,f) <β. Proof. The statement is trivial if h(f) = 0. Suppose that h(f) > 0. By asymptotically entropy expansiveness, there is η> 0 ∗ β such that h (f, η) < 2 . By Proposition 4.9, there is a compact invariant set Λ such β that h(Λ,f,η) < 2 . Then by Proposition 2.5, we have h(Λ,f) ≤ h(Λ,f,η)+ h∗(f, η) < β.

Proof of Theorem 1.3. Let (h,h′) ⊂ I(f). We just need to show that there is an ′ ergodic measure µ such that hµ(f) ∈ (h,h ). By Lemma 4.13, there is a compact ′ h+h invariant subset Λ of X such that h(Λ,f) < 2 . By the Variational Principle, there are invariant measures ν1 supported on Λ and ν2 supported on X such that h + h′ h + h′ h (f) < and h (f) > . ν1 2 ν2 2 By the convexity of the entropy function, there is an invariant measure ν that is a ′ 0 h+h convex combination of ν1 and ν2 such that hν0 (f)= 2 . As (X,f) is asymptotically entropy expansive, the entropy function is upper semi-continuous. So there is a neighborhood N0 of ν0 such that ′ hν (f)

As the system is entropy dense, there is an ergodic measure µ ∈ N0 such that ′ hµ(f) >h, hence hµ(f) ∈ (h,h ).

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 Paulo Varandas, Weisheng Wu, Dominik Kwietniak, Xueting Tian, Daniel J. Thompson and the anonymous referees.

References

[1] J. Auslander, Minimal Flows and Their Extensions, North-Holland Math. Studies, vol. 153. North-Holland, Amsterdam, 1988. [2] M. Bessa, M.J. Torres, P. Varandas, On the periodic orbits, shadowing and strong transitivity of continuous flows, Nonlinear Analysis 175 (2018) 191–209. [3] T. Bomfim, M.J. Torres, P. Varandas, Topological features of flows with the reparametrized the gluing orbit property, Journal of Differential Equations 262 (8) (2017) 4292–4313. [4] T. Bomfim, P. Varandas, The the gluing orbit property, uniform hyperbolicity and large deviations principles for semiflows, Journal of Differential Equations 267 (1) (2019) 228–266. [5] R. Bowen, Periodic points and measures for Axiom A diffeomorphisms, Trans. Amer. Math. Soc. 154 (1971) 377–397. [6] R. Bowen, Entropy-expansive maps, Trans. Amer. Math. Soc. 164 (1972) 323–331. [7] R. Bowen, Some systems with unique equilibrium states, Math. Systems Theory 8 (3) (1974/75) 193–202. [8] D. Burguet, Topological and almost Borel universality for systems with the weak specification property, Ergodic Theory and Dynamical Systems (2019) doi:10.1017/etds.2019.7 [9] V. Climenhaga, D.J. Thompson, Unique equilibrium states for flows and homeomorphisms with non-uniform structure, Adv. Math. 303 (2016) 744–799. [10] V. Climenhaga, T. Fisher, D.J. Thompson, Unique equilibrium states for Bonatti-Viana diffeomorphisms, Nonlinearity 31 (6) (2018) 2532-2570. [11] V. Climenhaga, T. Fisher, D.J. Thompson, Equilibrium states for Mañédiffeomorphisms, Ergodic Theory and Dynamical Systems 39 (2019) 2433-2455. [12] D. Constantine, J. Lafont, D.J. Thompson, The weak specification property for geodesic flows on CAT(-1) spaces, Groups, Geometry, and Dynamics 14 (2020) 297-336. [13] H. Furstenberg, Strict ergodicity and transformation of the torus, American Journal of Math- ematics 83 (4) (1961) 573–601. [14] W. Gottschalk, G. Hedlund, Topological Dynamics, Amer. Math. Soc. Colloq. Publ. vol 36, Amer. Math. Soc., Providence, R.I., 1955 [15] S. Glasner, D. Maon, Rigidity in topological dynamics, Ergodic Theory and Dynamical Sys- tems 9 (2) (1989) 309–320. [16] L. Guan, P. Sun, W. Wu, Measures of intermediate entropies and homogeneous dynamics, Nonlinearity (30) (2017) 3349–3361. [17] F. Hahn, Y. Katznelson, On the entropy of uniquely ergodic transformations, Trans. Amer. Math. Soc. 126 (1967) 335–360. [18] P. R. Halmos, J. von Neumann, Operator Methods in Classical Mechanics, II, Annals of Mathematics 43 (2) (1942) 332–350. [19] M. Herman, Construction d’un difféomorphisme minimal d’entropie topologique non nulle, Ergodic Theory Dynam. Systems 1 (1981) 65–76. [20] A. Katok, Nonuniform hyperbolicity and structure of smooth dynamical systems, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 1245–1253, PWN, Warsaw, 1984. [21] J. Konieczny, M. Kupsa, D. Kwietniak, Arcwise connectedness of the set of ergodic measures of hereditary shifts. Proceedings of the American Mathematical Society 146 (8) (2018) 3425- 3438. [22] D. Kwietniak, M. Lacka, P. Oprocha, A panorama of specification-like properties and their consequences, Contemporary Mathematics 669 (2016) 155–186. ZERO-ENTROPY DYNAMICAL SYSTEMS WITH THE GLUING ORBIT PROPERTY 19

[23] R. Pavlov, On intrinsic ergodicity and weakenings of the specification property, Advances in Mathematics 295 (2016) 250-270. [24] C.-E. Pfister, W.G. Sullivan, Large deviations estimates for dynamical systems without the specification property. Application to the β-shifts, Nonlinearity 18 (2005) 237–261. [25] A. Quas, T. Soo, Ergodic universality of some topological dynamical systems, Transactions of the American Mathematical Society 368 (6) (2016) 4137–4170. [26] K. Sigmund, Generic properties of invariant measures for Axiom A diffeomorphisms, Invent. Math. 11 (1970) 99–109. [27] K. Sigmund, On dynamical systems with the specification property, Trans. Amer. Math. Soc. 190 (1974) 285–299. [28] P. Sun, Zero-entropy invariant measures for skew product diffeomorphisms, Ergodic Theory and Dynamical Systems 30 (2010) 923–930. [29] P. Sun, Measures of intermediate entropies for skew product diffeomorphisms, Discrete Con- tin. Dyn. Syst - A 27 (3) (2010) 1219–1231. [30] P. Sun, Density of metric entropies for linear toral automorphisms, Dynamical Systems 27 (2) (2012) 197–204. [31] P. Sun, Minimality and gluing orbit property, Discrete and Continuous Dynamical Systems - A, 39 (7) (2019) 4041-4056. [32] P. Sun, On the entropy of flows with reparametrized gluing orbit property, Acta Mathematica Scientia 40B (3) (2020) 855-862. [33] P. Sun, Denseness of intermediate pressures for systems with the Climenhaga-Thompson structures, Journal of Mathematical Analysis and Applications 487 (2) (2020) 124027. [34] P. Sun, Unique ergodicity for zero-entropy dynamical systems with the approximate product property, Acta Mathematica Sinica, to appear. [35] P. Sun, Ergodic measures of intermediate entropies for dynamical systems with approximate product property, preprint, arXiv:1906.09862, 2019. [36] P. Sun, Equilibrium states of intermediate entropies, preprint, arXiv:2006.06358, 2020 [37] X. Tian, W. Sun, Diffeomorphisms with various C1-stable properties, Acta Mathematica Scientia 32B (2) (2012) 552–558. [38] R. Ures, Intrinsic ergodicity of partially hyperbolic diffeomorphisms with a hyperbolic linear part, Proceedings of the American Mathematical Society 140 (6) (2012) 1973-1985. [39] P. Walters, An Introduction to Ergodic Theory, Springer-Verlag, Berlin, 1982. [40] X. Ye, W. Huang, S. Shao, An introduction to topological dynamical systems (in Chinese), Science Press, 2008. E-mail address: [email protected]