Role of control constraints in quantum optimal control

The problems of optimizing the value of an arbitrary observable of a two-level system at both a fixed time and the shortest possible time is theoretically explored. Complete identification and classification along with comprehensive analysis of globally optimal control policies and traps (i.e., policies which are locally but not globally optimal) are presented. The central question addressed is whether the control landscape remains trap-free if control constraints of the inequality type are imposed. The answer is astonishingly controversial: Although the traps are proven always to exist in this case, in practice they become trivially escapable once the control time is fixed and chosen long enough.