Quantum control in infinite dimensions and Banach-Lie algebras

In finite dimensions, controllability of bilinear quantum control systems can be decided quite easily in terms of the "Lie algebra rank condition" (LARC), such that only the systems Lie algebra has to be determined from a set of generators. In this paper we study how this idea can be lifted to infinite dimensions. To this end we look at control systems on an infinite dimensional Hilbert space which are given by an unbounded drift Hamiltonian H
₀
and bounded control Hamiltonians H
₁
,...,H
_N
. The drift H
₀
is assumed to have empty continuous spectrum. We use recurrence methods and the theory of Abelian von Neumann algebras to develop a scheme, which allows us to use an approximate version of LARC, in order to check approximate controllability of the control sysPtem in question.