TOEPLITZ KNEADING SEQUENCES AND ADDING MACHINES

Similar documents
ADDING MACHINES, ENDPOINTS, AND INVERSE LIMIT SPACES. 1. Introduction

UNCOUNTABLE ω-limit SETS WITH ISOLATED POINTS

SUBCONTINUA OF FIBONACCI-LIKE INVERSE LIMIT SPACES.

Renormalization for Lorenz maps

Continuum many tent map inverse limits with homeomorphic postcritical ω-limit sets

SHADOWING AND ω-limit SETS OF CIRCULAR JULIA SETS

On the ω-limit sets of tent maps

FIBONACCI-LIKE UNIMODAL INVERSE LIMIT SPACES AND THE CORE INGRAM CONJECTURE

CHAOTIC UNIMODAL AND BIMODAL MAPS

Kneading Sequences for Unimodal Expanding Maps of the Interval

THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM

(Non)invertibility of Fibonacci-like unimodal maps restricted to their critical omega-limit sets.

INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS

Math 354 Transition graphs and subshifts November 26, 2014

NON-HYPERBOLIC ONE-DIMENSIONAL INVARIANT SETS WITH A COUNTABLY INFINITE COLLECTION OF INHOMOGENEITIES

Dynamical Systems 2, MA 761

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

INITIAL POWERS OF STURMIAN SEQUENCES

Alexander M. Blokh and Ethan M. Coven

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT

PERIODIC POINTS OF THE FAMILY OF TENT MAPS

arxiv: v1 [math.fa] 14 Jul 2018

DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS

1 Adeles over Q. 1.1 Absolute values

INTERVAL PARTITIONS AND STANLEY DEPTH

Generating p-extremal graphs

SHADOWING AND INTERNAL CHAIN TRANSITIVITY

L Enseignement Mathématique, t. 40 (1994), p AN ERGODIC ADDING MACHINE ON THE CANTOR SET. by Peter COLLAS and David KLEIN

THE CLASSIFICATION OF TILING SPACE FLOWS

Rational Maps with Generalized Sierpinski Gasket Julia Sets

IN AN ALGEBRA OF OPERATORS

INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE

Liapunov Stability and the ring of P-adic integers

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Week 2: Sequences and Series

Lebesgue Measure on R n

HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM

Estimates for probabilities of independent events and infinite series

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES

SYNCHRONOUS RECURRENCE. Contents

First-Return Integrals

ADMISSIBILITY OF KNEADING SEQUENCES AND STRUCTURE OF HUBBARD TREES FOR QUADRATIC POLYNOMIALS

arxiv: v1 [math.gn] 27 Oct 2018

TOPOLOGICAL GROUPS MATH 519

Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

A. S. Kechris: Classical Descriptive Set Theory; Corrections and Updates (October 1, 2018)

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Jónsson posets and unary Jónsson algebras

A CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS

The small ball property in Banach spaces (quantitative results)

Semicocycle extensions and the stroboscopic property

TREE-LIKE CONTINUA THAT ADMIT POSITIVE ENTROPY HOMEOMORPHISMS ARE NON-SUSLINEAN

INVERSE LIMITS AND PROFINITE GROUPS

CHAOS ON THE INTERVAL a survey of relationship between the various kinds of chaos for continuous interval maps. Sylvie Ruette

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY

Dynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and

Analysis III Theorems, Propositions & Lemmas... Oh My!

Math212a1413 The Lebesgue integral.

HYPERBOLIC SETS WITH NONEMPTY INTERIOR

Chapter 8. P-adic numbers. 8.1 Absolute values

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.

THE CYCLIC DOUGLAS RACHFORD METHOD FOR INCONSISTENT FEASIBILITY PROBLEMS

ARTICLE IN PRESS. J. Math. Anal. Appl. ( ) Note. On pairwise sensitivity. Benoît Cadre, Pierre Jacob

LOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi

A SIMPLE PROOF OF THE MARKER-STEINHORN THEOREM FOR EXPANSIONS OF ORDERED ABELIAN GROUPS

Solutions to Tutorial 8 (Week 9)

PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA

Dynamics on Hubbard trees

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY

TYPICAL POINTS FOR ONE-PARAMETER FAMILIES OF PIECEWISE EXPANDING MAPS OF THE INTERVAL

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

Topological dynamics: basic notions and examples

Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming

On infinite permutations

arxiv:math/ v1 [math.ho] 2 Feb 2005

Symbolic dynamics for Lozi maps

(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);

Ergodic Theory and Topological Groups

Filters in Analysis and Topology

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

Factorization of integer-valued polynomials with square-free denominator

On completing partial Latin squares with two filled rows and at least two filled columns

Minimal Cantor Sets: The Combinatorial Construction of Ergodic Families and Semi- Conjugations

