SIAM Journal on Control and Optimization
Exact Algebraic Conditions for Indirect Controllability of Quantum Systems
Domenico D’Alessandro, Francesca Albertini, Raffaele Romano
Abstract
In several quantum control schemes, a target quantum system $S$ is put in contact with an auxiliary system $A$ and the coherent control can directly affect only $A$. The system $S$ is controlled indirectly through the interaction with $A$. The system $S$ is said to be indirectly controllable if every unitary transformation can be performed on the state of $S$ with this scheme. The indirect controllability of $S$ will depend on the dynamical Lie algebra ${\cal L}$ characterizing the dynamics of the total system $S+A$ and on the initial state of the auxiliary system $A$. In this paper, we describe this characterization exactly. A natural assumption is that the auxiliary system $A$ is minimal, which means that there is no part of $A$ that is not coupled to $S$, and we denote by $n_A$ the dimension of such a minimal $A$, which we assume to be fully controllable. We show that if $n_A$ is greater than or equal to $3$, indirect controllability of $S$ is verified if and only if complete controllability of the total system $S+A$ is verified, i.e., ${\cal L}=su(n_Sn_A)$ or ${\cal L}=u(n_Sn_A)$, where $n_S$ denotes the dimension of the system $S$. If $n_A=2$, it is possible to have indirect controllability without having complete controllability. The exact condition for that to happen is given in terms of a Lie algebra ${\cal L}_S$ which describes the evolution of the system $S$ only. We prove that indirect controllability is verified if and only if ${\cal L}_S=u(n_S)$ and the initial state of the auxiliary system $A$ is pure.