Topological horseshoe in nonlinear Bloch system

This paper demonstrates rigorous chaotic dynamics in nonlinear Bloch system by virtue of topological horseshoe and numerical method. It considers a properly chosen cross section and the corresponding Poincaré map, and shows the existence of horseshoe in the Poincaré map. In this way, a rigorous verification of chaos in the nonlinear Bloch system is presented.