pith. sign in

arxiv: 1907.00815 · v1 · pith:PYLYFXJXnew · submitted 2019-07-01 · 🧮 math.DS

Random product of quasi-periodic cocycles

Jamerson Bezerra , Mauricio Poletti This is my paper

Pith reviewed 2026-05-25 11:25 UTC · model grok-4.3

classification 🧮 math.DS
keywords quasi-periodic cocyclesrandom productsLyapunov exponentsSL(2,R)continuity pointsC^r densityGL(d,R)
0
0 comments X

The pith

The random product of most quasi-periodic SL(2,R) cocycle tuples has positive and C^0-continuous Lyapunov exponent.

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

The paper shows that among C^r tuples of quasi-periodic cocycles valued in SL(2,R), the ones whose random product has positive Lyapunov exponent include a subset that is open in the C^0 topology and dense in every C^r topology. These tuples are also points of continuity for the Lyapunov exponent under C^0 changes. For GL(d,R) with d>2 and one cocycle diagonal, a C^r dense set yields simple spectrum together with C^0 continuity. A reader would care because this identifies robust, generic behavior for exponents in random compositions of circle or torus maps.

Core claim

The set of C^r (0≤r≤∞ or analytic) k+1-tuples of quasi-periodic cocycles taking values in SL(2,R) such that the random product has positive Lyapunov exponent contains a C^0 open and C^r dense subset which is formed by C^0 continuity points of the Lyapunov exponent. For k+1-tuples in GL(d,R) with d>2, if one cocycle is diagonal then there exists a C^r dense set with simple Lyapunov spectrum that are C^0 continuity points.

What carries the argument

The random product, defined as random composition of the finite set of cocycles according to a probability measure.

If this is right

  • Positive Lyapunov exponent holds on a C^0-open set of tuples.
  • The positive-exponent property is dense in the C^r topology for every r.
  • The Lyapunov exponent is continuous at a C^r-dense set of points under C^0 perturbations.
  • In GL(d,R) for d>2 with one diagonal cocycle, simple spectrum occurs on a C^r-dense set of continuity points.

Where Pith is reading between the lines

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

  • The openness may allow numerical sampling to locate positive-exponent examples reliably.
  • The density result could extend to cocycles over other compact groups if the diagonal condition is relaxed.
  • Continuity points may stabilize statistical properties of the random orbits beyond the exponent itself.

Load-bearing premise

The probability measure on the finite set of cocycles is fixed in a way that lets openness and density hold without extra conditions on rotation numbers.

What would settle it

An explicit C^r tuple whose random product has positive Lyapunov exponent, yet every C^0-nearby tuple has zero exponent or a discontinuous jump in the exponent.

read the original abstract

Given a finite set of quasi-periodic cocycles the random product of them is defined as the random composition according to some probability measure. We prove that the set of $C^r$, $0\leq r \leq \infty$ (or analytic) $k+1$-tuples of quasi periodic cocycles taking values in $SL_2(\mathbb{R})$ such that the random product of them has positive Lyapunov exponent contains a $C^0$ open and $C^r$ dense subset which is formed by $C^0$ continuity point of the Lyapunov exponent For $k+1$-tuples of quasi periodic cocycles taking values in $GL_d(\mathbb{R})$ for $d>2$, we prove that if one of them is diagonal, then there exists a $C^r$ dense set of such $k+1$-tuples which has simples Lyapunov spectrum and are $C^0$ continuity point of the Lyapunov exponent.

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

2 major / 2 minor

Summary. The paper proves existence of a C^0-open and C^r-dense subset (0 ≤ r ≤ ∞ or analytic) of (k+1)-tuples of quasi-periodic SL(2,R)-cocycles for which the random product (defined via an unspecified probability measure on the finite set) has positive Lyapunov exponent; this subset consists of C^0 continuity points of the Lyapunov exponent. For GL(d,R) (d>2) with one cocycle diagonal, it proves a C^r-dense set of tuples with simple Lyapunov spectrum that are likewise C^0 continuity points.

Significance. If the central claims hold under a suitably restricted measure, the result would strengthen genericity statements for positive Lyapunov exponents and their continuity in the setting of random products of quasi-periodic cocycles, building on existing work in smooth ergodic theory and cocycle dynamics.

