Viana Maps: Non-Uniform Expanding Dynamics

Updated 7 July 2026

Viana maps are skew-product systems that couple an expanding circle map with a quadratic fiber, exemplifying non-uniform expansion with critical dynamics.
They provide a framework to study complex behaviors such as partial hyperbolicity, SRB measures, and stretched exponential decay of correlations.
Generalizations and variants extend the model to higher-order criticalities and analytic settings, reinforcing its role in modern dynamical systems theory.

Viana maps are skew-product endomorphisms obtained by coupling an expanding circle map with a quadratic family in the fiber, and in the literature summarized here they are treated as a standard class of non-uniformly expanding dynamical systems with critical sets in dimension greater than one. They serve as an important model for the interaction between partial hyperbolicity, critical recurrence, SRB theory, large deviations, stochastic stability, thermodynamic formalism, and countable-state symbolic dynamics (Aimino et al., 2018, Alves et al., 2010, Alves et al., 2020).

1. Classical construction

A standard formulation begins by choosing $a_0\in(1,2)$ so that the critical point $x=0$ is pre-periodic for the quadratic map

$Q(x)=a_0-x^2.$

With $S^1=\mathbb R/\mathbb Z$ , a Morse function $b:S^1\to\mathbb R$ such as $b(s)=\sin(2\pi s)$ , and a small parameter $\alpha>0$ , one defines

$\hat f(s,x)=\big(\hat g(s),\hat q(s,x)\big), \qquad \hat g(s)=ds \pmod{\mathbb Z}, \qquad \hat q(s,x)=a(s)-x^2, \qquad a(s)=a_0+\alpha b(s).$

For $\alpha$ sufficiently small there exists an interval $I\subset(-2,2)$ such that $x=0$ 0. In several treatments, a Viana map is then any map sufficiently close to this model on $x=0$ 1; the neighborhood is described as $x=0$ 2-small, $x=0$ 3-small, or a small $x=0$ 4-open neighborhood, depending on the result being proved (Aimino et al., 2018, Alves et al., 2020, Alves et al., 2010).

The base dynamics is uniformly expanding, while the fiber dynamics is quadratic with a critical point. This skew-product structure is the source of the class’s characteristic combination of robust expansion in one direction and delicate recurrence to a critical set in the other. In several formulations the base degree is written with $x=0$ 5, while other summaries state the defining skew-product with $x=0$ 6; this reflects differences between basic model statements and specific perturbative theorems rather than a change in the underlying mechanism (Alves et al., 2010, Aimino et al., 2018).

2. Non-uniform expansion and critical geometry

The critical set in the classical model is the vertical line

$x=0$ 7

or, for nearby maps, a critical curve close to $x=0$ 8. The maps are non-uniformly expanding and satisfy slow approximation to the critical set. In the standard formulations used for later applications, one records a full-Lebesgue-measure set $x=0$ 9 and constants governing the asymptotic inequalities

$Q(x)=a_0-x^2.$ 0

and, for every $Q(x)=a_0-x^2.$ 1, a truncated-distance control of the form

$Q(x)=a_0-x^2.$ 2

These are precisely the non-uniform expansion and slow-recurrence conditions that drive the hyperbolic-time machinery (Santana, 2021, Alves et al., 2010).

The literature summarized here also records several global dynamical consequences. Viana maps are topologically mixing on their attractors, strongly topologically transitive, and, in a zooming-system formulation, topologically exact. They admit two positive Lyapunov exponents at Lebesgue-almost every point, and they fit the framework of continuous zooming systems with dense zooming set because non-uniform expansion plus slow recurrence implies positive frequency of hyperbolic times (Santana, 2021, Mbarki et al., 2022, Li, 31 Jul 2025).

This structure is central because the class is not uniformly hyperbolic: the quadratic fold prevents global expansivity and forces the analysis to track how orbits recover derivative growth after visits near the critical line. A recurring theme in the later theory is that pressure, entropy, or statistical weight is concentrated on orbit segments that display enough center expansion despite this critical obstruction.

3. Absolutely continuous invariant measures and stability

A foundational property of classical Viana maps is the existence of a unique ergodic absolutely continuous invariant probability measure, usually described as the unique acip or unique SRB measure. This measure is absolutely continuous with respect to Lebesgue measure, and the cited treatments use it as the reference object for deterministic and random statistical questions (Aimino et al., 2018, Santana, 2021).

