---
title: Mostly Expanding Center in Partially Hyperbolic Dynamics
url: https://www.emergentmind.com/topics/mostly-expanding-center
type: topic
---

# Mostly Expanding Center in Partially Hyperbolic Dynamics

Mostly expanding center is a measure-theoretic nonuniform hyperbolicity condition for partially hyperbolic dynamics. In the standard setting one considers a partially hyperbolic diffeomorphism \(f\) with invariant splitting
\[
TM = E^s \oplus E^c \oplus E^u,
\]
where \(Df|_{E^s}\) is uniformly contracting, \(Df|_{E^u}\) is uniformly expanding, and \(Df|_{E^c}\) is intermediate. The modern formulation treats the center direction as “mostly expanding” not by a pointwise requirement of uniform expansion, but by demanding that every Gibbs \(u\)-state has positive center Lyapunov exponents almost everywhere. This stronger Gibbs-\(u\)-state formulation, emphasized in “Entropy along expanding foliations” [1601.05504], is the version used because it is the right notion for openness; it subsequently became the organizing hypothesis for results on physical measures, skeletons, statistical stability, entropy structure, stochastic stability, flows, and fast–slow partially hyperbolic systems [1904.10880], [1710.07970], [2003.04512], [2007.06243], [2007.04559], [2401.12465], [2511.13919].

## 1. Definition and conceptual role

For \(C^{1+\alpha}\) or \(C^r\), \(r>1\), partially hyperbolic diffeomorphisms, a Gibbs \(u\)-state is an invariant measure whose conditional measures along strong unstable leaves are absolutely continuous with respect to leaf volume. In this framework, a diffeomorphism is mostly expanding along the central direction if every Gibbs \(u\)-state has positive center Lyapunov exponents almost everywhere [1601.05504], [1904.10880], [1710.07970].

This definition is explicitly stronger than older formulations in the literature. “Entropy along expanding foliations” [1601.05504] contrasts it with the original Alves–Bonatti–Viana notion and states that the stronger Gibbs-\(u\)-state formulation is the one used because it is the right notion for openness. “Statistical stability of mostly expanding diffeomorphisms” [1710.07970] makes the same point: the condition is stronger than the older NUE-condition and, unlike the NUE-condition, it is robust/open.

A useful integrated formulation appears in [1601.05504]. Proposition 5.5 states that \(f\) has mostly expanding center if and only if there exist \(N\in \mathbb N\) and \(b>0\) such that for every \(u\in \mathrm{Gibb}^u(f)\),
\[
-\int \log \bigl|Df^{-N}|_{E^{cs}(x)}\bigr|\,du(x) < -b.
\tag{20}
\]
The same paper gives an improved form: if \(f\) has mostly expanding center, then for some \(N_0\) and \(b>0\),
\[
\int \log \bigl|Df^{-N_0}|_{E^{cs}(x)}\bigr|\,d\mu(x) < -b
\tag{25}
\]
for every \(\mu\in \mathrm{Gibb}^u(f^{N_0})\) [1601.05504]. This identifies mostly expanding center as an averaged expansion condition on all Gibbs \(u\)-states rather than a pointwise property of individual orbits.

The same idea extends beyond the basic \(E^s\oplus E^c\oplus E^u\) setting. In mixed-center frameworks one works with
\[
TM = E^{u} \oplus E^{cu} \oplus E^{cs},
\]
and requires that every Gibbs \(u\)-state has only positive Lyapunov exponents along \(E^{cu}\) and only negative Lyapunov exponents along \(E^{cs}\) [2003.04512], [2007.06243]. This suggests that “mostly expanding center” is best understood as a sign condition on Lyapunov data for dynamically relevant invariant measures.

## 2. Entropy along expanding foliations and \(C^1\)-openness

The decisive structural advance in [1601.05504] is the upper semicontinuity of entropy along expanding foliations. For diffeomorphisms \(f_n\to f\) in \(C^1\), invariant measures \(\mu_n\to\mu\) in the weak\(^*\) topology, and expanding foliations \(\mathcal F_n\to \mathcal F\), the partial entropy satisfies
\[
\limsup_{n\to\infty} h_{\mu_n}(f_n,\mathcal F_n)\le h_{\mu}(f,\mathcal F).
\]
This upper semicontinuity is the mechanism behind the openness of the mostly expanding center condition [1601.05504].

