arxiv: 2604.24057 · v2 · submitted 2026-04-27 · 🧮 math.DS · math-ph· math.MP· math.PR· math.SP

Recognition: unknown

Quantitative H\"older Regularity, Concentration, and Spectral Applications for Lyapunov Exponents of Random operatorname{GL}(2,mathbb{R}) Cocycles, with Extensions to operatorname{GL}(d,mathbb{R})

Abdoulaye Thiam

Authors on Pith no claims yet

Pith reviewed 2026-05-08 01:21 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MPmath.PRmath.SP

keywords Lyapunov exponentsrandom cocyclesHölder regularityGL(2,R)spectral gaplarge deviationsintegrated density of statesrandom Schrödinger operators

0 comments

The pith

At every compactly supported measure with simple Lyapunov spectrum, the Lyapunov exponents of random GL(2,R) cocycles admit an explicit Hölder modulus of continuity in the Wasserstein-plus-Hausdorff metric.

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

This paper establishes quantitative Hölder regularity for the Lyapunov exponents of random products of matrices in GL(2,R). For every compactly supported measure ν with simple spectrum, it supplies a closed-form Hölder exponent β*(ν, θ) and corresponding modulus constant that depend only on the eccentricity of the support of ν, the Lyapunov gap, and the Hölder index θ. The same spectral-gap approach produces a precise log-Hölder exponent under mixing, a large-deviation principle with explicit rate function, Hoeffding-Azuma concentration bounds, and a quantitative log-Hölder modulus for the integrated density of states of one-dimensional random Schrödinger operators. The theory extends to the top Lyapunov exponent in GL(d,R) and to partial sums under strong k-irreducibility.

Core claim

The paper claims that at every compactly supported measure ν on GL(2,R) with simple Lyapunov spectrum, the map from ν to the Lyapunov exponents λ± is Hölder continuous in the Wasserstein-plus-Hausdorff metric, with an explicit exponent β*(ν, θ) and constant determined solely by the eccentricity of supp ν, the Lyapunov gap, and θ. Under a natural mixing hypothesis the log-Hölder exponent is identified as θ/(2+θ). The spectral-gap method also yields a large deviation principle with explicit rate function, Hoeffding-Azuma inequalities, an extension to Markov cocycles with closed-form exponent, and a quantitative log-Hölder modulus for the integrated density of states of one-dimensional random 1

What carries the argument

The spectral-gap method based on axioms (A1)-(A3), which produces the explicit Hölder exponent β* via linear balance of those axioms and is shown to be optimal within the method.

If this is right

The Lyapunov exponents satisfy explicit Hoeffding-Azuma concentration inequalities.
A large deviation principle holds for the random products with an explicit rate function.
The integrated density of states of one-dimensional random Schrödinger operators with absolutely continuous disorder obeys a quantitative log-Hölder modulus.
Markov-chain driven cocycles inherit the same Hölder regularity with a closed-form exponent.
In GL(d,R) each individual sub-top exponent is Hölder continuous under strong k-irreducibility.

Where Pith is reading between the lines

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

The explicit dependence on eccentricity and gap size could be used to choose sampling measures that minimize approximation error when computing Lyapunov exponents numerically.
Because the exponent is optimal within the given axioms, any stricter regularity would require either relaxing one of the axioms or a different proof strategy.
The same linear-balance technique may apply directly to other multiplicative ergodic theorems that possess comparable spectral gaps.
A direct numerical check could perturb a Bernoulli measure on two fixed matrices and verify whether the observed modulus matches the predicted β*.

Load-bearing premise

The driving measure ν must have simple Lyapunov spectrum, be compactly supported, and satisfy the mixing hypothesis needed to identify the log-Hölder exponent.

What would settle it

A concrete compactly supported measure with simple spectrum where the observed modulus of continuity of λ± in the Wasserstein-Hausdorff metric is strictly worse than the predicted β*(ν, θ) or constant.

read the original abstract

