Fact-checked by Grok 2 weeks ago

Sharkovskii's theorem

Sharkovskii's theorem is a seminal result in the study of one-dimensional dynamical systems, asserting that for any continuous map f: I \to I where I is a closed interval, the set of periods of its periodic points forms a tail of the Sharkovsky ordering—a specific total order on the positive integers beginning with the odd numbers $3 \succ 5 \succ 7 \succ \cdots, followed by $2 \cdot 3 \succ 2 \cdot 5 \succ \cdots, continuing through higher powers of 2 multiplying the odds, and ending with the descending powers of 2 down to $2 \succ 1.^[1] If such a map admits a periodic orbit of prime period n, then it must also admit periodic orbits of all prime periods m such that n \succ m in this ordering; a companion realization theorem guarantees that every such tail is achievable as the period set for some continuous interval map.^[2] Named after Ukrainian mathematician Oleksandr Mykolayovych Sharkovskii (1936–2022), who established the theorem and its proof in his 1964 paper "Coexistence of Cycles of a Continuous Mapping of the Line into Itself," the result remained relatively obscure in the West until the 1975 publication of "Period Three Implies Chaos" by Tien-Yien Li and James A. Yorke, which highlighted the dramatic implication that a period-3 orbit forces periodic orbits of all positive integer periods, linking the theorem to the onset of chaos in iterative systems.^[3]^[1] The theorem's significance extends beyond mere coexistence of periods, providing a hierarchical structure that classifies the complexity of periodic behaviors in interval maps and underpins broader developments in symbolic dynamics, kneading theory, and the study of unimodal maps.^[2] For instance, maps with only power-of-2 periods exhibit simple, non-chaotic dynamics, while those with odd periods beyond 1 introduce intricate orbit structures that can lead to dense sets of periodic points.^[1] Subsequent research has generalized the theorem to circle maps and higher-dimensional systems,^[4] while extensions to non-continuous settings have also been developed.^[5] These affirm its foundational role in understanding how local periodic behavior constrains global dynamics.

Background Concepts

Continuous Interval Maps

In one-dimensional dynamical systems, the foundational objects of study are continuous maps defined on a closed interval. Consider a closed interval I \subset \mathbb{R}, such as I = [0, 1], and a continuous function f: I \to I. Continuity of f ensures that it maps connected sets to connected sets, preserving the topological structure of the interval. The dynamics generated by f are analyzed through its iterates, denoted f^n for n \geq 1, where f^n represents the n-fold composition of f with itself, and f^0 is the identity map. The orbit of a point x \in I under iteration is the sequence \{ f^n(x) \mid n \geq 0 \}, which describes the trajectory starting from x. A key tool for encoding this behavior is the itinerary of x, a symbolic sequence that records which subintervals or regions the orbit visits under a suitable partition of I, facilitating the translation of geometric dynamics into symbolic representations. Basic properties of these maps stem directly from continuity. By the intermediate value theorem, for any subinterval J \subset I, the image f(J) is itself an interval, containing all values between f applied to the endpoints of J. This connectedness of images is crucial for understanding how iterations fill or restrict subsets of I. Periodic points arise as fixed points of iterates, where f^n(x) = x for some n > 0.^[6] Continuous interval maps play a central role in one-dimensional dynamics by providing a simple yet rich model for exploring qualitative iterative behavior, such as stability and complexity, without requiring explicit solutions to the functional equations defining f. This framework allows researchers to investigate global properties like transitivity and mixing through topological and symbolic methods, making it ideal for foundational studies in the field.

Periodic Points and Cycles

In the study of continuous maps on a real interval, periodic points capture repetitive behavior under iteration. A point x in the domain is a periodic point of period n for a map f if f^n(x) = x and n is the smallest positive integer for which this equality holds; this n is known as the minimal or prime period of x.^[7] Fixed points, which are periodic points of period 1, satisfy f(x) = x.^[8] Preperiodic points differ from periodic points in that they are not themselves periodic but eventually map to a periodic point; specifically, there exists a positive integer m such that f^m(x) is periodic, though the full orbit of x does not repeat cyclically.^[7] For a periodic point x of minimal period n, the set \{x, f(x), \dots, f^{n-1}(x)\} forms a cycle, also called a periodic orbit or n-cycle, consisting of n distinct points that cycle under application of f.^[9] A map f has period n if it possesses at least one point of minimal period n.^[10] For example, for f(x) = x^2 - 2 on [-2, 2], the period-2 points solve f^2(x) = x but not f(x) = x.^[11]

