Stable Ergodicity for Expanding on Average Partially Hyperbolic Diffeomorphisms with Two-Dimensional Center

Ben Cooper

Home/Archive/arXiv

arXiv · 2610.24946

Stable Ergodicity for Expanding on Average Partially Hyperbolic Diffeomorphisms with Two-Dimensional Center

Ben Cooper

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study a property called expansion on average (EA) defined for any partially hyperbolic diffeomorphism satisfying an unstable center bunching condition. Under a mild set of assumptions, we show that the EA property implies $C^2$-stable ergodicity with respect to volume. Our theorem applies to any conservative, $u$-center bunched, robustly dynamically coherent, partially hyperbolic $C^2$-diffeomorphism with two-dimensional center and one-dimensional unstable bundle, whose action on $E^c$ is close to conservative. We do not assume that the center leaves are compact or that the center foliation has a fibration structure. Our mechanism for ergodicity also does not use accessibility or the existence of a dominated splitting in $E^c$. The EA property is inspired by a condition with the same name defined for IID random dynamical systems on surfaces, and our proofs extend ideas from that setting. The EA property is systematically studied in very recent work of Carrasco-Obata-Saghin-Yang, where they obtain continuity of center Lyapunov exponents, strong positive recurrence, and existence of finitely many SRB measures. With input from our result, they obtain uniqueness of SRB measures for dissipative perturbations of certain EA diffeomorphisms.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ben Cooper. 2026-10-18. Stable Ergodicity for Expanding on Average Partially Hyperbolic Diffeomorphisms with Two-Dimensional Center. https://arxiv.org/abs/2610.24946

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

KEEP EXPLORING

Related papers

arXiv2026

Geometric Methods for Stochastic Dynamical Systems: A Concise Introduction

There is growing interest in stochastic dynamics in the applied mathematics, interdis-ciplinary science, and artificial intelligence communities. This book is written primarilyfor applied mathematicians and scientists who may not have the necessary backgroundto go directly to advanced reference books or research literature in geometric methodsfor stochastic dynamics. Our goal is to present a few selected geometric methods for understanding solutionsof stochastic differential equations. Some necessary background is reviewed, while moreadvanced materials are referred to relevant literature. It is our hope that this book willprovide a guide to the reader in accessing advanced monographs and research literaturein stochastic dynamics. We have tried to strike a balance between mathematical precisionand accessibility for the readers of this book. For example, some proofs are presented,whereas some are outlined and others are directed to references. Some definitions arepresented in separate paragraphs starting with Definition, but others are introduced lessformally as they occur in the body of the text. This book may be used as a textbook or a reference for advanced doctoral students, postdoctoral fellows, researchers and practitioners in applied mathematics, machinelearning, artificial intelligence, engineering and applied science.

math.DS↗

arXiv2026

Reciprocal Dynamics in Polynomial Congruence Jumping: Integral Orbits and Valuation Cones

Alternating reciprocal transformations of polynomial divisibility systems couple an orbit of integer points to a rational dynamical system on polynomial coefficients. For fixed positive degrees $n,m$, we prove universal four-step return to rational gauge classes. Weighted primitive representatives preserve integral continuation through nondegenerate jumps using only exact division and coefficient gcds; the stronger requirement of monic integral representatives is governed by endpoint $p$-adic valuation defects. After one integral block, constant-term valuations evolve by an explicit unimodular matrix whose trace depends only on $nm$. This gives finite-order behavior for $nm<4$, parabolic dilations for $nm=4$, and hyperbolic dynamics for $nm>4$. In the hyperbolic case, invariant thresholds, irrational eigencones, and discrete valley formulas give finite criteria for forward and bi-infinite integral coefficient orbits, although failure can be delayed arbitrarily long. Every positive-constant canonical monic coefficient chain admits an explicit positive rational four-phase gauge. At $nm=4$, geometric gauges reduce nondegenerate compatible rational point orbits to two-periodic affine recurrences, hence to sequences satisfying linear recurrences with constant coefficients. Polynomial identities of degree at most $h$ on each invariant conic admit certificates from $2h+1$ initial phase states, while integral unimodular recurrence models yield periodic modular obstructions. For $nm>4$, eventually positive normalized point orbits tending to infinity have hyperbolic logarithmic growth and cannot satisfy such linear recurrences. Finally, separated auxiliary-relation transport reduces rational rank to at most one after two alternating jumps; quadratic specialization gives exact local saturation criteria and persistence results across periodic, parabolic, and hyperbolic orbits.

math.DS↗

arXiv2026

A coupling normal form for reversible center-center Hamiltonians with application to the restricted three-body problem

Near a reversible center-center equilibrium, the Birkhoff normal form does not describe the families bifurcating from the continued tori, which resonant normal forms capture through a reduced system.With a reflection symmetry, we develop a coupling normal form in which the bifurcating families also appear as tori of action normal forms. Along a selected coupling direction, the first harmonic in the angle difference is absorbed into an action-dependent counterterm. We prove that the coupled recursion determines unique counterterm coefficients, a formal action normal form, and an exact counterterm factorization. The factorization gives a recovery constraint, whose trivial factor corresponds to the Birkhoff normal form. At every finite order, a symmetric pair of bifurcating branches leaves the trivial branch at a critical curve, carrying approximately invariant tori and circles with residual estimates. In the spatial circular restricted three-body problem, these give approximate halo orbits and quasi-halo tori.

math.DS↗