Notions of controllability for bilinear multilevel quantum systems

In this note, we define four different notions of controllability of physical interest for multilevel quantum mechanical systems. These notions involve the possibility of driving the evolution operator as well as the state of the system. We establish the connections among these different notions as well as methods to verify controllability.