The Sharkovskii Ordering

Definition of the Order

Sharkovskii's ordering is a total order ≻ on the positive integers ℕ, constructed by arranging the numbers in a specific sequence that prioritizes odd periods followed by their even multiples and concluding with pure powers of 2. The order begins with the odd positive integers greater than 1 in increasing order: 3 ≻ 5 ≻ 7 ≻ 9 ≻ ⋯. It then proceeds to multiples of these odds by increasing powers of 2, with the odds within each block listed in increasing order: next is 2·3 ≻ 2·5 ≻ 2·7 ≻ ⋯, followed by 2²·3 ≻ 2²·5 ≻ 2²·7 ≻ ⋯, then 2³·3 ≻ 2³·5 ≻ ⋯, and so on for all higher powers 2^k with k ≥ 0. Finally, after all such blocks, the pure powers of 2 appear in decreasing order: ⋯ ≻ 2^4 ≻ 2^3 ≻ 2^2 ≻ 2^1 ≻ 2^0, or equivalently ⋯ ≻ 16 ≻ 8 ≻ 4 ≻ 2 ≻ 1.^[12]^[13] In this notation, m ≻ n indicates that m precedes n in the ordering, forming a linear arrangement of all positive integers where each number appears exactly once. This total order captures the hierarchical implications among periods of periodic points in continuous maps on intervals.^[12] The motivation for this ordering stems from the dynamical phenomenon of period forcing, where the existence of a periodic point of odd period tends to imply the existence of points with more varied periods, including even multiples, before descending to simpler powers-of-2 periods.^[14]

Structure and Notation

The Sharkovskii ordering partitions the set of positive integers into hierarchical blocks determined by their prime factorization with respect to the prime 2. The initial block comprises all odd positive integers greater than 1, arranged in increasing order: $3 \succ 5 \succ 7 \succ 9 \succ \cdots. Subsequent blocks consist of numbers of the form $2^k \cdot q where q > 1 is odd and k = 1, 2, 3, \dots, with blocks ordered by increasing k and, within each block, by increasing q: for k=1, $2 \cdot 3 \succ 2 \cdot 5 \succ 2 \cdot 7 \succ \cdots; for k=2, $4 \cdot 3 \succ 4 \cdot 5 \succ 4 \cdot 7 \succ \cdots; and so forth. The ordering terminates with the block of pure powers of 2, arranged in decreasing order: $2^\infty \succ \cdots \succ 2^3 \succ 2^2 \succ 2 \succ 1.^[5]^[2] This structure endows the Sharkovskii ordering with key properties as a total order on the positive integers, ensuring that for any two distinct positive integers n and m, either n \succ m or m \succ n. The reverse ordering (reading from right to left) is well-ordered, meaning every nonempty subset has a least element under this reversal, which facilitates inductive arguments in proofs related to periodic orbits. The ordering embodies a "forcing" intuition, wherein the presence of a periodic point of period n implies the existence of periodic points for all periods m such that n \succ m, reflecting the hierarchical implications among cycle periods in interval maps.^[5]^[2] Notation for the Sharkovskii ordering has evolved since its introduction. In the original formulation by Sharkovskii, the order was described as a explicit linear sequence of natural numbers without a dedicated symbol, emphasizing the coexistence of cycle periods.^[15] Contemporary accounts typically employ the symbol \succ to denote the relation, with n \succ m indicating that n precedes m in the hierarchy (i.e., period n forces period m). An alternative modern notation uses an arrow n \to m to explicitly represent the forcing relation, where the existence of period n entails period m.^[5]^[16] The Sharkovskii ordering bears a resemblance to a lexicographic order based on the 2-adic valuation v_2(n) (the highest power of 2 dividing n) and the odd part o(n) = n / 2^{v_2(n)}, where blocks correspond to fixed v_2 values ordered increasingly, and within blocks, o(n) is ordered increasingly; however, the terminal block of pure powers of 2 deviates by ordering decreasingly in v_2, distinguishing it from a pure lexicographic structure on these components.^[5]^[2]

Statement and Implications

Formal Statement