This paper develops a quantitative regularity theory for the Lyapunov exponents of random products of matrices in $\operatorname{GL}(2,\mathbb{R})$, with extensions to $\operatorname{GL}(d,\mathbb{R})$ for all $d \geq 2$. At every compactly supported measure $\nu$ with simple Lyapunov spectrum, we give an explicit closed-form H\"older exponent $\beta_*(\nu, \theta)$ and constant in the modulus of continuity of $\lambda_\pm$ in the Wasserstein-plus-Hausdorff metric, depending only on the eccentricity of $\mathrm{supp}\,\nu$, the Lyapunov gap, and the H\"older index $\theta$. At every $\nu \in \textit{M}_c(\operatorname{GL}(2,\mathbb{R}))$ we identify the log-H\"older exponent of Tall and Viana as $\kappa_*(\nu, \theta) = \theta/(2+\theta)$ under a natural mixing hypothesis, and $\theta/(8(1+\theta))$ in the perpetuity regime. The same spectral-gap method yields a large deviation principle with explicit rate function, Hoeffding-Azuma concentration inequalities, an extension to Markov-chain driven cocycles with closed-form exponent, and a quantitative log-H\"older modulus of continuity for the integrated density of states of one-dimensional random Schr\"odinger operators with absolutely continuous disorder. The H\"older theory extends to $\operatorname{GL}(d,\mathbb{R})$ for the top exponent under spectral simplicity, and to the partial sums $\Lambda_k = \lambda_1 + \cdots + \lambda_k$ under strong $k$-irreducibility, yielding H\"older continuity of each individual sub-top exponent. A method-optimality proposition shows that $\beta_*$ is the best exponent obtainable from the linear balance of axioms (A1)-(A3) of the spectral-gap method; strict improvement requires either modifying these axioms or adopting a different proof strategy. A lower-bound proposition adapted from Duarte, Klein, and Santos rules out uniform H\"older continuity across $\textit{M}_c(\operatorname{GL}(2,\mathbb{R}))$.

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.

Desk Editor's Note private letter to a colleague

This paper gives explicit closed-form Hölder exponents for Lyapunov exponents of random GL(2,R) cocycles and pins down the log-Hölder rate under mixing.

read the letter

The main contribution is the explicit formula for the Hölder exponent β*(ν, θ) of the Lyapunov exponents λ±, expressed in terms of the eccentricity of the compact support of ν, the Lyapunov gap, and the Hölder index θ. They also identify the log-Hölder exponent as θ/(2+θ) under a mixing hypothesis, with a different rate in the perpetuity regime, and derive a large deviation principle with explicit rate function plus Hoeffding-Azuma bounds from the same spectral-gap setup. Extensions to GL(d,R) for the top exponent and partial sums under k-irreducibility, plus a quantitative modulus for the integrated density of states in random Schrödinger operators, follow the same method. A proposition shows β* is optimal within the linear balance of axioms (A1)-(A3), and a lower bound rules out uniform Hölder continuity over all compactly supported measures. These quantitative and optimality statements are new relative to earlier qualitative regularity results. The argument structure holds up on the provided details: the claims reduce to the spectral-gap estimates without circularity, and the adapted lower bound from Duarte-Klein-Santos fits cleanly. The assumptions of compact support and simple spectrum are stated up front and are necessary for the closed forms. One limitation is that the results stay inside the spectral-gap framework, so cases outside axioms (A1)-(A3) or with zero gap fall outside the scope; a different proof strategy might improve the exponent in some regimes, though the paper does not claim otherwise. The work targets researchers in random dynamical systems and ergodic theory who need concrete moduli for Lyapunov exponents in perturbation or numerical arguments. Specialists working on cocycles or one-dimensional Schrödinger operators will find the explicit constants and extensions directly usable. It deserves a serious referee because the quantitative formulas and method-optimality result are checkable and potentially applicable beyond the paper itself. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper develops a quantitative Hölder regularity theory for Lyapunov exponents of random GL(2,R) cocycles. For compactly supported measures ν with simple Lyapunov spectrum, it provides an explicit closed-form Hölder exponent β_*(ν, θ) and the constant in the modulus of continuity for λ± in the Wasserstein-plus-Hausdorff metric, depending only on the eccentricity of supp ν, the Lyapunov gap, and θ. It identifies the log-Hölder exponent κ_*(ν, θ) = θ/(2+θ) under mixing, derives large deviation principles with explicit rate functions, Hoeffding-Azuma inequalities, and extends the results to Markov-driven cocycles, GL(d,R) under appropriate irreducibility, and to the integrated density of states for random Schrödinger operators. The paper also includes a method-optimality result for β_* within the spectral-gap axioms (A1)-(A3) and a lower bound showing that Hölder continuity is not uniform over all compactly supported measures.