The stochastic-stability theory refines this picture. For a Viana map $Q(x)=a_0-x^2.$ 3, under sufficiently small i.i.d. random perturbations chosen in a small $Q(x)=a_0-x^2.$ 4-neighborhood and satisfying the derivative-preserving condition away from the critical set, there exists a unique absolutely continuous ergodic stationary probability measure $Q(x)=a_0-x^2.$ 5. The principal conclusion is strong stochastic stability: $Q(x)=a_0-x^2.$ 6 Thus the densities of stationary measures converge in $Q(x)=a_0-x^2.$ 7 to the density of the deterministic SRB measure, improving earlier weak $Q(x)=a_0-x^2.$ 8 stochastic stability results. The proof uses random induced Gibbs-Markov maps, sample densities on inducing domains, and an $Q(x)=a_0-x^2.$ 9-limit argument for projected densities (Alves et al., 2010).

A plausible implication is that Viana maps occupy a particularly robust position among non-uniformly expanding systems with critical sets: both the existence of the physical measure and the density-level response to small noise are stable within the perturbative regime considered in the literature.

4. Correlations, large deviations, and random statistical laws

For classical Viana maps, one key input is stretched exponential decay of correlations for Hölder observables against $S^1=\mathbb R/\mathbb Z$ 0 observables with exponent

$S^1=\mathbb R/\mathbb Z$ 1

From this, a large-deviations estimate for Hölder observables is obtained: $S^1=\mathbb R/\mathbb Z$ 2 The exponent $S^1=\mathbb R/\mathbb Z$ 3 comes from the general relation

$S^1=\mathbb R/\mathbb Z$ 4

applied to $S^1=\mathbb R/\mathbb Z$ 5. The same work emphasizes that this improves the earlier exponent $S^1=\mathbb R/\mathbb Z$ 6 coming from a previous abstract large-deviations theorem, and it describes the resulting $S^1=\mathbb R/\mathbb Z$ 7 estimate as the best large-deviations rate for Viana maps available in the cited literature at that time (Aimino et al., 2018).

The proof strategy is notable because the Viana-map statement is not derived directly from skew-product geometry. Instead, one starts from stretched exponential correlation decay, passes through the transfer operator and Gordin decomposition, obtains moment bounds via Rio’s inequality, derives exponential-moment estimates, and finally applies Markov’s inequality. This replaces the Azuma–Hoeffding-based route used in the earlier comparison theorem and is the source of the improved exponent (Aimino et al., 2018).

Random perturbations exhibit a related but distinct statistical picture. For small i.i.d. perturbations of a Viana map, there exist absolutely continuous sample measures $S^1=\mathbb R/\mathbb Z$ 8 satisfying

$S^1=\mathbb R/\mathbb Z$ 9

and for almost every realization one has quenched stretched exponential decay of random correlations, after a random waiting time, at rate

$b:S^1\to\mathbb R$ 0

The waiting time itself has stretched exponential tail. This is an almost-sure random mixing-rate theorem rather than an annealed statement, and it is obtained by combining known tail estimates for random non-uniform expansion with a random Young-tower construction (Li et al., 2014).

5. Thermodynamic, cohomological, and symbolic descriptions

The thermodynamic formalism of Viana maps has developed through several complementary regimes. For Hölder hyperbolic potentials on non-uniformly expanding maps with critical sets, one obtains existence of equilibrium states, finiteness of ergodic equilibrium states, and expandingness of those measures; the Viana-map application yields finiteness results for measures of maximal entropy and improves earlier countability bounds. A later criterion proves that the null potential is hyperbolic for Viana maps and deduces the existence and uniqueness of the measure of maximal entropy. The same work also constructs explicit nonzero Hölder potentials with uniformly bounded Birkhoff sums, hence hyperbolic potentials with unique equilibrium states (Alves et al., 2020, Santana, 2021).

A different line of work treats small-oscillation Hölder potentials. If

$b:S^1\to\mathbb R$ 1

then the Viana map $b:S^1\to\mathbb R$ 2 has a unique equilibrium state for $b:S^1\to\mathbb R$ 3; the result persists under sufficiently small $b:S^1\to\mathbb R$ 4 perturbations, and the equilibrium state satisfies an upper level-2 large deviation principle for empirical measures. The proof is organized through the Climenhaga–Thompson decomposition–obstruction framework: one isolates a collection of orbit segments with enough center expansion to support specification and Bowen regularity, and then shows that the obstructions to expansivity and specification have strictly smaller pressure (Li, 31 Jul 2025).

