Topology of optimally controlled quantum mechanical transition probability landscapes

An optimally controlled quantum system possesses a search landscape defined by the physical objective as a functional of the control field. This paper particularly explores the topological structure of quantum mechanical transition probability landscapes. The quantum system is assumed to be controllable and the analysis is based on the Euler-Lagrange variational equations derived from a cost function only requiring extremizing the transition probability. It is shown that the latter variational equations are automatically satisfied as a mathematical identity for control fields that either produce transition probabilities of zero or unit value. Similarly, the variational equations are shown to be inconsistent (i.e., they have no solution) for any control field that produces a transition probability different from either of these two extreme values. An upper bound is shown to exist on the norm of the functional derivative of the transition probability with respect to the control field anywhere over the landscape. The trace of the Hessian, evaluated for a control field producing a transition probability of a unit value, is shown to be bounded from below. Furthermore, the Hessian at a transition probability of unit value is shown to have an extensive null space and only a finite number of negative eigenvalues. Collectively, these findings show that (a) the transition probability landscape extrema consists of values corresponding to no control or full control, (b) approaching full control involves climbing a gentle slope with no false traps in the control space and (c) an inherent degree of robustness exists around any full control solution. Although full controllability may not exist in some applications, the analysis provides a basis to understand the evident ease of finding controls that produce excellent yields in simulations and in the laboratory.