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'e map, and shows the existence of horseshoe in the Poincar'e map. In this way, a rigorous verification of chaos in the nonlinear Bloch system is presented.