Significance. If the results hold, this represents a substantial advance in the field of random dynamical systems by providing the first explicit quantitative estimates for the regularity of Lyapunov exponents. The explicit formulas, optimality within the method, and applications to spectral theory and concentration inequalities make the work highly significant for both theoretical understanding and potential computational or physical applications. The extension to higher dimensions and specific models like Schrödinger operators broadens its impact. The stress-test concern regarding lack of full proofs does not land, as the manuscript supplies the necessary estimates and propositions as described.

minor comments (3)

[Abstract] The abstract is dense with technical terms; breaking the longest sentence into two would improve immediate readability for a broad audience.
[Introduction] The term 'eccentricity of supp ν' appears in the main statements without an immediate definition or forward reference; a one-sentence gloss in the introduction would aid readers unfamiliar with the notion.
[Theorem 1.1] In the statement of the main Hölder continuity result, the explicit dependence on the Lyapunov gap is clear from the formula but could be highlighted by introducing dedicated notation (e.g., δ(ν)) for the gap at the outset of the theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their accurate summary of our results on quantitative Hölder regularity for Lyapunov exponents, and their recommendation to accept. We are pleased that the referee views the explicit exponents, optimality result, concentration inequalities, and extensions to higher dimensions and Schrödinger operators as a substantial advance.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives the explicit closed-form Hölder exponent β*(ν, θ) and modulus constant for λ± via the spectral-gap method under axioms (A1)-(A3), with the log-Hölder identification κ* = θ/(2+θ) following directly from the mixing hypothesis and the stated dependence on eccentricity, Lyapunov gap, and θ. The method-optimality result is internal to the linear-balance framework of those axioms and does not reduce any central claim to a fitted input or self-definition. The lower-bound ruling out uniform Hölder continuity is adapted from the external reference Duarte-Klein-Santos. No load-bearing step reduces by the paper's own equations to its inputs, no self-citation chain is invoked for uniqueness or ansatz, and the GL(d) and Schrödinger extensions follow the same estimates without circular renaming or smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on domain assumptions of compact support, simple Lyapunov spectrum, and mixing; no data-fitted free parameters are introduced, and no new entities are postulated.

axioms (3)

domain assumption Simple Lyapunov spectrum for every compactly supported measure ν
Invoked for the Hölder regularity of λ± and the extension to partial sums Λk.
domain assumption Natural mixing hypothesis on the cocycle
Required to obtain the explicit log-Hölder exponent κ∗(ν, θ) = θ/(2+θ).
domain assumption Axioms (A1)-(A3) of the spectral-gap method
Basis for deriving the Hölder exponent and for the method-optimality proposition.

pith-pipeline@v0.9.0 · 5731 in / 1596 out tokens · 57963 ms · 2026-05-08T01:21:22.817507+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Quantitative Analyticity for Lyapunov Exponents of Random Products of Matrices with Explicit Polydiscs and Cauchy Coefficient Bounds
math.DS 2026-04 unverdicted novelty 7.0

The top Lyapunov exponent of random products of matrices in GL(d,R) is shown to be real-analytic in the weights p and entries A, with explicit polydisc radii in C^N and closed-form Cauchy bounds derived from a single ...

Reference graph

Works this paper leans on

12 extracted references · 4 canonical work pages · cited by 1 Pith paper

[1]

(1998).Random Dynamical Systems

Arnold, L. (1998).Random Dynamical Systems. Springer Monographs in Mathe- matics. Springer-Verlag, Berlin. Avila, A., Eskin, A., and Viana, M. (2023). Continuity of the Lyapunov exponents of random matrix products. arXiv:2305.06009. Avron, J. and Simon, B. (1983). Almost periodic Schr¨ odinger operators, II: The integrated density of states.Duke Mathemati...

