The control of multilevel quantum systems is sensitive to implementation errors in the control field and uncertainties associated with system Hamiltonian parameters. A small variation in the control field spectrum or the system Hamiltonian can cause an otherwise optimal field to deviate from controlling desired quantum state transitions and reaching a particular objective. An accurate analysis of robustness is thus essential in understanding and achieving model-based quantum control, such as in the control of chemical reactions based on ab initio or experimental estimates of the molecular Hamiltonian. In this paper, theoretical foundations for quantum control robustness analysis are presented from both a distributional perspective---in terms of moments of the transition amplitude, interferences, and transition probability---and a worst-case perspective. Based on this theory, analytical expressions and a computationally efficient method for determining the robustness of coherently controlled quantum dynamics are derived. The robustness analysis reveals that there generally exists a set of control pathways that are more resistant to destructive interferences in the presence of control field and system parameter uncertainty. These robust pathways interfere and combine to yield a relatively accurate transition amplitude and high transition probability when uncertainty is present.
The control of multilevel quantum systems is sensitive to implementation errors in the control field and uncertainties associated with system Hamiltonian parameters. A small variation in the control field spectrum or the system Hamiltonian can cause an otherwise optimal field to deviate from controlling desired quantum state transitions and reaching a particular objective. An accurate analysis of robustness is thus essential in understanding and achieving model-based quantum control, such as in the control of chemical reactions based on ab initio or experimental estimates of the molecular Hamiltonian. In this paper, theoretical foundations for quantum control robustness analysis are presented from both a distributional perspective---in terms of moments of the transition amplitude, interferences, and transition probability---and a worst-case perspective. Based on this theory, analytical expressions and a computationally efficient method for determining the robustness of coherently controlled quantum dynamics are derived. The robustness analysis reveals that there generally exists a set of control pathways that are more resistant to destructive interferences in the presence of control field and system parameter uncertainty. These robust pathways interfere and combine to yield a relatively accurate transition amplitude and high transition probability when uncertainty is present.
Advances in quantum control theory and optimization techniques have made possible a new phenomena of quantum engineering. Chemical reactions can now be dynamically manipulated using first-principles quantum chemical models, in which a laser field, rather than a catalyst, serve as photonic reagents to selectively break a chemical bond and yield products via intramolecular rearrangement. A field pulse may also be designed to perform ultrasensitive spectroscopy, where compounds with very similar chemical properties are differentiated through their unique interaction with resonant and off-resonant photons. Despite significant progress in theoretical and laboratory quantum control, however, quantum engineering remains principally challenging due to manifestation of noise and uncertainties associated with the input and system parameters. Specifically, a small magnitude of variation in the field and Hamiltonian parameters would cause an otherwise optimal field to deviate from controlling desired quantum state transitions and reaching a particular objective. Thus, an accurate analysis of robustness of controlled quantum dynamics followed by a robust control framework is essential in achieving quantum control in a practical setting. In this work, theoretical foundations for quantum control robustness analysis are presented from both a distributional perspective - in terms of moments of the transition amplitude, interferences, and transition probability - and a worst-case perspective. In addition, an evolutionary control strategy for achieving robust control via open- and closed-loop approach are described with its mechanism of convergence elucidated using the robustness analysis method.
Abstract Quantum robust control—which can employ fast leading order approximations, slower but more accurate asymptotic methods, or a combination thereof for quantification of robustness—enables control of moments of quantum observables and gates in the presence of Hamiltonian uncertainty or field noise. In this paper, we present a generalized quantum robust control theory that extends the previously described theory of quantum robust control in several important ways. We present robust control theory for control of any moment of arbitrary quantum control objectives, introducing moment-generating functions and transfer functions for quantum robust control that generalize the tools of frequency domain response theory to quantum systems, and extend the Pontryagin maximum principle for quantum control to control optimization in the presence of noise in the manipulated amplitudes or phases used to shape the control field. To provide guidelines as to the types of quantum control systems and control objectives for which asymptotic robustness analysis is important for accuracy, we introduce methods for assessing the Lie algebraic depth of quantum control systems, and illustrate through examples drawn from quantum information processing how such accurate methods for quantification of robustness to noise and uncertainty are more important for control strategies that exploit higher order quantum pathways. In addition, we define the relationship between leading order Taylor expansions and asymptotic estimates for quantum control moments in the presence of Hamiltonian uncertainty and field noise, and apply such leading order approximations to significant pathways analysis and dimensionality reduction of asymptotic quantum robust control calculations, describing numerical methods for implementation of these calculations.
Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the control performance with respect to inexact modeling of the system. In this paper a new robustness measure based on the differential sensitivity of the gate fidelity error to parametric (structured) uncertainties is introduced, and bounds on the differential sensitivity to parametric uncertainties are used to establish performance guarantees for optimal controllers for a variety of quantum gate types, system sizes, and control implementations. Specifically, it is shown how a maximum allowable perturbation over a set of Hamiltonian uncertainties that guarantees a given fidelity error, can be reliably computed. This measure of robustness is inversely proportional to the upper bound on the differential sensitivity of the fidelity error evaluated under nominal operating conditions. Finally, the results show that the nominal fidelity error and differential sensitivity upper bound are positively correlated across a wide range of problems and control implementations, suggesting that in the high-fidelity control regime, rather than there being a trade-off between fidelity and robustness, higher nominal gate fidelities are positively correlated with increased robustness of the controls in the presence of parametric uncertainties.
Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the control performance with respect to inexact modeling of the system. In this paper, a new robustness measure based on the differential sensitivity of the gate fidelity error to parametric (structured) uncertainties is introduced, and bounds on the differential sensitivity to parametric uncertainties are used to establish performance guarantees for optimal controllers for a variety of quantum gate types, system sizes, and control implementations. Specifically, it is shown how a maximum allowable perturbation over a set of Hamiltonian uncertainties that guarantees a given fidelity error can be reliably computed. This measure of robustness is inversely proportional to the upper bound on the differential sensitivity of the fidelity error evaluated under nominal operating conditions. Finally, the results show that the nominal fidelity error and differential sensitivity upper bound are positively correlated across a wide range of problems and control implementations, suggesting that in the high-fidelity control regime, rather than there being a trade-off between fidelity and robustness, higher nominal gate fidelities are positively correlated with increased robustness of the controls in the presence of parametric uncertainties.
Despite significant progress in theoretical and laboratory quantum control, engineering quantum systems remains principally challenging due to manifestation of noise and uncertainties associated with the field and Hamiltonian parameters. In this paper, we extend and generalize the asymptotic quantum control robustness analysis method, which provides more accurate estimates of quantum control objective moments than standard leading-order techniques, to diverse quantum observables, gates, and moments thereof and also introduce the Pontryagin maximum principle for quantum robust control. In addition, we present a Pareto optimization framework for achieving robust control via evolutionary open-loop (model-based) and closed-loop (model-free) approaches with the mechanisms of robustness and convergence described using asymptotic quantum control robustness analysis. In the open-loop approach, a multiobjective genetic algorithm is used to obtain Pareto solutions in terms of the expectation and variance of the transition probability under Hamiltonian parameter uncertainty. The set of numerically determined solutions can then be used as a starting population for model-free learning control in a feedback loop. The closed-loop approach utilizes a real-coded genetic algorithm with adaptive exploration and exploitation operators in order to preserve solution diversity and dynamically optimize the transition probability in the presence of field noise. Together, these methods provide a foundation for high-fidelity adaptive feedback control of quantum systems wherein open-loop control predictions are iteratively improved based on data from closed-loop experiments.
Quantum mechanics, though a probabilistic theory, gives a 'deterministic' answer to the question of how the present determines the future. In essence, in order to predict future probabilities, we need to (numerically) propagate the time-dependent Schrödinger equation from the present to the future. It is interesting to note that classical mechanics of macroscopic bodies, though reputed to be a deterministic theory, does not allow, due to chaos (which unfortunately is more prevalent than integrability), such clear insights into the future. In contrast, small (e.g., atomic, molecular and photonic) systems which are best understood using the tools of quantum mechanics, do not suffer from chaos, rendering the prediction of the probability-distributions of future events possible. The field of quantum control deals with an important modification of this task, namely, it asks: given a wave function in the present, what dynamics, i.e. what Hamiltonian, guarantees a desired outcome or 'objective' in the future? In practice one may achieve this goal of modifying and finding the desired Hamiltonian by introducing external fields, e.g. laser light. It is then possible to reach the objective in a 'trial-and-error' fashion, performed either numerically or in the laboratory. We can guess or build a Hamiltonian, do an experiment, or propagate the initial wave function to the future, compare the result with the desirable objective, and correct the guess for the Hamiltonian until satisfactory agreement with the objective is reached. A systematic way of executing this procedure is the sub-field called 'optimal control'. The trial-and-error method is often very time consuming and rarely provides mechanistic insight. There are situations where analytical solutions exist, rendering the control strategies more transparent. This is especially so when one can identify quantum interferences as the heart of quantum control, the essence of the field called 'coherent control'. The experience accumulated so far by many groups is that quantum interferences are the mechanism underlying most successful control scenarios and control experiments. The identification of the control mechanism is especially facile when the time-dependence of the Hamiltonian merely serves to prepare a state which then evolves in the absence of external fields. Analytical theories also exist when the explicit time dependence of the Hamiltonian can be treated adiabatically. Under these circumstances one can identify the quantum interfering pathways that lead to control, allowing for the simultaneous exploration of entire 'landscapes' (and not just a single 'desirable' objective) resulting from varying all the experimental 'knobs' at our disposal, e.g., relative- and envelope-phases, intensities, polarizations, and pulse-sequencing. Such 'pulse-shaping' knobs are now available down to the sub-femtosecond regime in broad spectral regions ranging from the UV to the IR. We expect that comprehensive investigations of the quantum interference required to control dynamical processes will result in a more detailed understanding of the dynamics themselves. Together with experimental progress---the stage is now set for many exciting applications in fundamental and applied sciences by 'tailoring' light--matter interactions essentially at will.