Assessing optimality and robustness of control over quantum dynamics

This work presents a general framework for assessing the quality and robustness of control over quantum dynamics induced by an optical field [Formula Presented] The control process is expressed in terms of a cost functional, including the physical objectives, penalties, and constraints. The first variations of such cost functionals have traditionally been utilized to create designs for the controlling electric fields. Here, the second variation of the cost functional is analyzed to explore (i) whether such solutions are locally optimal, and (ii) their degree of robustness. Both issues may be assessed from the eigenvalues of the stability operator S whose kernel [Formula Presented] is related to [Formula Presented] for [Formula Presented] [Formula Presented] where [Formula Presented] is the target control time. Here [Formula Presented] denotes the constraint that the field satisfies the optimal control dynamical equations. The eigenvalues σ of S satisfying [Formula Presented] assure local optimality of the control solution, with [Formula Presented] being the critical value separating optimal solutions from false solutions (i.e., those with negative second variational curvature of the cost functional). In turn, the maximally robust control solutions with the least sensitivity to field errors also correspond to [Formula Presented] Thus, sufficiently high sensitivity of the field at one time [Formula Presented] to the field at another time τ (i.e., [Formula Presented]) will lead to a loss of local optimality. An expression is obtained for a bound on the stability operator, and this result is employed to qualitatively analyze control behavior. From this bound, the inclusion of an auxiliary operator (i.e., other than the target operator) is shown to act as a stabilizer of the control process. It is also shown that robust solutions are expected to exist in both the strong- and weak-field regimes.