Viana maps also admit a countable-state symbolic model. For sufficiently small $b:S^1\to\mathbb R$ 5, and for $b:S^1\to\mathbb R$ 6-nearby maps, the general symbolic-dynamics framework for nonuniformly hyperbolic maps with singularities yields a locally compact countable topological Markov shift $b:S^1\to\mathbb R$ 7 and a Hölder semiconjugacy

$b:S^1\to\mathbb R$ 8

that codes all $b:S^1\to\mathbb R$ 9-adapted hyperbolic measures and is finite-to-one on the recurrent coded set. In the Viana application this leads to two explicit consequences: a periodic-orbit lower bound

$b(s)=\sin(2\pi s)$ 0

where $b(s)=\sin(2\pi s)$ 1, and the statement that every sufficiently nearby map has at most countably many ergodic measures of maximal entropy, each of whose lift to the natural extension is Bernoulli up to a period (Araujo et al., 2020).

A cohomological application places Viana maps in the class of continuous zooming systems with dense zooming set. For a Hölder potential $b(s)=\sin(2\pi s)$ 2, if

$b(s)=\sin(2\pi s)$ 3

then there exists a continuous function $b(s)=\sin(2\pi s)$ 4 such that

$b(s)=\sin(2\pi s)$ 5

If all invariant integrals vanish, the result obtained in that framework is a pair of continuous coboundary bounds, not an exact Livšic equation. Thus the Viana-map application supplies a subcohomological conclusion rather than a full Livšic theorem in the zero-integral case (Mbarki et al., 2022).

6. Generalizations and variants

The classical family has generated several nontrivial extensions, each modifying a different structural component of the original skew-product.

Variant	Defining change	Main conclusions
Higher-order critical Viana maps (Horita et al., 2023, Chicalé et al., 2024)	Replace the quadratic fiber by $b(s)=\sin(2\pi s)$ 6 with a unique critical point of order $b(s)=\sin(2\pi s)$ 7	Two positive Lyapunov exponents a.e.; existence, finiteness, mixing, and uniqueness of acip in a $b(s)=\sin(2\pi s)$ 8-open family
Generalized Viana maps (Varandas, 2012)	Base is a piecewise linear Markov expanding interval map with at most countably many inverse branches	Unique SRB measure, stretched-exponential decay of correlations, stretched-exponential large deviations, CLT, ASIP, LLT, Berry–Esseen
Viana-like maps with singular base (Alves et al., 2011)	Base has discontinuities or critical/square-root singularities	Unique acip with full basin, stretched-exponential decay of correlations, stretched-exponential large deviations, standard limit laws
Analytic skew-products (Huang et al., 2012)	Coupling function is any non-constant real-analytic $b(s)=\sin(2\pi s)$ 9	Two positive Lyapunov exponents a.e., stable under small $\alpha>0$ 0 perturbations

The higher-order theory is especially instructive because it isolates which part of the Viana mechanism is genuinely quadratic and which part depends only on non-flat criticality. The family

$\alpha>0$ 1

allows a unique critical point of arbitrary finite order $\alpha>0$ 2, so near the critical point the derivative behaves like $\alpha>0$ 3. One paper constructs the expansion mechanism and proves two positive Lyapunov exponents almost everywhere; a later paper carries through the inducing-scheme argument to obtain existence and uniqueness of the absolutely continuous invariant measure and topological mixing for a $\alpha>0$ 4-open neighborhood (Horita et al., 2023, Chicalé et al., 2024).

A recurrent misconception concerns the statistical strength of the higher-order measure-theoretic extension. The 2024 higher-order acip paper explicitly does not prove a correlation-decay theorem; the quantitative estimate recorded there is instead an exceptional-set bound

$\alpha>0$ 5

for recurrence control. By contrast, the generalized-Viana and singular-base papers do prove stretched-exponential decay of correlations and stretched-exponential large deviations for their respective skew-product classes (Chicalé et al., 2024, Varandas, 2012, Alves et al., 2011).

Another direction replaces the special sinusoidal forcing by an arbitrary non-constant real-analytic coupling function $\alpha>0$ 6. The resulting analytic skew-products preserve the Viana-map conclusion of two positive Lyapunov exponents almost everywhere, but the proof must replace the explicit separation arguments used for $\alpha>0$ 7 by a more flexible analytic non-flatness mechanism for admissible curves (Huang et al., 2012).

Taken together, these variants show that “Viana map” now denotes not only the original quadratic skew-product model but also a broader research program: non-uniformly expanding skew-products with critical or singular structure, for which one seeks sharp control of recurrence, expansion recovery, invariant measures, and thermodynamic or symbolic descriptions.