The same paper uses the entropy characterization of Gibbs \(u\)-states. For a \(C^{1+}\) partially hyperbolic diffeomorphism,
\[
h_\mu(f,\mathcal F^u)\le \int \log \operatorname{Jac}^u(x)\,d\mu(x),
\]
and equality holds if and only if \(\mu\) is a Gibbs \(u\)-state:
\[
h_\mu(f,\mathcal F^u)=\int \log \operatorname{Jac}^u(x)\,d\mu(x).
\tag{18}
\]
If \(\mu_n\) are Gibbs \(u\)-states for \(f_n\), then
\[
h_{\mu_n}(f_n,\mathcal F^u_n)=\int \log \operatorname{Jac}^u_n\,d\mu_n,
\]
and the semicontinuity theorem yields
\[
\limsup h_{\mu_n}(f_n,\mathcal F^u_n)\le h_\mu(f,\mathcal F^u).
\]
Since the unstable Jacobians converge uniformly, one recovers the equality needed to conclude that the weak\(^*\) limit is again a Gibbs \(u\)-state. This is Theorem B of [1601.05504]: the set-valued map \(\mathrm{Gibb}^u(\cdot)\) varies upper semicontinuously in the \(C^1\) topology among \(C^{1+}\) partially hyperbolic diffeomorphisms.

The openness statement is Theorem C of [1601.05504]: the sets of partially hyperbolic diffeomorphisms with mostly contracting center or mostly expanding center are \(C^1\) open, in the sense that every \(C^{1+}\) partially hyperbolic diffeomorphism with mostly contracting or mostly expanding center admits a \(C^1\) open neighborhood such that every \(C^{1+}\) diffeomorphism in this neighborhood has the same property. Later work repeatedly uses this openness as a starting point [1710.07970], [1904.10880], [2003.04512].

A common misconception is to read “mostly expanding” as a uniform pointwise condition on \(E^c\). The foundational papers do not use that interpretation. They formulate the condition through all Gibbs \(u\)-states and then deduce robustness from entropy semicontinuity and Gibbs-\(u\)-state stability [1601.05504], [1710.07970].

## 3. Physical measures, basins, and the skeleton structure

A physical measure is an invariant probability measure whose basin has positive volume. In the mostly expanding setting, the central questions are how many such measures exist, how their supports are organized, and how their basins fill phase space [1904.10880], [1710.07970].

“Geometrical and measure-theoretic structures of maps with mostly expanding center” [1904.10880] introduces the central geometric object: a skeleton. For a partially hyperbolic \(f\) with splitting \(E^s\oplus E^c\oplus E^u\), an index \(i_s\) skeleton is a finite set
\[
S=\{p_1,\dots,p_k\}
\]
of hyperbolic periodic saddles with stable index \(i_s\) such that the union of their stable manifolds is dense and the set is minimal with that property. A pre-skeleton satisfies only the density requirement [1904.10880].

The core theorem in [1904.10880] states that if \(f\) is \(C^{1+\alpha}\), partially hyperbolic, and has mostly expanding center, then \(f\) admits an index \(i_s\) skeleton, and each skeleton element corresponds to a distinct physical measure. More precisely, if \(S=\{p_1,\dots,p_k\}\) is a skeleton, then the number of physical measures is exactly \(k\), and for each \(p_i\),
\[
\operatorname{supp}(\mu_i)=\overline{W^u(\operatorname{Orb}(p_i))}=H(p_i,f),
\]
while
\[
\overline{B(\mu_i)}=\overline{W^s(\operatorname{Orb}(p_i))}.
\]
The interiors of the basin closures are disjoint [1904.10880].

The measure-theoretic side of the same paper is expressed through
\[
G^u(f)=\left\{\mu\in\mathcal M_{\mathrm{inv}(f)}: h_\mu(f,\mathcal F^u)\ge \int \log \det(Df|_{E^u})\,d\mu\right\},
\]
\[
G^{cu}(f)=\left\{\mu\in\mathcal M_{\mathrm{inv}(f)}: h_\mu(f)\ge \int \log \det(Df|_{E^{cu}})\,d\mu\right\},
\]
and
\[
G(f)=G^u(f)\cap G^{cu}(f).
\]
For \(C^{1+\alpha}\) maps with mostly expanding center, the extreme points of \(G(f)\) are exactly the physical measures, \(G(f)\) is compact and convex, and it has finitely many ergodic extreme points [1904.10880].

Related results in [1601.05504] already establish strong statistical consequences. For mostly expanding center systems, there exist finitely many physical measures, and in the robust neighborhood from Proposition 6.9 the basins of these measures cover full volume, each containing a ball of uniform size in Lebesgue-a.e. sense. In the accessible volume-preserving one-dimensional-center setting of Theorem D, nearby \(C^{1+}\) systems have a unique physical measure whose basin has full volume [1601.05504].

A later entropy-oriented development, [2310.08347], adapts skeleton methods to maximal \(u\)-entropy measures in a setting with \((E^{uu},A)\)-Markov partitions and \(c\)-mostly expanding center. There the relevant \(c\)-\(cu\)-states admit a support-and-basin description analogous to physical measures, and the number of support classes is finite in the sense that the measure supports are consistent [2310.08347]. This suggests a broader principle: once center expansion is imposed on all relevant Gibbs-like states, skeleton-type combinatorics tends to govern both SRB-type and maximal \(u\)-entropy structures.