Counting Kneading Sequences. Vorrapan Chandee & Tian Tian Qiu

Solve EACH of the exercises 1-3

Math 117: Topology of the Real Numbers

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

Ramsey Theory. May 24, 2015

Problem set 1, Real Analysis I, Spring, 2015.

Valuations. 6.1 Definitions. Chapter 6

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

TOPOLOGICAL CONDITIONS FOR THE EXISTENCE OF ABSORBING CANTOR SETS. Henk Bruin

C 1 DENSITY OF AXIOM A FOR 1D DYNAMICS

Transcription:

TOEPLITZ KNEADING SEQUENCES AND ADDING MACHINES LORI ALVIN Department of Mathematics and Statistics University of West Florida 11000 University Parkway Pensacola, FL 32514, USA Abstract. In this paper we provide a characterization for a shift maximal sequence of 1 s and 0 s to be the kneading sequence for a unimodal map f with f ω(c) topologically conjugate to an adding machine, where c is the turning point of f. We show that the unimodal map f has an embedded adding machine if and only if K(f) is a one-sided, non-periodic Toeplitz sequence with the finite time containment property. We then show the existence of unimodal maps with Toeplitz kneading sequences that do not have the finite time containment property. 1. Introduction A great deal of literature is dedicated to the study of unimodal maps of an interval to itself (see, for example, [6, 7, 10]). There has been further interest in studying the behavior of unimodal maps restricted to the omegalimit sets of their turning points. In this paper we focus on the behavior of f ω(c) when the kneading sequence K(f) is a one-sided, non-periodic Toeplitz sequence. We are particularly interested in understanding the relationship between Toeplitz kneading sequences K(f) and f ω(c) being topologically conjugate to an adding machine. There have been many recent advances regarding the study of adding machine maps. Block and Keesling [4] provide a characterization for a continuous map on a compact metric space to be topologically conjugate to an adding machine; namely, the space must be minimal under the map and every point in the space must be regularly recurrent. It is well-known (see, for example, [10, Proposition III.4.5]) that every infinitely renormalizable unimodal map has an embedded adding machine. It was shown by Block et al. [5] that adding machines can also be embedded in non-infinitely renormalizable unimodal maps, and more specifically, they can be embedded in maps from the symmetric tent family. Jones provided a first characterization of symmeric tent maps with these strange adding machines [9], 2010 Mathematics Subject Classification. Primary 54H20, 37B10 ; Secondary 37E05. Key words and phrases. adding machines, Toeplitz sequences, kneading sequences. 1

2 L. ALVIN and Alvin provides an algorithm for constructing the kneading sequences of both finitely renormalizable and non-renormalizable unimodal maps with embedded adding machines in [1]; however, not every unimodal map f with f ω(c) topologically conjugate to an adding machine may be located by this algorithm. In this paper we provide a characterization for a unimodal map to have an embedded adding machine relying only on its kneading sequence. In Theorem 4.7 we show that the unimodal map f is such that f ω(c) is topologically conjugate to an adding machine if and only if the kneading sequence K(f) is a shift maximal, non-periodic, one-sided Toeplitz sequence with the finite time containment property; this property will be defined in Definition 3.4. Further, this characterization holds in both the infinitely renormalizable and non-infinitely renormalizable cases. In Section 2 we establish the terminology, notation, and background results that will be used throughout the paper. Sections 2.1 and 2.2 provide a brief overview of results about unimodal maps and adding machines, whereas Section 2.3 restricts the traditional definitions of Toeplitz sequences, usually defined for two-sided infinite sequences, to the one-sided case. Several results about one-sided Toeplitz sequences and the definition of the finite time containment property are introduced in Section 3. In Section 4 we establish a relationship between Toeplitz kneading sequences of unimodal maps and several properties of the turning point, including regular recurrence. Theorem 4.7 shows that f ω(c) is topologically conjugate to an adding machine if and only if K(f) is Toeplitz and has the finite time containment property. Finally, we provide an example of a shift maximal, non-periodic Toeplitz sequence that does not have the finite time containment property. In this example, the turning point for the associated unimodal map f will indeed be regularly recurrent, but f ω(c) will not be topologically conjugate to an adding machine. 2. Background 2.1. Unimodal Maps. A unimodal map is a continuous map f : [0, 1] [0, 1] for which there exists a point c (0, 1) such that f [0,c) is strictly increasing and f (c,1] is strictly decreasing. This point c is called the turning point and for all i N we set c i = f i (c). For the remainder of this paper, we assume f is a unimodal map with c 2 < c < c 1 and c 2 c 3. Two common families of unimodal maps are the symmetric tent family and the logistic family. The symmetric tent map T a : [0, 1] [0, 1] with

