Abstract:We show how the existence of three objects, $\Omega_{\rm trap}$, ${\bf W}$, and $C$, for a continuous piecewise-linear map $f$ on $\mathbb{R}^N$, implies that $f$ has a topological attractor with a positive Lyapunov exponent. First, $\Omega_{\rm trap} \subset \mathbb{R}^N$ is trapping region for $f$. Second, ${\bf W}$ is a finite set of words that encodes the forward orbits of all points in $\Omega_{\rm trap}$. Finally, $C \subset T \mathbb{R}^N$ is an invariant expanding cone for derivatives of compositions of $f$ formed by the words in ${\bf W}$. We develop an algorithm that identifies these objects for two-dimensional homeomorphisms comprised of two affine pieces. The main effort is in the explicit construction of $\Omega_{\rm trap}$ and $C$. Their existence is equated to a set of computable conditions in a general way. This results in a computer-assisted proof of chaos throughout a relatively large regime of parameter space. We also observe how the failure of $C$ to be expanding can coincide with a bifurcation of $f$. Lyapunov exponents are evaluated using one-sided directional derivatives so that forward orbits that intersect a switching manifold (where $f$ is not differentiable) can be included in the analysis.

Finite data rigidity for one-dimensional expanding maps

Weak expansion properties and a large deviation principle for coarse expanding conformal systems

Smooth Rigidity for Higher-Dimensional Contact Anosov Flows

Rigidity Result on Conjugacies of Families of Diffeomorphisms

Rigidity of contracting map using harmonic map heat flow

Derived from expanding endomorphism on $\mathbb{T}^2$

Smooth rigidity for 3-dimensional volume preserving Anosov flows and weighted marked length spectrum rigidity

Smooth rigidity for higher dimensional contact Anosov flows

Partially hyperbolic endomorphisms with expanding linear part

On isolated periodic points of diffeomorphisms with expanding attractors of codimension 1

Thermodynamic formalism for piecewise expanding maps in finite dimension

Exponential rate of decay of correlations of equilibrium states associated with non-uniformly expanding circle maps

Rigidity of Stable Lyapunov Exponents and Integrability for Anosov Maps

Dynamics of certain smooth one-dimensional mappings II: geometrically finite one-dimensional mappings

Expanding measures: Random walks and rigidity on homogeneous spaces

A numerical study of rigidity of hyperbolic splittings in simple two-dimensional maps

Regularity, linear response formula and differentiability of the free energy for non-uniformly expanding local homeomorphisms

Partially Volume Expanding Diffeomorphisms

Detecting invariant expanding cones for generating word sets to identify chaos in piecewise-linear maps

Rigidity for local holomorphic isometric embeddings from ${\BB}^n$ into ${\BB}^{N_1}\times... \times{\BB}^{N_m}$ up to conformal factors