arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.31086

Ledrappier-Young entropy formula for $C^1$ diffeomorphisms with dominated splitting Part 3: full formula with arbitrary multiplicities

Yao Tong
View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish the full Ledrappier-Young entropy formula for ergodic invariant measures of $C^1$ diffeomorphisms when the positive Oseledets bundles and their nonpositive complement form a dominated splitting. We prove transverse formulas under three-block domination and equality of metric and unstable entropy under positive-nonpositive domination. To complete the proof, we develop a new mechanism for estimating partial entropy through comparisons of conditional information along orbits. Applications characterize vanishing transverse dimension, give upper pointwise dimension bounds and exact dimensionality of hyperbolic measures. In the quasi-isometric-center setting, this implies a $C^1$ invariance principle for measures with nonpositive center Lyapunov exponents.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yao Tong. 2026-10-22. Ledrappier-Young entropy formula for $C^1$ diffeomorphisms with dominated splitting Part 3: full formula with arbitrary multiplicities. https://arxiv.org/abs/2610.31086

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

First Families of Regular Polygons and their Mutations

Every regular N-gon defines a canonical family of regular polygons which are conforming to the bounds of the 'star polygons' determined by N. These star polygons are formed from truncated extended edges of the N-gon and the intersection points ('star' points) determine the parameters of the family. The First Family Theorem (FFT) shows how each star[k] point defines a matching S[k] 'tile' and the GeneralizedFFT shows how every S[k] can generate their own families with an S[k+1] on the left and (if space permits) an S[k'] on the right where k' = N/2-k for N even. If such an S[k]-S[k'] pair exists it will be called a 'dual' pair and share an edge. When N is even the S[1] tile and N will form a dual pair since N = S[N/2-1]. When the outer-billiards map Tau is introduced in Section 4 the singularity set W will generate two manifolds +W and -W depending on whether N is clockwise or ccw so the relationship between +W and -W depends on how N is related to its mirror image T(N) where T is a horizontal reflection. But N is 'chiral' so no rotation by multiples of 2Pi/N can overlay T(N) on N. This means that +W and -W are distinct and W is their 'union'. But any mapping of +W and -W to W cannot be smooth because their polarities are distinct and we assert that the S[k] dual tiles are the 'resonances' of this mapping. Indeed every dual S[k]-S[k'] pair will be split between +W and -W regions so their shared edge defines the boundaries of invariant regions. The Invariance Conjecture of Appendix II says that that every dual S[k] pair with at least k or k' co-prime with N will survive in W and the number of such pairs is the algebraic complexity C(N) = EulerPhi(N)/2 so every regular N-gon will have C(N) distinct dual pairs and hence C(N)-1 invariant regions. The boundaries of these regions are separatrices which act as eigenstates in a matching Hamiltonian composed of C(N) twist maps.

math.DS↗
arXiv2026

Restricted variational principle for Lyapunov exponents of typical one-step cocycles

In this paper, we study the multifractal formalism for Lyapunov exponents of typical one-step cocycles. We establish a variational relation between the Legendre transform of topological pressure of the generalized singular value function and measure-theoretic entropies. As a consequence, we show that the restricted variational principle of Lyapunov exponents holds for typical one-step cocycles. Furthermore, we prove a variational principle formula for the generalized singular value function.

math.DS↗
arXiv2026

Conditioned stochastic stability of equilibrium states on uniformly hyperbolic sets

We establish the conditioned stochastic stability of equilibrium states for Hölder potentials on uniformly hyperbolic sets. While standard stochastic stability characterises measures on attractors, we analyse the statistics of transient dynamics on non-attracting sets by conditioning small random perturbations of the dynamics to not escape from our regions of interest. We prove that as the noise intensity vanishes, the quasi-ergodic measure of the $e^ϕ$-weighted process generated by $\e$-small random perturbations of the deterministic dynamics converges to the unique equilibrium state associated with the potential $ϕ- \log \left|\det \left. D T\right|_{E^u}\right|$. The results are obtained via perturbative spectral analysis of transfer operators acting on anisotropic Banach spaces and topological hyperbolic dynamics arguments. Furthermore, we extend this framework globally to Axiom A diffeomorphisms with multiple basic sets using dynamical filtrations. This work provides a rigorous characterisation of natural measures on uniformly hyperbolic repellers, which are fundamental in the context of transient chaos. Our results have been formalised in Lean~4.

math.DS↗