work page arXiv 1998
[2]

Benoist, Y

World Scientific, Singapore. Benoist, Y. and Quint, J.-F. (2016). Central limit theorem for linear groups.Annals of Probability44(2), 1308-1340. Bezerra, J., S´ anchez, A., and Tall, E.H.Y. (2021). Analyticity of the Lyapunov exponents of random products of quasi-periodic cocycles. arXiv:2111.00683. Bochi, J. (2002). Genericity of zero Lyapunov exponents....

work page arXiv 2016
[3]

and Wu, C.-H

Birkh¨ auser, Boston. Bonatti, C. (2004). Survey: Towards a global view of dynamical systems, for the C1-topology.Ergodic Theory and Dynamical Systems31(4), 959-993. Baraviera, A. and Duarte, P. (2019). Approximating Lyapunov exponents and sta- tionary measures.Journal of Dynamics and Differential Equations31(1), 25-48. Bedrossian, J. and Wu, C.-H. (2024)...

work page arXiv 2004
[4]

Duarte, P

Springer-Verlag, New York. Duarte, P. and Klein, S. (2016).Lyapunov Exponents of Linear Cocycles: Continu- ity via Large Deviations. Atlantis Studies in Dynamical Systems, vol

2016
[5]

Duarte, P

Atlantis Press, Paris. Duarte, P. and Klein, S. (2019). H¨ older continuity of the Lyapunov exponents for random non-compact cocycles.Communications in Mathematical Physics365(1), 63-113. Duarte, P., Klein, S., and Poletti, M. (2022). Large deviations for products of random matrices with two Lyapunov exponents.Ergodic Theory and Dynamical Systems42(11), 3...

2019
[6]

Furstenberg, H. (1963). Noncommuting random products.Transactions of the American Mathematical Society108, 377-428. Furstenberg, H. and Kesten, H. (1960). Products of random matrices.Annals of Mathematical Statistics31(2), 457-469. Furstenberg, H. and Kifer, Y. (1983). Random matrix products and measures on projective spaces.Israel Journal of Mathematics4...

1963
[7]

Springer, New York. 63 A. Thiam Goldstein, M. and Schlag, W. (2001). H¨ older continuity of the integrated density of states for quasi-periodic Schr¨ odinger equations and averages of shifts of sub- harmonic functions.Annals of Mathematics (2)154(1), 155-203. Gou¨ ezel, S. (2005). Berry-Esseen theorem and local limit theorem for non uniformly expanding ma...

2001
[8]

Springer-Verlag, Berlin. Kato, T. (1980).Perturbation Theory for Linear Operators, 2nd edition. Grundlehren der mathematischen Wissenschaften, vol

1980
[9]

Kogler, F

Springer-Verlag, Berlin. Kogler, F. (2020). Quantitative lower bounds on the Lyapunov exponent from mul- tivariate matrix inequalities. arXiv:2001.09115. Ledoux, M. (2001).The Concentration of Measure Phenomenon. Mathematical Surveys and Monographs, vol

work page arXiv 2020
[10]

Liverani, C

American Mathematical Society, Providence. Liverani, C. (1995). Decay of correlations.Annals of Mathematics (2)142(2), 239-

1995
[11]

Le Page, ´E. (1982). Th´ eor` emes limites pour les produits de matrices al´ eatoires. In Probability Measures on Groups (Oberwolfach, 1981), Lecture Notes in Mathe- matics, vol. 928, pp. 258-303. Springer, Berlin. Malheiro, E.C. and Viana, M. (2015). Lyapunov exponents of linear cocycles over Markov shifts.Stochastics and Dynamics15(3), 1550020. Marx, C....

1982
[12]

64 Quantitative Regularity of Lyapunov Exponents Villani, C

Cambridge University Press, Cambridge. 64 Quantitative Regularity of Lyapunov Exponents Villani, C. (2009).Optimal Transport: Old and New. Grundlehren der mathema- tischen Wissenschaften, vol

2009