Sharkovskii's theorem concerns the periodic points of continuous maps on a closed interval of the real line. Let I \subset \mathbb{R} be a closed interval, and let f: I \to I be a continuous function. For each positive integer n, denote by \mathrm{per}_n(f) the (nonempty) set of points x \in I of minimal period n under iteration of f, that is, points satisfying f^n(x) = x but f^k(x) \neq x for all $1 \leq k < n.^[17] The theorem states that if \mathrm{per}_n(f) \neq \emptyset, then \mathrm{per}_m(f) \neq \emptyset for every positive integer m such that n \succ m in the Sharkovskii ordering \succ on the positive integers.^[17] This ordering is a total order on \mathbb{N} defined such that odd integers precede powers of 2, with the precise relation given by $3 \succ 5 \succ 7 \succ \cdots \succ 2 \cdot 3 \succ 2 \cdot 5 \succ \cdots \succ 4 \succ 2 \succ 1.^[17] The continuity of f ensures that the image f(I) is a closed interval without isolated points or gaps, which is essential for the existence of the required periodic points under iteration.^[17] A complementary realization result, also proved by Sharkovskii, states that for any positive integer n, there exists a continuous map g: I \to I whose set of periods is exactly \{ m \mid n \succ m \ or \ m = n \} in the Sharkovskii ordering.^[17]^[2]

Key Consequences for Dynamics

Sharkovskii's theorem establishes a forcing relation among periodic orbits in continuous maps of an interval, where the existence of a periodic point of period m implies the existence of periodic points of all periods n such that n \prec m in the Sharkovskii ordering.^[5] In particular, since 3 is the leftmost element in this ordering, a map with a period-3 orbit must possess periodic points of every positive integer period, resulting in a dense set of periodic points within the interval.^[18] This period-forcing phenomenon reveals a hierarchical structure in the dynamics, where the "strongest" periods like 3 compel the full spectrum of behaviors, while weaker periods at the right end of the ordering, such as powers of 2 ($2^k for k \geq 1), do not force the existence of odd periods or more complex cycles.^[2] The theorem's implications extend to the onset of chaos in one-dimensional systems, directly underpinning the result that period 3 implies chaos in the sense defined by Li and Yorke. Specifically, the presence of a period-3 orbit not only guarantees all periods but also ensures the existence of an uncountable scrambled set—a subset where points exhibit sensitive dependence on initial conditions, with orbits that both approach and diverge unpredictably, precluding convergence to periodic behavior for most pairs of points.^[18] This scrambled set, combined with dense periodic points, characterizes chaotic dynamics, where the system's behavior is topologically transitive and irregular across the interval.^[5] Practically, Sharkovskii's theorem provides a framework for classifying interval maps based on their periodic spectrum without exhaustive computation of all orbits, as the set of realized periods must form a tail of the Sharkovskii ordering.^[2] This classification aids in understanding stability and persistence: if a map has a period m, nearby continuous maps retain periodic points of all forced periods n \prec m, enabling analysis of bifurcations and parameter-dependent dynamics.^[5]

Proof Overview

Main Ideas and Techniques

The proof of Sharkovskii's theorem employs covering systems of subintervals derived from the endpoints of known periodic cycles to force the existence of periodic points with periods lower in the Sharkovskii ordering. A fundamental covering relation is established between intervals I and J if the image f(I) contains J, enabling iterates of f to systematically cover the domain in sequences that generate new cycles.^[2] These systems construct loops of coverings, such as an elementary n-loop where successive intervals map onto each other under f, ensuring the nth iterate f^n has fixed points that realize period-n orbits.^[19] By starting from a given cycle and refining subintervals around its points, the technique propagates the existence of periods through the ordering without relying on explicit cycle constructions.^[20] A graph-theoretic approach models these covering relations as directed graphs, with vertices representing carefully chosen subintervals and directed edges from I_i to I_j if f(I_i) \supset I_j.^[21] Cycles in this interval graph correspond to paths that the dynamics must follow, where a loop of length n implies the presence of a periodic orbit of period n under f.^[2] This framework captures the forcing mechanism by identifying how a single known period induces graph cycles for all subsequent periods in the ordering, leveraging the structure to avoid combinatorial explosion in verifying each implication separately.^[20] Central to the proof is a key lemma asserting that if intervals I and J together cover a third interval K under f, with f(I) and f(J) interleaving across K, then the configuration forces a period-2 point whose orbit alternates between subregions, extensible to higher even periods.^[2] More generally, loops formed by such coverings guarantee periodic points via the Brouwer fixed-point theorem applied to the iterate on the loop's union.^[19] This lemma underpins the inductive forcing, where interleaving ensures the images overlap in a manner that embeds subdynamics isomorphic to those of lower periods.^[20] The continuity of the map f plays a pivotal role by preserving connectedness of interval images, allowing the intermediate value theorem to confirm that coverings are onto the target intervals and enabling horseshoe-like constructions.^[21] These constructions topologically conjugate subsets of the interval to symbolic dynamics, where the horseshoe ensures the persistence of periodic points across the forcing chain without gaps in the ordering.^[2]

