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ński, combined with a recent analysis of an associated secular problem.