2025-11-17T16:22:13.619471

Rotation sets for random compositions of $\T$ homeomorphisms

Freijo, Tal
We study cocycles of homeomorphisms of $\T$ in the isotopy class of the identity over shift spaces, using as a tool a novel definition of rotation sets inspired in the classical work of Miziurewicz and Zieman. We discuss different notions of rotation sets, for the full cocyle as well as for measures invariant by the shift dynamics on the base. We present some initial results on the shape of rotation sets, continuity of rotation sets for shift-invariant measures, and bounded displacements for irrotational cocyles, as well as a few interesting examples in an attempt to motive the development of the topic.
academic

Rotation sets for random compositions of T² homeomorphisms

Basic Information

  • Paper ID: 2510.11989
  • Title: Rotation sets for random compositions of T² homeomorphisms
  • Authors: C. Freijo, F.A. Tal
  • Classification: math.DS (Dynamical Systems)
  • Publication Date: October 13, 2025 (arXiv preprint)
  • Paper Link: https://arxiv.org/abs/2510.11989

Abstract

This paper investigates cocycles over shift spaces of two-dimensional torus T² homeomorphisms belonging to the homotopy class of the identity map. The authors employ newly defined rotation sets inspired by classical work of Misiurewicz and Ziemian as tools to discuss complete cocycles and different rotation set concepts for shift-invariant measures on shift dynamics. The article presents preliminary results concerning rotation set shapes, continuity of rotation sets for shift-invariant measures, and bounded displacement for cocycles with trivial rotation sets, along with illustrative examples advancing the subject.

Research Background and Motivation

Problem Background

  1. Limitations of Classical Rotation Theory: Traditional rotation set theory primarily addresses single torus homeomorphisms. Misiurewicz and Ziemian proved that for torus homeomorphisms g : T² → T² homotopic to the identity, the rotation set ρ(g̃) of the lift g̃ : R² → R² is always a non-empty, compact, convex subset of R².
  2. Need for Random Compositions: Random compositions of torus homeomorphisms frequently arise in applications, yet existing theory lacks systematic treatment of such cases.
  3. Necessity for Theoretical Extension: Extension of classical rotation theory to the cocycle setting is needed, particularly when fiber dynamics are given by torus homeomorphisms in the identity homotopy class.

Research Significance

  • Theoretical Completion: Fills a gap in dynamical systems theory regarding rotation theory for random compositions of torus homeomorphisms
  • Methodological Innovation: Introduces multiple rotation set definitions, providing new tools for studying such systems
  • Applied Value: Provides theoretical foundations for understanding long-term behavior of complex dynamical systems

Core Contributions

  1. New Rotation Set Definitions: Introduces multiple rotation set concepts for cocycles, including Misiurewicz-Ziemian type, pointwise, and measure-theoretic rotation sets
  2. Structural Properties: Proves that Misiurewicz-Ziemian type rotation sets are always non-empty, compact, and connected (Theorem 1.1)
  3. Essential Point Theory: Establishes concepts of essential and non-essential points in cocycle dynamics and proves bounded displacement properties (Theorem 1.2)
  4. Convexity Conditions: Proves that ε-pseudo-orbit rotation sets are convex in conservative cases or when classical rotation sets have non-empty interior (Theorem 1.3)
  5. Continuity Analysis: Studies continuity properties of rotation sets with respect to shift-invariant measures

Methodology Details

Problem Setup

Studies rotation properties of randomly composed torus homeomorphisms (RCTH), where:

  • Base space: infinite product Σ = X^Z of compact metric space X
  • Shift map: σ : Σ → Σ, σ((x_n){n∈Z}) = (x{n+1})_{n∈Z})
  • Cocycle: F : Σ × T² → Σ × T², F(x,p) = (σ(x), f_x(p))

Core Definitions

1. Displacement Function

For cocycle F and its lift F̃, define the displacement function: ρ1(x,p):M→T2, where ρ1(x,p)=f~x(p~)−p~ρ_1(x,p) : M → T² \text{, where } ρ_1(x,p) = f̃_x(p̃) - p̃

2. Time-Averaged Rotation Vector

n-step time-averaged displacement: ρn(x,p)=1n∑i=0n−1ρ1(F~i(x,p))=f~xn(p~)−p~nρ_n(x,p) = \frac{1}{n}\sum_{i=0}^{n-1} ρ_1(F̃^i(x,p)) = \frac{f̃^n_x(p̃) - p̃}{n}

3. Multiple Rotation Set Definitions

Pointwise Rotation Set:

  • ρ(x,p,F~):={accumulation points of (ρn(x,p))n∈N}ρ(x,p,F̃) := \{\text{accumulation points of } (ρ_n(x,p))_{n∈N}\}
  • ρpoint(F~):=⋃(x,p)∈Mρ(x,p,F~)ρ_{point}(F̃) := \bigcup_{(x,p)∈M} ρ(x,p,F̃)

Misiurewicz-Ziemian Rotation Set: ρmz(F~):=lim sup⁡n→∞Dn=⋂N∈N⋃n≥NDnρ_{mz}(F̃) := \limsup_{n→∞} D_n = \bigcap_{N∈N} \bigcup_{n≥N} D_n where Dn:={ρn(x,p)∣(x,p)∈M}D_n := \{ρ_n(x,p)| (x,p) ∈ M\}