Step-by-Step Outline

The proof of Sharkovskii's theorem proceeds by induction on the position in the ordering, establishing that the existence of a periodic point of period m forces periodic points of all periods l such that l \triangleleft m.^[20] The construction begins with odd periods, where the inductive step relies on building higher odd periods from lower ones using covering relations between intervals derived from the dynamics of the given cycle.^[2] For the base case, period 1 (fixed points) is addressed as inherent to continuous non-constant interval maps, though the theorem's forcing emphasizes implications from higher periods downward.^[22] The key inductive step for odd periods involves assuming a cycle of period $2k+1 and constructing a covering that interleaves intervals to produce a cycle of period $2m+1 for any m > k, ensuring the odd part of the ordering is filled sequentially without gaps.^[20] Once odd periods are established, the proof extends to even multiples through a doubling mechanism: from a cycle of odd period n, interval coverings are used to force period $2n by considering iterates that wrap around the interval twice, and this process iterates to higher powers of 2 multiplied by the odd base.^[2] For the powers-of-2 tail of the ordering, a descent argument applies binary subdivisions of intervals associated with higher even periods to force all lower powers of 2, completing the even chain.^[22] The full chain ties these blocks together by showing that forcing within each segment—odds first, then even multiples, and finally pure powers of 2—propagates across the entire ordering, with no omissions due to the exhaustive inductive coverage.^[20] Covering techniques serve as the foundational building blocks for these interval constructions throughout.^[2]

Examples and Illustrations

The Logistic Map

The logistic map is a quadratic map commonly studied in dynamical systems, defined by the iteration f_r(x) = r x (1 - x), where the parameter r ranges from 0 to 4 and the state variable x lies in the interval [0, 1]. This map models population growth in discrete time and exhibits a rich variety of behaviors as r varies, including fixed points, periodic orbits, and chaos. For r between approximately 3 and 3.57, the logistic map undergoes a period-doubling cascade, where stable periodic orbits of period $2^n emerge successively through bifurcations, accumulating at the Feigenbaum point r_\infty \approx 3.56995. During this cascade, only even periods appear, with no stable odd-period orbits observed until higher values of r. Specifically, odd periods such as 3 do not emerge until r > 1 + \sqrt{8} \approx 3.828427, which marks the beginning of the period-3 window via a saddle-node bifurcation.^[23] At r \approx 3.83, a stable period-3 orbit exists within this window, and by Sharkovskii's theorem, this implies the coexistence of periodic orbits of all other periods, leading to the onset of chaotic dynamics. The bifurcation diagram of the logistic map, plotting long-term attractor values against r, visually reveals this hierarchy: periods double repeatedly up to the accumulation point, after which windows of odd periods like 3 appear, each forcing lower periods in the Sharkovskii order and contributing to the intricate structure en route to chaos for r > 3.57.

Tent Map and Forcing Relations

The tent map is a family of piecewise linear maps T_\mu: [0,1] \to [0,1] defined by

T_\mu(x) = 1 - \mu \left| x - \frac{1}{2} \right|

for \mu \in [0,2].^[24] This map consists of two linear branches: an increasing branch on [0, 1/2] and a decreasing branch on [1/2, 1], meeting at a peak of height \mu at x = 1/2. For \mu = 2, the map is onto and surjective, exhibiting chaotic behavior conjugate to the full two-symbol shift map.^[24] Symbolic dynamics provides a combinatorial framework for analyzing orbits under the tent map by partitioning the interval at the critical point x = 1/2. Each point x \in [0,1] generates an itinerary, a bi-infinite sequence of symbols from the alphabet {L, R}, where L denotes that the iterate falls in the left interval [0, 1/2] (increasing branch) and R denotes the right interval [1/2, 1] (decreasing branch).^[24] A periodic orbit of period n corresponds to a periodic itinerary of length n, repeating a finite block of n symbols, subject to the map's topological constraints that forbid certain shifts (inadmissible sequences pruned by the dynamics).^[24] Kneading sequences, which are the itineraries of the critical point x = 1/2, determine the set of admissible itineraries by lexicographically ordering sequences relative to the kneading invariant.^[24] Period-forcing relations in the tent map arise from the inclusion of admissible itinerary sets: the existence of a periodic itinerary of one period implies the existence of itineraries for certain other periods, mirroring the Sharkovskii order.^[24] A canonical example is the period-3 itinerary RLR (corresponding to symbols 1 0 1 in binary notation), which appears when \mu = 1 + \sqrt{5}/2 \approx 1.618. This itinerary forces all finite admissible sequences in the kneading order, thereby implying the existence of periodic orbits of every integer period n \geq 1.^[24] The linear structure of the tent map enables exact algebraic computation of the parameter value \mu_n at which a period-n orbit first appears, by solving the itinerary equations without numerical approximation—contrasting with smoother maps requiring root-finding.^[24]

