Symbolic dynamics in a binary asteroid system

We highlight the existence of a topological horseshoe arising from a a–priori stable model of the binary asteroid dynamics. The inspection is numerical and uses correctly aligned windows, as described in a recent paper by A. Gierzkiewicz and P. Zgliczy'nski, combined with a recent analysis of an associated secular problem.