Seeking an effective quantum control entails searching over a landscape defined as the objective as a functional of the control field. This paper considers the problem of driving a state-to-state transition in a finite level quantum system, and analyzes the local topology of the landscape of the final transition probability in terms of the variables specifying the control field. Numerical calculation of the eigenvalues of the Hessian of the transition probability with respect to the control field variables reveals systematic structure in the spectra reflecting the existence of a generic and simple control landscape topology. An illustration shows that the number of nonzero Hessian eigenvalues is determined by the number of quantum states in the system. The Hessian eigenvectors associated with its nonzero eigenvalues are shown to give insight into the cooperative roles of the control variables. The practical consequences of these findings for quantum control are discussed.
Seeking an effective quantum control entails searching over a landscape defined as the objective as a functional of the control field. This paper considers the problem of driving a state-to-state transition in a finite level quantum system, and analyzes the local topology of the landscape of the final transition probability in terms of the variables specifying the control field. Numerical calculation of the eigenvalues of the Hessian of the transition probability with respect to the control field variables reveals systematic structure in the spectra reflecting the existence of a generic and simple control landscape topology. An illustration shows that the number of nonzero Hessian eigenvalues is determined by the number of quantum states in the system. The Hessian eigenvectors associated with its nonzero eigenvalues are shown to give insight into the cooperative roles of the control variables. The practical consequences of these findings for quantum control are discussed.
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.
Quantum control landscape theory was formulated to assess the ease of finding optimal control fields in simulations and in the laboratory. The landscape is the observable as a function of the controls, and a primary goal of the theory is the analysis of landscape features. In what is referred to as the kinematic picture of the landscape, prior work showed that the landscapes are generally free of traps that could halt the search for an optimal control at a suboptimal observable value. The present paper considers the dynamical picture of the landscape, seeking the existence of singular controls, especially of a nonkinematic nature along with an assessment of whether they correspond to traps. We analyze the necessary and sufficient conditions for singular controls to be kinematic or nonkinematic critical solutions and the likelihood of their being encountered while maximizing an observable. An algorithm is introduced to seek singular controls on the landscape in simulations along with an associated Hessian landscape analysis. Simulations are performed for a large number of model finite-level quantum systems, showing that all the numerically identified kinematic and nonkinematic singular critical controls are not traps, in support of the prior empirical observations on the ease of finding high-quality optimal control fields.
The control of quantum system dynamics is generally performed by seeking a suitable applied field. The physical objective as a functional of the field forms the quantum control landscape, whose topology, under certain conditions, has been shown to contain no critical point suboptimal traps, thereby enabling effective searches for fields that give the global maximum of the objective. This paper addresses the structure of the landscape as a complement to topological critical point features. Recent work showed that landscape structure is highly favorable for optimization of state-to-state transition probabilities, in that gradient-based control trajectories to the global maximum value are nearly straight paths. The landscape structure is codified in the metric R ≥ 1.0, defined as the ratio of the length of the control trajectory to the Euclidean distance between the initial and optimal controls. A value of R = 1 would indicate an exactly straight trajectory to the optimal observable value. This paper extends the state-to-state transition probability results to the quantum ensemble and unitary transformation control landscapes. Again, nearly straight trajectories predominate, and we demonstrate that R can take values approaching 1.0 with high precision. However, the interplay of optimization trajectories with critical saddle submanifolds is found to influence landscape structure. A fundamental relationship necessary for perfectly straight gradient-based control trajectories is derived, wherein the gradient on the quantum control landscape must be an eigenfunction of the Hessian. This relation is an indicator of landscape structure and may provide a means to identify physical conditions when control trajectories can achieve perfect linearity. The collective favorable landscape topology and structure provide a foundation to understand why optimal quantum control can be readily achieved.
Quantum optimal control experiments and simulations have successfully manipulated the dynamics of systems ranging from atoms to biomolecules. Surprisingly, these collective works indicate that the effort (i.e., the number of algorithmic iterations) required to find an optimal control field appears to be essentially invariant to the complexity of the system. The present work explores this matter in a series of systematic optimizations of the state-to-state transition probability on model quantum systems with the number of states N ranging from 5 through 100. The optimizations occur over a landscape defined by the transition probability as a function of the control field. Previous theoretical studies on the topology of quantum control landscapes established that they should be free of suboptimal traps under reasonable physical conditions. The simulations in this work include nearly 5000 individual optimization test cases, all of which confirm this prediction by fully achieving optimal population transfer of at least 99.9 on careful attention to numerical procedures to ensure that the controls are free of constraints. Collectively, the simulation results additionally show invariance of required search effort to system dimension N. This behavior is rationalized in terms of the structural features of the underlying control landscape. The very attractive observed scaling with system complexity may be understood by considering the distance traveled on the control landscape during a search and the magnitude of the control landscape slope. Exceptions to this favorable scaling behavior can arise when the initial control field fluence is too large or when the target final state recedes from the initial state as N increases.
A broad class of quantum control problems entails optimizing the expectation value of an observable operator through tailored unitary propagation of the system density matrix. Such optimization processes can be viewed as a directed search over a quantum control landscape. The attainment of the global extrema of this landscape is the goal of quantum control. Local optima will generally exist, and their enumeration is shown to scale factorially with the system's effective Hilbert space dimension. A Hessian analysis reveals that these local optima have saddlepoint topology and cannot behave as suboptimal extrema traps. The implications of the landscape topology for practical quantum control efforts are discussed, including in the context of nonideal operating conditions.
The transition probability between the states of a controlled quantum system is a basic physical observable, and the associated control landscape is specified by the transition probability as a function of the applied field. An initial control likely will produce a transition probability near the bottom of the landscape, while the final goal is to find a field that results in a high transition probability value at the top. For controls producing either of the latter extreme landscape values, the Hessian of the transition probability with respect to the control field characterizes the curvature of the landscape and the ease of leaving either limit. Prior work showed that the Hessian spectrum possesses an upper bound on the number of non-zero eigenvalues as well as an infinite number of zero eigenvalues. The associated eigenfunctions accordingly specify the coordinated control field changes that either maximally or minimally influence the transition probability. We show in this paper that there exists a lower bound on the number of non-zero Hessian eigenvalues at either the top or bottom of the landscape. In particular, there is at least one non-zero eigenvalue at the top and generally one at the bottom. Under special circumstances, the Hessian may be identically zero at the bottom (i.e. it possesses no non-zero eigenvalues). These results dictate the curvature of the top and bottom of the landscape, which has important physical significance for seeking optimal control fields. At the top, a field that produces a single non-zero Hessian eigenvalue of small magnitude will generally exhibit a high degree of robustness to field noise. In contrast, at the bottom, working with a field producing the maximum number of non-zero eigenvalues will generally assure the most rapid climb towards a high transition probability.