pith. machine review for the scientific record. sign in

arxiv: 2605.11848 · v1 · submitted 2026-05-12 · 🧮 math.DS

Recognition: no theorem link

Cocycles with Quasi-Conformality II: Ergodic measures with positive entropy

Hesam Rajabzadeh, Meysam Nassiri, Zahra Reshadat

Authors on Pith no claims yet

Pith reviewed 2026-05-13 05:07 UTC · model grok-4.3

classification 🧮 math.DS
keywords SL(d,R) cocyclesdominated splittingergodic measurespositive entropysubshifts of finite typemultiple covering principlebounded orbitsquasi-conformality
0
0 comments X

The pith

Any continuous SL(d,R) cocycle over a positive-entropy subshift of finite type either admits a dominated splitting or can be C^0-approximated by one that C^α-stably supports positive-entropy ergodic measures with uniformly bounded orbits.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a multiple covering principle that generates ergodic measures of positive entropy supported on orbits that remain uniformly bounded in the fibers of the cocycle. This mechanism is applied to continuous SL(d,R) cocycles over positive-entropy subshifts of finite type to obtain a dichotomy: either the cocycle already has a dominated splitting, or it can be approximated in the C^0 topology by a nearby cocycle whose positive-entropy measures survive under further C^α-small perturbations. For non-isometric cocycles the entropy of the supported measures is strictly smaller than the entropy of the base system. The result classifies the possible expansion-contraction behaviors of such cocycles in terms of whether they can be made to support bounded invariant measures after small changes.

Core claim

The central claim is that a multiple covering principle robustly produces positive-entropy ergodic measures on fiberwise uniformly bounded orbits. This principle implies that every continuous SL(d,R) cocycle over a positive-entropy subshift of finite type either admits a dominated splitting or can be C^0-approximated by a cocycle that C^α-stably supports such measures for some α>0. When the cocycle is non-isometric, the topological entropy of the bounded-orbit measures is strictly less than the entropy of the base subshift.

What carries the argument

The multiple covering principle, which constructs positive-entropy ergodic measures supported on orbits that stay uniformly bounded in every fiber.

If this is right

  • Cocycles lacking a dominated splitting become approximable by ones that support stable positive-entropy bounded measures.
  • The supported measures for non-isometric cocycles have strictly lower entropy than the base subshift.
  • The property of supporting such measures persists under sufficiently small C^α perturbations after the initial C^0 approximation.
  • The dichotomy separates cocycles according to the existence of a dominated splitting versus the existence of approximable bounded positive-entropy measures.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The covering principle may connect the absence of dominated splittings to the possibility of controlling conformal distortion along orbits.
  • Similar constructions could be tested on cocycles over other expansive bases to see whether the entropy gap persists.
  • The result suggests that the space of cocycles without splittings is approximable by ones whose Lyapunov exponents are constrained by the bounded-orbit condition.

Load-bearing premise

The base system must be a positive-entropy subshift of finite type and the cocycle must be continuous so that the multiple covering principle can be applied to produce the stated measures.

What would settle it

A continuous SL(d,R) cocycle over a positive-entropy subshift of finite type that has no dominated splitting and for which no C^0-small perturbation yields a cocycle whose positive-entropy measures with bounded orbits remain stable under C^α perturbations.

Figures

Figures reproduced from arXiv: 2605.11848 by Hesam Rajabzadeh, Meysam Nassiri, Zahra Reshadat.