Historical Context

Discovery by Sharkovskii

Oleksandr Mykolayovych Sharkovsky was a Ukrainian mathematician born on December 7, 1936, in Kyiv, who made foundational contributions to the theory of dynamical systems. He graduated from Kyiv State University in 1958 and earned his Candidate's Degree (equivalent to a Ph.D.) in 1961 from the Institute of Mathematics of the Ukrainian Academy of Sciences, where he began his career that same year. He died on November 21, 2022, in Kyiv.^[25]^[26] Sharkovsky focused his research on discrete dynamical systems, stability theory, and oscillations, areas central to the qualitative analysis of mathematical models during the Soviet era.^[25] In 1964, Sharkovsky published his seminal paper titled "Co-existence of cycles of a continuous mapping of the line into itself" in the Ukrains'kyi Matematychnyi Zhurnal (Ukrainian Mathematical Journal), volume 16, number 1, pages 61–71, written in Russian.^[5] This work proved a comprehensive ordering of positive integers that describes the possible sets of periods of periodic points for continuous maps of the real line into itself, now known as Sharkovsky's theorem.^[25] The theorem establishes that if such a map has a periodic point of period n, then it also has periodic points of all periods m such that n ≻ m in the Sharkovsky ordering, providing a complete characterization of coexistence of cycles for interval maps.^[5] This result arose from investigations into the structure of periodic orbits and attractors in one-dimensional systems, motivated by the need to understand the implications of period-3 points implying chaos-like behavior, predating similar Western discoveries in chaos theory.^[25] Sharkovsky's discovery emerged within the Soviet mathematical tradition of qualitative dynamics, which emphasized topological properties and stability in differential equations and mappings, active in Ukrainian and Russian academic centers during the mid-20th century.^[25] His work at the Institute of Mathematics contributed to this school, where researchers explored oscillations and bifurcations without the computational tools later available in the West.^[25] The paper received limited attention upon publication, primarily within Eastern European mathematical circles due to its language and journal's regional focus.^[25] It did not gain broader international visibility until the second half of the 1970s, when special cases of the theorem were independently proved in the West and Eastern European mathematicians shared results through conferences and informal translations, sparking wider interest despite the absence of a formal English version until 1995.^[25]^[5]

Subsequent Developments

In the 1970s, Sharkovskii's theorem received increased attention in the Western mathematical community through English translations of the original work and independent proofs that made it more accessible. A seminal development came in 1975 with the paper by Tien-Yien Li and James A. Yorke, which demonstrated that the presence of a period-3 orbit implies chaotic behavior, including uncountably many non-periodic points with sensitive dependence on initial conditions; this result popularized the theorem and connected it to the emerging field of chaos theory.^[27] The late 1970s and 1980s saw further proofs and extensions that solidified the theorem's role in one-dimensional dynamics. David Singer (1978) provided insights into the stability of periodic orbits for differentiable interval maps, showing a finite number of stable periodic orbits. In 1980, Leon Block, John Guckenheimer, Michal Misiurewicz, and Lai-Sang Young provided a now-standard graph-theoretic proof, emphasizing the topological entropy implications and coexistence of periodic orbits. Around the same time, Joan Singer's theorem established that for unimodal maps with negative Schwarzian derivative, the immediate basin of attraction contains at most one attracting periodic orbit, refining the understanding of stable cycles within Sharkovskii's ordering. In 1988, John Milnor and William Thurston developed kneading theory, which uses symbolic itineraries to classify periodic orbits and formalize the forcing relations in Sharkovskii's order, providing a combinatorial framework for predicting orbit coexistence. In the 2020s, computational methods have enabled formal verifications and explorations of the theorem's boundaries. A notable 2023 effort by Bhavik Mehta formalized the full proof of Sharkovskii's theorem in the Lean theorem prover, confirming its validity through machine-checked reasoning and highlighting applications in automated dynamical systems analysis.^[28] The theorem's influence extends to related problems, inspiring analogs in the study of the Collatz conjecture, where Sharkovskii's ordering helps analyze cycle structures in integer iterations despite the map's discontinuities. It has also shaped renormalization theory, where forcing relations inform the hierarchical structure of scaling behaviors in iterated maps near chaos.^[29]