major comments (2)
  1. [Abstract] Abstract and statement of main theorems: the probability measure on the finite set of cocycles is described only as 'some probability measure' with no further restrictions (full support, uniform, non-degenerate, etc.). This is load-bearing for the positivity and density claims, as the statements can fail for measures supported on commuting pairs or with zero mass on a generator even when the cocycles are C^∞.
  2. [Abstract] Abstract (GL(d,R) case): the claim that one cocycle being diagonal suffices for a dense set with simple spectrum and continuity points requires explicit verification that the diagonal assumption interacts correctly with the unspecified measure; without this, the reduction to the SL(2,R) case or the simplicity argument may not be uniform.
minor comments (2)
  1. [Introduction] Notation for the random product and the probability measure should be introduced with a precise definition (e.g., a probability vector p = (p_1,...,p_{k+1})) already in the introduction.
  2. [Introduction] The C^0 topology on the space of tuples and the precise meaning of 'C^0 continuity point of the Lyapunov exponent' should be stated explicitly before the main theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments on our paper. We address each major comment below and will make the necessary revisions to clarify the role of the probability measure.

read point-by-point responses

  1. Referee: [Abstract] Abstract and statement of main theorems: the probability measure on the finite set of cocycles is described only as 'some probability measure' with no further restrictions (full support, uniform, non-degenerate, etc.). This is load-bearing for the positivity and density claims, as the statements can fail for measures supported on commuting pairs or with zero mass on a generator even when the cocycles are C^∞.

    Authors: We agree with the referee that the probability measure requires explicit specification. The results hold when the measure has full support on the finite set, which prevents the degenerate cases mentioned. In the revised manuscript, we will update the abstract and main theorems to state that the probability measure has full support. This is a standard assumption that strengthens the applicability of our genericity results. revision: yes

  2. Referee: [Abstract] Abstract (GL(d,R) case): the claim that one cocycle being diagonal suffices for a dense set with simple spectrum and continuity points requires explicit verification that the diagonal assumption interacts correctly with the unspecified measure; without this, the reduction to the SL(2,R) case or the simplicity argument may not be uniform.

    Authors: The diagonal condition on one cocycle allows us to reduce the problem of simplicity of the Lyapunov spectrum to the SL(2,R) setting by projecting onto suitable invariant directions. With the measure having full support (as clarified in response to the first comment), the density and continuity properties carry over uniformly. We will include an additional remark in the revised version to explicitly verify this interaction and ensure the argument is uniform across the support of the measure. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states an existence/density theorem for C^r tuples of quasi-periodic SL(2,R) cocycles whose random products (w.r.t. an unspecified measure) have positive Lyapunov exponent, with the set containing a C^0-open/C^r-dense subset of continuity points. No quoted equations or steps reduce the claimed positivity, openness, or density to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The result is presented as proved from the given assumptions on quasi-periodicity and the target group; the measure is treated as an external parameter rather than derived internally. This matches the default case of a non-circular theorem statement.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract was available for review; no explicit free parameters, axioms, or invented entities are stated in the provided text.

