Approximate Controllability of the Two Trapped Ions System

We prove the approximate controllability of a bilinear Schr"odinger equation modelling a two trapped ions system. A new spectral decoupling technique is introduced, which allows to analyze the controllability of the infinite-dimensional system through finite-dimensional considerations.