## 4. Statistical stability, bifurcation, and perturbations

The mostly expanding condition supports several layers of statistical stability. “Statistical stability of mostly expanding diffeomorphisms” [1710.07970] proves that for the open class of \(C^r\), \(r>1\), strong partially hyperbolic diffeomorphisms for which the central Lyapunov exponents of every Gibbs \(u\)-state are positive, physical measures vary continuously with the dynamics whenever possible. In the transitive case, there is a \(C^r\) neighborhood in which every nearby map has a unique physical measure, and the map
\[
g\mapsto \mu_g
\]
is continuous in the weak\(^*\) topology [1710.07970].

In the non-transitive case, [1710.07970] proves upper semicontinuity of the number of physical measures and continuity of the individual physical measures along parameter regions where that number remains constant. A weaker form of statistical stability is also established: any weak\(^*\) limit of physical measures of nearby maps is a convex combination of physical measures of the limit map [1710.07970].

A key technical innovation in [1710.07970] is a Pliss-like lemma yielding hyperbolic times with frequency close to one. The lemma shows that if most terms in a sequence lie above a threshold \(\Gamma\) and all are bounded below by \(L\), then one obtains many Pliss times \(n_i\), with density that can be made arbitrarily close to \(1\). This is used to construct large Pesin blocks and uniform local \(cu\)-manifolds for nearby systems and nearby Gibbs \(u\)-states [1710.07970].

The skeleton perspective sharpens the perturbative picture. In [1904.10880], the number of physical measures is upper semi-continuous in a \(C^1\) neighborhood, locally constant on a \(C^1\)-open and dense subset, and physical measures vary continuously in the weak\(^*\) topology there. The bifurcation mechanism is explicitly geometric: if \(S(f)=\{p_1,\dots,p_k\}\) is a skeleton of \(f\), then for nearby maps \(g\) the continuations \(p_i(g)\) form a pre-skeleton; if no heteroclinic intersections appear among them, the number of physical measures is preserved, while the appearance of heteroclinic intersections can merge physical measures and decrease that number [1904.10880].

“Statistical stability for diffeomorphisms with mostly expanding and mostly contracting centers” [2003.04512] extends this philosophy to mixed-center classes \(PHEC(M)\). There a skeleton is defined by transverse intersection with any \(C^1\) disk transverse to \(E^{cs}\), together with absence of heteroclinic intersections among distinct skeleton points. The paper proves a one-to-one correspondence between skeleton periodic points and physical measures, and shows weak statistical stability in the \(C^1\) topology; in the unique physical measure case, this yields ordinary continuity of the physical measure under perturbation [2003.04512].

## 5. Consequences for entropy, transitivity, and mixing

Mostly expanding center has consequences far beyond mere existence of SRB-type measures. In [1601.05504], Theorem F states that every \(C^2\) volume preserving, accessible partially hyperbolic diffeomorphism with one-dimensional center and non-vanishing center exponent is \(C^1\) robustly transitive. The proof again uses entropy inequalities and the robustness of the Gibbs-\(u\)-state structure [1601.05504].

The same paper supplies a new class of mostly expanding examples. Theorem D states: if \(f\) is a \(C^{1+}\) volume preserving partially hyperbolic diffeomorphism with one-dimensional center, the center exponent of the volume measure is positive, and \(f\) is accessible, then \(f\) admits a \(C^1\) open neighborhood, among diffeomorphisms not necessarily volume preserving, such that every \(C^{1+}\) diffeomorphism in this neighborhood has mostly expanding center and admits a unique physical measure whose basin has full volume [1601.05504]. Corollary E further gives a residual subset in that neighborhood for which every \(C^1\) diffeomorphism has a unique physical measure with full basin [1601.05504].

The entropy structure of mostly expanding systems is studied directly in “Entropy properties of mostly expanding partially hyperbolic diffeomorphisms” [2401.12465]. For partially hyperbolic \(f\) with \(\dim(E^c)=1\), positive center exponent for all \(\mu\in G^u(f)\), and minimal strong stable foliation, there exists a \(C^1\)-open neighborhood in which topological entropy varies continuously and the intermediate entropy property holds [2401.12465]. The technical engine is that every non-hyperbolic ergodic measure can be approximated by horseshoes both in entropy and in the weak\(^*\) topology [2401.12465].