Generalizations and Extensions

Multidimensional and Non-Interval Cases

Extensions of Sharkovskii's theorem to multidimensional settings reveal that the total ordering of periods characteristic of one-dimensional interval maps does not hold in higher dimensions, where only partial orders or more restricted forcing relations emerge.^[30] In \mathbb{R}^d for d > 1, continuous maps can exhibit periodic orbits of specific periods without implying all others; for instance, rotations on the torus T^2 may have isolated periods without forcing a full spectrum.^[31] Partial Sharkovskii-like orders have been developed for certain toral maps, where coexistence of periods follows a poset structure rather than a linear order, as explored in works from the early 2000s.^[4] For circle maps, which represent a one-dimensional but topologically distinct case from intervals, rotation numbers replace integer periods, and no full forcing order analogous to Sharkovskii's exists. Denjoy's theorem provides a partial analog, ensuring that orientation-preserving homeomorphisms of the circle with irrational rotation numbers have dense orbits without wandering intervals, but periodic circle maps of degree 1 can have isolated periods, such as a pure period-3 rotation by 120 degrees without fixed points or period-2 orbits.^[31] However, for circle maps of degree 0 or -1, a Sharkovskii-type theorem holds, describing the possible sets of rotation numbers for periodic orbits in a manner parallel to the interval case.^[4] Generalizations to non-interval spaces like graphs and trees involve piecewise monotone maps, where Blokh established Sharkovskii-like results in the 1990s, showing that certain periods imply "almost all" others depending on the tree's structure and the map's vertex behavior.^[32] For vertex maps on trees, where vertices form a periodic orbit, a specific ordering governs period coexistence, extending the combinatorial dynamics of intervals to branched one-dimensional complexes.^[33] In higher-dimensional Euclidean spaces, achieving period-forcing similar to Sharkovskii's requires additional structure like hyperbolicity; without it, maps may lack dense periodic orbits. Smale horseshoes in \mathbb{R}^2 or higher provide such hyperbolic examples, where the invariant set contains periodic points of all periods, dense orbits, and symbolic dynamics mimicking the full shift, but this relies on the stretching and contracting properties absent in general continuous maps.^[34] Recent work has extended the theorem to infinite-dimensional systems, such as delay differential equations, adapting topological arguments to prove that a periodic orbit of basic period m implies periodic orbits of all periods preceding m in the Sharkovskii ordering.^[35] The Milnor–Thurston kneading theory generalizes Sharkovskii's ordering to multimodal interval maps by associating kneading sequences to the itineraries of critical points, which induce a partial forcing order on the admissible periodic orbits. These sequences, typically represented in a symbolic alphabet reflecting the monotonicity intervals, are ordered lexicographically (with, for example, right shifts preceding left shifts), such that the presence of a particular kneading sequence forces the existence of all sequences "below" it in the order, mirroring how periods force others in the unimodal case. This combinatorial structure allows for the classification of all possible dynamics of piecewise monotone maps, including the determination of zeta functions and entropy via matrix determinants derived from the sequences. The theory establishes that the forcing relations form a distributive lattice, providing a finer resolution than Sharkovskii's total order for maps with multiple turning points.^[36] In unimodal maps, the period-doubling bifurcations follow a specific ordering within the Sharkovskii hierarchy, where stable orbits of period $2^k emerge successively as a parameter varies, accumulating at the onset of chaos in a universal manner governed by the Feigenbaum constant \delta \approx 4.669. Block and Coppel analyze this cascade as part of the broader stratification of periodic orbit sets, showing that the possible period sets are precisely the initial segments of the Sharkovskii order restricted to powers of 2, with each doubling forcing subordinate orbits in a tree-like genealogy. This ordering ensures that the dynamics remain ordered until an odd-period orbit appears, triggering the full spectrum of periods. Their work emphasizes the stability and coexistence properties, proving that no chaotic behavior occurs solely within finite period-doubling tails. Analogs of the Sharkovskii ordering appear in number-theoretic iterations like the Collatz (3x+1) problem, where the conjecture posits that all positive integers reach 1 under the rules x \to 3x+1 if odd and x \to x/2 if even, implying a directed graph with potential cycle "periods" ordered by iteration lengths. Some approaches embed integers into a modified Sharkovskii-like lattice to analyze convergence, treating arithmetic progressions as forcing sequences where shorter cycles (e.g., the trivial period-1 at 1) are forced by longer ones, though the map's discontinuity prevents direct application of interval-map theorems. This perspective highlights structural similarities, such as the absence of certain intermediate cycles, but remains conjectural without a full ordering theorem. Topological entropy provides another ordering perspective linked to Sharkovskii's theorem: for continuous interval maps, the entropy h(f) is zero if and only if the set of periods is contained in the initial segment \{2^k : k \geq 0\} of the ordering, while any "later" period (e.g., an odd prime) implies h(f) > 0. More quantitatively, the existence of a period-n point yields a lower bound h(f) \geq \frac{1}{n} \log \lambda_n, where \lambda_n > 1 is the spectral radius of the transition matrix for the cycle's graph, with simple bounds like \lambda_n \geq 2^{1/n} in doubling-like cases ensuring positive growth for non-power-of-2 periods. This entropy ordering refines the period-forcing by quantifying dynamical complexity, as maps of type n (with periods exactly those \succeq n in Sharkovskii order) achieve minimal entropy consistent with the forced orbits.^[37]