pith-pipeline@v0.9.0 · 5691 in / 1157 out tokens · 26899 ms · 2026-05-25T11:25:02.851871+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Avila, J

    A. Avila, J. Santamaria, and M. Viana. Holonomy invarian ce: rough regularity and applica- tions to Lyapunov exponents. Ast´ erisque, 358:13–74, 2013

    work page 2013

  2. [2]

    Avila and M

    A. Avila and M. Viana. Simplicity of Lyapunov spectra: a s ufficient criterion. Port. Math. , 64:311–376, 2007

    work page 2007

  3. [3]

    Avila and M

    A. Avila and M. Viana. Extremal Lyapunov exponents: an in variance principle and applica- tions. Invent. Math. , 181(1):115–189, 2010

    work page 2010

  4. [4]

    A. Avila. Density of positive Lyapunov exponents for sl( 2,r)-cocycles. J. Amer. Math. Soc. , 24:9991014, 2011

    work page 2011

  5. [5]

    Backes, M

    L. Backes, M. Poletti, and A. S´ anchez. The set of fiber-bu nched cocyles with nonvanishing lyapunov exponents over a partially hyperbolic map is open. Math. Research Letters , 25, 2018

    work page 2018

  6. [6]

    Backes, M

    L. Backes, M. Poletti, P. Varandas, and Y. Lima. Simplici ty of lyapunov spectrum for linear cocycles over non-uniformly hyperbolic systems. Ergod. Th. & Dynam. Sys. , 2019

    work page 2019

  7. [7]

    Blumenthal, J

    A. Blumenthal, J. Xue, and LS. Young. Lyapunov exponents for random perturbations of some area-preserving maps including the standard map. Ann. of Math. (2) , 185(1):285–310, 2017

    work page 2017

  8. [8]

    J. Bochi. Genericity of zero Lyapunov exponents. Ergod. Th. & Dynam. Sys. , 22:1667–1696, 2002

    work page 2002

  9. [9]

    Bochnak, M

    J. Bochnak, M. Coste, and MF. Roy. Real algebraic geometry , volume 36. Springer Science & Business Media, 2013

    work page 2013

  10. [10]

    Bonatti and M

    C. Bonatti and M. Viana. Lyapunov exponents with multip licity 1 for deterministic products of matrices. Ergod. Th. & Dynam. Sys , 24:1295–1330, 2004

    work page 2004

  11. [11]

    D. Damanik. Schr¨ odinger operators with dynamically d efined potentials. Ergod. Th. & Dy- nam. Sys. , 37(6):1681–1764, 2017

    work page 2017

  12. [12]

    Continuity, positivity and simplicity of the Lyapunov exponents for quasi-periodic cocycles

    P. Duarte and S. Klein. Continuity positivity and simpl icity of the Lyapunov exponents for linear quasi-periodic cocycles. Preprint https://arxiv. org/pdf/1603.06851.pdf

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    I. Ya. Gol’dsheid and G. A. Margulis. Lyapunov indices o f a product of random matrices. Uspekhi Mat. Nauk. , 44:13–60, 1989

    work page 1989

  14. [14]

    Golubitsky and V

    M. Golubitsky and V. Guillemin. Stable mappings and their singularities . Springer-Verlag New York Inc., 1973

    work page 1973

  15. [15]

    Guivarc’h and A

    Y. Guivarc’h and A. Raugi. Products of random matrices : convergence theorems. Contemp. Math., 50:31–54, 1986

    work page 1986

  16. [16]

    Ledrappier, M

    F. Ledrappier, M. Shub, C. Sim´ o, and A. Wilkinson. Rand om versus deterministic exponents in a rich family of diffeomorphisms. J. Statist. Phys. , 113(1-2):85–149, 2003

    work page 2003

  17. [17]

    Obata and M

    D. Obata and M. Poletti. On the genericity of positive ex ponents of conservative skew prod- ucts with two-dimensional fibers. arXiv preprint arXiv:180 9.03874

    work page

  18. [18]

    V. I. Oseledets. A multiplicative ergodic theorem: Lya punov characteristic numbers for dy- namical systems. Trans. Moscow Math. Soc. , 19:197–231, 1968

    work page 1968

  19. [19]

    M. Poletti. Stably positive lyapunov exponents for sym plectic linear cocycles over partially hyperbolic diffeomorphisms. Disc. & Cont. Dynam. Sys , 38:5163, 2018

    work page 2018

  20. [20]

    Poletti and M

    M. Poletti and M. Viana. Simple lyapunov spectrum for ce rtain linear cocycles over partially hyperbolic maps. Nonlinearity, 32(1):238, 2018

    work page 2018

  21. [21]

    M. Viana. Multidimensional nonhyperbolic attractors . Inst. Hautes ´Etudes Sci. Publ. Math. , 85:63–96, 1997

    work page 1997

  22. [22]

    M. Viana. Almost all cocycles over any hyperbolic syste m have nonvanishing Lyapunov ex- ponents. Ann. of Math. , 167:643–680, 2008

    work page 2008

  23. [23]

    W ang and J

    Y. W ang and J. You. Quasi-periodic Schrdinger cocycles with positive Lyapunov exponent are not open in the smooth topology. Preprint arXiv:1501.05 380, 2015. Mauricio Poletti : CNRS-Laboratoire de Math ´ematiques d’Orsay, UMR 8628, Univer- sit´e Paris-Sud 11, Orsay Cedex 91405, France E-mail: mpoletti@impa.br 16 JAMERSON BEZERRA AND MAURICIO POLETTI Jame...

    work page 2015