next up previous contents
Next: Topological Entropy Up: Symbolic Coordinates Previous: What's in a name?

Alternating Binary Tree

 

We must keep track of two pieces of information to find the location of the orbits at the nth level: the relative location of the interval tex2html_wrap_inline13079 and its orientation. A very convenient way to encode both pieces of data is through the construction of a binary tree that keeps track of all the intervals generated by the inverse function, tex2html_wrap_inline13030 . The quadratic map gives rise to the ``alternating binary tree''  illustrated in Figure 2.25(b) [13].

The nth level of the alternating binary tree has tex2html_wrap_inline11478 nodes, which are labeled from left to right by the sequence

displaymath2089

This sequence starts at the left with a zero. It is followed by a pair of ones, then a pair of zeros, and so on until tex2html_wrap_inline11478 digits are written down. To form the alternating binary tree, we construct the above list of 0s and 1s from level one to level n and then draw in the pair of lines from each i-1st level node to the adjacent nodes at the ith level.

Now, to find the symbolic name for the interval at the nth level, tex2html_wrap_inline13079 , we start at the topmost node, tex2html_wrap_inline13099 , and follow the path down the alternating binary tree to the nth level, reading off the appropriate symbol name at each level along the way. By construction, we see that the symbolic name read off at the nth level of the tree mimics the location of the interval containing a period n orbit.

More formally, we identify the set of repeating sequences of period n in tex2html_wrap_inline12720 with the set of finite strings tex2html_wrap_inline13111 . Let tex2html_wrap_inline13113 denote the fraction between 0 and tex2html_wrap_inline13115 giving the order, from left to right, generated by the alternating binary tree. Further, let tex2html_wrap_inline13117 denote the integer position between 0 and tex2html_wrap_inline13119 and let B denote N in binary form. It is not too difficult to show that tex2html_wrap_inline13125 , where tex2html_wrap_inline13127 or 1, and

    eqnarray2100

An application of the ordering relation  can be read directly off of Figure 2.25(b) for n = 3 and is presented in Table 2.2.

   table2119
Table 2.2: Symbolic coordinate for n = 3 from the alternating binary tree.

As expected, the left-most orbit is the string tex2html_wrap_inline11283 , which corresponds to the period one orbit at the origin, tex2html_wrap_inline11259 . Less obvious is the position of the other period one orbit, tex2html_wrap_inline11307 , which occupies the fifth position at the third level.

The itinerary of a periodic orbit is generated by a shift on the repeating string tex2html_wrap_inline13151 :

  equation2129

In this case, the shift is equivalent to a cyclic permutation of the symbolic string. For instance, there are two period three orbits shown in Table 2.2; their itineraries and positions are

displaymath13073

and

displaymath13074

So the itinerary of a periodic orbit is generated by cyclic permutations of the symbolic name.


next up previous contents
Next: Topological Entropy Up: Symbolic Coordinates Previous: What's in a name?

Nicholas B. Tufillaro
Mon Mar 3 01:58:02 PST 1997