References

[1]
https://arxiv.org/pdf/1702.07964.pdf
[2]
[PDF] The Sharkovsky Theorem: A Natural And Direct Proof - Arizona Math
The Sharkovsky Theorem states that a set of periods for a continuous map of an interval is a tail of the Sharkovsky order, and vice versa.
[3]
A. N. Sharkovsky, “Coexistence of Cycles of Continuous Mapping of ...
Mar 29, 2012 · A. N. Sharkovsky, “Coexistence of Cycles of Continuous Mapping of the Line into Itself,” Ukrainian Mathematical Journal, Vol. 16, 1964, pp. 61- ...
[4]
[PDF] EVOLUTION OF THE SHARKOVSKY THEOREM
The aim of this paper is to give a brief description of the Sharkovsky Theorem and some results that evolved from it. We do not depart too far from the original ...
[5]
An Introduction To Chaotic Dynamical Systems | Robert Devaney
Mar 9, 2018 · In this second edition of his best-selling text, Devaney includes new material on the orbit diagram fro maps of the interval and the ...
[6]
[PDF] Contents 1 Introduction to Dynamics - Evan Dummit
Definition: A value x0 is called a periodic point for f, and its orbit is called a periodic orbit (or an n-cycle), if there is some value of n such that fn(x) = ...
[7]
[PDF] MATH 614 Dynamical Systems and Chaos Lecture 2: Periodic ...
Periodic points. Definition. A point x ∈ X is called a fixed point of a map f : X → X if f (x) = x. A point x ∈ X is called a periodic point of a map f ...
[8]
[PDF] introduction to dynamics on the interval - UChicago Math
The following concepts will be integral to exploring the structure of orbits. Definition 1.2. We say x is a fixed point of a map f if x = f(x). x is a periodic.
[9]
[PDF] Periodic Points and Sharkovsky's Theorem
May 12, 2020 · A dynamical system represents how the state of a system changes over time. This change can be captured as ongoing time or in intervals; that is, ...Missing: Sharkovskii's explanation
[10]
[PDF] A First Course in Chaotic Dynamical Systems - Boston University
Jan 27, 1993 · There are other period 2 points-the remaining 8th roots of unity-but ... x/2-2. A. Figure 4.10: The graph of F(x) = x². 28. Page 20. 29. 29.
[11]
[PDF] A Simple Proof of Sharkovsky's Theorem - arXiv
Jun 15, 2006 · It states that, if f has a period-m point, then f also has a period-n point precisely when m ≺ n in the following Sharkovsky's ordering :
[12]
[PDF] Interval maps of given topological entropy and Sharkovskii's type
Jun 9, 2019 · Definition 1.1 Sharkovskii's order is the total ordering on N defined by: 3 C 5 C 7 C 9 C ··· C 2 · 3 C 2 · 5 C ··· C 22 · 3 C 22 · 5 C ...<|control11|><|separator|>
[13]
randomization of sharkovskii-type theorems
Dec 18, 2007 · The standard Sharkovskii theorem [Sh], which is based on a new ordering of positive integers (Sharkovskii ordering). 3 5 7 9 ··· 2 · 3 2 · 5 ...Missing: definition | Show results with:definition
[14]
Sharkovsky ordering - Scholarpedia
Oct 21, 2011 · Sharkovsky Theorem and its complete proof was published in 1964 in Ukranian Mathematical Journal (Sharkovsky 1964) in Russian (the article ...
[15]
978-94-015-8897-3.pdf
... In order not to introduce new notation for the intersections of the in- dicated classes of maps of the same type with the space G( 2 ), we use the same notation.
[16]
[PDF] forcing among patterns with no block structure
Jun 23, 2018 · The Sharkovsky Theorem is important, in particular, because it in- troduces a concept of forcing relation: it states that if m s n then the fact ...
[17]
[PDF] COEXISTENCE OF CYCLES OF A CONTINUOUS MAP OF THE ...
COEXISTENCE OF CYCLES OF A CONTINUOUS. MAP OF THE LINE INTO ITSELF ... TranSlated by J.Tolosa. †The format of the Original paper has been retained ...Missing: English | Show results with:English
[18]
http://www.its.caltech.edu/~matilde/LiYorke.pdf
[19]
None
### Summary of Main Ideas and Techniques in the Direct Proof of Sharkovskii's Theorem
[20]
[PDF] A collection of simple proofs of Sharkovsky's theorem - arXiv
Sep 9, 2007 · These three statements explain clearly why Sharkovsky's ordering is defined as it is. Indeed, loosely speaking, by (b), we have 3 ≺ 5 ≺ 7 ...
[21]
[PDF] Markov Graphs and Sharkovsky's Theorem - People
In this ordering if the map f has a periodic orbit of period k and k m , then f also has a periodic orbit of period m. This is known as Sharkovsky's Theorem.
[22]
[PDF] SHARKOVSKY'S THEOREM In this note f is a continuous function ...
The following complementary result is sometimes called the converse to Sharkovsky's Theorem, but is contained in Sharkovsky's original pa- pers. Theorem 1.3 ( ...
[23]
Analytical study of the superstable 3-cycle in the logistic map
Dec 11, 2009 · It is valid for any continuous one-dimensional map. By this theorem, a given cycle leads to other cycles in a sequence of the positive integers ...Missing: period onset
[24]
https://doi.org/10.1007/BFb0082847
[25]
Oleksandr Mikolaiovich Sharkovsky - Biography - MacTutor
Quick Info. Oleksandr Sharkovsky was a Ukrainian mathematician who made contributions to the theory of discrete dynamical systems.
[26]
Period Three Implies Chaos - jstor
Li and J. A. Yorke, Ergodic transformations from an interval into itself, (submitted for publication). 6. P. R. Stein and S. M. Ulam, Nonlinear ...
[27]
[PDF] EVOLUTION OF THE SHARKOVSKY THEOREM
A cyclic permutation π : {1,...,N}→{1,...,N} has a block structure if there is a partition of {1,...,N} into k /∈ {1,N} segments of consecutive integers (blocks) of ...
[28]
Sharkovskii's theorem in two dimensions? - Math Stack Exchange
Oct 15, 2014 · Alas, Sharkovskii's theorem applies only to continuous 1D mappings. So, unlike the first case, there is no obvious necessary condition for the ...Possibilites for Sharkovskii's theorem. [closed] - Math Stack ExchangeSharkovskii-type results in other topological spaces?More results from math.stackexchange.com
[29]
[PDF] Sharkovsky's Theorem and Bifurcation
Sharkovsky introduced a new ordering ▷ of the positive integers in which 3 appears first. He proved that if k▷r and ƒ has a k-periodic point, then it must have ...Missing: Sharkovskii | Show results with:Sharkovskii
[30]
Periods implying almost all periods for tree maps - IOPscience
Periods implying almost all periods for tree maps. A M Blokh. Published under licence by IOP Publishing Ltd Nonlinearity, Volume 5, Number 6Citation A M ...
[31]
[PDF] PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS ...
Abstract. Let X be a compact tree, f : X −→ X be a continuous map and End(X) be the number of endpoints of X. We prove the following. Theorem 1.
[32]
[PDF] 7.2 Smale horseshoe and its applications - webspace.science.uu.nl
Theorem 7.36 (Smale,1963) Any horseshoe map f has a closed invariant set. Λ that contains a countable set of periodic orbits of arbitrarily long period, and an ...
[33]
https://people.cas.uab.edu/~ablokh/treeap1.pdf
[34]
Interval maps of given topological entropy and Sharkovskii's type
Jun 9, 2019 · It is known that the topological entropy of a continuous interval map f is positive if and only if the type of f for Sharkovskii's order is 2^ ...Missing: lower bound period n