Renormalization towers and their forcing
HTML articles powered by AMS MathViewer
- by Alexander Blokh and Michał Misiurewicz PDF
- Trans. Amer. Math. Soc. 372 (2019), 8933-8953 Request permission
Abstract:
A cyclic permutation $\pi :\{1, \dots , N\}\to \{1, \dots , N\}$ has a block structure if there is a partition of $\{1, \dots , N\}$ into $k\notin \{1,N\}$ segments of consecutive integers (blocks) of the same length, permuted by $\pi$; call $k$ the period of this block structure. Let $p_1<\dots <p_s$ be periods of all possible block structures on $\pi$. Call the finite string $(p_1/1,$ $p_2/p_1,$ $\dots ,$ $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 $\mathcal M$ forces a renormalization tower $\mathcal N$ if every continuous interval map with a cycle of pattern with renormalization tower $\mathcal M$ must have a cycle of pattern with renormalization tower $\mathcal N$. We completely characterize the forcing relation among renormalization towers. Take the following order among natural numbers: $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$ after each number of the form $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$ of this order there exists an interval map for which the set of renormalization towers of its cycles equals $T$.References
- Lluís Alsedà, Jaume Llibre, and MichałMisiurewicz, Periodic orbits of maps of $Y$, Trans. Amer. Math. Soc. 313 (1989), no. 2, 475–538. MR 958882, DOI 10.1090/S0002-9947-1989-0958882-0
- Lluís Alsedà, Jaume Llibre, and MichałMisiurewicz, Combinatorial dynamics and entropy in dimension one, 2nd ed., Advanced Series in Nonlinear Dynamics, vol. 5, World Scientific Publishing Co., Inc., River Edge, NJ, 2000. MR 1807264, DOI 10.1142/4205
- Louis Block, Periodic orbits of continuous mappings of the circle, Trans. Amer. Math. Soc. 260 (1980), no. 2, 553–562. MR 574798, DOI 10.1090/S0002-9947-1980-0574798-8
- A. M. Blokh, Rotation numbers, twists and a Sharkovskiĭ-Misiurewicz-type ordering for patterns on the interval, Ergodic Theory Dynam. Systems 15 (1995), no. 1, 1–14. MR 1314966, DOI 10.1017/S014338570000821X
- Alexander Blokh and MichałMisiurewicz, New order for periodic orbits of interval maps, Ergodic Theory Dynam. Systems 17 (1997), no. 3, 565–574. MR 1452180, DOI 10.1017/S0143385797084927
- A. Blokh and M. Misiurewicz, Entropy and over-rotation numbers for interval maps, Tr. Mat. Inst. Steklova 216 (1997), no. Din. Sist. i Smezhnye Vopr., 236–242; English transl., Proc. Steklov Inst. Math. 1(216) (1997), 229–235. MR 1632157
- Alexander Blokh and MichałMisiurewicz, Rotating an interval and a circle, Trans. Amer. Math. Soc. 351 (1999), no. 1, 63–78. MR 1621717, DOI 10.1090/S0002-9947-99-02367-3
- Alexander Blokh and MichałMisiurewicz, Forcing among patterns with no block structure, Topology Proc. 54 (2019), 125–137. MR 3896531
- Pierre Collet and Jean-Pierre Eckmann, Iterated maps on the interval as dynamical systems, Progress in Physics, vol. 1, Birkhäuser, Boston, Mass., 1980. MR 613981
- MichałMisiurewicz, Minor cycles for interval maps, Fund. Math. 145 (1994), no. 3, 281–304. MR 1297409, DOI 10.4064/fm-145-3-281-304
- MichałMisiurewicz and Zbigniew Nitecki, Combinatorial patterns for maps of the interval, Mem. Amer. Math. Soc. 94 (1991), no. 456, vi+112. MR 1086562, DOI 10.1090/memo/0456
- P. Štefan, A theorem of Šarkovskii on the existence of periodic orbits of continuous endomorphisms of the real line, Comm. Math. Phys. 54 (1977), no. 3, 237–248. MR 445556, DOI 10.1007/BF01614086
- O. M. Šarkovs′kiĭ, Co-existence of cycles of a continuous mapping of the line into itself, Ukrain. Mat. . 16 (1964), 61–71 (Russian, with English summary). MR 0159905
- A. N. Sharkovskiĭ, Coexistence of cycles of a continuous map of the line into itself, Proceedings of the Conference “Thirty Years after Sharkovskiĭ’s Theorem: New Perspectives” (Murcia, 1994), 1995, pp. 1263–1273. Translated from the Russian [Ukrain. Mat. Zh. 16 (1964), no. 1, 61–71; MR0159905 (28 #3121)] by J. Tolosa. MR 1361914, DOI 10.1142/S0218127495000934
- J. R. R. Tolkien, Two towers, George Allen and Unwin, London, 1954.
Additional Information
- Alexander Blokh
- Affiliation: Department of Mathematics, University of Alabama at Birmingham, Birmingham, Alabama 35294
- MR Author ID: 196866
- Email: ablokh@math.uab.edu
- Michał Misiurewicz
- Affiliation: Department of Mathematical Sciences, Indiana University- Purdue University Indianapolis, 402 N. Blackford Street, Indianapolis, Indiana 46202
- MR Author ID: 125475
- Email: mmisiure@math.iupui.edu
- Received by editor(s): November 24, 2018
- Received by editor(s) in revised form: January 12, 2019, June 2, 2019, and June 5, 2019
- Published electronically: August 20, 2019
- Additional Notes: Research of the second author was supported by grant number 426602 from the Simons Foundation.
- © Copyright 2019 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 372 (2019), 8933-8953
- MSC (2010): Primary 37E15; Secondary 37E05, 37E20
- DOI: https://doi.org/10.1090/tran/7928
- MathSciNet review: 4029717