Renormalization towers and their forcing
Alexander Blokh,Michał Misiurewicz
DOI: https://doi.org/10.1090/tran/7928
IF: 1.3529
2019-08-20
Transactions of the American Mathematical Society
Abstract:A cyclic permutation π : { 1 , ... , N } → { 1 , ... , N } \pi :\{1, \dots , N\}\to \{1, \dots , N\} has a block structure if there is a partition of { 1 , ... , N } \{1, \dots , N\} into k ∉ { 1 , N } k\notin \{1,N\} segments of consecutive integers ( blocks ) of the same length, permuted by π \pi ; call k k the period of this block structure. Let p 1 > ⋯ > p s p_1>\dots >p_s be periods of all possible block structures on π \pi . Call the finite string ( p 1 / 1 , (p_1/1, p 2 / p 1 , p_2/p_1, ... , \dots , p s / p s − 1 , N / p s ) p_s/p_{s-1}, N/p_s) the renormalization tower of π \pi . The same terminology can be used for patterns , i.e., for families of cycles of interval maps inducing the same, up to the flip of the entire orbit, cyclic permutation (thus, there are two permutations, one of whom is a flip of the other one, that define a pattern). A renormalization tower M \mathcal M forces a renormalization tower N \mathcal N if every continuous interval map with a cycle of pattern with renormalization tower M \mathcal M must have a cycle of pattern with renormalization tower N \mathcal N . We completely characterize the forcing relation among renormalization towers. Take the following order among natural numbers: 4 ≫ 6 ≫ 3 ≫ 8 ≫ 10 ≫ 5 ≫ ⋯ ≫ 4 n ≫ 4 n + 2 ≫ 2 n + 1 ≫ ⋯ ≫ 2 ≫ 1 4\gg 6\gg 3\gg 8\gg 10\gg 5\gg \dots \gg 4n\gg 4n+2\gg 2n+1\gg \dots \gg 2\gg 1 understood in the strict sense (we write consecutive even numbers, starting with 4, then insert m m after each number of the form 2 ( 2 s + 1 ) 2(2s+1) , and finally append the order with 2 and 1). We show that the forcing relation among renormalization towers is given by the lexicographic extension of this order. Moreover, for any tail T T of this order there exists an interval map for which the set of renormalization towers of its cycles equals T T .
mathematics