Measure-Theoretic Rotation Set:

  • For F-invariant measure m: ρ(F~,m)=∫ρ1(x,p)dmρ(F̃,m) = \int ρ_1(x,p)dm
  • For σ-invariant measure μ: ρμ(F~)={ρ(F~,m)∣m∈Mμ(F)}ρ_μ(F̃) = \{ρ(F̃,m) |m ∈ M_μ(F)\}

Technical Innovations

  1. Unified Framework: Extends rotation theory from single homeomorphisms to random compositions, establishing a unified theoretical framework
  2. Multi-Level Analysis: Analyzes rotation set properties from pointwise, measure-theoretic, and global perspectives
  3. Essentiality Concept: Introduces concepts of essential and non-essential points, analogous to classical theory
  4. Connectedness Proof: Proves rotation set connectedness through constructive methods, even in non-convex cases

Main Results

Theorem 1.1 (Fundamental Properties of Rotation Sets)

For cocycles F̃ over the full shift Σ = {0,1}^Z, the Misiurewicz-Ziemian type rotation set ρ_(F̃) is always a non-empty, compact, and connected subset of R².

Proof Strategy:

  • Compactness: Established through boundedness and closedness
  • Connectedness: Proof by contradiction; disconnectedness leads to contradiction

Theorem 1.2 (Bounded Displacement Property)

For locally constant, area-preserving cocycles F̃, if the fixed point set is non-essential and the rotation set is trivial, then either the essential point set is a proper subset of R², or F̃ has uniformly bounded displacement.

Theorem 1.3 (Convexity of ε-Pseudo-Orbit Rotation Sets)

If g is conservative, or if the rotation set of the lift g̃ has non-empty interior, then its ε-pseudo-orbit rotation set is convex.

Proof Highlights:

  • Conservative case: Uses conservativity to ensure bounded-length pseudo-orbits connect arbitrary points
  • Non-empty interior case: Constructs periodic orbits approximating via full essentiality

Continuity Results

Proposition 4.2 (Semi-Continuity): If measure sequences (μ_k) converge in weak* topology to μ and rotation vector sequences converge, then the limit belongs to the rotation set of μ.

Counterexample 4.1: Provides examples of discontinuity, showing that continuity fails in general.

Technical Analysis

Key Lemmas

Lemma 5.6: Under trivial rotation set assumptions, uniform displacement estimates exist near non-essential points.

Lemma 6.4: For conservative maps, there exists a uniform constant such that arbitrary points can be connected via bounded-length pseudo-orbits.

Proof Techniques

  1. Periodic Orbit Approximation: Uses rotation vectors of periodic orbits to approximate those of general orbits
  2. Topological Methods: Employs topological properties of essential and non-essential sets
  3. Measure-Theoretic Methods: Applies Krylov-Boguliubov arguments and ergodic theory
  4. Constructive Methods: Proves existence results through explicit construction of special orbits

Related Work

The paper builds upon the following classical works:

  • Misiurewicz & Ziemian 8: Established fundamental theory of rotation sets for single torus homeomorphisms
  • Franks 2: Proved existence of infinitely many periodic points when rotation sets have non-empty interior
  • Koropecki & Tal 5,6: Developed essential point theory
  • Llibre & MacKay 7: Studied relationships between rotation vectors and entropy

Conclusions and Discussion

Main Conclusions

  1. Rotation sets of randomly composed torus homeomorphisms maintain connectedness but may lose convexity
  2. Essential point theory extends effectively to the cocycle setting
  3. Under specific conditions (conservativity or non-empty interior), rotation sets remain convex

Limitations

  1. Locally Constant Restriction: Many results apply only to locally constant cocycles
  2. Technical Assumptions: Requires strong technical assumptions such as area-preservation
  3. Open Problems: Raises multiple unresolved questions, such as Questions 3.3, 3.7, 3.8, etc.

Future Directions

  1. Study rotation set properties in non-locally constant cases
  2. Explore relationships between rotation sets and topological entropy
  3. Develop more general essential point theory

In-Depth Evaluation

Strengths

  1. Theoretical Innovation: Successfully extends classical rotation theory to new settings
  2. Methodological Diversity: Combines topological, measure-theoretic, and dynamical systems approaches
  3. Deep Results: Main theorems possess significant theoretical importance
  4. Clear Exposition: Well-defined definitions and detailed proofs

Weaknesses

  1. Limited Applications: Primarily theoretical results; practical applications remain to be developed
  2. Strong Assumptions: Many results require strong technical hypotheses
  3. Insufficient Examples: Lacks more concrete computational examples

Impact

  1. Theoretical Contribution: Opens new research directions in dynamical systems theory
  2. Methodological Value: Techniques provided may apply to related problems
  3. Inspirational Significance: Raised questions guide future research

Applicable Scenarios

  • Theoretical analysis of random dynamical systems
  • Study of complex dynamics on tori
  • Further development of rotation theory

References

The paper cites 8 key references covering major advances in torus homeomorphism theory, rotation set theory, and essential point theory, providing solid theoretical foundations for this research.