TOEPLITZ KNEADING SEQUENCES 3 a [0, 2] is given by T a (x) = { ax if x 1, 2 a(1 x) if x > 1. 2 The logistic map g a : [0, 1] [0, 1] with a [0, 4] is defined by g a (x) = ax(1 x). Let f n be an iterate of f and J be a maximal subinterval for which c J and f n J is monotone; then f n : J [0, 1] is called a central branch. An iterate n is called a cutting time if the image of the central branch of f n contains c. The cutting times are denoted S 0, S 1, S 2,..., where it is always the case that S 0 = 1 and S 1 = 2. As the difference between two consecutive cutting times is again a cutting time, we define an integer function Q f : N N {0}, called the kneading map, by S k S k 1 = S Qf (k). Further, a kneading map is admissible (i.e., belongs to some unimodal map f) if and only if {Q(k + j)} j 1 {Q(Q 2 (k) + j)} j 1 and Q(k) < k for all k 1, where represents the lexicographical ordering [8]. Given a unimodal map f and x [0, 1], the itinerary of x under f is given by I(x) = I 0 I 1 I 2 where I j = 1 if f j (x) > c, I j = 0 if f j (x) < c, and I j = if f j (x) = c. The kneading sequence of a map f, denoted K(f), is the sequence I(c 1 ). For ease of notation we write K(f) = e 1 e 2 e 3 ; that is, e i denotes the location of c i relative to c. If there exists some i N such that e i =, then c is periodic and K(f) is finite (as we make the convention that the kneading sequence stops after the first appears), else K(f) is infinite. One puts the parity-lexicographical ordering (plo for short) on itineraries. The plo works as follows: Suppose v w are sequences of 1 s, 0 s, and s. Find the first position where v and w differ, then compare in that position using the ordering 0 1 if the number of 1 s preceding this position is even and use the ordering 0 1 otherwise. Suppose v = v 1 v 2 is a sequence of 1 s and 0 s (either infinite in length or finite ending in ). We define the shift function σ on this sequence by σ(v) = v 2 v 3. We set σ k = σ} {{ σ}, and thus σ k (v) = v k+1 v k+2 for all k 0. We say k times v is shift maximal if v σ k (v) for all k N. It follows that if v is a shift maximal sequence of 1 s, 0 s, and s, then there exists a unimodal map such that K(f) = v; moreover, the unimodal map is unique up to topological conjugacy [3]. That is, given a kneading sequence, a sequence of cutting times, or a kneading map, the associated symmetric tent or logistic map may be completely determined.

4 L. ALVIN A unimodal map f is renormalizable of period n 2 provided there exists an interval J c such that f n (J) J and f n J is again unimodal. If we may repeat this process infinitely often, we say the map f is infinitely renormalizable. We note that every tent map T a with a (1, 2] is finitely renormalizable, and every tent map T a with a ( 2, 2] is nonrenormalizable; no map in the tent family is infinitely renormalizable. As we assume all unimodal maps have no wandering intervals and no attracting periodic orbits, if the unimodal map f is not renormalizable we may assume f is from the symmetric tent family; in the case where f is renormalizable, we may take f to be a logistic map [6]. There is a natural relationship between renormalization and the star structure that is well understood. A unimodal map is renormalizable if and only if its kneading sequence may be written as a star product. See [7, Chapter II.2] for a more detailed study. Let n, m N, P = P 1 P 2 P n {0, 1} n, and Q = Q 1 Q 2 Q m {0, 1} m. The sequence P has odd parity (resp. even parity) provided there are an odd number (resp. even number) of 1 s appearing in P. The star product ( -product) of P and Q is defined as { P P Q = Q 1 P Q 2... P Q m P if the parity of P is odd, P Q 1 P Q 2... P Q m P if the parity of P is even, where Q i = 1 Q i. Note that if P and Q are both shift maximal, then (P Q) is shift maximal. One can generalize the -product to sequences P and Q where P has finite length and Q {1, 0} N. Recall that the omega-limit set of a point x [0, 1] under f is defined by ω(x, f) = ω(x) = {y [0, 1] there exists n 1 < n 2 < with f n i (x) y}. The point x [0, 1] is uniformly recurrent provided that for every open set U containing x, there exists M N such that f j (x) U for j 0 implies f j+k (x) U for some 0 < k M. We say x is regularly recurrent provided that, for every open set U containing x, there exists M N such that f M n (x) U for all n N. Note that every regularly recurrent point is uniformly recurrent, but the converse does not hold. Further, ω(x) is minimal if and only if x is uniformly recurrent. 2.2. Adding Machines. In this section we discuss some known results about adding machine maps and conclude with Lemma 2.5 discussing the partition structure of ω(c) for a given unimodal map f with an embedded adding machine.

TOEPLITZ KNEADING SEQUENCES 5 Let α = q 1, q 2,... be a sequence of integers where each q i 2. Define α to be the set of all sequences (a 1, a 2...) such that 0 a i q i 1 for each i. Apply the metric d α to α by d α ((x 1, x 2,...), (y 1, y 2,...)) = i=1 δ(x i, y i ) 2 i where δ(x i, y i ) = 0 if x i = y i and δ(x i, y i ) = 1 otherwise. Addition on α is defined as follows. Set (x 1, x 2,...) + (y 1, y 2,...) = (z 1, z 2,...) where z 1 = (x 1 + y 1 ) mod q 1, and for each j 2, z j = (x j + y j + r j 1 ) mod q j with r j 1 = 0 if x j 1 + y j 1 + r j 2 < q j 1 and r j 1 = 1 otherwise (we set r 0 = 0). Define f α : α α by f α ((x 1, x 2,...)) = (x 1, x 2, x 3,...) + (1, 0, 0,...). This dynamical system f α : α α is the α-adic adding machine map. There are many known results about adding machines and unimodal maps. It is well-known that if f is an infinitely renormalizable unimodal map, then f ω(c) is topologically conjugate to an adding machine [10, Prop. III.4.5]. Further, it was shown in [5] that adding machines can be embedded in non-infinitely renormalizable unimodal maps. From this point on, when we refer to an adding machine embedded in a unimodal map f, we do not distinguish between infinitely renormalizable and non-infinitely renormalizable f, unless otherwise noted. We now recall the following results about adding machines, which will be used throughout this paper. Theorem 2.1. [4, Theorem 2.3] Let α = p 1, p 2,... be a sequence of integers greater than 1. Let m i = p 1 p 2 p i for each i. Let f : X X be a continuous map of a compact topological space X. Then f is topologically conjugate to f α if and only if the following hold. (1) For each positive integer i, there is a cover P i of X consisting of m i pairwise disjoint, nonempty, clopen sets which are cyclically permuted by f. (2) For each positive integer i, P i+1 partitions P i. (3) If mesh(p i ) denotes the maximum diameter of an element of the cover P i, then mesh(p i ) 0 as i. We refer to such a collection of {P i } i N as a partition structure for the adding machine f X. In addition to this hierarchical characterization, Block and Keesling [4] provide the following results about adding machine maps.

6 L. ALVIN Theorem 2.2. [4, Theorem 2.4] Let f : X X be a continuous map of a compact Hausdorff space to itself. Further suppose X is an infinite minimal set for f. Then f : X X is topologically conjugate to an adding machine if and only if every point of X is regularly recurrent. A set D of positive integers is relatively dense provided that for some integer L, each set of L consecutive positive integers contains an element of D. Let f : X X be a continuous map and x X. Then x is almost periodic in the sense of Nemytskii and Stepanov (or almost periodic(ns) for short) if for every ɛ > 0 there is a relatively dense subset D such that for all k D and for all j 0, d(f j (x), f j+k (x)) < ɛ. Proposition 2.3. [4, Proposition 4.2] Let f : X X be continuous with X a compact zero-dimensional metric space. If x X is almost periodic(ns), then x is regularly recurrent. Note that in general, the converse of Proposition 2.3 does not hold. We now recall the following characterization for adding machines embedded in unimodal maps in terms of the concept of almost periodic(ns). Lemma 2.4. [1, Theorem 2.11] Let f be a unimodal map and suppose ω(c) is a minimal Cantor set for f. Then f ω(c) is topologically conjugate to an adding machine if and only if c is almost periodic(ns). We note that in the case where f is infinitely renormalizable, the partition structure of ω(c) for the adding machine does not have any elements that straddle c; here a point set S [0, 1] is said to straddle x [0, 1] if S contains points lying on both sides of x but does not contain x. In the case where f is not infinitely renormalizable and f ω(c) is topologically conjugate to an adding machine, every partition structure of ω(c) will have at least one element straddling c [2, Proposition 2.3]. The following result holds for all unimodal maps with embedded adding machines (note that it holds trivially in the case where f is infinitely renormalizable). Lemma 2.5. Let {P n } n 1 be a partition structure for the adding machine f ω(c). Then for each i N there exists a j N such that all the elements of P j which straddle c are subsets of the element of P i containing c. Proof. Let {P n } n 1 be the partition structure for the adding machine f ω(c). Fix i N and let P i,k1, P i,k2,, P i,ki denote the clopen elements of P i that straddle c. Note that c / P i,kn for any n = 1, 2,, i. Hence, for each

TOEPLITZ KNEADING SEQUENCES 7 n = 1, 2,, i, set d n = d(c, P i,kn ). Let d = min{d 1, d 2, d n }. Then there exists some level j of the partition structure such that mesh P j < d. Hence for each n = 1, 2,, i, no point of P i,kn lies in an element of P j that straddles c. It thus follows that the only elements of P j that straddle c must be subsets of the element of P i containing c. 2.3. Toeplitz Sequences. Traditionally, Toeplitz sequences are defined when the sequence under consideration is a two-sided infinite sequence, however we restrict our definitions to apply in the case where the sequences are one-sided and infinite. We also focus on the case where the sequences are taken over only two symbols: 0 and 1. This will allow us to consider whether an infinite kneading sequence is Toeplitz. For a more detailed study of Toeplitz sequences see, for example, [11]. Definition 2.6. A sequence e = e 1 e 2 {0, 1} N is called a Toeplitz sequence provided for every k N, there exists a p k > 1 such that e k = e k+npk for all n N. Definition 2.7. For e {0, 1} N, γ {0, 1}, and p N, set (1) Per p (e, γ) = {k N e k+np = γ n N {0}} (this set can be empty). (2) Per p (e) = γ {0,1} Per p (e, γ) (3) Aper(e) = N ( p N Per p (e)). Note that a sequence e {0, 1} N is Toeplitz if and only if Aper(e) =. Further, every Toeplitz sequence is such that for all n N, there exists a p N such that {1, 2,, n} Per p (e). Definition 2.8. For any p N and e {0, 1} N, the p-skeleton of e is the sequence obtained from e by replacing e i by a hole for all i / Per p (e). That is, the p-skeleton of e is the part of e which is periodic with period p. Definition 2.9. We call p an essential period of a sequence e if p q for all q satisfying Per p (e, γ) = (Per p (e, γ) q) N for all γ {0, 1}. Hence p is essential if and only if the p-skeleton of e is not periodic with smaller period. We now define the period structure for a non-periodic Toeplitz sequence. Definition 2.10. A period structure for a non-periodic Toeplitz sequence e is an increasing sequence {p i } i N of positive integers satisfying (1) For all i N, p i is an essential period for e. (2) p i p i+1.

8 L. ALVIN (3) i 1 Per pi (e) = N. We note that every non-periodic Toeplitz sequence e has a period structure. Such a period structure may be obtained as follows: Order the list of essential periods for e in increasing order and label them q 1, q 2,. For each n N, set p n = lcm{q 1, q 2,... q n }. Finally, if p i = p j for some j > i, then remove p j. The remaining sequence is the desired period structure for e. In general, a Toeplitz sequence may have more than one period structure. For example, take a period structure {p i } for e and consider an infinite proper subsequence {p ij } {p i }. Then {p ij } is still a period structure for e, although it differs from {p i }. 3. Results about Toeplitz Sequences In this section we make some observations about Toeplitz sequences. These results will be used in Section 4 to help us identify when an infinite one-sided Toeplitz sequence is the kneading sequence for a unimodal map with an embedded adding machine. For the remainder of this paper, we assume all Toeplitz sequences are non-periodic. Lemma 3.1. Let e = A B be a Toeplitz sequence obtained by the star product. Then B is a Toeplitz sequence. Proof. Let e = A B be a Toeplitz sequence. Suppose e = Ae k Ae 2k Ae 3k A where A = k 1. If A has even parity, then let B = e k e 2k e 3k = b 1 b 2 b 3 (if A has odd parity, let B = (1 e k )(1 e 2k )(1 e 3k ) = b 1 b 2 b 3 ). Suppose B is not Toeplitz; then Aper(B). Thus let j N be such that j Aper(B), and hence for all p N there exists an n N such that b j b j+pn. As e is Toeplitz, there exists a d N such that e jk = e jk+dm for all m N. Set p = d and m = nk (with n determined as above for this p). Then e jk = e jk+pnk, and hence b j = b j+pn, a contradiction. Hence B must be Toeplitz. The following result from elementary number theory is useful for comparing two different period structures for a given Toeplitz sequence. Lemma 3.2. Let p, q N and a 1, a 2 Z. Then x a 1 mod p and x a 2 mod q has a solution if and only if gcd(p, q) divides a 1 a 2. Lemma 3.3. Let {p i } and {q j } be period structures for the non-periodic Toeplitz sequence e. Then for all i N there exists j N such that p i q j.

TOEPLITZ KNEADING SEQUENCES 9 Proof. Suppose there exists a p i such that p i q j for all j N. Note that if p i q j, then p l q j for all l i. Thus assume i is fixed such that Per pi (e, 0), Per pi (e, 1), and p i q j for all j N. Then there exists N N such that for all j N the gcd(p i, q j ) = k for some k N. It thus follows that if l Per pi (e, 1) and m Per qj (e, 0), then by Lemma 3.2 k (m l). Note that as p i q j, it follows k p i, but k p i. Fix l Per pi (e, 1) and suppose e l+nk = 0 for some n N. Then there exists a j N such that l + nk Per qj (e, 0), and thus k (l + nk l), a contradiction. Hence e l+nk = 1 for all n N. Now as p i k and as p i is an essential period, there exists an l Per pi (e, 0) such that e l +nk = 1 for some n N (if not, then Per pi (e) = Per k (e)). Hence there exists a j N such that l + nk Per qj (e, 1) and it will follow that k (l + nk l ), again a contradiction. Therefore it follows that for all i N there exists a j N such that p i q j. Using Lemma 3.3 we may now prove a result about a property that is preserved between two period structures for a given Toeplitz sequence. We refer to this property as the finite time containment property. Definition 3.4. A non-periodic Toeplitz sequence e with period structure {p i } has the finite time containment property for {p i } if for all i N there exists an l > i with the property that whenever k / Per pi (e) and k 0 mod p i, then k Per pl (e). Lemma 3.5. Let {p i } and {q j } be period structures for the Toeplitz sequence e and suppose e has the finite time containment property for {p i }. Then e has the finite time containment property for {q j }. Proof. Let {p i } and {q j } be period structures for e and suppose that e is such that for all i N there exists an l > i with the property that whenever k / Per pi (e) and k 0 mod p i, then k Per pl (e). Set K = {k : k / Per qj (e), k 0 mod q j }. Then by Lemma 3.3 there exist i, t N such p i = t q j. Hence k 0 mod p i for all k K. Further, either k Per pi (e) for all k K or there exist k K for which k / Per pi (e). In the former case, by Lemma 3.3 there exist r, s N such that q r = s p i, and hence k Per qr (e) for all k K. In the latter case, there exists l N such that for all k K, k Per pl (e). Thus, as there exist n, m N such that q m = n p l, it follows that k Per qm (e) for all k K. In all cases, e has the finite time containment property for {q j }.

10 L. ALVIN It thus follows that a Toeplitz sequence e has the finite time containment property for one period structure if and only if it has the finite time containment property for every period structure. Hence, given a Toeplitz sequence e, we may either say that e has the finite time containment property or e does not have the finite time containment property; we do not need to refer to any specific period structure for e when discussing the finite time containment property. 4. Toeplitz Sequences and Adding Machines In this section we prove the main results of the paper. We begin with several theorems, propositions, and lemmas that lay the foundation for Theorem 4.7, which states a characterization for a kneading sequence to belong to a unimodal map with an embedded adding machine. Namely, the kneading sequence must be Toeplitz and have the finite time containment property. We then construct an example of a kneading sequence that is Toeplitz and does not have the finite time containment property, hence providing an example of a unimodal map f where c is regularly recurrent under f, but f ω(c) is not topologically conjugate to an adding machine. Further note that in this case c will be regularly recurrent but not almost periodic(ns). Theorem 4.1. The kneading sequence e = K(f) is a Toeplitz sequence if and only if c is regularly recurrent. Proof. First assume that e = K(f) is Toeplitz. Fix ɛ > 0. Then there exists N N such that if e 1 e N = e k+1 e k+n, then d(c, c k ) < ɛ. As e is Toeplitz, then there exists p N such that e 1 e N = e 1+pn e N+pn for all n N. Hence d(c, c pn ) < ɛ for all n N. It thus follows that c is regularly recurrent. Now assume c is regularly recurrent for the unimodal map f with K(f) = e. Then there exist M 0, N 0 N such that e 1 e N0 = e 1+M0 n e N0 +M 0 n for all n N. Then M 0 n + 1,, M 0 n + N 0 Per M0 (e) for all n N {0}. Fix N 1 N with N 1 > N 0. Then there exists M 1 = k M 0 for some k > 1 such that e 1 e N1 = e M1 n+1 e M1 n+n 1 for all n N. Hence M 1 n + 1, M 1 n + N 1 Per M1 (e) and M 0 n + 1, M 0 n + N 0 Per M1 (e) for all n N. Continuing in this manner we see that Aper(e) =. Hence e is Toeplitz, and in fact {M i } i 0 is a period structure for e. We note that uniform recurrence of the turning point c does not suffice to guarantee that K(f) is Toeplitz. Consider the symmetric tent map T

TOEPLITZ KNEADING SEQUENCES 11 with Fibonacci combinatorics; that is, the unimodal map T whose kneading map is defined by Q T (k) = max{0, k 2}. This map is so named as the cutting times are all terms from the Fibonacci sequence: S 0 = 1, S 1 = 2, S 2 = 3, S 3 = 5, S 4 = 8,.... Further, as lim k Q T (k) =, the turning point c is uniformly recurrent under T. However, considering the initial block 10011 appearing in the kneading sequence K(T ) = 1001110110010100111001001110110011, this block does not appear in the p-skeleton of K(T ) for any p. Hence the kneading sequence for T is not Toeplitz. Corollary 4.2. If c is almost periodic(ns) under f, then e = K(f) is Toeplitz. Proof. If c is almost periodic(ns) under f, then c is regularly recurrent. The result follows immediately from Theorem 4.1. We note that if f ω(c) is topologically conjugate to an adding machine then c is regularly recurrent and also almost periodic(ns). Hence the following result holds. Corollary 4.3. If f ω(c) is topologically conjugate to an adding machine, then e = K(f) is Toeplitz. Remark 4.4. If f ω(c) is topologically conjugate to an adding machine, then there is a natural way to define a period structure for K(f). Let α = q 1, q 2, be the infinite sequence generating the adding machine under consideration. As guaranteed by Theorem 2.1, a partition structure on ω(c) can be defined from α such that each partition P n of ω(c) has q 1 q 2 q n elements. Consider the set of i {1, 2,, q 1 } such that c i lies in an element of the partition not containing c and not straddling c. Then e i = e i+kq1 for all k N. Hence each such i has the property that i Per q1 (e). Now consider the set of i {1, 2,, q 1 q 2 } such that c i lies in an element of the partition that does not contain c and does not straddle c. Then e i = e i+kq1 q 2 for all k N. So each such i has the property that i Per q1 q 2 (e). Since meshp n 0 as n and by Lemma 2.5, we have that the first i such that i / Per q1 q 2 q n (e) is such that i as n. For each n N, set p n = q 1 q 2 q n. As f ω(c) is topologically conjugate to an adding machine, there exists a subset {p nj } j N of {p n } i N such that each p nj has essential period for K(f). Further, by construction, p nj p nj+1 and j 1 Per pnj (e) = N. It follows that this sequence {p nj } j N is a period structure for K(f). For ease, we will call a period structure obtained in this manner as a period structure generated from α.

12 L. ALVIN We now establish a stronger relationship between a unimodal map having an embedded adding machine and its kneading sequence being Toeplitz. Proposition 4.5. Let f ω(c) be topologically conjugate to an adding machine f α and consider the Toeplitz sequence e = K(f). Then e has the finite time containment property. Proof. Let {p i } be a period structure for e generated from the α associated with the adding machine. Then P i has p i elements for all i N. Fix i N and suppose k / Per pi (e) and k 0 mod p i. Then c k lies in an element of P i that straddles c. By Lemma 2.5 there exists a j > i such that all the elements of P j which straddle c are subsets of P i,0, where P i,0 is the element of P i containing c. It thus follows that c k does not lie in an element of P j straddling c and hence k Per pj (e). Proposition 4.6. Let e = K(f) be a non-periodic Toeplitz sequence. If e has the finite time containment property, then f ω(c) is topologically conjugate to an adding machine. Proof. Without loss of generality (see Lemma 3.1), we assume e is nonrenormalizable and let {p i } be a period structure for e. Hence we may take f to be a symmetric tent map. Fix ɛ > 0. Then there exists an M N such that if e k+1 e k+2 e k+m = e l+1 e l+2 e l+m then d(c k, c l ) < ɛ. Fix i N such that 1, 2,, M Per pi (e); clearly p i > M. Then by assumption there exists a j > i such that if k / Per pi (e) and k 0 mod p i, then k Per pj (e), where p j = l p i for some l N. It follows that e mpj +rp i +1 e mpj +(r+1)p i 1 = e npj +rp i +1 e npj +(r+1)p i 1 for all m, n, r N {0}. Hence d(c mpj +rp i, c npj +rp i ) < ɛ for all m, n, r N {0}. As f is a symmetric tent map, d(c mpj +rp i t, c npj +rp i t) < ɛ for all m, n, r N {0} (where if r = 0 then n, m 0) and for all t = 1, 2,, p i 1. Thus d(c s+d, c s ) < ɛ for all d D := {k p j k N} and s N. Since D is relatively dense and ɛ is arbitrary, c is almost periodic(ns). By Lemma 2.4, f ω(c) is topologically conjugate to an adding machine. Theorem 4.7. The unimodal map f has an embedded adding machine if and only if e = K(f) is a non-periodic Toeplitz sequence with the finite time containment property. Proof. This follows directly from Proposition 4.5 and Proposition 4.6.

TOEPLITZ KNEADING SEQUENCES 13 We conclude this section by showing there exist unimodal maps f such that K(f) is infinite, non-periodic, and Toeplitz, but f ω(c) is not topologically conjugate to an adding machine. That is, not every Toeplitz kneading sequence has the finite time containment property. Example 4.8. Let the infinite sequence e be generated as follows: Step 1 Let e 1+4n = 1, e 2+4n = 0 for all n N {0}. Step 2 Let e 7+8n = 1 for all n N {0}. Step 3 Let e 4+16n = 0, e 8+16n = 0, and e 11+16n = 0 for all n N {0}. Step 4 Let e 3+32n = 0, e 12+32n = 1, e 16+32n=0, e 28+32n = 0, e 32n = 1 for all n N {0}. Step 5 This leaves coordinates of the form e 19+32n unfilled for all n N {0}. Fill these positions in the following way: Fill every other open position, beginning with e 19, with a 1. Then fill every other remaining open position, beginning with e 51, with a 0. Then fill every other remaining open position, beginning with e 115, with a 1. Continue this pattern forever, alternating between inserting 1 s and 0 s. Note that this forces e 19 e 51 e 83 e 115 = K(g) where g represents the 2 Hence map; that is, g is the unique map in the logistic family with periodic points of period 2 n for all n and no other periodic points. e = 1000 1010 1001 1010 1000 1010 1000 1011 1000 1010 1001 1010 1000 1010 1000 1011 1000 1010 1001 1010 1000 1010 1000 1011 1000 1010 1001 1010 1000 1010 1000 1011 1000 1010 1001 1010 1000 1010 1000 1011

14 L. ALVIN Note that by construction, e is a Toeplitz sequence, and as K(g) is not periodic, e is not periodic. We may define a period structure {p i } for e by p i = 4 i for all i N. Note that 3 / Per 4 (e) and 3 0 mod 4. Let k be an arbitrary positive integer such that k 3 mod 4. Suppose there exists m N such that k Per m (e) for all such k. Then e 19 e 51 e 83 e 115 must form a periodic sequence (as 19 + 32n 3 mod 4 for all n N {0}), but this is a contradiction. Hence e does not have the finite time containment property for {p i }, and thus will not have the finite time containment property for any period structure. Finally, note that e is shift maximal. This may be verified by checking e σ k (e) for all k N. Similarly, we may assign an admissible integer function Q for this sequence by 0 if k {1, 2, 3, 5, 8, 5n, 5n + 2} for n 2, 2 if k {4, 7, 9, 5n + 1} for n 2, Q(k) = 3 if k = 6, 5 if k = 5n + 3 for n 2, k 5 if k = 5n + 4 for n 2. Hence there exists a unimodal map f such K(f) = e, and by Theorem 4.7, although K(f) is a non-periodic Toeplitz sequence, f does not have an embedded adding machine. That is, f is an example of a unimodal map for which c is regularly recurrent but not every point of ω(c) is regularly recurrent under f. Further, although the turning point is regularly recurrent, it is not almost periodic(ns). We have now provided another characterization for the restriction of a unimodal map to its omega-limit set of the turning point to be topologically conjugate to an adding machine, and this characterization relies only on the kneading sequence for the map. The question remains whether there is an algorithm to construct Toeplitz kneading sequences with the finite time containment property. Further, are there any interesting results involving the unimodal maps whose kneading sequences are Toeplitz but do not have the finite time containment property? References [1] L. Alvin, The strange star product, J. Difference Eq. and Appl. 18 (2012), no. 4, 657 674. [2] L. Alvin and K. Brucks, Adding machines, endpoints, and inverse limit spaces, Fund. Math., 209 (2010), 81 93.

TOEPLITZ KNEADING SEQUENCES 15 [3] W.A. Beyer, R.D. Mauldin, and P.R. Stein, Shift maximal sequences in function iteration: Existence, uniqueness, and multiplicity, J. Math. Anal. Appl. 115 (1986), no.2, 305 362 [4] L. Block and J. Keesling, A characterization of adding machines maps, Topology Appl. 140 (2004), 151 161. [5] L. Block, J. Keesling, and M. Misiurewicz, Strange adding machines, Ergod. Th. & Dynam. Sys. 26 (2006), 673 682. [6] K.M. Brucks and H. Bruin, Topics from one-dimensional dynamics, Cambridge University Press (2004). [7] P. Collet and J-P. Eckmann, Iterated maps on the interval as dynamical systems, Birkhauser (1980). [8] F. Hofbauer and G. Keller, Quadratic maps without asymptotic measure, Commun. Math. Phys. 127 (1990), no. 2, 319 337. [9] L. Jones, Kneading sequences of strange adding machines, Topology Appl., 156 (2009), 2735 2746. [10] W. de Melo and S. van Strien, One-dimensional dynamics, Springer Verlag (1993). [11] S. Williams, Toeplitz minimal flows which are not uniquely ergodic, Zeitschrift fuer Wahrscheinlichkeitstheorie verw. Geb. 67 (1984), 95 107. E-mail address: lalvin@uwf.edu