---
title: 'Viana Maps: Non-Uniform Expanding Dynamics'
url: https://www.emergentmind.com/topics/viana-maps
type: topic
---

# Viana Maps: Non-Uniform Expanding Dynamics

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 [1812.09742, 1002.4992, 2003.11620].

## 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 \(\hat f(S^1\times I)\subset \operatorname{int}(S^1\times I)\). In several treatments, a Viana map is then any map sufficiently close to this model on \(S^1\times I\); the neighborhood is described as \(C^0\)-small, \(C^1\)-small, or a small \(C^3\)-open neighborhood, depending on the result being proved [1812.09742, 2003.11620, 1002.4992].

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 \(d\ge 16\), while other summaries state the defining skew-product with \(d\ge 2\); this reflects differences between basic model statements and specific perturbative theorems rather than a change in the underlying mechanism [1002.4992, 1812.09742].

## 2. Non-uniform expansion and critical geometry

The critical set in the classical model is the vertical line
\[
\mathcal C=\{(\theta,x):x=0\},
\]
or, for nearby maps, a critical curve close to \(\{x=0\}\). 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 \(H\) and constants governing the asymptotic inequalities
\[
\limsup_{n\to\infty}\frac1n \sum_{i=0}^{n-1}\log \bigl\lvert Df(f^i(p))^{-1}\bigr\rvert < -\lambda
\]
and, for every \(\varepsilon>0\), a truncated-distance control of the form
\[
\limsup_{n\to\infty}\frac1n \sum_{i=0}^{n-1} -\log \operatorname{dist}_\delta(f^i(p),\mathcal C)<\varepsilon.
\]
These are precisely the non-uniform expansion and slow-recurrence conditions that drive the hyperbolic-time machinery [2102.03666, 1002.4992].

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 [2102.03666, 2208.13209, 2508.00136].

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 [1812.09742, 2102.03666].

The stochastic-stability theory refines this picture. For a Viana map \(f\in\mathcal V\), under sufficiently small i.i.d. random perturbations chosen in a small \(C^3\)-neighborhood and satisfying the derivative-preserving condition away from the critical set, there exists a unique absolutely continuous ergodic stationary probability measure \(\mu_\varepsilon\). The principal conclusion is strong stochastic stability:
\[
\lim_{\varepsilon\to 0}\left\|\frac{d\mu_\varepsilon}{dm}-\frac{d\mu_f}{dm}\right\|_{1}=0.
\]
Thus the densities of stationary measures converge in \(L^1\) to the density of the deterministic SRB measure, improving earlier weak\(^*\) stochastic stability results. The proof uses random induced Gibbs-Markov maps, sample densities on inducing domains, and an \(L^1\)-limit argument for projected densities [1002.4992].

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 \(L^\infty(\mu)\) observables with exponent
\[
\theta=\frac12.
\]
From this, a large-deviations estimate for Hölder observables is obtained:
\[
\mu\left(\left|\frac1n\varphi_n-\int\varphi\,d\mu\right|>\epsilon\right)\le C e^{-\tau n^{1/3}}.
\]
The exponent \(1/3\) comes from the general relation
\[
\theta'=\frac{\theta}{\theta+1},
\]
applied to \(\theta=\frac12\). The same work emphasizes that this improves the earlier exponent \(1/5\) coming from a previous abstract large-deviations theorem, and it describes the resulting \(e^{-\tau n^{1/3}}\) estimate as the best large-deviations rate for Viana maps available in the cited literature at that time [1812.09742].

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 [1812.09742].

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 \(\mu_\omega\) satisfying
\[
(f_\omega^q)_*\mu_\omega=\mu_{\sigma^q(\omega)},
\]
and for almost every realization one has quenched stretched exponential decay of random correlations, after a random waiting time, at rate
\[
e^{-\gamma n^{1/4}}.
\]
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 [1501.00010].

## 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 [2003.11620, 2102.03666].

A different line of work treats small-oscillation Hölder potentials. If
\[
\sup \varphi-\inf \varphi < \frac{c_0}{2} - \log \frac{d+\epsilon}{d-\epsilon},
\]
then the Viana map \(f_\alpha\) has a unique equilibrium state for \(\varphi\); the result persists under sufficiently small \(C^3\) 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 [2508.00136].

Viana maps also admit a countable-state symbolic model. For sufficiently small \(\alpha\), and for \(C^3\)-nearby maps, the general symbolic-dynamics framework for nonuniformly hyperbolic maps with singularities yields a locally compact countable topological Markov shift \((\Sigma,\sigma)\) and a Hölder semiconjugacy
\[
\pi\circ \sigma=f\circ \pi
\]
that codes all \(f\)-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
\[
{\rm Per}_n(f)\ge Ce^{hn}
\quad\text{for all large }n,
\]
where \(h=h_{\mu_{\rm SRB}(f)}>0\), 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 [2010.11808].

A cohomological application places Viana maps in the class of continuous zooming systems with dense zooming set. For a Hölder potential \(\phi\), if
\[
\int \phi\,d\mu \ge 0
\quad\text{for every invariant probability }\mu,
\]
then there exists a continuous function \(\lambda_0\) such that
\[
\phi \ge \lambda_0-\lambda_0\circ f.
\]
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 [2208.13209].

## 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 [2312.00906, 2408.00121] | Replace the quadratic fiber by \(h_D\) with a unique critical point of order \(D\ge 2\) | Two positive Lyapunov exponents a.e.; existence, finiteness, mixing, and uniqueness of acip in a \(C^D\)-open family |
| Generalized Viana maps [1207.4761] | 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 [1109.0849] | 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 [1209.2570] | Coupling function is any non-constant real-analytic \(\phi\) | Two positive Lyapunov exponents a.e., stable under small \(C^\infty\) 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
\[
\varphi_{\alpha,D}(\theta,x)=\bigl(d\theta \!\!\mod 1,\ \alpha\sin(2\pi\theta)+h_D(x)\bigr)
\]
allows a unique critical point of arbitrary finite order \(D\), so near the critical point the derivative behaves like \(|x-\tilde x|^{D-1}\). 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 \(C^D\)-open neighborhood [2312.00906, 2408.00121].

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
\[
m(E_n)\le e^{-\gamma\sqrt n}
\]
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 [2408.00121, 1207.4761, 1109.0849].

Another direction replaces the special sinusoidal forcing by an arbitrary non-constant real-analytic coupling function \(\phi\). 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 \(\sin(2\pi\theta)\) by a more flexible analytic non-flatness mechanism for admissible curves [1209.2570].

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.

Source: https://www.emergentmind.com/topics/viana-maps