Decidability of chaos for some families of dynamical systems

We show that existence of positive Lyapounov exponents and/or SRB measures are undecidable (in the algorithmic sense) properties within some parametrized families of interesting dynamical systems: quadratic family and Hénon maps. Because the existence of positive exponents (or SRB measures) is, in a natural way, a manifestation of ``chaos'', these results may be understood as saying that the chaotic character of a dynamical system is undecidable. Our investigation is directly motivated by questions asked by Carleson and Smale in this direction.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.