That paper also studies the zero-center Lyapunov set
\[
R^g(0):=\left\{x\in M \,\middle|\, \lim_{n\to\infty}\frac1n\log \|Df^n|_{E^c(x)}\|=0\right\},
\]
showing that its entropy can be approximated by hyperbolic basic sets with uniformly expanding center and arbitrarily small positive center exponents [2401.12465]. A plausible implication is that mostly expanding center creates enough hyperbolic approximation to organize even the non-hyperbolic part of the ergodic decomposition.

Strong statistical properties are also available. In [1904.10880], physical measures for maps with mostly expanding center satisfy exponential decay of correlations for Hölder observables. More precisely, for each physical measure \(\mu\) of \(f^P\),
\[
\left| \int \varphi\cdot \psi\circ f^{Pn}\,d\mu - \int\varphi\,d\mu\int\psi\,d\mu \right| = O(e^{-dn})
\]
for some \(d>0\); the paper also derives a central limit theorem, exponential large deviations, and the variance formula [1904.10880].

## 6. Generalizations and specialized settings

Several later works adapt the notion of mostly expanding center to settings that differ substantially from the original discrete-time, one-center-bundle picture.

For partially hyperbolic flows, “SRB measures for partially hyperbolic flows with mostly expanding center” [2007.04559] uses a 2D center bundle and a Gibbs sectional expanding condition. The center bundle \(E^c\) is called Gibbs sectional expanding if \(\dim E^c>1\) and for every Gibbs \(u\)-state \(\mu\),
\[
\lim_{t\to +\infty}\frac{1}{t}\log \left|\det D\phi_t|_{L_x}\right|>0
\]
for every 2-dimensional subspace \(L_x\subset E_x\), for \(\mu\)-a.e. \(x\) [2007.04559]. Under \(\dim E^c=2\), the attractor supports an SRB measure, and in the \(C^2\) case with Gibbs sectional expanding center there are finitely many SRB/physical measures whose basins cover Lebesgue almost all points of the topological basin; under transitivity the measure is unique [2007.04559].

For random perturbations, “Stochastic stability for partially hyperbolic diffeomorphisms with mostly expanding and contracting centers” [2007.06243] considers an open set \(U(M)\) of \(C^2\) diffeomorphisms with splitting
\[
TM = E^s \oplus E^f \oplus E^g,
\]
where every Gibbs \(u\)-state has only positive Lyapunov exponents along \(E^f\) and only negative Lyapunov exponents along \(E^g\). The main theorem states that every \(f\in U(M)\) is stochastically stable: every zero-noise limit of stationary measures lies in the convex hull of the physical measures of \(f\) [2007.06243]. The proof passes through hyperbolic blocks and random Gibbs \(cu\)-states.

For fast–slow systems, “Statistical properties of mostly expanding fast-slow partially hyperbolic systems” [2511.13919] studies \(C^4\) maps on \(\mathbb T^2\) of the form
\[
F_\varepsilon(x,\theta)=\bigl(f(x,\theta),\theta\bigr)+\varepsilon \bigl(0,\omega(x,\theta)\bigr)\pmod 1,
\]
with \(\partial_x f\ge \lambda>3\) after passing to an iterate [2511.13919]. There the decisive quantity is
\[
\psi_*(x,\theta)=\partial_x\omega(x,\theta)\,s_*(x,\theta)+\partial_\theta \omega(x,\theta),
\]
with fiber average
\[
\bar\psi_*(\theta)=\int_{\mathbb T^1}\psi_*(x,\theta)\,\rho_\theta(x)\,dx.
\]
The system is mostly expanding if
\[
\bar\psi_*(\theta_-)>0
\]
at the sink \(\theta_-\) of the averaged slow dynamics [2511.13919]. Under the non-cohomology condition defining \(\Omega_1^*\), the paper proves existence of a unique physical measure \(\nu_\varepsilon\), absolute continuity \(\nu_\varepsilon\ll \mathrm{Leb}\), and exponential decay of correlations:
\[
\big| \mathrm{Leb}(A\cdot B\circ F_\varepsilon^n)-\mathrm{Leb}(A)\nu_\varepsilon(B)\big|
\le C_1 \|A\|_{C^2}\|B\|_{L^\infty}\,e^{-c_\varepsilon n},
\]
with
\[
c_\varepsilon \ge \frac{C_2}{|\log \varepsilon|}.
\]
The paper emphasizes a paradoxical feature: although \(\theta_-\) is a sink for the averaged dynamics, in the mostly expanding case the center Lyapunov exponent is positive for the physical measure, tied to the non-absolute continuity of the center foliation [2511.13919].

These extensions indicate that the core content of “mostly expanding center” is not tied to a single model class. What persists across settings is the same principle: one imposes positivity of center or center-like exponents on all Gibbs \(u\)-states or their analogues, and from that obtains robust statistical organization, finite or unique physical measures, and strong entropy or mixing properties.

Source: https://www.emergentmind.com/topics/mostly-expanding-center