A strictly time-domain. formulation of the log-sensitivity of the error signal to structured plant uncertainty is presented and analyzed through simple but representative classical and quantum systems. Results demonstrate that across a wide range of physical systems, maximization of performance (minimization of the error signal) asymptotically or at a specific time comes at the cost of increased log-sensitivity, implying a time-domain constraint analogous to the frequency-domain identity$\mathbf {S(s) + T(s) = I}$. While of limited value in classical problems based on asymptotic stabilization or tracking, such a time-domain formulation is valuable in assessing the reduced robustness cost concomitant with high-fidelity quantum control schemes predicated on time-based performance measures.
A strictly time-domain. formulation of the log-sensitivity of the error signal to structured plant uncertainty is presented and analyzed through simple but representative classical and quantum systems. Results demonstrate that across a wide range of physical systems, maximization of performance (minimization of the error signal) asymptotically or at a specific time comes at the cost of increased log-sensitivity, implying a time-domain constraint analogous to the frequency-domain identityS(s)+T(s)=I. While of limited value in classical problems based on asymptotic stabilization or tracking, such a time-domain formulation is valuable in assessing the reduced robustness cost concomitant with high-fidelity quantum control schemes predicated on time-based performance measures.
Control of quantum systems via time-varying external fields optimized to maximize a fidelity measure at a given time is a mainstay in modern quantum control. However, save for specific systems, current analysis techniques for such quantum controllers provide no analytical robustness guarantees. In this letter we provide analytical bounds on the differential sensitivity of the gate fidelity error to structured uncertainties for a closed quantum system controlled by piecewise-constant, optimal control fields. We additionally determine those uncertainty structures that result in this worst-case maximal sensitivity. We then use these differential sensitivity bounds to provide conditions that guarantee performance, quantified by the fidelity error, in the face of parameter uncertainty.
Control of quantum systems via time-varying external fields optimized to maximize a fidelity measure at a given time is a mainstay in modern quantum control. However, save for specific systems, current analysis techniques for such quantum controllers provide no analytical robustness guarantees. In this letter we provide analytical bounds on the differential sensitivity of the gate fidelity error to structured uncertainties for a closed quantum system controlled by piecewise-constant, optimal control fields. We additionally determine those uncertainty structures that result in this worst-case maximal sensitivity. We then use these differential sensitivity bounds to provide conditions that guarantee performance, quantified by the fidelity error, in the face of parameter uncertainty.
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.
This work presents a general framework for assessing the quality and robustness of control over quantum dynamics induced by an optical field E(t). 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 $K(t,\ensuremath{\tau})$ is related to $\ensuremath{\delta}\mathcal{E}(t)/\ensuremath{\delta}\mathcal{E}(\ensuremath{\tau}){|}_{c}$ for 0<t, $\ensuremath{\tau}<~T,$ where T is the target control time. Here c denotes the constraint that the field satisfies the optimal control dynamical equations. The eigenvalues \ensuremath{\sigma} of S satisfying $\ensuremath{\sigma}<1$ assure local optimality of the control solution, with $\ensuremath{\sigma}=1$ 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 $\ensuremath{\sigma}=1.$ Thus, sufficiently high sensitivity of the field at one time t to the field at another time \ensuremath{\tau} (i.e., $\ensuremath{\sigma}>1$) 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.
New fundamental limits on design and control of linear quantum systems are presented. A main difference between quantum and classical systems comes from the fact that quantum signals are represented by operator-valued vectors. The transfer function representation is useful to describe a system in the quantum setting for the same reason as it is useful classically. It is shown that the noncommutative property of quantum signals can be characterized by a specific relation between zeros and poles of a quantum transfer function. Then, two quantum mechanical tradeoffs follows from the transfer function constraint. One is a well known tradeoff, Heisenberg’s uncertainty relation, and the other is a tradeoff between the ability of noise reduction and sensitivity to modeling error. While these tradeoffs hold at each frequency, quantum systems have another constraint between different frequencies based on Bode integral as classical systems usually do. In the quantum case, however, this constraint is also dependent on quantum mechanical parameters.