Figure 1
Figure 1. Figure 1: The graph associated with the SFT corresponding to H “ p 1 1 1 0 q, where A “ t1, 2u and n “ 3. The next lemma establishes some properties of the aforementioned graph when the SFT is transitive. Lemma 2.2. Let σ : ΣH Ñ ΣH be a transitive SFT. Then for every a, b P Afin H , we have Tpa, bq ‰ H. In particular, for every n ě 1, the graph associated with the vertex set A ˆn H is strongly connected (i.e., there… view at source ↗
Figure 2
Figure 2. Figure 2: Induction process to define Wi`1,j1 from Wi,j . Illustration of the family of nested intervals generating a Cantor set of points in W0,0 with bounded fiberwise orbits. In this figure, m “ 2, and ni`1,2j :“ ni,j ` k1, ni`1,2j`1 :“ ni,j ` k2. A˜ ni`1,j1 pyq P UBR as well. The analysis of this step is completely analogous to the arguments presented in the proof of [NRR26, Proposition 5.6]. Finally, the disjoi… view at source ↗
read the original abstract

As the second part of a series on linear cocycles over chaotic systems, this paper establishes a "multiple covering principle" that robustly yields positive-entropy ergodic measures supported on fiberwise uniformly bounded orbits. Using this mechanism, we prove that any continuous $\mathrm{SL}(d,\mathbb{R})$ cocycle over a positive-entropy subshift of finite type either admits a dominated splitting or can be $C^0$-approximated by one that $C^\alpha$-stably supports such measures ($\alpha>0$). Additionally, for non-isometric cocycles, we show that the topological entropy of these bounded orbits is strictly less than that of the base subshift.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. This paper, the second in a series, introduces a 'multiple covering principle' that produces positive-entropy ergodic measures supported on fiberwise uniformly bounded orbits for continuous SL(d,R) cocycles over positive-entropy subshifts of finite type. It then establishes that any such cocycle either admits a dominated splitting or can be C^0-approximated by one that C^α-stably supports such measures for some α>0. For non-isometric cocycles, the topological entropy of the bounded orbits is shown to be strictly less than the entropy of the base subshift.

Significance. If the multiple covering principle is established rigorously and applies robustly under the stated hypotheses, the result would constitute a meaningful advance in the ergodic theory of linear cocycles over hyperbolic bases. The dichotomy and C^0-approximation statements, together with the strict entropy inequality for non-isometric cases, provide both a structural classification and a quantitative distinction that could serve as tools for subsequent work on quasi-conformal cocycles and dominated splittings.

minor comments (3)
  1. [Introduction] The precise definition and hypotheses of the multiple covering principle (introduced in §3) should be stated in a self-contained manner in the introduction, including any dependence on the continuity of the cocycle and the positive-entropy assumption on the SFT, to allow readers to assess its independence from the main theorem.
  2. [Theorem 1.2] In the statement of the main approximation result (Theorem 1.2), the value or range of α>0 is not quantified; an explicit lower bound or dependence on the cocycle and base would strengthen the claim.
  3. [Theorem 1.3] The entropy comparison for non-isometric cocycles (Theorem 1.3) relies on a comparison between the topological entropy of the bounded-orbit measures and h_top of the base; a brief remark on whether equality can hold in the isometric case would clarify the sharpness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the recognition of the multiple covering principle as a potential advance, and the recommendation for minor revision. No specific major comments were listed in the report, so we have no point-by-point rebuttals to provide at this stage. We stand ready to incorporate any minor suggestions once detailed feedback is received.

Circularity Check

0 steps flagged

No circularity; new principle introduced independently

full rationale

The paper defines and establishes a multiple covering principle within its own arguments to produce the positive-entropy ergodic measures with uniformly bounded fiber orbits. This principle is then applied to obtain the stated dichotomy or C^0-approximation result for continuous SL(d,R) cocycles over positive-entropy SFTs, along with the strict entropy inequality for non-isometric cases. No load-bearing step reduces by definition, by fitted-parameter renaming, or by a self-citation chain whose content is unverified outside the present work; the derivation remains self-contained against the base dynamical assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Insufficient information; abstract does not specify free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5418 in / 1101 out tokens · 58082 ms · 2026-05-13T05:07:57.725907+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

  1. [1]

    Avila , J

    A. Avila , J. Bochi , and J.-C. Yoccoz , Uniformly hyperbolic finite-valued \(SL(2, R)\)-cocycles , Comment. Math. Helv. 85 (2010), no. 4, 813--884

  2. [2]

    Avila, S

    A. Avila, S. Crovisier, and A. Wilkinson, Diffeomorphisms with positive metric entropy, Publ. Math. Inst. Hautes \' E tudes Sci. 124 (2016), 319--347

  3. [3]

    Avila and M

    A. Avila and M. Viana, Extremal Lyapunov exponents: an invariance principle and applications , Invent. Math. 181 (2010), no. 1, 115--178

  4. [4]

    Bochi, C

    J. Bochi, C. Bonatti, and L. J. D\' az, Robust vanishing of all L yapunov exponents for iterated function systems , Math. Z. 276 (2014), no. 1-2, 469--503

  5. [5]

    Bochi, C

    J. Bochi, C. Bonatti, and L. J. D \' az, Robust criterion for the existence of nonhyperbolic ergodic measures, Communications in Mathematical Physics 344 (2016), no. 3, 751--795

  6. [6]

    Bonatti, L

    C. Bonatti, L. J. D \' az, and D. Kwietniak, Robust existence of nonhyperbolic ergodic measures with positive entropy and full support, Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 22 (2021), no. 4, 1643--1672

  7. [7]

    Bonatti, L

    C. Bonatti, L. J. D\' az, and E. R. Pujals, A C^1 -generic dichotomy for diffeomorphisms: weak forms of hyperbolicity or infinitely many sinks or sources , Ann. of Math. (2) 158 (2003), no. 2, 355--418

  8. [8]

    Bonatti, L

    C. Bonatti, L. J. D\' az, and M. Viana, Dynamics beyond uniform hyperbolicity, Encyclopaedia of Mathematical Sciences, vol. 102, Springer-Verlag, Berlin, 2005, A global geometric and probabilistic perspective, Mathematical Physics, III

  9. [9]

    Bochi and N

    J. Bochi and N. Gourmelon, Some characterizations of domination, Math. Z. 263 (2009), no. 1, 221--231

  10. [10]

    Bochi and A

    J. Bochi and A. Navas, Almost reduction and perturbation of matrix cocycles, Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire 31 (2014), no. 6, 1101--1107

  11. [11]

    Bochi, Genericity of zero L yapunov exponents , Ergodic Theory Dynam

    J. Bochi, Genericity of zero L yapunov exponents , Ergodic Theory Dynam. Systems 22 (2002), no. 6, 1667--1696

  12. [12]

    , Removing quasiconformal orbits, Studia Mathematica (2026)

  13. [13]

    Bochi, R

    J. Bochi, R. Potrie, and A. Sambarino, Anosov representations and dominated splittings, Journal of the European Mathematical Society 21 (2019), no. 11, 3343--3414

  14. [14]

    Benoist and J-F

    Y. Benoist and J-F. Quint, Random walks on reductive groups, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 62, Springer, Cham, 2016

  15. [15]

    Bochi and M

    J. Bochi and M. Rams, The entropy of L yapunov-optimizing measures of some matrix cocycles , J. Mod. Dyn. 10 (2016), 255--286

  16. [16]

    Bochi and M

    J. Bochi and M. Viana, The L yapunov exponents of generic volume-preserving and symplectic maps , Ann. of Math. (2) 161 (2005), no. 3, 1423--1485

  17. [17]

    Coronel, A

    D. Coronel, A. Navas, and M. Ponce, On bounded cocycles of isometries over minimal dynamics, Journal of Modern Dynamics 7 (2013), no. 1, 45–74

  18. [18]

    L. J. D \' az, K. Gelfert, and M. Rams, Entropy spectrum of lyapunov exponents for nonhyperbolic step skew-products and elliptic cocycles, Communications in Mathematical Physics 367 (2019), no. 2, 351--416

  19. [19]

    1, 73--141

    , Variational principle for nonhyperbolic ergodic measures: skew products and elliptic cocycles, Communications in Mathematical Physics 394 (2022), no. 1, 73--141

  20. [20]

    Fakhari, M

    A. Fakhari, M. Nassiri, and H. Rajabzadeh, Stable local dynamics: Expansion, quasi-conformality and ergodicity, Advances in Mathematics 462 (2025), 110088

  21. [21]

    Furstenberg, Noncommuting random products, Trans

    H. Furstenberg, Noncommuting random products, Trans. Am. Math. Soc. 108 (1963), 377--428

  22. [22]

    Kalinin, Livšic theorem for matrix cocycles, Annals of Mathematics 173 (2011), no

    B. Kalinin, Livšic theorem for matrix cocycles, Annals of Mathematics 173 (2011), no. 2, 1025–1042

  23. [23]

    Kalinin and V

    B. Kalinin and V. Sadovskaya, Linear cocycles over hyperbolic systems and criteria of conformality, J. Mod. Dyn. 4 (2010), no. 3, 419--441

  24. [24]

    Kalinin and V

    B. Kalinin and V. Sadovskaya, Boundedness, compactness, and invariant norms for banach cocycles over hyperbolic systems, Proceedings of the American Mathematical Society 146 (2018), no. 9, 3801--3813

  25. [25]

    Lacka, Non-hyperbolic ergodic measures with the full support and positive entropy, Monatsh

    M. Lacka, Non-hyperbolic ergodic measures with the full support and positive entropy, Monatsh. Math. 200 (2023), no. 1, 163--178

  26. [26]

    F. Ledrappier, Positivity of the exponent for stationary sequences of matrices, Lyapunov Exponents (Berlin, Heidelberg) (Ludwig Arnold and Volker Wihstutz, eds.), Springer Berlin Heidelberg, 1986, pp. 56--73

  27. [27]

    Lind, Perturbations of shifts of finite type, SIAM Journal on Discrete Mathematics 2 (1989), no

    D. Lind, Perturbations of shifts of finite type, SIAM Journal on Discrete Mathematics 2 (1989), no. 3, 350--365

  28. [28]

    Lind and B

    D. Lind and B. Marcus, An introduction to symbolic dynamics and coding, 2nd updated edition ed., Camb. Math. Libr., Cambridge: Cambridge University Press, 2021

  29. [29]

    Ledrappier and L.-S

    F. Ledrappier and L.-S. Young, The metric entropy of diffeomorphisms: Part II : Relations between entropy, exponents and dimension , Annals of Mathematics 122 (1985), no. 3, 540--574

  30. [30]

    Ma \ n \'e , An ergodic closing lemma, Annals of Mathematics 116 (1982), no

    R. Ma \ n \'e , An ergodic closing lemma, Annals of Mathematics 116 (1982), no. 3, 503--540

  31. [31]

    Nassiri and M

    M. Nassiri and M. Zareh Bidaki, Cantor sets in higher dimension I : Criterion for stable intersections , arXiv: 2502.02906 (2025)

  32. [32]

    Nassiri, H

    M. Nassiri, H. Rajabzadeh, and Z. Reshadat, Cocycles with quasi-conformality I : Stability and abundance , Journal of the Institute of Mathematics of Jussieu (2026), 1–43

  33. [33]

    Pesin and V

    Y. Pesin and V. Climenhaga, Lectures on fractal geometry and dynamical systems, Student Mathematical Library, vol. 52, American Mathematical Society, Providence, RI, 2009

  34. [34]

    Pesin, Dimension theory in dynamical systems: contemporary views and applications, Chicago: The University of Chicago Press, 1998

    Y. Pesin, Dimension theory in dynamical systems: contemporary views and applications, Chicago: The University of Chicago Press, 1998

  35. [35]

    E. R. Pujals and M. Sambarino, Homoclinic bifurcations, dominated splitting, and robust transitivity, Handbook of dynamical systems. Volume 1B, Amsterdam: Elsevier, 2006, pp. 327--378

  36. [36]

    A. N. Quas, Rigidity of continuous coboundaries, Bull. London Math. Soc. 29 (1997), no. 5, 595--600

  37. [37]

    Reshadat, Quasi-conformal behaviour in linear cocycles, Ph.D

    Z. Reshadat, Quasi-conformal behaviour in linear cocycles, Ph.D. thesis, IPM, 2025

  38. [38]

    Sambarino, A (short) survey on dominated splittings, Mathematical Congress of the Americas, Contemporary Mathematics, vol

    M. Sambarino, A (short) survey on dominated splittings, Mathematical Congress of the Americas, Contemporary Mathematics, vol. 656, American Mathematical Society, Providence, RI, 2016, pp. 149--183

  39. [39]

    Viana, Almost all cocycles over any hyperbolic system have nonvanishing Lyapunov exponents , Ann

    M. Viana, Almost all cocycles over any hyperbolic system have nonvanishing Lyapunov exponents , Ann. Math. (2) 167 (2008), no. 2, 643--680

  40. [40]

    Yoccoz, Some questions and remarks about \(SL(2, R)\) cocycles , Modern dynamical systems and applications

    J-C. Yoccoz, Some questions and remarks about \(SL(2, R)\) cocycles , Modern dynamical systems and applications. Dedicated to Anatole Katok on his 60th birthday, Cambridge: Cambridge University Press, 2004, pp. 447--458